Liste des équipes-projets

Retrouvez les équipes-projets listées par :

• centre de recherche Inria
• domaines et thèmes de recherche

Ci-dessous les équipes-projets listées par ordre alphabétique : 

A

• Abs - Algorithms, Biology, Structure
• Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
• Agora - ALGorithmes et Optimisation pour Réseaux Autonomes
• Airsea - mathematics and computing applied to oceanic and atmospheric flows
• Almanach - Automatic Language Modelling and ANAlysis & Computational Humanities
• Alpines - Algorithms and parallel tools for integrated numerical simulations
• Ange - Numerical Analysis, Geophysics and Environment
• Antique - Static Analysis by Abstract Interpretation
• Aramis - Algorithms, models and methods for images and signals of the human brain
• Aric - Arithmetic and Computing
• Aromath - Algebre geometrie Modelisation et Algorithmes
• Ascii - Analyse d’interactions stochastiques intelligentes et coopératives
• Athena - Computational Imaging of the Central Nervous System
• Atlantis - modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
• Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
• Aviz - Analysis and Visualization

B

• Beagle - Artificial Evolution and Computational Biology
• Bigs - Biology, genetics and statistics
• Biocore - Biological control of artificial ecosystems
• Biovision - Biological vision: integrative models and vision aid-systems for visually impaired people
• Bonus - Big Optimization aNd Ultra-Scale computing

C

• Cage - Control and Geometry
• Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
• Cairn - Energy Efficient Computing Architectures
• Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
• Camin - Control of Artificial Movement & Intuitive Neuroprosthesis
• Camus - Compilation pour les Architectures MUlti-coeurS
• Capsid - Computational Algorithms for Protein Structures and Interactions
• Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
• Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
• Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
• Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
• Cash - Compilation and Analysis, Software and Hardware
• Castor - Control, Analysis and Simulations for TOkamak Research
• Cedar - Rich Data Exploration at Cloud Scale
• Celeste - Statistique mathématique et apprentissage
• Celtique - Software certification with semantic analysis
• Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environments
• Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
• Coast - Web Scale Trustworthy Collaborative Service Systems
• Coati - Combinatorics, Optimization and Algorithms for Telecommunications
• Coffee - COmplex Flows For Energy and Environment
• Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
• Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
• Convecs - Construction of verified concurrent systems
• Corse - compiler optimization and run-time systems
• Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
• Cqfd - Quality control and dynamic reliability
• Ctrl-a - Control for safe Autonomic computing systems

D

• Dante - Dynamic Networks : Temporal and Structural Capture Approach
• Datamove - Data Aware Large Scale Computing
• Datashape - Understanding the shape of data
• Deducteam - DEDUCTEAM
• Defi - Shape reconstruction and identification
• Defrost - DEFormable Robotics SofTware
• Delys - DistributEd aLgorithms and sYStems
• Diana - Design, Implementation and Analysis of Networking Architectures
• Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
• Disco - Dynamical Interconnected Systems in COmplex Environments
• Diverse - Diversity-centric Software Engineering
• Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
• Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
• Dyogene - Dynamics of Geometric Networks

E

• Ease - Enabling Affordable Smarter Environment
• Ecuador - Program transformations for scientific computing
• Elan - modELing the Appearance of Nonlinear phenomena
• Empenn - EMPENN
• Epione - E-Patient: Images, Data & MOdels for e-MediciNE
• Erable - European Research team in Algorithms and Biology, formaL and Experimental
• Eva - Wireless Networking for Evolving & Adaptive Applications
• Ex-situ - Extreme Situated Interaction

F

• Factas - Functional Analysis for the ConcepTion and Assessment of Systems
• Flowers - Flowing Epigenetic Robots and Systems
• Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
• Focus - Foundations of Component-based Ubiquitous Systems
• Fun - self-organizing Future Ubiquitous Network

G

• Gallinette - Gallinette: developing a new generation of proof assistants
• Gamble - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
• Gamma - Automatic mesh generation and advanced methods
• Gang - Networks, Graphs and Algorithms
• Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
• Geostat - Geometry and Statistics in acquisition data
• Grace - Geometry, arithmetic, algorithms, codes and encryption
• Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
• Graphik - GRAPHs for Inferences and Knowledge representation

H

• Hephaistos - HExapode, PHysiology, AssISTance and RobOtics
• Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
• Hybrid - 3D interaction with virtual environments using body and mind
• Hycomes - Hybrid systems modeling & contract-based design for cyber-physical systems

I

• I4s - Statistical Inference for Structural Health Monitoring
• Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
• Ilda - Interacting with Large Data
• Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
• Inbio - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• Indes - Secure Diffuse Programming
• Inocs - Integrated Optimization with Complex Structure

K

• Kairos - Logical Time for Formal Embedded System Design
• Kerdata - Scalable Storage for Clouds and Beyond

L

• Lacodam - Large scale Collaborative Data Mining
• Larsen - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
• Lemon - Littoral, Environnement : Méthodes et Outils Numériques
• Lfant - Lithe and fast algorithmic number theory
• Lifeware - Computational systems biology and optimization
• Linkmedia - Creating and exploiting explicit links between multimedia fragments
• Links - Linking Dynamic Data
• Loki - technology and knowledge for interaction

