INRIA - 2010 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 software 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.

Teams List

• A
• 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
Alea - Advanced Learning Evolutionary Algorithms
Alf - Amdahl's Law is Forever
Algorille - Algorithms for the Grid
Algorithms - Algorithms
Alice - Geometry and Light
Alien - Algebra for Digital Identification and Estimation
Alpage - Large-scale deep linguistic processing
Amazones - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
Amib - Algorithms and Models for Integrative Biology
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
Arenaire - Computer arithmetic
Ariana - Inverse Problems in Earth Observation and Cartography
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
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
Atlas - Complex Data Management in Distributed Systems
Aviz - Analysis and Visualization
Axis - Usage-centered design, analysis and improvement of information systems

• B
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
Bipop - Nonsmooth Dynamics and Optimization
Bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments

• C
Cad - Computer Aided Design
Cairn - Energy Efficient Computing Architectures
Calvi - Scientific Computation and Visualization
Camus - Compilation pour les Architectures MUlti-coeurS
Caramel - Cryptology, Arithmetic: Hardware and Software
Carte - Theoretical adverse computations, and safety
Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Cassis - Combining approaches for the security of infinite state systems
Celtique - Software certification with semantic analysis
Cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms
Classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
Clime - Coupling environmental data and simulation models for software integration
Combining - COMputational BIology and data miNING
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
Costeam - Optimal and secure management of manufacturing systems
Cqfd - Quality control and dynamic reliability

• D
Dahu - Verification in databases
Dart - Dataparallelism for Real-Time
Defi - Shape reconstruction and identification
Demar - Artificial movement and gait restoration
Digiplante - Modelling plant growth and architecture
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
Dnet - Dynamic Networks
Dolphin - Parallel Cooperative Multi-criteria Optimization
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dream - Diagnosing, REcommending Actions and Modelling

• E
E-motion - Geometry and Probability for Motion and Action
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
Exmo - Computer-mediated communication of structured knowledge

• F
Flowers - Flowing Epigenetic Robots and Systems : Developmental and Social Robotics
Fluminance - Fluid flow Analysis, Description and Control from Image Sequences
Focus - Foundations of Component-based Ubiquitous Systems
Formes - FOrmal Methods for Embedded Systems

• G
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
Geometrica - Geometric computing
Geostat - Geometry and Statistics in acquisition data
Graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms
Grand-large - Global parallel and distributed computing
Graphik - Graphs for Inferences on Knowledge
Gravite - Graph Visualization and Interactive Exploration

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

• I
I4s - Statistical Inference for Structural Health Monitoring
Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
Imara - Informatics, Mathematics and Automation for La Route Automatisée
Imedia - Images and Multimedia: Indexing, Retrieval and Navigation
In-situ - Situated interaction
Indes - Informatique Diffuse et Sécurisée
Iparla - Visualization and manipulation of complex data for mobile users
Ipso - Invariant Preserving SOlvers

• K
Kerdata - Scalable Storage for Clouds and Beyond

• L
Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Lear - Learning and recognition in vision
Leo - Distributed and heterogeneous data and knowledge
Lfant - Lithe and Fast Algorithmic Number Theory
Licit - Legal Issues in Communication and Information Technologies
Lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems

• M
Macs - Modeling, analysis and control in computational structural dynamics
Madynes - Management of dynamic networks and services
Maestro - Models for Performance Analysis and 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
Masaie - Tools and models of nonlinear control theory for epidemiology and immunology
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 - Modélisation Et Ressources en Eau (Water Resource Modeling)
Mescal - Middleware Efficiently SCALable
Metalau - Methods, algorithms and software in automatic control
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
Mint - Methods and tools for gestural interaction
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 - Mobility, security, concurrence, verification and analysis
Mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
Myriads - Design and Implementation of Autonomous Distributed Systems

• N
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
Netquest - Declarative Network Programming
Neuromathcomp - Mathematical and Computational Neuroscience
Numed - Numerical Medicine

• O
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

• P
Pareo - Formal islands: foundations and applications
Parietal - Modelling brain structure, function and variability based on high-field MRI data.
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
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
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
Pumas - Plasma, tUrbulence, Modeling, Approximation and Simulation

• R
Rap - Réseaux, Algorithmes et Probabilités
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
Reso - Protocols and software 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

• S
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
Score - Services and Cooperation
Secret - Security, Cryptology and Transmissions
Secsi - Security of information systems
Select - Model selection in statistical learning
Sequel - Sequential Learning
Sequoia2 - Algorithms for large scale sequence analysis
Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
Shaman - Simulation in Healthcare for Advanced Medical ApplicatioNs
Signes - Linguistic signs, grammar and meaning: computational logic for natural language
Simpaf - SImulations and Modeling for PArticles and Fluids
Sisyphe - SIgnals and SYstems in PHysiology and Engineering
Smash - Simulation, Modeling and Analysis of Heterogeneous Systems in continuum mechanics
Smis - Secured and Mobile Information Systems
Swing - Smart Wireless Networking
Symbiose - Biological systems and models, bioinformatics and sequences

• T
Talaris - Natural Language Processing: representation, inference and semantics
Tanc - Algorithmic number theory for cryptology
Tao - Machine Learning and Optimisation
Temics - TraitEment, Modélisation d'Images et CommunicationS
Texmex - Efficient Exploitation of Multimedia Documents:Exploring, Indexing and Searching in Very Large Databases
Tosca - TO Simulate and CAlibrate stochastic models
Trec - Theory of networks and communications
Trio - Real time and interoperability
Triskell - Model-Driven Engineering for Component-Based Software
Tropics - Program transformations for scientific computing
Typical - Types, Logic and computing

• V
Vasy - Validation of Systems
Vegas - Effective Geometric Algorithms for Surfaces and Visibility
Veridis - VERIfication of DIstributed 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 phenotypes
Visages - Vision, Action and information manaGement System in health

• W
Wam - Web, Adaptation and Multimedia
Willow - Models of visual object recognition and scene understanding