University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 1,092 items
Thumbnail for Commencement program. 1948
Commencement program. 1948
University of Illinois at Urbana-Champaign

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Biological Controls for Standardization and Interpretation of Adaptive Immune Receptor Repertoire Profiling
Biological Controls for Standardization and Interpretation of Adaptive Immune Receptor Repertoire Profiling
Trück, Johannes; Eugster, Anne; Barennes, Pierre; Tipton, Christopher M.; Luning Prak, Eline T.; Bagnara, Davide; Soto, Cinque; Sherkow, Jacob S.; Payne, Aimee S.; Lefranc, Marie-Paule; Farmer, Andrew; The AIRR Community; Bostick, Magnolia; Mariotti-Ferrandiz, Encarnita

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