University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9751–9780 of 14,851 items
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 Kinetics of thermally induced swelling of hydrogels
Kinetics of thermally induced swelling of hydrogels
Ji, Huidi; Mourad, Hashem; Fried, Eliot; Dolbow, John E.

Thumbnail for Development of Guidelines for Implementation of Horizontal Directional Drilling
Development of Guidelines for Implementation of Horizontal Directional Drilling
Hashash, Youssef M. A.; Baltaji, Omar; Xing, Guangchao; Liang, Yongxi