University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 11,073 items
Thumbnail for Construction of Smart Data toward Dunhuang Grottoes
Construction of Smart Data toward Dunhuang Grottoes
Wang, Xiaoguang; Wang, Hongyu; Chang, Wanli; Zhang, Chen; Xu, Lei

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 Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Development of a Novel Biphasic CO2 Absorption Process with Multiple Stages of Liquid–Liquid Phase Separation for Post-Combustion Carbon Capture
Development of a Novel Biphasic CO2 Absorption Process with Multiple Stages of Liquid–Liquid Phase Separation for Post-Combustion Carbon Capture
Lu, Yongqi; OBrien, Kevin C; Lu, Hong; Ruhter, David; Du, Yang; Ye, Qing; Zheng, Wei; Sharma, Brajendra K; Gomilko, Viktoriya; Pickowitz, Joe; Chaudhuri, Santanu; Lacevic, Naida; McKaskle, Ray; Sachde, Darshan; Fisher, Kevin; Sexton, Andrew

Thumbnail for Health data on data.gov: A research on status quo of open health data
Health data on data.gov: A research on status quo of open health data
Wang, Yongyi; Zhang, Hui; Wu, Dan; Chen, Jiangping

Thumbnail for Building a multilingual test collection for metadata records
Building a multilingual test collection for metadata records
Chen, Jiangping; Namgoong, Min; Ayala, Brenda Reyes; Cao, Gaohui; Wang, Xinyue

Thumbnail for COVID-19 portal: Profiling researchers, bio-entities, and institutions
COVID-19 portal: Profiling researchers, bio-entities, and institutions
Wan, Aoshen; Tong, Changpeng; Zhan, Yan; Tripathi, Sanjana; Wang, Jiarong; Sachdev, Mona; Paithankar, Shreya; Duerksen, Joel; Chen, Bin; Ding, Ying