University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 6,824 items
Thumbnail for Magnon and phonon thermal transport in oxides
Magnon and phonon thermal transport in oxides
Pek, Ella Kartika Putihprayogi

Thumbnail for Twenty-eighth annual report of the Power Affiliates Program.
Twenty-eighth annual report of the Power Affiliates Program.
Gross, George; Krein, P.T.; Pai, M.A.; Kimball, Jonathan; Overbye, T.J.; Chapman, Patrick L.; Sauer, P.W.

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore