Explo-RAweb is an experimental browsing application that allows to navigate within the activity reports of the Inria's research teams.

This application is not updated. In particular, it doesn't contain the highlighting of the "Best-papers"


Accès Intranet

PDF par sections

Infos pratiques

Contact: Assistance technique:

Inria - 2012 Teams Activity Report

The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. This reports includes the members of the team, the scientific program, the softwares developed by the team and the new results of the year. The report also describes the grants and contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

Abs - Algorithms, Biology, Structure
Abstraction - Abstract Interpretation and Static Analysis
Aces - Ambient computing and embedded systems
Adam - Adaptive Distributed Applications and Middleware
Alea - Advanced Learning Evolutionary Algorithms
Alf - Amdahl's Law is Forever
Algorille - Algorithms for the Grid
Alice - Geometry and Lighting
Alpage - Large-scale deep linguistic processing
Amib - Algorithms and Models for Integrative Biology
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
Aric - Arithmetic and Computing
Arles - Software architectures and distributed systems
Asap - As Scalable As Possible: foundations of large scale dynamic distributed systems
Asclepios - Analysis and Simulation of Biomedical Images
Ascola - Aspect and composition languages
Aspi - Applications of interacting particle systems to statistics
Ateams - Analysis and Transformation based on rEliAble tool coMpositionS
Athena - Computational Imaging of the Central Nervous System
Atlanmod - Modeling Technologies for Software Production, Operation, and Evolution
Avalon - Algorithms and Software Architectures for Parallel and Distributed Systems
Aviz - Analysis and Visualization
Axis - Usage-centered design, analysis and improvement of information systems
Ayin - Stochastic models for remote sensing and skincare image processing

Bacchus - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems
Bamboo - An algorithmic view on genomes, cells, and environments
Bang - Nonlinear Analysis for Biology and Geophysical flows
Beagle - Artificial Evolution and Computational Biology
Bigs - Biology, genetics and statistics
Biocore - Biological control of artificial ecosystems
Bipop - Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems
Bonsai - Bioinformatics and Sequence Analysis
Bymoore - Beyond Moore

Cad - Computer Aided Design
Cagire - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
Cairn - Energy Efficient Computing Architectures
Calvi - Scientific computation and visualization
Camus - Compilation pour les Architectures MUlti-coeurS
Caramel - Cryptology, Arithmetic: Hardware and Software
Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
Carte - Theoretical adverse computations, and safety
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
Castor - Control, Analysis and Simulations for TOkamak Research
Celtique - Software certification with semantic analysis
Cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms
Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
Classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
Clime - Coupling environmental data and simulation models for software integration
Coffee - COmplex Flows For Energy and Environment
Comete - Concurrency, Mobility and Transactions
Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
Compsys - Compilation and Embedded Computing Systems
Concha - Complex Flow Simulation Codes based on High-order and Adaptive methods
Contraintes - Constraint programming
Convecs - Construction of verified concurrent systems
Coprin - Constraints solving, optimization and robust interval analysis
Corida - Robust control of infinite dimensional systems and applications
Cortex - Neuromimetic intelligence
Cqfd - Quality control and dynamic reliability

Dahu - Database and verification
Dante - Dynamic Networks : Temporal and Structural Capture Approach
Dart - Contributions of the Data Parallelism to Real Time
Deducteam - Deduction modulo, interopérabilité et démonstration automatique
Defi - Shape reconstruction and identification
Demar - Artificial movement and gait restoration
Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Disco - Dynamical Interconnected Systems in COmplex Environments
Distribcom - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
Dolphin - Parallel Cooperative Multi-criteria Optimization
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dream - Diagnosing, Recommending Actions and Modelling
Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences

E-motion - Geometry and Probability for Motion and Action
Espresso - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
Exmo - Computer mediated exchange of structured knowledge

Flowers - Flowing Epigenetic Robots and Systems
Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
Focus - Foundations of Component-based Ubiquitous Systems
Formes - Formal Methods for Embedded Systems
Fun - self-organizing Future Ubiquitous Network

Galaad - Geometry, algebra, algorithms
Galen - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
Gallium - Programming languages, types, compilation and proofs
Gamma3 - Automatic mesh generation and advanced methods
Gang - Networks, Graphs and Algorithms
Geco - Geometric Control Design
Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
Geometrica - Geometric computing
Geostat - Geometry and Statistics in acquisition data
Grace - Geometry, arithmetic, algorithms, codes and encryption
Grand-large - Global parallel and distributed computing
Graphik - GRAPHs for Inferences and Knowledge representation

Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
Hipercom - High performance communication

I4s - Statistical Inference for Structural Health Monitoring
Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
Imara - Informatics, Mathematics and Automation for La Route Automatisée
Imedia2 - Images et multimédia : indexation, navigation et recherche
In-situ - Situated interaction
Indes - Secure Diffuse Programming
Ipso - Invariant Preserving SOlvers

