University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–26 of 26 items
Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Reasoning About MDPs as Transformers of Probability Distributions
Reasoning About MDPs as Transformers of Probability Distributions
Korthikanti, Vijay Anand; Viswanathan, Mahesh; Kwon, YoungMin; Agha, Gul A.

Thumbnail for Localization of Sparse Sensor Networks Using Layout Information
Localization of Sparse Sensor Networks Using Layout Information
Sundresh, Sameer; Kwon, YoungMin; Mechitov, Kirill; Kim, Wooyoung; Agha, Gul A.

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks
ActorNet: An Actor Platform for Wireless Sensor Networks
Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Resilient Localization for Sensor Networks in Outdoor Environments
Resilient Localization for Sensor Networks in Outdoor Environments
Kwon, YoungMin; Mechitov, Kirill; Sundresh, Sameer; Kim, Wooyoung; Agha, Gul A.

Thumbnail for
"The Retreat From Formal Schooling: ""Educational Manager Mothers"" in the Private After -School Market of South Korea"
Park, So Jin

Thumbnail for Verification of linear-time properties for finite probabilistic systems
Verification of linear-time properties for finite probabilistic systems
Kini, Dileep Raghunath

Thumbnail for Performing modern Korea in the U.S.: Korean immigrants' theatrical activities in California and Hawai'i during the first half of the twentieth century
Performing modern Korea in the U.S.: Korean immigrants' theatrical activities in California and Hawai'i during the first half of the twentieth century
Jeon, Young Ji

Thumbnail for Random Number Generation Using a Biased Source
Random Number Generation Using a Biased Source
Pae, Sung-il

Thumbnail for A service-oriented architecture for dynamic macroprogramming of sensor networks
A service-oriented architecture for dynamic macroprogramming of sensor networks
Mechitov, Kirill A.

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Lifted Inference for Relational Hybrid Models
Lifted Inference for Relational Hybrid Models
Choi, Jaesik

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis
Scalable Automated Methods for Dynamic Program Analysis
Sen, Koushik

Thumbnail for POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop
POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop
Uttamchandani, Sandeep

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop
POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop
Uttamchandani, Sandeep

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Ham, MyungJoo

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

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

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

Thumbnail for Toward a Cultural History in the Korean Present: Locating the Cultural Politics of the Everyday
Toward a Cultural History in the Korean Present: Locating the Cultural Politics of the Everyday
Lee, Keehyeung

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