University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6841–6870 of 13,164 items
Thumbnail for 2015 IGB Annual Report
2015 IGB Annual Report
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for Cost-effective learning for classifying human values
Cost-effective learning for classifying human values
Ishita, Emi; Fukuda, Satoshi; Oga, Toru; Tomiura, Yoichi; Oard, Douglas W.; Fleischmann, Kenneth R.

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