Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team CASTOR Control, Analysis and Simulations for TOkamak Research Castor gathers the activities in numerical simulation of fusion plasmas with the activitiesin...
Project-team EVERGREEN Earth obserVation and machine lEarning foR aGRo-Environmental challENges The EVERGREEN team actively works on the design and implementation of cutting-edge machine learning...
Project-team MAASAI Models and Algorithms for Artificial Intelligence Maasai is a research project-team at Inria Sophia-Antipolis, working on the models and algorithms of...
Project-team MACBES Modelling And Control of Biological and Ecological Systems Macbes is one of the two project-teams following the Biocore project-team. Macbes is a common...
Project-team MCTAO Mathematics for Control, Transport and Applications Our goal is to develop methods in geometric control theory for nonlinear systems, mostly finite...
Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...
Project-team CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA), a recent field whose aim is to...
Project-team EPIONE E-Patient: Images, Data & MOdels for e-MediciNE Description Our long-term goal is to contribute to the development of what we call the e-patient...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...