University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 511–540 of 1,544 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 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 Entity Retrieval over Structured Data
Entity Retrieval over Structured Data
Fang, Hui; Sinha, Rishi R.; Wu, Wensheng; Doan, AnHai; Zhai, ChengXiang

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