Profile photo of Octav Chipara
Octav Chipara, Ph.D.
PRECISE Seminar: Power Management for Mobile Sensing Applications
February 24, 2016

Energy-efficiency is a critical concern in continuously-running mobile applications, such as those for health and context monitoring. An attractive approach to saving energy in such applications is to defer the execution of delay-tolerant op- erations until a time when they would consume less energy. However, introducing delays to save power may have a detri- mental impact on the user experience. To address this prob- lem, we present Tempus, a new approach to managing the trade-off between energy savings and delay. Tempus saves power by enabling programmers to annotate power-hungry…

Profile photo of Pierluigi Nuzzo
Pierluigi Nuzzo, Ph.D.
PRECISE Seminar: Compositional Design of Cyber-Physical Systems Using Contracts
December 9, 2015

The realization of complex cyber-physical systems is creating design and verification challenges that will soon become insurmountable with today’s engineering practices. While model-based design tools are already facilitating several design tasks, harnessing the complexity of the Internet-of-Things scenario is only deemed possible within a unifying methodology. This methodology should help interconnect different tools, possibly operating on different system representations, to enable scalable design space exploration and early detection of requirement inconsistencies.

In this talk…

Profile photo of Jason H Moore
Jason H. Moore, Ph.D.
PRECISE Seminar: Artificial Intelligence Strategies for the Analysis of Biomedical Big Data
November 25, 2015

A central goal of artificial intelligence (AI) is to develop algorithms and software that can solve complex problems as a human would. AI is poised to have a significant impact on making discoveries in biomedical big data given the availability of powerful algorithms, visualization methods, and high-performance computing. We introduce here the Exploratory Modeling for Extracting Relationships using Genetic and Evolutionary Navigation Techniques (EMERGENT) algorithm as an AI approach for the large-scale genetic analysis of common human diseases. EMERGENT builds models of genetic variation…

Profile photo of Jie Wu
Jie Wu, Ph.D.
PRECISE Seminar: Collaborative Mobile Charging and Coverage
November 18, 2015

The limited battery capacity of sensor nodes has become the biggest impediment to wireless sensor network (WSN) applications over the years.  Recent breakthroughs in wireless energy transfer, based on rechargeable lithium batteries, provide a promising application of mobile vehicles.  These mobile vehicles act as mobile chargers to transfer energy wirelessly to static sensors in an efficient way. In this talk, we discuss some of our recent results on several charging and coverage problems involving multiple mobile chargers. In collaborative mobile charging, a fixed charging location,…

Byron Cook, Ph.D.
PRECISE Seminar: Proving that programs eventually do something good
October 29, 2015

In this talk I will discuss research advances that led to practical tools for automatically proving program termination and related properties, e.g. liveness. Practical applications include automatically proving device driver correctness, and pharmaceutical research.