Exploratory action 2MDS Multiscale Modeling of Dravet Syndrome Our aim is to develop a multi-scale modeling framework for channelopathies, a group of diseases...
Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action Comanche Computational Models of Lexical Meaning and Change (COMANCHE) COMANCHE proposes to transfer and adapt recent algorithms of representation learning from deep...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action LearnToOpt Learning to Optimize : Beyond Gradient-Based Optimization Many difficult real-world optimization problems require the usage of randomized derivative-free...
Exploratory action LiveIt Feeling and perceiving the symptoms of schizophrenia in augmented reality to reduce stigma The symptoms of schizophrenia are difficult to visualise and this often leads to significant...
Exploratory action MEGAVOLT Machine Learning and Evolution Equations A fierce scientific problem is to build a mathematical and numerical bridge between, on the one hand...
Exploratory action MID-ToRS Influence Mechanisms and Topology Dynamics in Social Networks In social networks, users choose to connect (“follow”) an influencer if the messages he sends seem...
Exploratory action OptiGPR3D Optimal direct and inverse modeling for 3D GPR imaging in complex environments With an a priori provided by a classical imaging method, could we design a network of emitters that...
Challenge OS Eliminating the Utilization Gap in Data Centers Data centers are today at the heart of all computing, from providing the computing power that...
Challenge PULSE PUshing Low-carbon Services towards the Edge To address climate challenges while meeting the growing need for computing resources, the PULSE...
Exploratory action QAT Quantum Computing Architectures Algorithms Applications and their Theory (QAT) Quantum information processing is about finding algorithms and protocols t hat can solve problems...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...