SOFTWARE FOR CRITICAL SYSTEMS SL

Projekt → Interoperable opeN-source Tools to Enable hybRidisation, utiliSation, and moneTisation of stORage flExibility Storage is becoming one of the most critical assets for modern energy systems. At the same time storage is a very diverse univers… Beitrag ansehen → Projekt → Quantum Long-Range Networks "Long-range interactions enable a wide range of novel scaling phenomena in the out-of-equilibrium behaviour of quantum systems. T… Beitrag ansehen → Projekt → Reinforcement learning to improve proof-automation in theorem proving Developing generic proof automation methods for interactive theorem provers (ITPs) is challenging but valuable. Applications rang… Beitrag ansehen → Projekt → Compositional Higher-Order Reasoning about Distributed Systems Software systems are critical for the infrastructure of modern society and software errors and security breaches pose enormous co… Beitrag ansehen → Projekt → Agentic AI and Multiagentic: Are We Reinventing the Wheel? The terms Agentic AI and Multiagentic AI have recently gained popularity in discussions on generative artificial intelligence, of… Beitrag ansehen → Projekt → Open-Source Cloud-Based Services on EPI Systems This project proposes to design OpenCUBE, a full-stack solution of a validated European Cloud computing blueprint to be deployed… Beitrag ansehen →