University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1231–1260 of 7,676 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Exploring The Most Frequent Heuristic for (Semi)-Structured Retrieval
Exploring The Most Frequent Heuristic for (Semi)-Structured Retrieval
Termehchy, Arash; Prasad, Adarsh; Engle, Abraham; Winslett, Marainne

Thumbnail for Issues in Humanities Data Curation
Issues in Humanities Data Curation
Muñoz, Trevor; Renear, Allen H.

Thumbnail for Kankakee Sands Ornate Box Turtle (Terrapene ornata) Population and Ecosystem Assessment
Kankakee Sands Ornate Box Turtle (Terrapene ornata) Population and Ecosystem Assessment
Phillips, Christopher A.; Kuhns, Andrew R.; Hunkapiller, Timothy