University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 391–420 of 757 items
Thumbnail for Discovering Substructure in Examples
Discovering Substructure in Examples
Holder, Lawrence Bruce, Jr.

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 Biomarker Magazine Winter 2016, vol. 10
Biomarker Magazine Winter 2016, vol. 10
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for The Mesoscopic Peristaltic Compressor
The Mesoscopic Peristaltic Compressor
Sulfridge, M.A.; Miller, N.R.

Thumbnail for access: v.10, no.02, Summer 1996
access: v.10, no.02, Summer 1996
National Center for Supercomputing Applications (NCSA)