Archives 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994

# Inria - 2013 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

Alpines - Algorithms and parallel tools for integrated numerical simulations

Amib - Algorithms and Models for Integrative Biology

Ange - Numerical Analysis, Geophysics and Ecology

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

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 Distributed and HPC Platforms

Aviz - Analysis and Visualization

Axis - Usage-centred Design, Analysis and Improvement of Information Systems

Ayin - Models of spatio-temporal structure for high-resolution 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

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

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

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

Crypt - Cryptanalysis

Dahu - Verification in databases

Dante - Dynamic Networks : Temporal and Structural Capture Approach

Deducteam - Deduction modulo, interopérabilité et démonstration automatique

Defi - Shape reconstruction and identification

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

Dolphin - Parallel Cooperative Multi-objective 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-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

Hipercom2 - High PERformance COMmunications

Hybrid - 3D interaction with virtual environments using body and mind

Hycomes - Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems

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

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

Links - Linking Dynamic Data

Lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems

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

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

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

Mc2 - Modeling, control and computations

Mctao - Mathematics for Control, Transport and Applications

Mescal - Middleware efficiently scalable

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 - Modeling and Optimization of the Dynamics of Ecosystems with MICro-organisms

Moise - Modelling, Observations, Identification for Environmental Sciences

Mokaplan - Numerical methods for the Monge-Kantorovitch problem, applications and extensions

Morpheme - Morphologie et Images

Morpheo - Capture and Analysis of Shapes in Motion

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

Neurosys - Analysis and modeling of neural systems by a system neuroscience approach

Non-a - Non-Asymptotic estimation for on-line systems

Numed - Numerical Medicine

Oak - Database 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, knowledge representation, reasoning

Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio

Pareo - Formal islands: foundations and applications

Parietal - Modelling brain structure, function and variability based on high-field MRI data.

Parkas - Synchronous Kahn Parallelism

Parole - Analysis, perception and recognition of speech

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

Poems - Wave propagation: mathematical analysis and simulation

Polsys - Polynomial Systems

Pomdapi - Environmental Modeling, Optimization and Programming Models

Popix - Modélisation en pharmacologie de population

Potioc - Popular interaction with 3d content

Prima - Perception, recognition and integration for smart spaces

Privatics - Privacy Models, Architectures and Tools for the Information Society

Prosecco - Programming securely with cryptography

Rap - Networks, Algorithms and Probability

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 - Resource Optimization: Models, Algorithms, and scheduling

Runtime - Efficient runtime systems for parallel architectures

Sage - Simulations and Algorithms on Grids for Environment

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

Sémagramme - 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 Modeling 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

Spades - Sound Programming of Adaptive Dependable Embedded Systems

Specfun - Symbolic Special Functions: Fast and Certified

Stars - Spatio-Temporal Activity Recognition Systems

Steep - Sustainability transition, environment, economy and local policy

Sumo - SUpervision of large MOdular and distributed systems

Tao - Machine Learning and Optimization

Tasc - Theory, Algorithms and Systems for Constraints

Texmex - Multimedia content-based indexing

Titane - Geometric Modeling of 3D Environments

Toccata - Formally Verified Programs, Certified Tools and Numerical Computations

Tosca - TO Simulate and CAlibrate stochastic models

Trio - Real-time and interoperability

Triskell - Reliable and efficient component based software engineering

Tyrex - Types and reasoning for the web

Urbanet - Réseaux capillaires urbains

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

Willow - Models of visual object recognition and scene understanding

Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics

Zenith - Scientific Data Management