Alphabetic list of Research Teams

 A - B - C - D - E - G - H - I - L - M - N - O - P - Q - R - S - T - V - W 

Legend :

• Research-teams recognized as project-teams by INRIA

Research teams :

• ABS - Algorithms, Biology, Structure
• ABSTRACTION - Abstract Interpretation and Static Analysis
• ACES - Ambient computing and embedded systems
• ADAM - Adaptive Distributed Applications and Middleware
• ADEPT - Algorithms for Dynamic Dependable Systems
• ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALCOVE - Collaborative interactive virtual environment
• ALGORILLE - Algorithms for the Grid
• ALGORITHMS - Algorithms
• ALICE - Geometry and Lighting
• ALIEN - Algebra for Digital Identification and Estimation
• ALPAGE - Large-scale deep linguistic processing
• ANUBIS - Tools of automatic control for scientific computing, Models and Methods in Biomathematics
• AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
• APICS - Analysis and Problems of Inverse type in Control and Signal processing
• APIS - Analysis of irregular Processes, Images and Signal,applications in biology and medicine.
• ARENAIRE - Computer arithmetic
• ARIANA - Inverse problems in earth monitoring
• ARLES - Software architectures and distributed systems
• AROBAS - Advanced Robotics and Autonomous Systems
• ARTIS - Acquisition, representation and transformations for image synthesis
• ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
• ASCLEPIOS - Analysis and Simulation of Biomedical Images
• ASPI - Applications of interacting particle systems to statistics
• ATLAS - Complex data management in distributed systems
• AVIZ - Analysis and Visualization
• AXIS - Usage-centered design, analysis and improvement of information systems
• BANG - Nonlinear Analysis for Biology and Geophysical flows
• BIPOP - Modelling, Simulation and Control of Non-Smooth Dynamical Systems
• BUNRAKU - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments
• CACAO - Curves, Algebra, Computer Arithmetic, and so On
• CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
• CALLIGRAMME - Linear logic, proof networks and categorial grammars
• CALVI - Scientific computation and visualization
• CAPS - Compilation, parallel architectures and system
• CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
• CASSIS - Combination of approaches to the security of infinite states systems
• CEPAGE - Chercher et Essaimer dans les Plates-formes A Grande Echelle
• CLIME - Coupling environmental data and simulation models for software integration
• COMETE - Concurrency, Mobility and Transactions
• COMMANDS - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
• COMORE - Modeling and control of renewable resources
• COMPSYS - Compilation and embedded computing systems
• CONCHA - Complex Flow Simulation Codes based on High-order and Adaptive methods
• CONTRAINTES - Constraint programming
• COPRIN - Constraints solving, optimization and robust interval analysis
• CORIDA - Robust control of infinite dimensional systems and applications
• CORTEX - Neuromimetic intelligence
• CQFD - Contrôle de Qualité et Fiabilité Dynamique
• DAHU - Verification in databases
• DART - Contributions of the Data Parallelism to Real Time
• DEFI - Shape reconstruction and identification
• DEMAR - Artificial movement and gait restoration
• DIGIPLANTE - Modelling plants growth and plants architecture
• DISTRIBCOM - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
• DOLPHIN - Parallel Cooperative Multi-criteria Optimization
• DREAM - Diagnosing, Recommending Actions and Modelling
• E-MOTION - Geometry and Probability for Motion and Action
• ECOO - Environment for cooperation
• EDELWEISS - Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers
• ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
• ESTIME - Parameter estimation and modeling in heterogeneous media
• EVASION - Virtual environments for animation and image synthesis of natural objects
• EVEREST - Environments for Verification and Security of Software
• EXMO - Computer mediated exchange of structured knowledge
• GALAAD - Geometry, algebra, algorithms
• GALEN - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
• GALLIUM - Programming languages, types, compilation and proofs
• GAMMA - Automatic mesh generation and adaptation methods
• GANG - Networks, Graphs and Algorithms
• GEMO - Integration of data and knowledge distributed over the web
• GEOMETRICA - Geometric computing
• GRAAL - Algorithms and Scheduling for Distributed Heterogeneous Platforms
• GRAND-LARGE - Global parallel and distributed computing
• GRAVITE - Graph Visualization and Interactive Exploration
• HELIX - Computer science and genomics
• HIPERCOM - High performance communication
• I3D - 3 dimensional interaction
• IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
• IMARA - Informatics, Mathematics and Automation for La Route Automatisée
• IMEDIA - Image and multimedia indexing, browsing and retrieval
• IN-SITU - Situated interaction
• IPARLA - Visualization and manipulation of complex data on wireless mobile devices
• IPSO - Invariant Preserving SOlvers
• LAGADIC - Visual servoing in robotics, computer vision, and augmented reality
• LANDE - Software design and validation
• LEAR - Learning and recognition in vision
• LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
• MACS - Modeling, analysis and control in computational structural dynamics
• MADYNES - Management of dynamic networks and services
• MAESTRO - Models for the performance analysis and the control of networks
• MAGIQUE-3D - Advanced 3D Numerical Modeling in Geophysics
• MAGNOME - Models and Algorithms for the Genome
• MAGRIT - Visual Augmentation of Complex Environments
• MAIA - Autonomous intelligent machine
• MARELLE - Mathematical, Reasoning and Software
• MARS - Models and algorithms for solving combinatorial problems
• MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
• MATHFI - Financial mathematics
• MAXPLUS - Max-plus algebras and mathematics of decision
• MC2 - Modeling, control and computations
• MERE - Water Resource Modeling
• MERLIN - Methods for interactive software ergonomics
• MESCAL - Middleware efficiently scalable
• METALAU - Methods, algorithms and software in automatic control
• METISS - Speech and sound data modeling and processing
• MICMAC - Methods and engineering of multiscale computing from atom to continuum
• MIMOSA - Migration and mobility : semantics and applications
• MIRAGES - Manipulation of images for enhanced reality and generation of special effects
• MISTIS - Modelling and Inference of Complex and Structured Stochastic Systems
• MOAIS - PrograMming and scheduling design fOr Applications in Interactive Simulation
• MOISE - Modelling, Observations, Identification for Environmental Sciences
• MOSCOVA - Mobililty, security, concurrence, verification and analysis
• MOSEL - Proof-oriented development of computer-based systems
• MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
• NACHOS - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
• NECS - Networked Controlled Systems
• OASIS - Active objects, semantics, Internet and security
• OBASCO - Objects, aspects and components
• ODYSSEE - Computer and biological vision
• OPALE - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
• ORPAILLEUR - Knowledge representation, reasonning
• PARIETAL - Modelling brain structure, function and variability based on high-field MRI data.
• PARIS - Programming distributed parallel systems for large scale numerical simulation
• PAROLE - Analysis, perception and recognition of speech
• PARSIFAL - Proof search and reasoning with logic specifications
• PERCEPTION - Interpretation and Modelling of Images and Videos
• PHOENIX - Programming Language Technology For Communication Services
• PLANETE - Protocols and applications for the Internet
• POEMS - Wave propagation: mathematical analysis and simulation
• POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
• POPS - System and Networking for Portable Objects Proved to be Safe
• PRIMA - Perception, recognition and integration for observation of activity
• PROVAL - Proofs of programs
• PULSAR - Perception Understanding Learning Systems for Activity Recognition
• QGAR - Querying Graphics through Analysis and Recognition
• RAP - Networks, Algorithms and Probabilities
• REALOPT - Reformulations based algorithms for Combinatorial Optimization
• REGAL - Large-Scale Distributed Systems and Applications
• REO - Numerical simulation of biological flows
• RESO - Protocols and softwares for very high-performance network
• REVES - Rendering and virtual environments with sound
• RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
• RUNTIME - Efficient runtime systems for parallel architectures
• S4 - System synthesis and supervision, scenarios
• SAGE - Simulations and Algorithms on Grids for Environment
• SALSA - Solvers for Algebraic Systems and Applications
• SARDES - System architecture for reflective distributed computing environments
• SCALAPPLIX - Algorithms and high performance computing for grand challenge applications
• SECRET - Security, Cryptology and Transmissions
• SECSI - Security of information systems
• SELECT - Model selection in statistical learning
• SEQUEL - Sequential Learning
• SEQUOIA - Algorithms for large-scale sequence analysis for molecular biology
• SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
• SIMPAF - SImulations and Modeling for PArticles and Fluids
• SISTHEM - Statistical Inference for STructural HEalth Monitoring
• SISYPHE - SIgnals and SYstems in PHysiology & Engineering
• SMASH - Simulation, modeling and analysis of heterogeneous systems
• SMIS - Secured and Mobile Information Systems
• SYMBIOSE - Biological systems and models, bioinformatics and sequences
• TALARIS - Natural Language Processing: representation, inference and semantics
• TANC - Algorithmic number theory for cryptology
• TAO - Machine Learning and Optimisation
• TEMICS - Digital image processing, modeling and communication
• TEXMEX - Multimedia content-based indexing
• TOSCA - TO Simulate and CAlibrate stochastic models
• TREC - Theory of networks and communications
• TRIO - Real time and interoperability
• TRISKELL - Reliable and efficient component based software engineering
• TROPICS - Program transformations for scientific computing
• TYPICAL - Types, Logic and computing
• VASY - System validation - Research and applications
• VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
• VERTECS - Verification models and techniques applied to testing and control of reactive systems
• VIRTUAL PLANTS - Modeling plant morphogenesis at different scales, from genes to phenotype
• VISAGES - Vision, Action and information manaGement System in health
• VISTA - Spatio-Temporal Vision and Learning
• WAM - Web, adaptation and multimedia
• WILLOW - Models of visual object recognition and scene understanding