University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 713 items
Thumbnail for Formal semantics of hybrid automata
Formal semantics of hybrid automata
Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Al-Turki, Musab A.

Thumbnail for Universal dimensions of power and gender: consumption, survival and helping
Universal dimensions of power and gender: consumption, survival and helping
Jung, Kiju

Thumbnail for Education for librarianship in India
Education for librarianship in India
Hintz, Carl W.

Thumbnail for Least Relative Change Quasi-Newton Updates for Chemical Engineering Process Optimization
Least Relative Change Quasi-Newton Updates for Chemical Engineering Process Optimization
Nguyen, Thai Dong

Thumbnail for Linearity improvement technique for CMOS continuous-time filters
Linearity improvement technique for CMOS continuous-time filters
Moon, Un-Ku

Thumbnail for Biomarker Magazine Winter 2016, vol. 10
Biomarker Magazine Winter 2016, vol. 10
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for The Structure and Activity of Admetal-Modified Single Crystal Platinum and Gold Electrodes
The Structure and Activity of Admetal-Modified Single Crystal Platinum and Gold Electrodes
Johnston, Christina M.

Thumbnail for Abstracts
Abstracts
Submitter: Howard Ding

Thumbnail for The development of a portable vessel for the collection, storage, and utilization of solar thermal energy for household use
The development of a portable vessel for the collection, storage, and utilization of solar thermal energy for household use
Alonso, Matthew Paul

Thumbnail for Cure kinetics of ring-opening metathesis polymerization of dicyclopentadiene
Cure kinetics of ring-opening metathesis polymerization of dicyclopentadiene
Kessler, Michael R.; White, Scott R.

Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
d'Amorim, Marcelo

Thumbnail for Mechanical properties of microcapsules used in a self-healing polymer
Mechanical properties of microcapsules used in a self-healing polymer
Keller, Michael W.; Sottos, Nancy R.

Thumbnail for Split serpents and bitter blades: Reconstructing details of the PIE dragon-combat
Split serpents and bitter blades: Reconstructing details of the PIE dragon-combat
Slade, Benjamin

Thumbnail for Social Status and Product Perceptions: A Social Identity Perspective on Information Processing and Product Evaluation
Social Status and Product Perceptions: A Social Identity Perspective on Information Processing and Product Evaluation
Harris, James Edwin

Thumbnail for Characterization of Platinum-Based Heterogeneous Electrocatalysts and Catalysis Modeling
Characterization of Platinum-Based Heterogeneous Electrocatalysts and Catalysis Modeling
Kim, Hongsun

Thumbnail for Induction and Repression of Nitrate Reductase in Corn (Zea Mays L.) Seedlings
Induction and Repression of Nitrate Reductase in Corn (Zea Mays L.) Seedlings
Schrader, Lawrence Edwin

Thumbnail for Assessment and assurance of autonomous vehicle safety
Assessment and assurance of autonomous vehicle safety
Cyriac, James

Thumbnail for Audit committee's propensity to challenge significant accounting estimates: the joint effects of audit report content and investor type
Audit committee's propensity to challenge significant accounting estimates: the joint effects of audit report content and investor type
Kang, Yoon Ju

Thumbnail for Preparation-free and comprehensive runtime verification tool for testing Java programs
Preparation-free and comprehensive runtime verification tool for testing Java programs
Lee, Choonghwan

Thumbnail for Bioinspired microvascular self-healing in polymers and composites
Bioinspired microvascular self-healing in polymers and composites
Patrick, Jason

Thumbnail for New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications
Ko, Steven Y.; Morales, Ramses V.; Gupta, Indranil

Thumbnail for Retardation and repair of fatigue cracks in a microcapsule toughened epoxy composite -- Part II: In situ self-healing
Retardation and repair of fatigue cracks in a microcapsule toughened epoxy composite -- Part II: In situ self-healing
Brown, Eric N.; White, Scott R.; Sottos, Nancy R.

Thumbnail for Microcapsule induced toughening in a self-healing polymer composite
Microcapsule induced toughening in a self-healing polymer composite
Brown, Eric N.; White, Scott R.; Sottos, Nancy R.

Thumbnail for Adaptation of grammar based compression in detecting atomicity violations
Adaptation of grammar based compression in detecting atomicity violations
Xu, Yang

Thumbnail for On Safety Properties and Their Monitoring
On Safety Properties and Their Monitoring
Rosu, Grigore

Thumbnail for
"""Forms of Some Intenser Life"": Genre and Imperialism at the Turn of the Century"
Jernigan, Brandon

Thumbnail for Overlapping Terrains: Orientalism, Indian Nationalism and the Erotics of Cross -Cultural Contact
Overlapping Terrains: Orientalism, Indian Nationalism and the Erotics of Cross -Cultural Contact
Basu, Sriparna

Thumbnail for Metaphotographs: On represnting digital photo collections
Metaphotographs: On represnting digital photo collections
Bongen, Kora A.

Thumbnail for Improving the genome assembly and annotation of the white-tailed deer (Odocoileus virginianus borealis)
Improving the genome assembly and annotation of the white-tailed deer (Odocoileus virginianus borealis)
London, Evan W.