University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1651–1680 of 4,527 items
Thumbnail for Modeling Ammonia Emissions Post Chemical Fertilizer Application
Modeling Ammonia Emissions Post Chemical Fertilizer Application
Balasubramanian, Srinidhi; Koloutsou-Vakakis, Sotiria; McFarland, Donald Michael; Rood, Mark J.

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore