Youngmin Kwon

Learn More
Localization is the process by which sensor networks associate spatial position information with individual sensors' measurements. While manual surveying is sufficient for small-scale prototypes , it is too time-consuming and costly for the large-scale deployments anticipated in the near future. Our experiments with medium-scale outdoor sensor network(More)
A model checking technique to specify and verify temporal properties of drug disposition changes is proposed. In pharmacokinetics and pharmaceutics, drug kinetics is often modeled as single or multiple compartment models. In this paper, a probabilistic temporal logic, called iLTL, is introduced to specify many interesting properties of drug kinetics. Given(More)
Wireless sensor-actuator networks can provide the ability to continuously monitor the integrity of structures in real-time, detect damage at an early stage, and provide robustness in the case of catastrophic failures with a fraction of cost associated with today's wired networks. However, sensor-actuator networks require a new paradigm of computing—one(More)
This study aims to identify the changes in architectural and acoustical indices in halls for music performance built in the 18th through the 20th Centuries. Seventy-one halls are classified in five specific periods from the Classical Period (1751-1820) to the Contemporary Period (1981-2000) based on chronology in music and architectural acoustics.(More)
A process which computes the physical locations of nodes in a wireless sensor network is called local-ization. Self-localization is critical for large-scale sensor networks because manual or assisted localization is often impractical due to time requirements, economic constraints or inherent limitations of deployment scenarios. We have developed a service(More)
  • 1