Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Exploratory action MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’ordinateur Quantique
Exploratory action MusMapS Muscle Mapping for Shared-Control assistance of disabled people MusMapS uses effort measurements (mapping of physical capacities) from disabled patients to...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Exploratory action POPEG Wave propagation using Gaussian states Galerkin methods can numerically approximate time-harmonic waves by combining "basis functions"...
Exploratory action POSP Point Process for Signal Processing In the context of bio-signal modeling, unsupervised techniques that highlight recurring patterns...
Exploratory action PreMedIT Precision Medicine using Topology The goal of precision medicine is to tailor treatment according to patients’ characteristics, by...
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...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Exploratory action SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...
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 A/D Drugs From analog to digital drugs When it comes to treating mental disorders, the emergence of resistance to medication is a major...
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 APOLLON Apollo (Aristotle's POLitics : Language and numerical Optimization) The study of ideas of historical texts require an expertise identifying the context, the precise...