Inria 2020 teams activities reports

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

  • ABSAlgorithms, Biology, Structure
  • ACUMESAnalysis and Control of Unsteady Models for Engineering Sciences
  • AGORAWireless Networks for Digital Cities
  • AIRSEAmathematics and computing applied to oceanic and atmospheric flows
  • ALMANACHAutomatic Language Modelling and Analysis & Computational Humanities
  • ALPINESAlgorithms and parallel tools for integrated numerical simulations
  • ANGENumerical Analysis, Geophysics and Environment
  • ANIMAAuthoring and directing animated story worlds
  • ANTIQUEStatic Analysis by Abstract Interpretation
  • ARAMISAlgorithms, models and methods for images and signals of the human brain
  • ARICArithmetic and Computing
  • AROMATHAlgebRa, geOmetry, Modeling and AlgoriTHms
  • ASCIIAnalysis of Stochastic Cooperative Intelligent Interactions
  • ATHENAComputational Imaging of the Central Nervous System
  • ATLANTISmodeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
  • AUCTUSAugmenting human comfort in the factory using cobots
  • AVALONAlgorithms and Software Architectures for Distributed and HPC Platforms
  • AVIZAnalysis and VIsualiZation
  • AYANAAI and Remote Sensing on board for the New Space

B

  • BEAGLEArtificial Evolution and Computational Biology
  • BIGSBiology, genetics and statistics
  • BIOCOREBiological control of artificial ecosystems
  • BIOVISIONBiologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
  • BONUSBig Optimization aNd Ultra-Scale Computing

C

  • CAGEControl and Geometry
  • CAGIREComputational AGility for internal flows sImulations and compaRisons with Experiments
  • CAIRNEnergy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
  • CALISTOStochastic Approaches for Complex Flows and Environment
  • CAMBIUMProgramming languages: type systems, concurrency, proofs of programs
  • CAMINControl of Artificial Movement & Intuitive Neuroprosthesis
  • CAMUSCompiling Architectures of Multicores
  • CAPSIDComputational Algorithms for Protein Structures and Interactions
  • CARAMBACryptology, arithmetic : algebraic methods for better algorithms
  • CARDAMOMCertified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • CARMENModélisation et calculs pour l'électrophysiologie cardiaque
  • CASCADEConstruction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
  • CASHCompilation and Analyses for Software and Hardware
  • CASTORControl, Analysis and Simulations for TOkamak Research
  • CEDARRich Data Exploration at Cloud Scale
  • CELESTEmathematical statistics and learning
  • CELTIQUESoftware certification with semantic analysis
  • CHROMACooperative and Human-aware Robot Navigation in Dynamic Environments
  • CIDREConfidentialité, Intégrité, Disponibilité et Répartition
  • COASTWeb Scale Trustworthy Collaborative Service Systems
  • COATICombinatorics, Optimization and Algorithms for Telecommunications
  • COFFEECOmplex Flows For Energy and Environment
  • COMETEConcurrency, Mobility and Transactions
  • COMLCognitive Machine Learning
  • COMMANDSControl, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
  • COMMEDIAComputational mathematics for bio-medical applications
  • CONVECSConstruction of verified concurrent systems
  • CORSEcompiler optimization and run-time systems
  • COSMIQCode-based Cryptology, Symmetric Cryptology and Quantum Information
  • CQFDQuality control and dynamic reliability
  • CTRL-AControl for safe Autonomic computing systems

D

  • DANTEDynamic Networks : Temporal and Structural Capture Approach
  • DATAMOVEData Aware Large Scale Computing
  • DATASHAPEUnderstanding the shape of data
  • DEDUCTEAMDEDUCTEAM
  • DEFIShape reconstruction and identification
  • DEFROSTDEFormable Robotics SofTware
  • DELYSDistributEd aLgorithms and sYStems
  • DIANADesign, Implementation and Analysis of Networking Architectures
  • DIONYSOSDependability Interoperability and perfOrmance aNalYsiS Of networkS
  • DISCODynamical Interconnected Systems in COmplex Environments
  • DIVERSEDiversity-centric Software Engineering
  • DRACULAMulti-scale modelling of cell dynamics : application to hematopoiesis
  • DYLISSDynamics, Logics and Inference for biological Systems and Sequences
  • DYOGENEDynamics of Geometric Networks

