Archives 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994
Inria - 2015 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.![A](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/A.png)
Abs - Algorithms, Biology, Structure
Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
Airsea - mathematics and computing applied to oceanic and atmospheric flows
Alf - Amdahl's Law is Forever
Alice - Geometry and Lighting
Alpage - Large-scale deep linguistic processing
Alpines - Algorithms and parallel tools for integrated numerical simulations
Amib - Algorithms and Models for Integrative Biology
Ange - Numerical Analysis, Geophysics and Ecology
Antique - Static Analysis by Abstract Interpretation
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
Aramis - Algorithms, models and methods for images and signals of the human brain
Aric - Arithmetic and Computing
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
Atlanmodels - Modeling Technologies for Software Production, Operation, and Evolution
Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
Aviz - Analysis and Visualization
Ayin - Models of spatio-temporal structure for high-resolution image processing
![B](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/B.png)
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
![C](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/C.png)
Cagire - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
Cairn - Energy-Efficient Computing Architectures
Camus - Compilation pour les Architectures MUlti-coeurS
Capsid - Computational Algorithms for Protein Structures and Interactions
Caramel - Cryptology, Arithmetic: Hardware and Software
Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
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
Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environment
Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
Clime - Coupling environmental data and simulation models for software integration
Coast - Web Scale Trustworthy Collaborative Service Systems
Coati - Combinatorics, Optimization and Algorithms for Telecommunications
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
Convecs - Construction of verified concurrent systems
Corse - Compiler Optimization and Run-time SystEms
Cqfd - Quality control and dynamic reliability
Crypt - Cryptanalyse
Ctrl-a - Control techniques for Autonomic, adaptive and Reconfigurable Computing systems
![D](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/D.png)
Dahu - Verification in databases
Dante - Dynamic Networks : Temporal and Structural Capture Approach
Decentralise - DÉCENTRALISÉ
Deducteam - Deduction modulo, interopérabilité et démonstration automatique
Defi - Shape reconstruction and identification
Defrost - Deformable Robotic Software
Demar - Artificial movement and gait restoration
Diana - Design, Implementation and Analysis of Networking Architectures
Dice - Data on the internet at the Core of the Economy
Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Disco - Dynamical Interconnected Systems in COmplex Environments
Diverse - Diversity-centric Software Engineering
Dolphin - Parallel Cooperative Multi-criteria Optimization
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dream - Diagnosing, Recommending Actions and Modelling
Dreampal - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Dyogene - Dynamics of Geometric Networks
![E](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/E.png)
Ecuador - Program transformations for scientific computing
Erable - European Research team in Algorithms and Biology, formaL and Experimental
Estasys - Efficient STAtistical methods in SYstems of systems
Eva - Wireless Networking for Evolving & Adaptive Applications
Ex-situ - Extreme Situated Interaction
Exmo - Computer mediated exchange of structured knowledge
![F](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/F.png)
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](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/G.png)
Galaad2 - Géométrie , Algèbre, Algorithmes
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
Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
Graphik - GRAPHs for Inferences and Knowledge representation
![H](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/H.png)
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 - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
![I](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/I.png)
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
Indes - Secure Diffuse Programming
Infine - INFormation NEtworks
Inocs - Integrated Optimization with Complex Structure
Ipso - Invariant Preserving SOlvers
![K](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/K.png)
Kerdata - Scalable Storage for Clouds and Beyond
![L](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/L.png)
Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Larsen - Lifelong Autonomy and Interaction Skills for Robots in a Sensing Environment
Lear - Learning and recognition in vision
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
![M](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/M.png)
M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
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
Magnet - Machine Learning in Information Networks
Magrit - Visual Augmentation of Complex Environments
Mamba - Modelling and Analysis for Medical and Biological Applications
Manao - Melting the frontiers between Light, Shape and Matter
Marelle - Mathematical, Reasoning and Software
Matherials - MATHematics for MatERIALS
Mathrisk - Mathematical Risk handling
Maverick - Models and Algorithms for Visualization and Rendering
Maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision
Mctao - Mathematics for Control, Transport and Applications
Memphis - Modeling Enablers for Multi-PHysics and InteractionS
Mephysto - Quantitative methods for stochastic models in physics
Mescal - Middleware efficiently scalable
Mexico - Modeling and Exploitation of Interaction and Concurrency
Mimesis - Computational Anatomy and Simulation for Medicine
Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
Mimove - Middleware on the Move
Mint - Methods and tools for gestural interactions
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Mjolnir - Computing tools to empower users
Mnemosyne - Mnemonic Synergy
Moais - PrograMming and scheduling design fOr Applications in Interactive Simulation
Modal - MOdel for Data Analysis and Learning
Modemic - Modeling and Optimisation of the Dynamics of Ecosystems with MICro-organisms
Mokaplan - Advances in Numerical Calculus of Variations
Monc - Modeling in Oncology
Morpheme - Morphologie et Images
Morpheo - Capture and Analysis of Shapes in Motion
Multispeech - Speech Modeling for Facilitating Oral-Based Communication
Muse - Measuring networks for enhancing USer Experience
Mutant - Synchronous Realtime Processing and Programming of Music Signals
Mycenae - Multiscale dYnamiCs in neuroENdocrine AxEs
Myriads - Design and Implementation of Autonomous Distributed Systems
![N](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/N.png)
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
Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
Non-a - Non-Asymptotic estimation for online systems
Numed - Numerical Medicine
![O](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/O.png)
Oak - Database optimizations and architectures for complex large data
Orpailleur - Knowledge discovery, knowledge engineering
![P](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/P.png)
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
Parsifal - Proof search and reasoning with logic specifications
Perception - Interpretation and Modeling of Images and Sounds
Phoenix - Programming Language Technology For Communication Services
Pi.r2 - Design, study and implementation of languages for proofs and programs
Pleiade - patterns of diversity and networks of function
Poems - Wave propagation: mathematical analysis and simulation
Polsys - Polynomial Systems
Popix - Modélisation en pharmacologie de population
Poset - Modèles pour la Programmation Structurée de l'Espace et du Temps
Postale - Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement
Potioc - Popular interaction with 3d content
Prima - Perception, recognition and integration for modelling of activity
Privatics - Privacy Models, Architectures and Tools for the Information Society
Prosecco - Programming securely with cryptography
![Q](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/Q.png)
Quantic - QUANTum Information Circuits
![R](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/R.png)
Rap - Networks, Algorithms and Probabilities
Rapsodi - Reliable numerical approximations of dissipative systems
Realopt - Reformulation and Algorithms for Combinatorial Optimization
Regal - Large-Scale Distributed Systems and Applications
Reo - Numerical simulation of biological flows
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](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/S.png)
Sage - Simulations and Algorithms on Grids for Environment
Scale - Safe Composition of Autonomous applications with Large-SCALE Execution environment
Secret - Security, Cryptology and Transmissions
Select - Model selection in statistical learning
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
Sirocco - Analysis representation, compression and communication of visual data
Sistm - Statistics In System biology and Translational Medicine
Smis - Secured and Mobile Information Systems
Socrate - Software and Cognitive radio for telecommunications
Spades - Sound Programming of Adaptive Dependable Embedded Systems
Specfun - Symbolic Special Functions : Fast and Certified
Sphinx - System with physical heterogenities : inverse problems, numerical simulation, control and stabilization
Spirals - Self-adaptation for distributed services and large software systems
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](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/T.png)
Tacoma - TAngible COMputing Architectures
Tadaam - Topology-Aware System-Scale Data Management for High-Performance Computing
Tao - Machine Learning and Optimisation
Tasc - Theory, Algorithms and Systems for Constraints
Tea - Time, Events and Architectures
Titane - Geometric Modeling of 3D Environments
Toccata - Formally Verified Programs, Certified Tools, Numerical Computations
Tonus - TOkamaks and NUmerical Simulations
Tosca - TO Simulate and CAlibrate stochastic models
Tyrex - Types and Reasoning for the Web
![U](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/U.png)
Urbanet - Réseaux capillaires urbains
![V](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/V.png)
Vegas - Effective Geometric Algorithms for Surfaces and Visibility
Veridis - Modeling and Verification of Distributed Algorithms and Systems
Virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotype
Visages - Vision, Action and information manaGement System in health
![W](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/W.png)
Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
Willow - Models of visual object recognition and scene understanding
Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
![Z](/web/20160820155717im_/http://raweb.inria.fr/rapportsactivite/RA2015/static/img/icons/Lettrines/Z.png)
Zenith - Scientific Data Management