Project-team ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms The project-team SERENA is concerned with numerical methods for environmental problems. The main...
Project-team SIMBA Statistical Inference and Modeling for Biological Applications SIMBA (Statistical Inference and Modeling for Biological Applications) is a joint Inria, Université...
Project-team STACK Software Stack for Massively Geo-Distributed Infrastructures STACK members address challenges related to the management and advanced usages of Utility Computing...
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 STEEP Sustainability transition, environment, economy and local policy STEEP is an interdisciplinary research team devoted to systemic modelling and simulation of the...
Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Project-team THOTH Learning visual models from large-scale data Thoth is a joint team of Inria and Laboratoire Jean Kuntzmann, and started in January 2016. It is a...
Project-team TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