E

  • EASEEnabling Affordable Smarter Environment
  • ECUADORProgram transformations for scientific computing
  • ELANmodELing the Appearance of Nonlinear phenomena
  • EMPENNEMPENN
  • EPIONEE-Patient: Images, Data & MOdels for e-MediciNE
  • ERABLEEuropean Research team in Algorithms and Biology, formaL and Experimental
  • EVAWireless Networking for Evolving & Adaptive Applications
  • EX-SITUExtreme Situated Interacton

F

  • FACTASFunctional Analysis for ConcepTion and Assessment of Systems
  • FLOWERSFlowing Epigenetic Robots and Systems
  • FLUMINANCEFluid Flow Analysis, Description and Control from Image Sequences
  • FOCUSFoundations of Component-based Ubiquitous Systems
  • FUNself-organizing Future Ubiquitous Network

G

  • GALLINETTEGallinette: developing a new generation of proof assistants
  • GAMBLEGeometric Algorithms & Models Beyond the Linear & Euclidean realm
  • GAMMAAdaptive Mesh Generation and Advanced numerical Methods
  • GENSCALEScalable, Optimized and Parallel Algorithms for Genomics
  • GEOSTATGeometry and Statistics in acquisition data
  • GRACEGeometry, arithmetic, algorithms, codes and encryption
  • GRAPHDECOGRAPHics and DEsign with hEterogeneous COntent
  • GRAPHIKGRAPHs for Inferences and Knowledge representation

H

  • HEPHAISTOSHExapode, PHysiology, AssISTance and RobOtics
  • HIEPACSHigh-End Parallel Algorithms for Challenging Numerical Simulations
  • HYBRID3D interaction with virtual environments using body and mind
  • HYCOMESModélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

I

  • I4SStatistical Inference for Structural Health Monitoring
  • IBISModeling, simulation, measurement, and control of bacterial regulatory networks
  • ILDAInteracting with Large Data
  • INBIOExperimental and Computational Methods for Modeling Cellular Processes
  • INDESSecure Diffuse Programming
  • INOCSINtegrated Optimization with Complex Structure

K

  • KAIROSMultiform Logical Time for Formal Cyber-Physical System Design
  • KERDATAScalable Storage for Clouds and Beyond
  • KOPERNICKeeping wOrst case reasoning aPpropriatE foR differeNt critICALITIES

L

  • LACODAMLarge scale Collaborative Data Mining
  • LARSENLifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
  • LEMONLittoral Environment: M0dels and Numerics
  • LFANTLithe and fast algorithmic number theory
  • LIFEWAREComputational systems biology and optimization
  • LINKMEDIACreating and exploiting explicit links between multimedia fragments
  • LINKSLinking Dynamic Data
  • LOKITechnology & Knowledge for Interaction

M

  • M3DISIMMathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • MAASAIModels and Algorithms for Artificial Intelligence
  • MAGIQUE-3DAdvanced 3D Numerical Modeling in Geophysics
  • MAGNETMachine Learning in Information Networks
  • MAGRITVisual Augmentation of Complex Environments
  • MAMBAModelling and Analysis for Medical and Biological Applications
  • MANAOMelting the frontiers between Light, Shape and Matter
  • MARACASModels and Algorithms for Reliable Communication Systems
  • MATHERIALSMATHematics for MatERIALS
  • MATHNEUROMathematics for Neuroscience
  • MATHRISKMathematical Risk handling
  • MAVERICKModels and Algorithms for Visualization and Rendering
  • MCTAOMathematics for Control, Transport and Applications
  • MEMPHISModeling Enablers for Multi-PHysics and InteractionS
  • MEXICOModeling and Exploitation of Interaction and Concurrency
  • MFXMatter from Graphics
  • MIMESISComputational Anatomy and Simulation for Medicine
  • MIMETICAnalysis-Synthesis Approach for Virtual Human Simulation
  • MIMOVEMiddleware on the Move
  • MINGUSMultI-scale Numerical Geometric Schemes
  • MNEMOSYNEMnemonic Synergy
  • MOCQUADesigning the Future of Computational Models
  • MODALMOdel for Data Analysis and Learning
  • MOEXEvolving Knowledge
  • MOKAPLANAdvances in Numerical Calculus of Variations
  • MONCMathematical modeling for Oncology
  • MORPHEMEMorphologie et Images
  • MORPHEOCapture and Analysis of Shapes in Motion
  • MOSAICMOrphogenesis Simulation and Analysis In siliCo
  • MULTISPEECHSpeech Modeling for Facilitating Oral-Based Communication
  • MUSCAMUltiSCAle population dynamics for physiological systems
  • MYRIADSDesign and Implementation of Autonomous Distributed Systems

N

  • NECSNetworked Controlled Systems
  • NEONetwork Engineering and Operations
  • NEUROSYSAnalysis and modeling of neural systems by a system neuroscience approach

O

  • OPISOPtImization for large Scale biomedical data
  • ORPAILLEURKnowledge representation, reasonning
  • OURAGANTools for resolutions in algebra, geometry and their applications

P

  • PACAPPushing Architecture and Compilation for Application Performance
  • PARADYSEPARticles And DYnamical SystEms
  • PARIETALModelling brain structure, function and variability based on high-field MRI data.
  • PARKASParallélisme de Kahn Synchrone
  • PARTOUTProof Automation and RepresenTation: a fOundation of compUtation and deducTion
  • PERCEPTIONInterpretation and Modelling of Images and Videos
  • PESTOProof techniques for security protocols
  • PETRUSPErsonal & TRUSted cloud
  • PI.R2Design, study and implementation of languages for proofs and programs
  • PIXELStructure geometrical shapes
  • PLEIADEPatterns of diversity and networks of function
  • POEMSWave propagation: mathematical analysis and simulation
  • POLARISPerformance analysis and Optimization of LARge Infrastructures and Systems
  • POTIOCNovel Multimodal Interactions for a Stimulating User Experience
  • PRIVATICSPrivacy Models, Architectures and Tools for the Information Society
  • PROSECCOProgramming securely with cryptography

Q

  • QUANTICQUANTum Information Circuits

R

  • RAINBOWSensor-based Robotics and Human Interaction
  • RANDOPTRandomized Optimization
  • RAPSODIReliable numerical approximations of dissipative systems.
  • REALOPTReformulations based algorithms for Combinatorial Optimization
  • RESISTResilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
  • RITSRobotics & Intelligent Transportation Systems
  • RMODAnalyses and Languages Constructs for Object-Oriented Application Evolution
  • ROMAOptimisation des ressources : modèles, algorithmes et ordonnancement

S

  • SCOOLSequential decision making under uncertainty problem
  • SEMAGRAMMESemantic Analysis of Natural Language
  • SERENASimulation for the Environment: Reliable and Efficient Numerical Algorithms
  • SERPICOSpace-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
  • SIERRAStatistical Machine Learning and Parsimony
  • SIMSMARTSIMulating Stochastic Models with pARTicles
  • SIROCCOAnalysis representation, compression and communication of visual data
  • SISTMStatistics In System biology and Translational Medicine
  • SOCRATESoftware and Cognitive radio for telecommunications
  • SPADESSound Programming of Adaptive Dependable Embedded Systems
  • SPECFUNSymbolic Special Functions : Fast and Certified
  • SPHINXHeterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • SPIRALSSelf-adaptation for distributed services and large software systems
  • STACKSoftware Stack for Massively Geo-Distributed Infrastructures
  • STAMPSafety Techniques based on Formalized Mathematical Proofs
  • STARSSpatio-Temporal Activity Recognition Systems
  • STATIFYBayesian and extreme value statistical models for structured and high dimensional data
  • STEEPSustainability transition, environment, economy and local policy
  • STORMSTatic Optimizations, Runtime Methods
  • SUMOSUpervision of large MOdular and distributed systems

T

  • TADAAMTopology-aware system-scale data management for high-performance computing
  • TAUTackling the under-specified
  • TEATime, Events and Architectures
  • THOTHLearning visual models from large-scale data
  • TITANEGeometric Modeling of 3D Environments
  • TOCCATACertified Programs, Certified Tools, Certified Floating-Point Computations
  • TONUSTOkamaks and NUmerical Simulations
  • TOSCA-NGETO Simulate and CAlibrate stochastic models
  • TRIBEinTeRnet BEyond the usual
  • TRIPOPModeling, Simulation and Control of Nonsmooth Dynamical Systems
  • TROPICALTropical methods: structures, algorithms and interactions
  • TYREXTypes and Reasoning for the Web

V

  • VALDAValue from Data
  • VALSEFinite-time control and estimation for distributed systems
  • VERIDISModeling and Verification of Distributed Algorithms and Systems

W

  • WHISPERWell Honed Infrastructure Software for Programming Environments and Runtimes
  • WIDEthe World Is Distributed Exploring the tension between scale and coordination
  • WILLOWModels of visual object recognition and scene understanding
  • WIMMICSWeb-Instrumented Man-Machine Interactions, Communities and Semantics

X

  • XPOPStatistical modelling for life sciences

Z

  • ZENITHScientific Data Management