The past decade has brought a sea change in the availability of data. Instead of a world in which we have small number of carefully curated data sources — instead we have a plethora of datasets, data versions, and data representations . Devices and data acquisition tools make it easy Read more…
Problems involving learning from ranking and choice data arise in several domains, ranging from sports rankings to elections and from recommender systems to marketing. Indeed, algorithms for these problems have been developed in many different fields, ranging from statistics to computer science and from social choice to marketing. Unfortunately, however, Read more…
Text carries meaning much richer than its propositional content. What people often remember best about a text are their subjective impressions of how well-written the text was, or how the text was stylistically marked conveying formality, depth of detail and importance of its content. We have developed computational models to Read more…
The overarching goal of the DELPHI project is to simplify the development of correct and reliable software. Existing methodologies require significant human expertise, such as in the design of appropriate abstract domains and environment models, or suffer from significant barriers to adoption, such as limited scalability and flexibility. This project Read more…
The Internet of Things (IoT) promises to change the way we acquire and handle data — as Internet-connected devices (wearable or implantable medical sensors, environmental sensors, devices) “stream” data back to the cloud for processing, analysis, and real-time decision-making. Consider the example of heart arrhythmia detection below. A key component Read more…
Visual simulation methods for natural phenomena involving complex solid and fluid dynamics have been widely applied in digital animation and effects. Computer graphics and computational mechanics have also proved to be a powerful combination for pushing the boundaries of science and engineering in diverse fields such as soil mechanics, geophysics, Read more…
Recent years have witnessed two major trends in the development of complex real-time systems. First, they are moving from physically isolated hosts towards common computing platforms shared by multiple systems. Using common platforms can bring significant benefits, including reduced cost and weight, as well as increased flexibility via dynamic resource Read more…
The Intensive Care Unit of most major hospitals is a noisy environment. In order to monitor patients, healthcare practitioners set threshold alarms on each of many individual vital sign monitors. While nurses themselves rarely consider one vital sign in isolation, the current alarm algorithms elicit numerous false positive alarms by Read more…
Critical care involves the use of two common types of medical devices: monitoring devices, such as bedside monitors; and actuation devices, such as infusion pumps. Traditionally, caregivers need to collect information from the monitoring devices and manually adjust the settings of actuating devices. Patient safety may be compromised if a Read more…
The project aims to develop control systems for ground vehicles that are resilient to a variety of external attacks. Our approach is to combine control-level techniques and code-level techniques, resulting in the approach comprises of two major stages: control law design and control task synthesis. Control-level defenses address attacks on Read more…