Project-team INOCS INtegrated Optimization with Complex Structure An optimization problem consists in finding a best solution from a set of feasible solutions. Such a...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects Numerical geosciences encompass a large variety of scientific activities tackling societal...
Project-team MFX Matter from Graphics Our team focuses on challenges related to shape complexity in the context of Computer Graphics and...
Project-team MICROCOSME Analysis, engineering, and control of microorganisms MICROCOSME combines computational and experimental approaches for the analysis, engineering, and...
Project-team MIMOVE Middleware on the Move Given the prevalence of global networking and computing infrastructures, mobile networking...
Project-team MIND Models and Inference for Neuroimaging Data MIND is a joint Inria and CEA (NeuroSpin center) project-team whose overall scientific objective is...
Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team MOEX Evolving Knowledge Human beings are apparently able to communicate knowledge. However, it is impossible for us to know...
Project-team ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
Project-team OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
Project-team PARADYSE PARticles And DYnamical SystEms The Paradyse project-team is a joint project between Inria, CNRS and the Laboratoire Paul Painlevé...
Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...