Profile photo of Yasser Shoukry
Yasser Shoukry
PRECISE Seminar: Secure State Estimation for CPS Under Sensor Attacks - A Satisfiability Modulo Theory Approach
June 2, 2015

Motivated by the need to secure critical infrastructure against sensor attacks, in this talk I will focus on a problem known as "secure state estimation”. It consists of estimating the state of a dynamical system when a subset of its sensors is arbitrarily corrupted by an adversary. Although of critical importance, this problem is combinatorial in nature since the subset of attacked sensors in unknown. Previous work in this area can be classified into two broad categories. The first category is based on numerical optimization techniques. These techniques are well suited to handle the…

Profile photo of Richard West
Richard West, Ph.D.
PRECISE Seminar: Quest - in Time and Space
May 13, 2015

Multi- and many-core processors commonly found in server-class systems are now increasingly popular in embedded platforms. Many of these processors feature hardware virtualization capabilities, such as the ARM Cortex A15, and x86 processors with Intel VT-x or AMD-V support. Hardware virtualization offers opportunities to partition physical resources, including processor cores, memory and I/O devices amongst guest virtual machines. For mixed criticality embedded systems it is possible to partition services with different timing and safety criticality levels across separate virtual machines…

Profile photo of Suchi Saria
Suchi Saria, Ph.D.
PRECISE Seminar: The Escapades of a Machine Learning Scientist - Learning Models from Electronic Health Data
April 29, 2015

Healthcare spending is nearing $3 trillion per year, but in spite of this expenditure, the US is outpaced by most developed countries with regard to outcomes. Until recently, one of the key bottlenecks for research in care delivery was the lack of data to analyze the health system’s workings. But today, post the HITECH in 2009, much of an individual’s health data is stored electronically. This opens up a wealth of opportunities for computational scientists.

In this talk, I will develop and solve two problems. The first is the challenge of accurate prognoses in chronic diseases…

Profile photo of Pietro Valdastri
Pietro Valdastri, Ph.D.
PRECISE Seminar: Magnetic Capsule Robots for Gastrointestinal Endoscopy & Abdominal Surgery
March 27, 2015

The talk will move from capsule robots for gastrointestinal endoscopy toward a new generation of surgical robots and devices, having a relevant reduction in invasiveness as the main driver for innovation. Wireless capsule endoscopy has already been extremely helpful for the diagnosis of diseases in the small intestine. Specific wireless capsule endoscopes have been proposed for colon inspection, but have never reached the diagnostic accuracy of standard colonoscopy. In the first part of the talk, we will discuss enabling technologies that have the potential to transform colonoscopy into a…

Profile photo of Vijay Saraswat
Vijay A. Saraswat, Ph.D.
PRECISE Seminar: Real-time Actionable Insight
March 18, 2015

At the heart of the new enterprise is the ability to continuously gather information about business entities of interest (of any shape/form/size), run analytics against them (to cluster, correlate, learn patterns, predict future behavior), and inform ongoing business transactions with insights gained through such analysis (for fraud detection, cross-selling, customer management etc).

To support this future of operational decision-making, the META project is developing a scalable, contextual reasoning platform. This platform is built on the three legs of event processing,…