2014

page

Visible to the public  Program Agenda

Submitted by el_wehby on Thu, 10/09/2014 - 12:57pm

Meeting archives: 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 |

file

Visible to the public Invariant verification of nonlinear hybrid automata networks of cardiac cells

Submitted by zhuang25 on Fri, 10/03/2014 - 12:47pm

Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic regulation. We present an algorithm for over-approximating reach sets of networks of nonlinear HA which can be used for sound and relatively complete invariant checking. First, it uses automatically computed input-to-state discrepancy functions for the individual automata modules in the network A for constructing a low-dimensional model M.

event

Visible to the public  NSF CPS PI Mtg 2014
Nov 06, 2014 8:00 am - Nov 07, 2014 5:00 pm EST

Submitted by Anonymous on Fri, 09/19/2014 - 2:54pm

The fifth annual CPS PI Meeting was held Thursday and Friday, November 6-7, 2014 at the Crystal Gateway Marriott Hotel located at 1700 Jefferson Davis Highway, Arlington, Virginia 22202 near the Crystal City Metro and Reagan Washington National Airport (DCA).

event

Visible to the public  The Changing Nature of Invention in Computer Science
Sep 30, 2014 12:00 pm - 1:00 pm EDT

Submitted by Anonymous on Tue, 09/16/2014 - 12:30pm

Register for September 30 Webcast with 2013 ACM Fellow Dennis Shasha: "The Changing Nature of Invention in Computer Science"

Register TODAY for the next free ACM Webcast, "The Changing Nature of Invention in Computer Science," presented on Tuesday, September 30, 2014 at noon ET (11am CT/10 am MT/9 am PT/4 pm GMT) by Dennis Shasha, Professor of Computer Science at the Courant Institute of New York University and a 2013 ACM Fellow.

event

Visible to the public  SMERC 2014
Sep 16, 2014 8:00 am - Sep 16, 2014 5:00 pm PDT

Submitted by Anonymous on Tue, 09/16/2014 - 12:17pm

UCLA to Host Smart EV Charging and Grid Management Symposium on September 16, 2014 - along with National Drive Electric Week

In September, as America and California plan their National Drive Electric Week - https://driveelectricweek.org/event.php?eventid=127 - UCLA's SMERC is planning to host its Smart EV Charging and Grid Management Symposium.

event

Visible to the public  MDD4DRES 2014
Sep 01, 2014 8:00 am - Sep 05, 2014 5:00 pm CEST

Submitted by Anonymous on Mon, 08/25/2014 - 3:34pm

5th International Summer School on Model-Driven Development for Distributed, Realtime, Embedded Systems
MDD4DRES 2014

Model-Driven Development (MDD) is now an established paradigm the application of which spans multiple domains. One of the main domains is Distributed Real-Time and Embedded Systems (DRES) where MDD has proven its efficiency.

event

Visible to the public  REACTION 2014
Dec 02, 2014 8:00 am - 5:00 pm CET

Submitted by Anonymous on Mon, 08/25/2014 - 3:15pm

3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications

Co-located with IEEE RTSS

event

Visible to the public  EMBC 2014
Aug 26, 2014 8:00 am - Aug 30, 2014 5:00 pm CDT

Submitted by Anonymous on Tue, 08/19/2014 - 4:12pm

36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'14)

will be held from August 26-30, 2014 at the Sheraton Hotel & Towers, Chicago, Illinois, USA. The overall theme of the conference is "Discovering, Innovating, and Engineering Future Biomedicine." It will cover diverse topics from cutting-edge biomedical and healthcare technology research and development, clinical applications, to biomedical education.

event

Visible to the public  PV@CONCUR 2014
Sep 06, 2014 8:00 am - 5:00 pm EDT

Submitted by Anonymous on Fri, 08/01/2014 - 2:00pm

First Workshop on Parameterized Verification

Parameterized Verification (PV) is the task of verifying the correctness
of systems composed of a finite but arbitrary number of identical
components. The workshop is aimed at bringing together researchers
working on PV in areas like Concurrent Software, Protocols, Distributed
Algorithms, and Hardware Design.

The home page of the workshop is at the URL:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/

event

Visible to the public  Summer School - CPS for Industrial App.
Jul 21, 2014 1:30 pm - 2:30 pm CEST

Submitted by Anonymous on Mon, 07/21/2014 - 12:38pm

Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and control

Organized by the consortium of EU FP7 project WiBRATE, http://wibrate.alari.ch

This summer school explores new paradigms and techniques for Cyber-Physical Systems (CPS) in an industrial setting. Cyber-Physical Systems have computations, reasoning, and communication highly embedded in and interacting with physical objects. Typical examples of CPS can be found in manufacturing, robotics, and transport.