Publications
-
Abstractions for Hybrid Systems
We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reasoning to abstract…
-
Evaluation of Matrix Metalloproteinases in Atherosclerosis Using a Novel Noninvasive Imaging Approach
This study evaluated the ability of the novel gadolinium-based MRI contrast agent P947 to target MMPs in atherosclerotic plaques.
-
Moisture Induced Electron Traps and Hysteresis in Pentacene-Based Organic Thin-Film Transistors
Previous work revealed that electron traps in pentacene formed in air cause hysteresis in thin-film transistor characteristics. Here, we experimentally showed that water vapor, rather than oxygen, is responsible for these hysteresis-causing trap states.
-
Hydrogen and magnesium incorporation on c-plane and m-plane GaN surfaces
We present first-principles calculations for m-plane and c-plane In0.25Ga0.75N surfaces, focusing on how the growth conditions affect indium incorporation.
-
An intelligent fitting room using multi-camera perception
In this paper, we describe the architecture of the vision system for the Responsive Mirror, a novel system for retail fitting rooms that enables online social fashion comparisons in physical…
-
Mobile recommendations for leisure activities
We demonstrate a context-aware mobile system for recommending information about leisure activities (Shopping, Eating, Doing, Seeing, and Reading), codenamed Magitti, which infers the users leisure activity from context and patterns…
-
Automatic Labeling Inconsistencies Detection and Correction for Sentence Unit Segmentation in Conversational Speech
In this work, we present various methods to detect labeling inconsistencies in the ICSI meeting corpus. We show that by automatically detecting and removing the inconsistent examples from the training…
-
Cyber-Physical Systems and Events
This paper discusses event-based semantics in the context of the emerging concept of Cyber Physical Systems and describes two related formal models concerning policy-based coordination and Interactive Agents.
-
Heart Rate Variability During Sleep in Women with Severe Premenstrual Syndrome
-
Meeting Structure Annotation
We describe a generic set of tools for representing, annotating, and analysing multi-party discourse, including: an ontology of multimodal discourse, a programming interface for that ontology, and NOMOS – a flexible and…
-
Outdoor Mapping and Navigation Using Stereo Vision
We consider the problem of autonomous navigation in an unstructured outdoor environment. The goal is for a small outdoor robot to come into a new area, learn about and map…
-
Preparing Teachers To Teach For Deep Understanding: A Curriculum-Based Approach
A central goal of most professional development in Earth science is to help teachers prepare their students to develop a deep understanding of subject matter. We describe an approach that…