SOFTWARE FOR CRITICAL SYSTEMS SL

Projekt → Verifiably Safe and Correct Deep Neural Networks Deep machine learning is revolutionizing computer science. Instead of manually creating complex software, engineers now use autom… Beitrag ansehen → Projekt → Leap in Advancing of crItical Quantum key distribution-spAce components LaiQa comes as a technology intensive research and innovation action aiming to develop and advance critical components and techno… Beitrag ansehen → Projekt → Automated Synthesis of Certifiable Control Software for Autonomous Vehicles Autonomous driving is a dominant technological theme of the 21st century, with vehicles from various car manufacturers equipped w… Beitrag ansehen → Projekt → Industry empowerment to Multiphase fluid dynamics simulations using Artificial intelligence and Statistical methods on modern hardware architectures at Scale Multi-phase, trans/supercritical and non-Newtonian fluid flows with heat and mass transfer are critical in enhancing the performa… Beitrag ansehen → Projekt → Ai-aided deCision tool for seamless mUltiModal nEtwork and traffic managemeNt Ai-aided deCision tool for seamless mUltiModal nEtwork and traffic managemeNt (ACUMEN) proposes a generic, privacy-preserving, da… Beitrag ansehen → Projekt → Software architectures for Secure, Private, User-Controlled Smart devices People increasingly depend on their personal smart devices (smartphones, smart watches, voice assistants) to communicate, access… Beitrag ansehen →