University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–20 of 20 items
Thumbnail for Frameworks for efficient quantum oblivious transfer in the QROM
Frameworks for efficient quantum oblivious transfer in the QROM
Kumar, Nishant • 2022

Thumbnail for Municipal solid waste incineration ashes: origin, composition, and reactivity in cementitious systems
Municipal solid waste incineration ashes: origin, composition, and reactivity in cementitious systems
Kumar, Vikram

Thumbnail for Performance analysis of machine learning applications on rapid: a highly parallel computer architecture
Performance analysis of machine learning applications on rapid: a highly parallel computer architecture
Modi, Aakash Ketan

Thumbnail for Empirical investigation of de novo mutations conferring herbicide resistance
Empirical investigation of de novo mutations conferring herbicide resistance
Casale, Federico Agustin

Thumbnail for Computational characterization of membrane proteins at the atomic level
Computational characterization of membrane proteins at the atomic level
Wang, Yuhang

Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

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 Timed execution in distributed machine learning
Timed execution in distributed machine learning
Hashemi, Sayed Hadi

Thumbnail for Design of a phase locked loop based clocking circuit for high speed serial link applications
Design of a phase locked loop based clocking circuit for high speed serial link applications
Ratan, Rishi

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 Optimization of cellular concrete for impact-resistant infrastructure
Optimization of cellular concrete for impact-resistant infrastructure
Clark, Jamie V

Thumbnail for Quantifying soil ecosystem services across different spatial scales to improve agricultural nitrogen management
Quantifying soil ecosystem services across different spatial scales to improve agricultural nitrogen management
Xia, Yushu

Thumbnail for Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults
Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults
Li, Lingxi

Thumbnail for Efficient coherence and consistency for specialized memory hierarchies
Efficient coherence and consistency for specialized memory hierarchies
Sinclair, Matthew David

Thumbnail for A framework for promotion analysis in multi-dimensional space
A framework for promotion analysis in multi-dimensional space
Wu, Tianyi

Thumbnail for A Framework for Promotion Analysis in Multi-Dimensional Space
A Framework for Promotion Analysis in Multi-Dimensional Space
Wu, Tianyi

Thumbnail for A microstructure-level finite element-based model for simulation of machining of carbon nanotube reinforced polymer composites
A microstructure-level finite element-based model for simulation of machining of carbon nanotube reinforced polymer composites
Dikshit, Ashutosh

Thumbnail for Phase stability and formation in the Cu-Zn-Sn-S system
Phase stability and formation in the Cu-Zn-Sn-S system
Pogue, Elizabeth Ann

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for Synergy of protein and genome engineering for fuels and chemicals production
Synergy of protein and genome engineering for fuels and chemicals production
Nair, Nikhil U.