University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 511–540 of 1,484 items
Thumbnail for Hybridization based CEGAR for Hybrid Automata with Affine Dynamics
Hybridization based CEGAR for Hybrid Automata with Affine Dynamics
Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Inferred Allelic Variants of Immunoglobulin Receptor Genes: A System for Their Evaluation, Documentation, and Naming
Inferred Allelic Variants of Immunoglobulin Receptor Genes: A System for Their Evaluation, Documentation, and Naming
Ohlin, Mats; Scheepers, Cathrine; Corcoran, Martin; Lees, William D.; Busse, Christian E.; Bagnara, Davide; Thörnqvist, Linnea; Bürckert, Jean-Philippe; Jackson, Katherine J. L.; Ralph, Duncan; A., Chaim; Marthandan, Nishanth; Breden, Felix; Scott, Jamie; Matsen IV, Frederick A.; Greiff, Victor; Yaari, Gur; Kleinstein, Steven H.; Christley, Scott; Sherkow, Jacob S.; Kossida, Sofia; Lefranc, Marie-Paule; van Zelm, Menno C.; Watson, Corey T.; Collins, Andrew M.