University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1171–1200 of 18,238 items
Thumbnail for Determining the Chemical Composition of Cloud Condensation Nuclei
Determining the Chemical Composition of Cloud Condensation Nuclei
Williams, Allen L.; Rothert, Jane E.; McClure, Kent E.; Alofs, Darryl J.; Hagen, Donald E.; White, Daniel R.; Hopkins, A.R.; Trueblood, Max B.

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

Thumbnail for eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
Hu, Shaohan; Su, Lu; Li, Shen; Wang, Shiguang; Pan, Chenji; Gu, Siyu; Amin, Md Tanvir Al; Liu, Hengchang; Nath, Suman; Choudhury, Romit Roy; Abdelzaher, Tarek F.