Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet STARS Spatio-Temporal Activity Recognition Systems L'équipe de recherche Stars se focalise sur la conception de systèmes cognitifs pour la...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
Equipe-projet FUN self-organizing Future Ubiquitous Network L'équipe FUN étudie des solutions pour rendre plus utilisables (en termes de programmation, d...
Equipe-projet WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics Le web est devenu un vaste réseau de données distribuées, d'applications et d'utilisateurs dans...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Equipe-projet LIFEWARE Computational systems biology and optimization Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire...
Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Equipe-projet AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...