University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–28 of 28 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 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 DIRECT INFRARED IDENTIFICATION OF THE CRIEGEE INTERMEDIATES syn- and anti-CH3CHOO AND THEIR DISTINCT CONFORMATION-DEPENDENT REACTIVITY
DIRECT INFRARED IDENTIFICATION OF THE CRIEGEE INTERMEDIATES syn- and anti-CH3CHOO AND THEIR DISTINCT CONFORMATION-DEPENDENT REACTIVITY
Lee, Yuan-Pern

Thumbnail for Formal semantics of hybrid automata
Formal semantics of hybrid automata
Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation
An Interactive Theorem Prover for Matching Logic with Proof Object Generation
Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for A literature review on low–quality waste heat recovery in residential and commercial settings
A literature review on low–quality waste heat recovery in residential and commercial settings
Omere, Emmanuel Orobosa

Thumbnail for Research on Knowledge Organization and Visualization of Historical Events in the Republic of China Era
Research on Knowledge Organization and Visualization of Historical Events in the Republic of China Era
Li, He; Zhu, Linlin; Shen, Wang; Du, Xingye; Guan, Shuhe; Deng, Jun

Thumbnail for Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture
Representing Divorce, Reforming Interiority: Narratives of Gender, Class and Family in Post-Reform Chinese Literature and Culture
Xiao, Hui

Thumbnail for Loss of basigin expression in the uterus reduces fertility in female mice
Loss of basigin expression in the uterus reduces fertility in female mice
Li, Kailiang

Thumbnail for Improving the process synthesis, potency, and pharmacokinetics of the anticancer compound PAC-1
Improving the process synthesis, potency, and pharmacokinetics of the anticancer compound PAC-1
Roth, Howard Steven

Thumbnail for Pictures in Motion: The Cinematic Art of Zheng Zhengqiu and His Shanghai Contemporaries, 1910--1935
Pictures in Motion: The Cinematic Art of Zheng Zhengqiu and His Shanghai Contemporaries, 1910--1935
Tseng, Li-Lin

Thumbnail for New methods of online calibration for item bank replenishment
New methods of online calibration for item bank replenishment
Zheng, Yi

Thumbnail for Effects of compositional variables on fouling behavior of thin stillage
Effects of compositional variables on fouling behavior of thin stillage
Zheng, Yingying

Thumbnail for Magnetic resonance diffusion imaging and spectral localization: New methods and their quantitative applications
Magnetic resonance diffusion imaging and spectral localization: New methods and their quantitative applications
Yang, Yihong

Thumbnail for The effects of domain expertise on exploratory information search and topic learning in social search environment
The effects of domain expertise on exploratory information search and topic learning in social search environment
Kang, Ruogu

Thumbnail for A territory of their own: poetic identity and the construction of literary communities in twelfth-century China
A territory of their own: poetic identity and the construction of literary communities in twelfth-century China
E, Li

Thumbnail for Biochemistry of the uterus studied by magnetic resonance techniques
Biochemistry of the uterus studied by magnetic resonance techniques
Xu, Su

Thumbnail for Data-driven materials design
Data-driven materials design
Schiller, Joshua

Thumbnail for Genomic and microscopic dissection of large-scale chromatin compaction
Genomic and microscopic dissection of large-scale chromatin compaction
Gholamalamdari, Omid

Thumbnail for Estimation and fault diagnosis for vehicle energy systems
Estimation and fault diagnosis for vehicle energy systems
Tannous, Pamela Joseph

Thumbnail for The Role of Acyl Carrier Protein Isoforms in Determining Plant Lipid Content and Composition
The Role of Acyl Carrier Protein Isoforms in Determining Plant Lipid Content and Composition
Branen, Jill Kristine

Thumbnail for Three essays on bubbles in agricultural futures markets
Three essays on bubbles in agricultural futures markets
Etienne, Xiaoli

Thumbnail for Diffusion-weighted MRI of skeletal muscle: Estimation of microstructural parameters
Diffusion-weighted MRI of skeletal muscle: Estimation of microstructural parameters
Naughton, Noel Martin

Thumbnail for Cultural engagement in missionary China: American missionary novels 1880-1930
Cultural engagement in missionary China: American missionary novels 1880-1930
Lin, Yi-Ling

Thumbnail for
"""Chopsticks Only Work in Pairs"": Gender Unity and Gender Equality Among the Lahu of Southwest China"
Du, Shanshan

Thumbnail for Social computation: Fundamental limits and efficient algorithms
Social computation: Fundamental limits and efficient algorithms
Khetan, Ashish Kumar

Thumbnail for The Summary of Engineering Research 2008
The Summary of Engineering Research 2008
University of Illinois at Urbana-Champaign. College of Engineering