Theoretical aspects of cyber-physical systems.
Event
FIT-IoT-LAB
Internet of Things Conference (IoT) FIT- IoT-LAB   November 6 & 7 2014, Grenoble, France Scope
Submitted by Anonymous on October 20th, 2014
Event
RAPIDO'15
RAPIDO'15  7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO  Held in conjunction with the HiPEAC Conference  (http://www.hipeac.net/conference)
Submitted by Anonymous on October 20th, 2014
SAFECOMP 2015 "Assured connectivity" The 34th International Conference on Computer Safety, Reliability and Security 22-25 September 2015, Delft, the Netherlands http://safecomp2015.tudelft.nl/
Submitted by Anonymous on October 20th, 2014
Event
MODPROD 2015
9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015 Special theme for this year: Open Source Keynotes for MODPROD'2015 Workshop
Submitted by Anonymous on October 20th, 2014
Event
FESCA 2015
12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS WORKSHOP AIM
Submitted by Anonymous on October 20th, 2014
The 20th International Symposium on Formal Methods (FM 2015) Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit proposals for workshops.
Submitted by Anonymous on September 30th, 2014
Event
NWPT'14
The 26th Nordic Workshop on Programming Theory, NWPT '14 =Introduction= The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). =Scope= Topics of interest include (but are not limited to)
Submitted by Anonymous on September 30th, 2014
Event
HiRES2015
3rd Workshop on High-performance and Real-Time Embedded Systems (HiRES 2015) http://www.cister.isep.ipp.pt/hires2015 To be held in conjunction with the 10th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2015) Goal of the Workshop
Submitted by Anonymous on September 30th, 2014
This highly interdisciplinary research addresses two fundamental challenges in image sensing and image understanding: 1) versatile camera systems in a small form factor, and 2) 3-dimensional scene and object recognition from 2-dimensional photos. These fundamental challenges are tackled together by developing a cyber-physical imaging system, called smart flexible camera sheet, which integrates an array of many micro-cameras (millimeters in size each) onto a thin substrate. The substrate has flexible geometric shape and the orientation of each camera is individually adjusted and controlled in real time via intelligent algorithms. The overall imaging system is ultra-thin and space-efficient, and can be easily mounted onto or embedded into any planar or curved surface. Hence it opens up a plethora of new civilian and military applications where surveillance and visual monitoring are required, thus bearing great commercialization potential. Example applications are: smart vehicles, smart transportation, highway safety, smart civil infrastructure, manufacturing lines, battlefield surveillance and reconnaissance, sensor networks, mobile robotics, medical facilities, and patient care.
Off
Yu Hen Hu
University of Wisconsin-Madison
Hongrui Jiang
-
National Science Foundation
Hongrui Jiang
Submitted by Hongrui Jiang on September 22nd, 2014
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).
Submitted by Anonymous on September 19th, 2014
Subscribe to Foundations