University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 451–480 of 2,892 items
Thumbnail for Magnon and phonon thermal transport in oxides
Magnon and phonon thermal transport in oxides
Pek, Ella Kartika Putihprayogi

Thumbnail for Weaving Entities into Relations: From Page Retrieval to Relation Mining on the Web
Weaving Entities into Relations: From Page Retrieval to Relation Mining on the Web
Kelley, Joseph M.; Chang, Kevin Chen-Chuan; Cheng, Tao; Chuang, Shui-Lung; Davis, William

Thumbnail for Prairie Research Institute 2011 Report
Prairie Research Institute 2011 Report
Prairie Research Institute

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