University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2731–2760 of 6,005 items
Thumbnail for ICE: A Robust Learning Framework for Synthesizing Invariants
ICE: A Robust Learning Framework for Synthesizing Invariants
Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems
Maximal Causal Models for Sequentially Consistent Systems
Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Genetic structure of Miscanthus sinensis and Miscanthus sacchariflorus in Japan indicates a gradient of bidirectional but asymmetric introgression
Genetic structure of Miscanthus sinensis and Miscanthus sacchariflorus in Japan indicates a gradient of bidirectional but asymmetric introgression
Clark, Lindsay V.; Stewart, J. Ryan; Nishiwaki, Aya; Toma, Yo; Kjeldsen, Jens Bonderup; Jorgensen, Uffe; Zhao, Hua; Peng, Junhua; Yoo, Ji Hye; Heo, Kweon; Yu, Chang Yeon; Yamada, Toshihiko; Sacks, Erik J.

Thumbnail for Refactoring for Immutability
Refactoring for Immutability
Kjolstad, Fredrik Berg; Dig, Danny; Acevedo, Gabriel; Snir, Marc