M

• M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• Maasai - Models and Algorithms for Artificial Intelligence
• Magnet - Machine Learning in Information Networks
• Mamba - Modelling and Analysis for Medical and Biological Applications
• Manao - Melting the frontiers between Light, Shape and Matter
• Maracas - Modèle et algorithmes pour des systèmes de communication fiables
• Matherials - MATHematics for MatERIALS
• Mathneuro - Mathématiques pour les Neurosciences
• Mathrisk - Mathematical Risk handling
• Maverick - Models and Algorithms for Visualization and Rendering
• Mctao - Mathematics for Control, Transport and Applications
• Memphis - Modeling Enablers for Multi-PHysics and InteractionS
• Mexico - Modeling and Exploitation of Interaction and Concurrency
• Mfx - Matter From Graphics
• Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
• Mimove - Middleware on the Move
• Mingus - MultI-scale Numerical Geometric Schemes
• Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
• Mnemosyne - Mnemonic Synergy
• Modal - MOdel for Data Analysis and Learning
• Moex - Evolving Knowledge
• Mokaplan - Advances in Numerical Calculus of Variations
• Monc - Mathematical modeling for Oncology
• Morpheme - Morphologie et Images
• Morpheo - Capture and Analysis of Shapes in Motion
• Mosaic - MOrphogenesis Simulation and Analysis In siliCo
• Multispeech - Speech Modeling for Facilitating Oral-Based Communication
• Myriads - Design and Implementation of Autonomous Distributed Systems

N

• Neo - Network Engineering and Operations
• Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
• Numed - Numerical Medicine

O

• Opis - OPtimisation Imagerie et Santé
• Orpailleur - Knowledge discovery, knowledge engineering
• Ouragan - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs

P

• Pacap - Pushing Architecture and Compilation for Application Performance
• Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
• Parietal - Modelling brain structure, function and variability based on high-field MRI data.
• Parkas - Parallélisme de Kahn Synchrone
• Partout - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• Pervasive - Pervasive interaction with smart objects and environments
• Pesto - Proof techniques for security protocols
• Petrus - PErsonal & TRUSted cloud
• Pi.r2 - Design, study and implementation of languages for proofs and programs
• Pleiade - Patterns of diversity and networks of functions
• Poems-post - Wave propagation: mathematical analysis and simulation
• Polaris - Performance analysis and Optimization of LARge Infrastructures and Systems
• Potioc - Popular interaction
• Privatics - Privacy Models, Architectures and Tools for the Information Society
• Prosecco - Programming securely with cryptography

Q

• Quantic - QUANTum Information Circuits

R

• Rainbow - Sensor-based Robotics and Human Interaction
• Randopt - Randomized Optimisation
• Rapsodi - Reliable numerical approximations of dissipative systems.
• Realopt - Reformulations based algorithms for Combinatorial Optimization
• Rits - Robotics & Intelligent Transportation Systems
• Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
• Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement

S

• Semagramme - Semantic Analysis of Natural Language
• Sequel - Sequential Learning
• Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
• Sierra - Statistical Machine Learning and Parsimony
• Simsmart - SIMulating Stochastic Models with pARTicles
• Sirocco - Analysis, representation, compression and communication of visual data
• Sistm - Statistics In System biology and Translational Medicine
• Socrate - Software and Cognitive radio for telecommunications
• Spades - Sound Programming of Adaptive Dependable Embedded Systems
• Specfun - Symbolic Special Functions : Fast and Certified
• Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• Spirals - Self-adaptation for distributed services and large software systems
• Stack - Software Stack for Massively Geo-Distributed Infrastructures
• Stamp - Sûreté du logiciel et Preuves Mathématiques Formalisées
• Stars - Spatio-Temporal Activity Recognition Systems
• Steep - Sustainability transition, environment, economy and local policy
• Storm - STatic Optimizations, Runtime Methods
• Sumo - SUpervision of large MOdular and distributed systems

T

• Tadaam - Topology-aware system-scale data management for high-performance computing
• Tamis - Threat Analysis and Mitigation for Information Security
• Tau - TAckling the Underspecified
• Tea - Time, Events and Architectures
• Thoth - Learning visual models from large-scale data
• Titane - Geometric Modeling of 3D Environments
• Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
• Tonus - TOkamaks and NUmerical Simulations
• Tribe - Pour un Internet non-conventionnel
• Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
• Tropical - Tropical methods: structures, algorithms and interactions
• Tyrex - Types and Reasoning for the Web

V

• Valda - Value from Data
• Valse - Finite-time control and estimation for distributed systems
• Veridis - Modeling and Verification of Distributed Algorithms and Systems

W

• Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
• Wide - The World Is DistributEd: Exploring the tension between scale and coordination
• Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics

X

• Xpop - Statistical modelling for life sciences

 Z

• Zenith - Scientific Data Management