Posters and Abstracts

file

Visible to the public EAGER- SOCIUS- Socially Responsible Smart Cities Poster.pdf

Submitted by yshoukry on Mon, 10/31/2016 - 5:49pm. Contributors:

This research is high-risk and high-reward. Failure means that the resulting planning algorithms will make unfair decisions and prioritize a few organizations or donors, or will make fair, but inefficient allocation decisions, which will endanger social justice and community well-being. Success will improve both eciency of resource distribution and the quality of life of underserved populations in the United States.

file

Visible to the public Robust Biomolecular Finite Automata

Submitted by Robyn.Lutz on Mon, 10/31/2016 - 5:49pm. Contributors:

This poster presents a uniform method for translating an arbitrary nondeterministic nite automaton (NFA) into a deterministic mass action chemical reaction network (CRN) that simulates it. The CRN receives its input as a continuous time signal consisting of concentrations of chemical species that vary to represent the NFA's input string in a natural way. The CRN exploits the inherent parallelism of chemical kinetics to simulate the NFA in real time, and its size is linear in the number of states of the NFA. The compiler of Chen et al.

file

Visible to the public Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology Poster.pdf

Submitted by David Corman on Mon, 10/31/2016 - 5:49pm. Contributors:

Introduction: Multi-scale methods are used to study phenomena that occur over multiple temporal
or spatial scales and observations at different scales often require distinct experimental protocols. A problem in quantitative physiology is to develop the methodology for simultaneous modeling and assessment of data that arise from multiple, multi-scale experimental frameworks.

file

Visible to the public UHDNetCity- User-centered Heterogeneous Data Fusion for Multi-networked City Mobility

Submitted by David Corman on Mon, 10/31/2016 - 5:49pm. Contributors:

As more of the world's cities suffer from congestion, pollution, and energy exploitation, urban mobility remains one of the toughest challenges that cities face as the process of population growth and urbanization continues. So far, the most common approach for urban mobility characterization focuses on vehicle's spatial and temporal positions. However, urban mobility is a multidimensional characteristic of the city life, experienced as tangled layers of interconnected infrastructures and information networks around people and their needs in a spatio--emporal frame.

file

Visible to the public Towards Resiliency in Cyber-physical Systems for Robot-assisted Surgery Poster.pdf

Submitted by Ravi Iyer on Mon, 10/31/2016 - 5:49pm. Contributors:

A detailed analysis of the adverse events associated with the surgical robots (reported to the FDA) indicates that despite the increased number of robotic procedures and their greater utilization, the rate of adverse events has remained relatively steady over the last 14 years. Even though current surgical robots are designed with safety mechanisms in mind, in practice several significant challenges exist in enabling timely and accurate detection and mitigation of incidents during surgery.

file

Visible to the public Compositionality for Cyber-Physical Systems Poster.pdf

Submitted by Rance Cleaveland on Mon, 10/31/2016 - 5:49pm. Contributor:

The presentation materials cover results obtained for the two above-mentioned projects. The poster presents material on an algebraic approach to modeling systems with both continuous and discrete behavior. The framework is based on process algebra, which was developed for discrete systems, and features the development of a tree-based semantic model, called generalized synchronization trees, that uniformly captures a very general notions of time.

file

Visible to the public NoQueue Real-Time Offloading Framework poster.pdf

Submitted by choufong on Mon, 10/31/2016 - 5:49pm. Contributors:

NoQueue is a real-time offloading framework design to remove server side queueing delay. It predicts workload execution time for each client using time series prediction. With the knowledge of offloading period and execution time, the planner is able to predict all future queueing events. The planner adjusts the future offloading time of clients to avoid queueing. As a result, it introduces jitter of offloading interval but improve end-to-end delay performance.