University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 1,457 items
Thumbnail for Learning Invariants using Decision Trees and Implication Counterexamples
Learning Invariants using Decision Trees and Implication Counterexamples
Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan

Thumbnail for Quality Management of Bluegill: Factors Affecting Population Size Structure
Quality Management of Bluegill: Factors Affecting Population Size Structure
Aday, Derek D.; Claussen, Julie E.; Hoxmeier, John H.; Benjamin, Darren M.; Edison, Timothy W.; Wahl, David H.; Philipp, David P.

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Illinois crop protection technology conference: Proceedings
Illinois crop protection technology conference: Proceedings
University of Illinois at Urbana-Champaign. College of Agricultural, Consumer, and Environmental Sciences. Cooperative Extension Service

Thumbnail for A Site Inventory of the Emiquon Preserve, Fulton County, Illinois
A Site Inventory of the Emiquon Preserve, Fulton County, Illinois
Phillippe, Loy R.; Busemeyer, Daniel T.; Marcum, Paul B.; Ellis, James; Feist, Mary Ann; Larimore, Richard L.; Ebinger, John E.