Challenge OmicFinder Biological data indexation The genomic data produced by reading the DNA of cells is enabling crucial advances in medicine...
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...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Exploratory action REALPRIOREIT Bayesian inference with realistic physiological priors for electrical impedance tomography (EIT) This project aims to use Bayesian inference methods to solve inverse biomedical problems, using...
Exploratory action SIA Computer science in the Anthropocene The term Anthropocene reflects the geological scale of human impacts on the Earth system and...
Challenge YS.AI Towards the metaverse The metaverse became a buzzword following recent announcements about massive investments on those...
Project-team ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES is a joint research group between INRIA and J.L. Lions Laboratory, Sorbonne University...
Project-team ATLANTIS modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale ATLANTIS is a joint project-team between Inria, CNRS and Université Côte d'Azur thanks to its...
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
Project-team BEAGLE Artificial Evolution and Computational Biology The expanded name for the Beagle research group is "Artificial Evolution and Computational Biology"...
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
Project-team CASCADE Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities Cryptography, or the "Science of Secret", aims at protecting digital data during communications, or...
Project-team COATI Combinatorics, Optimization and Algorithms for Telecommunications COATI's main objective is to develop algorithmic methods and tools, with particular emphasis on the...