University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1081–1110 of 3,561 items
Thumbnail for Development of the Regional Climate-Weather Research and Forecasting Model: Surface Boundary Conditions
Development of the Regional Climate-Weather Research and Forecasting Model: Surface Boundary Conditions
Liang, Xin-Zhong; Choi, Hyan; Kunkel, Kenneth E.; Dai, Yongjiu; Joseph, Everette; Wang, Julian X.L.; Kuman, Praveen

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