Explo-Raweb

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"


Explo-raweb

Accès Intranet

PDF par sections

Infos pratiques

Contact: Assistance technique:

Inria - 2018 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 B C D E F G H I K L M N O P Q R S T V W X Z

A
Abs - Algorithms, Biology, Structure
Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
Agora - ALGorithmes et Optimisation pour Réseaux Autonomes
Airsea - mathematics and computing applied to oceanic and atmospheric flows
Alice - Geometry and Lighting
Almanach - Automatic Language Modelling and ANAlysis & Computational Humanities
Alpines - Algorithms and parallel tools for integrated numerical simulations
Ange - Numerical Analysis, Geophysics and Environment
Antique - Static Analysis by Abstract Interpretation
Aoste2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
Aramis - Algorithms, models and methods for images and signals of the human brain
Aric - Arithmetic and Computing
Aromath - Algebre geometrie Modelisation et Algorithmes
Athena - Computational Imaging of the Central Nervous System
Auctus - Augmenting human comfort in the factory using cobots
Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
Aviz - Analysis and Visualization

B
Beagle - Artificial Evolution and Computational Biology
Bigs - Biology, genetics and statistics
Biocore - Biological control of artificial ecosystems
Biovision - Biological vision: integrative models and vision aid-systems for visually impaired people
Bonsai - Bioinformatics and Sequence Analysis
Bonus - Big Optimization aNd Ultra-Scale computing

C
Cage - Control and Geometry
Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
Cairn - Energy Efficient Computing Architectures
Camin - Control of Artificial Movement & Intuitive Neuroprosthesis
Camus - Compilation pour les Architectures MUlti-coeurS
Capsid - Computational Algorithms for Protein Structures and Interactions
Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Cash - Compilation and Analysis, Software and Hardware
Castor - Control, Analysis and Simulations for TOkamak Research
Cedar - Rich Data Exploration at Cloud Scale
Celtique - Software certification with semantic analysis
Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environments
Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
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
Coml - The Cognitive Machine Learning Team
Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
Convecs - Construction of verified concurrent systems
Corse - compiler optimization and run-time systems
Cqfd - Quality control and dynamic reliability
Ctrl-a - Control for safe Autonomic computing systems

D
Dante - Dynamic Networks : Temporal and Structural Capture Approach
Datamove - Data Aware Large Scale Computing
Datashape - Understanding the shape of data
Datasphere - Economie des données et des plateformes
Deducteam - DEDUCTEAM
Defi - Shape reconstruction and identification
Defrost - DEFormable Robotics SofTware
Delys - DistributEd aLgorithms and sYStems
Diana - Design, Implementation and Analysis of Networking Architectures
Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Disco - Dynamical Interconnected Systems in COmplex Environments
Diverse - Diversity-centric Software Engineering
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Dyogene - Dynamics of Geometric Networks

E
Ease - Enabling Affordable Smarter Environment
Ecuador - Program transformations for scientific computing
Elan - modELing the Appearance of Nonlinear phenomena
Epione - E-Patient: Images, Data & MOdels for e-MediciNE
Erable - European Research team in Algorithms and Biology, formaL and Experimental
Eva - Wireless Networking for Evolving & Adaptive Applications
Ex-situ - Extreme Situated Interaction

F
Factas - Functional Analysis for the ConcepTion and Assessment of Systems
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
Gaia - Geometry, Algebra, Informatics, Applications
Galen-post - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
Gallinette - Gallinette: developing a new generation of proof assistants
Gallium - Programming languages, types, compilation and proofs
Gamble - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
Gamma3 - Automatic mesh generation and advanced methods
Gang - Networks, Graphs and Algorithms
Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
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
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 - Hybrid systems modeling & contract-based design for cyber-physical systems

I
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-post - INFormation NEtworks
Inocs - Integrated Optimization with Complex Structure

K
Kairos - Logical Time for Formal Embedded System Design
Kerdata - Scalable Storage for Clouds and Beyond

