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 IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Challenge OcéanIA Artificial Intelligence, Data, and Models for Understanding Oceans and Climate Change There is strong scientific evidence on the adverse effects of climate change on the global ocean...
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...
Challenge ROAD-AI Toward smart Augmented & Integrated Roads and infrastructures Integrated management of infrastructure assets is an approach which aims at reconciling long-term...
Exploratory action SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...
Exploratory action SIA Computer science in the Anthropocene The term Anthropocene reflects the geological scale of human impacts on the Earth system and...
Project-team NERV Systems neuroengineering to model and interface brain networks The NERV Lab is a multidisciplinary research team supported by the French institutions Inria, Inserm...
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 PASTA Space-time random processes and applications PASTA Spatio-Temporal stochastic processes and their applications PASTA is a joint research team...
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...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
Project-team PLEIADE Patterns of diversity and networks of function The study of biology associates pattern recognition of diversity with modeling of functional and...