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 STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
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 TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
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 ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
Project-team BEAGLE Artificial Evolution and Computational Biology The expanded name for the Beagle research group is "Artificial Evolution and Computational Biology"...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
Project-team CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE has been bringing together researchers from different backgrounds (turbulence modeling...
Project-team CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team CHROMA Cooperative and Human-aware Robot Navigation in Dynamic Environments The Chroma team aims at designing general methods for mobile robots' perception and decision making...