6th International Conference on Ambient Systems, Networks and Technologies in conjunction with the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015).

Big Data Analytics for Human-Centric Systems

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.

The Global City Teams Challenge (GCTC) was successfully launched by the National Institute of Standards and Technology (NIST) and US Ignite with a kick-off event at NIST on September 29-30. At this two day event, we had more than 350 on-site and remote attendees who came together to present project ideas and form Action Clusters on cyber-physical systems (CPS) and Internet of Things (IoT) for smart cities around the world.

Abstract: This project aims to enable cyber-­‐physical systems that can be worn on the body in order to one day allow their users to touch, feel, and manipulate computationally simulated three-­‐dimensional objects or digital data in physically realistic ways, using the whole hand. It will do this by precisely measuring touch and movement-­‐induced displacements of the skin in the hand, and by reproducing these signals interactively, via new technologies to be developed in the project.

Abstract: The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.