University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 186 items
Thumbnail for Creating Markets for Captured Carbon: Retrofit of Abbott Power Plant and Future Utilization of Captured CO2
Creating Markets for Captured Carbon: Retrofit of Abbott Power Plant and Future Utilization of Captured CO2
OBrien, Kevin C; Lu, Yongqi; Patel, Vinod; Greenberg, Sallie; Locke, Randall; Larson, Michael; Krishnamurthy, Krish R.; Byron, Makini; Naumovitz, Joseph; Guth, David S.; Bennett, Stephen J.

Thumbnail for Large Pilot Testing of Linde-BASF Advanced Post-Combustion CO2 Capture Technology at a Coal-Fired Power Plant [CWLP] [FE0031581]
Large Pilot Testing of Linde-BASF Advanced Post-Combustion CO2 Capture Technology at a Coal-Fired Power Plant [CWLP] [FE0031581]
OBrien, Kevin C; Brownstein, Stephanie

Thumbnail for Politics in the Pews: The Creation and Maintenance of Black Political Churches
Politics in the Pews: The Creation and Maintenance of Black Political Churches
McDaniel, Eric Leon

Thumbnail for Interactive Visualization of Large Higher-Order Tetrahedral Data
Interactive Visualization of Large Higher-Order Tetrahedral Data
Zhou, Yuan

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 IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Velocities of Screw and 60-Dislocations in Intrinsic and Extrinsic Silicon
Velocities of Screw and 60-Dislocations in Intrinsic and Extrinsic Silicon
Kulkarni, Subhash Balkrishna

Thumbnail for Zero Waste Planning at the University of Illinois at Urbana-Champaign
Zero Waste Planning at the University of Illinois at Urbana-Champaign
Ricci, Marcus

Thumbnail for Large Pilot Scale Testing of Linde/BASF Post-Combustion CO2 Capture Technology at the Abbott Coal-Fired Power Plant
Large Pilot Scale Testing of Linde/BASF Post-Combustion CO2 Capture Technology at the Abbott Coal-Fired Power Plant
O'Brien, Kevin C

Thumbnail for Interactive Visualization of Large Higher-Order Tetrahedral Data
Interactive Visualization of Large Higher-Order Tetrahedral Data
Zhou, Yuan

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 Proton Spin-Lattice Relaxation in Crosslinked Polybutadiene
Proton Spin-Lattice Relaxation in Crosslinked Polybutadiene
Labun, Lance Confer

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 The Values in Four Selected American Novels and Suggested Uses of These Values in High School English Classes
The Values in Four Selected American Novels and Suggested Uses of These Values in High School English Classes
Hipple, Theodore Wallace

Thumbnail for Full-Scale Feed Study for Retrofitting the Prairie State Generating Station with an 816 MWe Capture Plant Using Mitsubishi Heavy Industries of America Post-Combustion CO2 Capture Technology [DE-FE031841]
Full-Scale Feed Study for Retrofitting the Prairie State Generating Station with an 816 MWe Capture Plant Using Mitsubishi Heavy Industries of America Post-Combustion CO2 Capture Technology [DE-FE031841]
OBrien, Kevin C

Thumbnail for An empirical test of the causes and consequences of organizational change
An empirical test of the causes and consequences of organizational change
Gautam, Kanak Singh

Thumbnail for Dynamics of primordial phase transitions, primordial magnetic fields, and Big Bang nucleosynthesis
Dynamics of primordial phase transitions, primordial magnetic fields, and Big Bang nucleosynthesis
Cheng, Baolian

Thumbnail for Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for Regression modeling: Latent structure, theories and algorithms
Regression modeling: Latent structure, theories and algorithms
Xie, Minge

Thumbnail for IsaK: A Complete Semantics of K
IsaK: A Complete Semantics of K
Li, Liyi; Gunter, Elsa L.

Thumbnail for Measurements and implications of the SDSS DR7 galaxy angular power spectrum
Measurements and implications of the SDSS DR7 galaxy angular power spectrum
Hayes, Brett

Thumbnail for Peacemaking in early modern Europe: Cardinal Mazarin and the Congress of Westphalia, 1643-1648
Peacemaking in early modern Europe: Cardinal Mazarin and the Congress of Westphalia, 1643-1648
Croxton, Derek

Thumbnail for Muscle Architecture and Structural Model of the Human Tongue
Muscle Architecture and Structural Model of the Human Tongue
Tian, Wei

Thumbnail for Illinois birds: Hirundinidae
Illinois birds: Hirundinidae
Graber, Richard Rex; Graber, Jean Weber; Kirk, Ethelyn L.

Thumbnail for Scalable Methods for Processing Massive Geometric Meshes
Scalable Methods for Processing Massive Geometric Meshes
Shaffer, Eric Gene

Thumbnail for Directory of Illinois sand and gravel producers
Directory of Illinois sand and gravel producers
Busch, Willis L.

Thumbnail for Development of a perceived exertion scale in dogs exercising on a land treadmill using selected physiologic parameters
Development of a perceived exertion scale in dogs exercising on a land treadmill using selected physiologic parameters
Swanson, Kari Day Jore

Thumbnail for Vector Field Manipulations in Three-Dimensional Time-Varying Flow Data Compression and Image/video Editing
Vector Field Manipulations in Three-Dimensional Time-Varying Flow Data Compression and Image/video Editing
Fang, Hui

Thumbnail for Essays in Political Economy and Public Policy
Essays in Political Economy and Public Policy
Toossi Ardakani, Ali