Event Listing

09 DEC 2015
@ 10:00 am
Seminar
PRECISE Seminar: Compositional Design of Cyber-Physical Systems Using Contracts
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… Read more
25 NOV 2015
@ 11:00 am
Seminar
PRECISE Seminar: Artificial Intelligence Strategies for the Analysis of Biomedical Big Data
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,… Read more
18 NOV 2015
@ 11:00 am
Seminar
PRECISE Seminar: Collaborative Mobile Charging and Coverage
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… Read more
29 OCT 2015
@ 2:00 pm
Seminar
PRECISE Seminar: Proving that programs eventually do something good
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.  Read more
23 OCT 2015
@ 9:00 am
Conference
Industry Day 2015
PRECISE’s “Cyber-Physical Systems Industry Day” is an informal and intimate day-long symposium for leading executives and engineers involved in designing and developing cyber-physical systems, embedded systems, hybrid and control systems, and Internet of Things. … Read more
02 JUN 2015
@ 11:00 am
Seminar
PRECISE Seminar: Secure State Estimation for CPS Under Sensor Attacks - A Satisfiability Modulo Theory Approach
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… Read more
13 MAY 2015
@ 11:30 am
Seminar
PRECISE Seminar: Quest - in Time and Space
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.… Read more
29 APR 2015
@ 12:00 pm
Seminar
PRECISE Seminar: The Escapades of a Machine Learning Scientist - Learning Models from Electronic Health Data
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… Read more
27 MAR 2015
@ 10:00 am
Seminar
PRECISE Seminar: Magnetic Capsule Robots for Gastrointestinal Endoscopy & Abdominal Surgery
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… Read more
18 MAR 2015
@ 12:00 pm
Seminar
PRECISE Seminar: Real-time Actionable Insight
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… Read more