University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2071–2100 of 18,181 items
Thumbnail for Resilient Data Collection in Refinery Sensor Networks Under Large Scale Failures
Resilient Data Collection in Refinery Sensor Networks Under Large Scale Failures
Liu, Tianyuan; Guo, Hongpeng; Lui, King-Shan; Jin, Haiming; Nahrstedt, Klara

Thumbnail for Bibliography of subsidence-related literature
Bibliography of subsidence-related literature
Trent, B.A.; Bauer, Robert A.; DuMontelle, Paul B.

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