Agents and Simulated Reality

Page 16 of 19.

1. 

   COMMODTIY12 - COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2

   In COMMODITY12 we will build a multi-layered multi-parametric infrastructure for continuous monitoring of diabetes type 1 and 2. The COMMODITY12 system will exploit multi-parametric data to provide…

2. ProtoTo - Durchgängige Entwicklung von Sicherheitsprotokollen

   In the academic area there are numerous approaches to the formal analysis of

   security protocols. Computer-supported approaches are all based on the Dolev-Yao (DY) model,

   which assumes a perfect…

3. SeSam - Secure and Safe Microkernel

   Partners

   Sysgo, EADS (Deutschland), IESE (Frauenhofer Kaiserslautern)

    

4. 

   NOTOX - Predicting long term toxic effects using computer models based on systems characterization of organotypic cultures

   In dem hälftig von der EU und dem COLIPA-Verbund der kosmetischen Industrie geförderten Projekt “NOTOX” sollen systembiologische Werkzeuge entwickelt werden, um die toxische Langzeitwirkung von…

5. 

   ViBaM - Viewpoint Based Modeling

   The project Viewpoint-Based Modelling (ViBaM) was successfully applied for in the European "EuroStars" program and is funded by the German Federal Ministry of Education and Research (BMBF).

   The goal…

• previous
• 1
• …
• 15
• 16
• 17
• …
• 19
• next