Simulation

The imitation of the operation of a real-world process or system over time.
file

Visible to the public Automated Specification Extraction and Testing of Autonomous Systems

This exhibition presents two projects. The first project is a framework and associated tooling for the extraction of system specifications from test data that has been automatically generated from automated executions of the system. The test data in our framework consists of sequences of inputs to and the corresponding outputs from the system. From an initial collection of test data, data-mining techniques are used to infer the invariants; then the system is instrumented with the invariants and new test data is generated to try to invalidate the mined invariants.

file

Visible to the public Distributed Sensing Collective to Capture 3D Soundscapes

Oceans are drivers of global climate; they are home to some of our most important and diverse ecosystems; and they provide a substantial amount to the world's economy as a major source of food and employment. Sound plays a vital role in the ocean ecosystem, as many organisms rely on the acoustic environment for navigation, communication, detecting predators and finding food. Therefore, the 3D underwater soundscape, i.e., the combination of sounds present in the immersive underwater environment, is of extreme importance to ultimately understanding and protecting underwater ecosystems.

file

Visible to the public CPS-Synergy-Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices

Over the last decade, researchers have started exploring the design space of Medical Capsule Robots (MCRs):devices that operate autonomously within the human body and can monitor, diagnose, prevent, and cure diseases. MCRs are severely resource constrained devices in size, power and computational capacity. As&nbsp

forum

Visible to the public Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL

CALL FOR PAPERS AND TUTORIALS

International Workshop on Agent-based Modeling and Applications with SARL (SARL-17)

Madeira, Portugal | May 16-19, 2017 | http://www.multiagent.fr/Conferences:SARL17

In conjunction with the 8th International Conference on Ambient Systems, Networks, and Technologies (ANT 2017).

Important Dates

event

Visible to the public  SARL-17
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

International Workshop on Agent-based Modeling and Applications with SARL (SARL-17)

Madeira, Portugal | May 16-19, 2017 | http://www.multiagent.fr/Conferences:SARL17

In conjunction with the 8th International Conference on Ambient Systems, Networks, and Technologies (ANT 2017).

event

Visible to the public  ANT 2017
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017)

in conjunction with the 7th International Conference on Sustainable Energy Information Technology (SEIT 2017)

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) is a leading international conference for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all Ambient Systems, Networks and Technologies related areas.