Exploratory action CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
Exploratory action CircleD Computational Structural Reuse for Circular Design Circular design aims at expanding the lifespan of industrial products through repair and reuse. But...
Exploratory action COMPARTIMENTAGE Spatio-Temporal Imaging and Modeling of Signaling Pathway Compartmentalization G protein-coupled receptors (GPCRs) form a large class of membrane receptors mainly targeted by...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action DEPARTURE DistributEd comPuting And network nonlocaliTy in the qUantum inteRnEt Quantum correlations are a cornerstone of quantum information theory, to understand its foundations...
Exploratory action E-MOTS Economic Modeling Of Targeting Strategy Social networks lead to strategic behaviour in a world of imperfect information, such as targeting...
Challenge EQIP Engineering for Quantum Information Processors Building a functional quantum computer is one of the grand scientific challenges of the 21st century...
Challenge FedMalin Federated MAchine Learning over the INternet (FedMalin) In many use-cases of Machine Learning (ML), data is naturally decentralized: medical data is...
Exploratory action GRANIER GRAvitatioNal hazards in mountaIns in the contExt of Risks prediction — Nonsmooth modeling and simulation with data in Geomechanics In this exploratory action, it is proposed to work on numerical tools for the modelling and...
Exploratory action INCLUDE Integrating fuNctional MRI and EEG with Carbon-wire Loops : towards the characterization of mUltimoDal functional biomarkErs The aim is to develop an high-resolution spatiotemporal imaging technique to map the cerebral...
Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action MURENE Study of the problem of mutual debt reduction in B2B payment networks The reduction of mutual debts between companies is a major economic stake, especially in times of...
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 noCNN No-brain-shift and Comprehensive Neurosurgical Navigation (noCNN) Neuronavigation refers to the set of computer-aided technologies used by neurosurgeons to guide...
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...