University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1171–1200 of 77,042 items
Thumbnail for Symbolic Model Checking of Infinite-State Systems Using Narrowing
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Escobar, Santiago; Meseguer, José

Thumbnail for A feasibility study for a housing management information system.
A feasibility study for a housing management information system.
University of Illinois at Urbana-Champaign. Housing Research and Development Program

Thumbnail for Development of a Low-Cost Navigation System for Autonomous Off -Road Vehicles
Development of a Low-Cost Navigation System for Autonomous Off -Road Vehicles
Guo, Linsong

Thumbnail for Symmetric formulation of the Kalman-Yakubovich-Popov lemma and its application to distributed control of positive systems
Symmetric formulation of the Kalman-Yakubovich-Popov lemma and its application to distributed control of positive systems
Tanaka, Takashi

Thumbnail for Symbolic semantics for CSP
Symbolic semantics for CSP
Li, Liyi

Thumbnail for Throttling Attackers in Peer-to-Peer Media Streaming Systems
Throttling Attackers in Peer-to-Peer Media Streaming Systems
Conner, William G.; Nahrstedt, Klara

Thumbnail for Reducing Operating Costs in School Heating Systems
Reducing Operating Costs in School Heating Systems
Brotherson, Donald E.

Thumbnail for Regulation of the Liquid-Mass-Fraction of the Refrigerant Exiting an Evaporator
Regulation of the Liquid-Mass-Fraction of the Refrigerant Exiting an Evaporator
Solberg, J.R.

Thumbnail for Optical and Electronic Aspects of Automating a Spectrofluorometric/liquid-Chromatographic System
Optical and Electronic Aspects of Automating a Spectrofluorometric/liquid-Chromatographic System
Lyons, John William

Thumbnail for Performance evaluation of checkpoint rollback recovery algorithms in distributed systems
Performance evaluation of checkpoint rollback recovery algorithms in distributed systems
Manzo, William Anthony

Thumbnail for Part I. Supramolecular Star Polymers Based on Ditopic Hydrogen-Bonding Modules. Part II. The Concept of Fidelity as a Framework for Evaluating the Behavior of Complex Supramolecular Systems
Part I. Supramolecular Star Polymers Based on Ditopic Hydrogen-Bonding Modules. Part II. The Concept of Fidelity as a Framework for Evaluating the Behavior of Complex Supramolecular Systems
Todd, Eric

Thumbnail for Bibliography and index of Illinois geology: 1980
Bibliography and index of Illinois geology: 1980
Submitter: Howard Ding

Thumbnail for Optical Simulation of Antenna Images
Optical Simulation of Antenna Images
Myers, J.J.; Elliott, B.D.

Thumbnail for Verification of Annotated Models from Executions
Verification of Annotated Models from Executions
Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Thumbnail for Modeling of power system dynamics in the medium time scale
Modeling of power system dynamics in the medium time scale
Varghese, Abraham

Thumbnail for Using a Geographic Information System (GIS) to Integrate DOC Natural Resource Data: Streams Data Component, Annual Report, April 16, 1992 to April 15, 1993
Using a Geographic Information System (GIS) to Integrate DOC Natural Resource Data: Streams Data Component, Annual Report, April 16, 1992 to April 15, 1993
Szafoni, Diane L.; Bayley, Peter B.; Joselyn, Mark G.; Iverson, Louis L.

Thumbnail for Instrumentation for a distributed feedback laser biosensor system
Instrumentation for a distributed feedback laser biosensor system
Chu, Allen C.

Thumbnail for A Performance Analysis of Architectural Scalability
A Performance Analysis of Architectural Scalability
Kwok, Alex Yuen-Wai

Thumbnail for A New Design Technique of Sub-Optimal Non-Linear Automatic Feedback Control Systems Using Sensitivity Functions
A New Design Technique of Sub-Optimal Non-Linear Automatic Feedback Control Systems Using Sensitivity Functions
Jamshidi, Mohammed S.

Thumbnail for Transaction Log on WORM Architecture with Built-in Audit Helper
Transaction Log on WORM Architecture with Built-in Audit Helper
Lee, Yun Hee

Thumbnail for Phase transitions and avalanches in synchronizing systems
Phase transitions and avalanches in synchronizing systems
Coleman, John Patrick

Thumbnail for Optimization and Decoupling of Large Dynamic Systems with Applications to Power Systems
Optimization and Decoupling of Large Dynamic Systems with Applications to Power Systems
Singh, Gurdial

Thumbnail for Using Geographic Information Systems for estimating and profiling geographic library market areas
Using Geographic Information Systems for estimating and profiling geographic library market areas
Koontz, Christie

Thumbnail for Proceedings of the Workshop on Fault Tolerant System Design and Implementation
Proceedings of the Workshop on Fault Tolerant System Design and Implementation
Metze, Gernot

Thumbnail for Theoretical and Experimental Study of a Continuous Hydrodynamically-Enhanced Separation System Paradigm
Theoretical and Experimental Study of a Continuous Hydrodynamically-Enhanced Separation System Paradigm
Raguin, Minh Lan Guy

Thumbnail for Real-time validation of power system transient stability simulation results
Real-time validation of power system transient stability simulation results
Hughes, Yuchen

Thumbnail for 2016-2017 Public Land Harvest Reporting Systems Report: Harvest, Satisfaction, and Preference
2016-2017 Public Land Harvest Reporting Systems Report: Harvest, Satisfaction, and Preference
Conat, Ryan J.; Zhang, Xiaohan

Thumbnail for Ethical Implications of Biases and Errors in Geographic Information Systems
Ethical Implications of Biases and Errors in Geographic Information Systems
Graeff, Christine

Thumbnail for Suggested Short Term Improvements for a Tactical Air Control System
Suggested Short Term Improvements for a Tactical Air Control System
Lavatelli, L.S.; Lazarus, D.; Miller, E.E.

Thumbnail for Digital static pressure control of a variable air volume heating, ventilating and air conditioning system.
Digital static pressure control of a variable air volume heating, ventilating and air conditioning system.
Clanin, T.J.