L
Lacodam - Large scale Collaborative Data Mining
Larsen - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
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
Loki - technology and knowledge for interaction

M
M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
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 - Mathematics, Reasoning, and Software
Matherials - MATHematics for MatERIALS
Mathneuro - Mathématiques pour les Neurosciences
Mathrisk - Mathematical Risk handling
Maverick - Models and Algorithms for Visualization and Rendering
Mctao - Mathematics for Control, Transport and Applications
Memphis - Modeling Enablers for Multi-PHysics and InteractionS
Mephysto-post - Quantitative methods for stochastic models in physics
Mexico - Modeling and Exploitation of Interaction and Concurrency
Mfx - Matter From Graphics
Mimesis - Computational Anatomy and Simulation for Medicine
Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
Mimove - Middleware on the Move
Mingus - MultI-scale Numerical Geometric Schemes
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Mnemosyne - Mnemonic Synergy
Mocqua - Designing the Future of Computational Models
Modal - MOdel for Data Analysis and Learning
Moex - Evolving Knowledge
Mokaplan - Advances in Numerical Calculus of Variations
Monc - Mathematical modeling for Oncology
Morpheme - Morphologie et Images
Morpheo - Capture and Analysis of Shapes in Motion
Mosaic - MOrphogenesis Simulation and Analysis In siliCo
Multispeech - Speech Modeling for Facilitating Oral-Based Communication
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
Neo - Network Engineering and Operations
Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
Non-a post - Non-Asymptotic estimation for online systems
Numed - Numerical Medicine

O
Orpailleur - Knowledge discovery, knowledge engineering
Ouragan - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs

P
Pacap - Pushing Architecture and Compilation for Application Performance
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 Modelling of Images and Videos
Pervasive - Pervasive interaction with smart objects and environments
Pesto - Proof techniques for security protocols
Petrus - PErsonal & TRUSted cloud
Phoenix-post - 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 functions
Poems-post - Wave propagation: mathematical analysis and simulation
Polaris - Performance analysis and Optimization of LARge Infrastructures and Systems
Polsys - Polynomial Systems
Potioc - Popular interaction
Privatics - Privacy Models, Architectures and Tools for the Information Society
Prosecco - Programming securely with cryptography

Q
Quantic - QUANTum Information Circuits

R
Rainbow - Sensor-based Robotics and Human Interaction
Randopt - Randomized Optimisation
Rapsodi - Reliable numerical approximations of dissipative systems.
Realopt - Reformulations based algorithms for Combinatorial Optimization
Reo - Numerical simulation of biological flows
Resist - Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
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
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
Simsmart - SIMulating Stochastic Models with pARTicles
Sirocco - Analysis, representation, compression and communication of visual data
Sistm - Statistics In System biology and Translational Medicine
Socrate - Software and Cognitive radio for telecommunications
Spades - Sound Programming of Adaptive Dependable Embedded Systems
Specfun - Symbolic Special Functions : Fast and Certified
Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
Spirals - Self-adaptation for distributed services and large software systems
Stack - Software Stack for Massively Geo-Distributed Infrastructures
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
Tadaam - Topology-aware system-scale data management for high-performance computing
Tamis - Threat Analysis and Mitigation for Information Security
Tau - TAckling the Underspecified
Tea - Time, Events and Architectures
Thoth - Learning visual models from large-scale data
Titane - Geometric Modeling of 3D Environments
Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
Tonus - TOkamaks and NUmerical Simulations
Tosca - TO Simulate and CAlibrate stochastic models
Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
Tropical - Tropical methods: structures, algorithms and interactions
Tyrex - Types and Reasoning for the Web

V
Valda - Value from Data
Veridis - Modeling and Verification of Distributed Algorithms and Systems
Visages - Vision, Action and information manaGement System in health

W
Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
Wide - The World Is DistributEd: Exploring the tension between scale and coordination
Willow - Models of visual object recognition and scene understanding
Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics

X
Xpop - Statistical modelling for life sciences

Z
Zenith - Scientific Data Management