Project-team MAGELLAN Reliable and Responsible Decentralized Computing Infrastructures The Magellan Inria/ IRISA project-team aims to enable the creation of efficient, robust, environment...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
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 ALAMO Alternative algorithms for the simulation of lattice models Stochastic lattice models are of constant interest to the scientific community, both for their...
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 AuDaCITI Autonomous Data Collection and Labeling Through Interaction Recent achievements of AI were led by large computational models and equally large datasets, often...
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 Back In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Get ready to uncover unexpected plots and secrets as old as time! BACK IN TIME brings together the...
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 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 ECOPTICS Visual Appearance Modeling for Behavioral Ecology The ECOPTICS project ambition to bring new tools that help unravel some of the mysteries found in...
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...