Kerdata - Scalable Storage for Clouds and Beyond

Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Lear - Learning and recognition in vision
Lfant - Lithe and fast algorithmic number theory
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
Manao - Melting the frontiers between Light, Shape and Matter
Marelle - Mathematical Reasoning and Software
Masaie - Tools and models of nonlinear control theory for epidemiology and immunology
Mascotte - Algorithms, simulation, combinatorics and optimization for telecommunications
Mathrisk - Mathematical Risk handling
Maverick - Modèles et Algorithmes pour la Visualisation et le Rendu
Maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision
Mc2 - Modeling, control and computations
Mctao - Mathematics for Control, Transport and Applications
Mescal - Middleware Efficiently SCALable
Metiss - Speech and sound data modeling and processing
Mexico - Modeling and Exploitation of Interaction and Concurrency
Micmac - Methods and engineering of multiscale computing from atom to continuum
Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
Mint - Methods and tools for gestural interactions
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Mnemosyne - Mnemonic Synergy
Moais - PrograMming and scheduling design fOr Applications in Interactive Simulation
Modal - MOdel for Data Analysis and Learning
Modemic - Modelling and Optimisation of the Dynamics of Ecosystems with MICro-organismes
Moise - Modelling, Observations, Identification for Environmental Sciences
Morpheme - Morphologie et Images
Morpheo - Capture and Analysis of Shapes in Motion
Mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
Mutant - Synchronous Realtime Processing and Programming of Music Signals
Myriads - Design and Implementation of Autonomous Distributed Systems

Nachos - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
Nano-d - Algorithms for Modeling and Simulation of Nanosystems
Necs - Networked Controlled Systems
Neuromathcomp - Mathematical and Computational Neuroscience
Non-a - Non-Asymptotic estimation for online systems
Numed - Numerical Medicine

Oak - Optimizations and Architectures for Complex large data
Oasis - Active objects, semantics, Internet and security
Opale - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
Orpailleur - Knowledge Discovery guided by Domain Knowledge

Pareo - Formal islands: foundations and applications
Parietal - Modelling brain structure, function and variability based on high-field MRI data.
Parkas - Parallélisme de Kahn Synchrone
Parole - Analysis, perception and recognition of speech
Parsifal - Proof search and reasoning with logic specifications
Perception - Interpretation and Modeling of Images and Videos
Phoenix - Programming Language Technology For Communication Services
Pi.r2 - Design, study and implementation of languages for proofs and programs
Planete - Protocols and applications for the Internet
Poems - Wave propagation: mathematical analysis and simulation
Polsys - Polynomial Systems
Pomdapi - Environmental Modeling, Optimization and Programming Models
Pop art - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Popix - Modélisation en pharmacologie de population
Potioc - Popular interaction with 3d content
Prima - Perception, recognition and integration for observation of activity
Prosecco - Programming Securely with Cryptography

Rap - Networks, Algorithms and Probabilities
Realopt - Reformulations based algorithms for Combinatorial Optimization
Regal - Large-Scale Distributed Systems and Applications
Regularity - Probabilistic modelling of irregularity and application to uncertainties management
Reo - Numerical simulation of biological flows
Reves - Rendering and virtual environments with sound
Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement
Runtime - Efficient runtime systems for parallel architectures

S4 - System synthesis and supervision, scenarios
Sage - Simulations and Algorithms on Grids for Environment
Sardes - System architecture for reflective distributed computing environments
Sciport - Program transformations for scientific computing
Score - Services and Cooperation
Secret - Security, Cryptology and Transmissions
Secsi - Security of information systems
Select - Model selection in statistical learning
Semagramme - Semantic Analysis of Natural Language
Sequel - Sequential Learning
Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
Shacra - Simulation in Healthcare using Computer Research Advances
Sierra - Statistical Machine Learning and Parsimony
Simpaf - SImulations and Modelling for PArticles and Fluids
Sirocco - Analysis, representation, compression and communication of visual data
Sisyphe - SIgnals and SYstems in PHysiology & Engineering
Smis - Secured and Mobile Information Systems
Socrate - Software and Cognitive radio for telecommunications
Stars - Spatio-Temporal Activity Recognition Systems
Steep - Sustainability transition, environment, economy and local policy

Tao - Machine Learning and Optimisation
Tasc - Theory, Algorithms and Systems for Constraints
Texmex - Multimedia content-based indexing
Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
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
Typical - Types, Logic and computing

Urbanet - Urban Capillary Networks

Vegas - Effective Geometric Algorithms for Surfaces and Visibility
Veridis - Modeling and Verification of Distributed Algorithms and Systems
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
Vr4i - Virtual Reality for Improved Innovative Immersive Interaction

Wam - Web, Adaptation and Multimedia
Willow - Models of visual object recognition and scene understanding
Wimmics - Web-Instrumented Man-Machine Interactions, Communities, and Semantics

Zenith - Scientific Data Management