Equipes de Recherche INRIA

De CNRLIB
Aller à : navigation, rechercher


INRIA

Nos domaines et thèmes de recherche

Mathématiques appliquées, calcul et simulation

Schémas et simulations numériques

  • ACUMES Analysis and Control of Unsteady Models for Engineering Sciences
  • CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments
  • CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • DEFI Détermination de Formes Et Identification
  • ECUADOR Transformations et outils informatiques pour le calcul scientifique
  • ELAN ModELisation de l'apparence des phénomènes Non-linéaires
  • GAMMA3 Génération automatique de maillages et méthodes avancées
  • MEMPHIS Modèles et méthodes pour les problèmes multiphysiques et interactions
  • MEPHYSTO-POST Méthodes quantitatives pour les modèles aléatoires de la physique
  • MINGUS Multi-scale numerical geometric schemes
  • MOKAPLAN Avancées en calcul numérique des variations
  • NACHOS Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
  • NANO-D Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
  • POEMS-POST Propagation des Ondes: Etude Mathématique et Simulation
  • RAPSODI Approximations numériques fiables pour les systèmes dissipatifs

Approches stochastiques

  • CQFD Contrôle de Qualité et Fiabilité Dynamique
  • SIMSMART SIMulation pARTiculaire de Modèles Stochastiques
  • TOSCA Simuler et calibrer des modèles stochastiques

Optimisation, apprentissage et méthodes statistiques

  • BONUS Optimisation de grande taille et calcul large échelle
  • GEOSTAT Géométrie et statistiques dans les données d'acquisition
  • INOCS Integrated Optimization with Complex Structure
  • MISTIS Modélisation et Inférence de phenomenes aléatoires complexes et structures
  • MODAL MOdel for Data Analysis and Learning
  • REALOPT Reformulations et algorithmes pour l'Optimisation combinatoire
  • SELECT Sélection de modèles en apprentissage statistique
  • SIERRA Apprentissage Statistique et Parcimonie
  • TAU TAckling the Underspecified

Optimisation et contrôle de systèmes dynamiques

  • COMMANDS Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
  • DISCO Systèmes dynamiques interconnectés dans des environnements complexes
  • FACTAS Analyse fonctionnelle pour la conception et l'analyse de systèmes
  • I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures
  • MCTAO Mathématiques pour le Contrôle, le Transport et leurs Applications
  • NECS Systèmes Commandés en Réseau
  • NON-A POST Non-Asymptotic estimation for online systems
  • QUANTIC QUANTum Information Circuits
  • SPHINX Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • TRIPOP Modélisation, simulation et commande des systèmes dynamiques non lisses

Algorithmique, programmation, logiciels et architectures

Preuves et vérification

  • ANTIQUE Analyse Statique par Interprétation Abstraite
  • CELTIQUE Certification de logiciel par analyse sémantique
  • CONVECS Construction de systèmes concurrents vérifiés
  • GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve
  • GALLIUM Langages de programmation, types, compilation et preuves
  • MARELLE Mathématiques, Raisonnement et Logiciel
  • MEXICO Modeling and Exploitation of Interaction and Concurrency
  • MOCQUA Designing the Future of Computational Models
  • PARSIFAL Recherche de preuve et raisonnement sur des spécifications logiques
  • PI.R2 Conception, étude et implémentation de langages pour les preuves et les programmes
  • SUMO SUpervision of large MOdular and distributed systems
  • TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations
  • VERIDIS Modeling and Verification of Distributed Algorithms and Systems

Sécurité et confidentialité

  • CIDRE Confidentialité, Intégrité, Disponibilité et Répartition
  • COMETE Concurrence, Mobilité et Transactions
  • DATASPHERE Economie des données et des plateformes
  • PESTO Techniques de Preuves pour les Protocoles de Sécurité
  • PRIVATICS Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
  • PROSECCO Programming securely with cryptography
  • TAMIS Analyse de la menace et atténuation pour la sécurité des informations

Algorithmique, calcul formel et cryptologie

  • ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code
  • AROMATH Algebre geometrie Modelisation et Algorithmes
  • CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms
  • CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
  • GAIA Géométrie, Algèbre, Informatique, Applications
  • GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
  • GRACE Geometry, arithmetic, algorithms, codes and encryption
  • LFANT Théorie algorithmique des nombres rapide et flexible
  • OURAGAN OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
  • SECRET Sécurité, Cryptologie et Transmissions
  • SPECFUN Symbolic Special Functions : Fast and Certified

Systèmes embarqués et temps réel

  • AOSTE2 Models and methods of analysis and optimization for systems with real-time and embedded contraints
  • HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
  • KAIROS Logical Time for Formal Embedded System Design
  • PARKAS Parallélisme de Kahn Synchrone
  • SPADES Programmation de systèmes embarqués sûrs et adaptatifs
  • TEA Time, Events and Architectures

Architecture, langages et compilation

  • CAIRN Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
  • CASH Compilation et Analyse, Logiciel et Matériel
  • CORSE compiler optimization and run-time systems
  • PACAP Pushing Architecture and Compilation for Application Performance

Réseaux, systèmes et services, calcul distribué

Réseaux et télécommunications

  • AGORA AlGorithmes et Optimisation pour Réseaux Autonomes
  • COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications
  • DANTE Réseaux dynamiques : approche structurelle et temporelle
  • DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau
  • DIONYSOS Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
  • DYOGENE Dynamics of Geometric Networks
  • EVA Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
  • FUN self-organizing Future Ubiquitous Network
  • GANG Réseaux, graphes et algorithmes
  • NEO Ingénierie et Opérations des Réseaux
  • RESIST Resilience and Elasticity for Security and ScalatiliTy of dynamic networked systems
  • SOCRATE Radio logicielle et radio cognitive pour les télécommunication

Systèmes distribués et intergiciels

  • COAST Web Scale Trustworthy Collaborative Service Systems
  • CTRL-A Commande pour systèmes informatiques autonomiques
  • DELYS Algorithmes pour systèmes distribués
  • MIMOVE Middleware on the Move
  • MYRIADS Conception et mise en oeuvre de systèmes distribués autonomes
  • SPIRALS Self-adaptation for distributed services and large software systems
  • STACK Software Stack for Massively Geo-Distributed Infrastructures
  • WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes
  • WIDE le monde est distribué] Vers une exploration des tensions entre grande échelle et coordination

Calcul distribué et à haute performance

  • ALPINES Algorithms and parallel tools for integrated numerical simulations
  • AVALON Algorithms and Software Architectures for Distributed and HPC Platforms
  • DATAMOVE Mouvements de données pour le calcul haute performance
  • HIEPACS Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
  • KERDATA Scalable Storage for Clouds and Beyond
  • POLARIS Évaluation et optimisation des performances des grandes infrastructures
  • ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement
  • STORM Optimisation statique, méthodes d’exécution
  • TADAAM Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance

Programmation distribuée et génie logiciel

  • DIVERSE Diversity-centric Software Engineering
  • EASE Enabling Affordable Smarter Environment
  • FOCUS Foundations of Component-based Ubiquitous Systems
  • INDES Programmation diffuse et sécurisée
  • PHOENIX-POST Technologie des langages de programmation pour les services de communication
  • RMOD Analyses et construction de langage pour l'évolution d'applications orientées Objet

Perception, Cognition, Interaction

Vision, perception et interprétation multimedia

  • LINKMEDIA Creating and exploiting explicit links between multimedia fragments
  • MAGRIT Augmentation visuelle d'environnements complexes
  • MORPHEO Capture et Analyses de Formes en Mouvement
  • PERCEPTION Interprétation et Modélisation d'Images et de Vidéos
  • SIROCCO Analysis representation, compression and communication of visual data
  • STARS Spatio-Temporal Activity Recognition Systems
  • THOTH Apprentissage de modèles visuels à partir de données massives
  • WILLOW modèles de la reconnaissance visuelle d'objets et de scènes

Interaction et visualisation

  • ALICE Géometrie et Lumière
  • AVIZ Analyse Visuelle
  • EX-SITU Interaction Située Extrême
  • GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent
  • HYBRID 3D interaction with virtual environments using body and mind
  • ILDA Interacting with Large Data
  • IMAGINE Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
  • LOKI Technologie et connaissance pour l'Interaction
  • MANAO Melting the frontiers between Light, Shape and Matter
  • MAVERICK Modèles et Algorithmes pour la Visualisation et le Rendu
  • MFX Matter From Graphics
  • MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation
  • POTIOC Popular interaction with 3d content
  • TITANE Modélisation géométrique d'environnements 3D

Représentation et traitement des données et des connaissances

  • CEDAR Analyse et traitement de données complexes à grande échelle
  • GRAPHIK Représentation de connaissances et raisonnements à base de graphes
  • LACODAM Fouille de données collaborative à grande échelle
  • LINKS Requêtes pour données dynamiques liées
  • MAGNET Machine Learning in Information Networks
  • MOEX Evolution de la connaissance
  • ORPAILLEUR Représentation de connaissances, raisonnements
  • PETRUS Cloud personnel sécurisé
  • TYREX Types and Reasoning for the Web
  • VALDA Valeur à partir des donnés
  • WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics
  • ZENITH Gestion de données scientifiques

Robotique et environnements intelligents

  • AUCTUS Augmenter l'humain par CoboT pour n Usage en Symbiose
  • CHORALE Robots coopératifs et hétérogènes interagissant dans l'environnement réel
  • CHROMA Robots coopératifs et adaptés à la présence humaine en environnements
  • DEFROST Logiciels pour robots déformables
  • FLOWERS Interactions, exploration et apprentissage en robotique développementale et sociale
  • HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service
  • LARSEN Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
  • PERVASIVE Interaction située avec les objets et environnements intelligents
  • RAINBOW robotique interactive et référencée capteurs
  • RITS Robotics & Intelligent Transportation Systems

Langue, parole et audio

  • ALMANACH Automatic Language Modelling and ANAlysis & Computational Humanities
  • COML Apprentissage machine cognitif
  • MULTISPEECH Speech Modeling for Facilitating Oral-Based Communication
  • PANAMA Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio

Santé, biologie et planète numériques

Sciences de la planète, de l'environnement et de l'énergie

  • AIRSEA Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
  • ANGE Analyse Numérique, Géophysique et Environnement
  • CASTOR Control, Analysis and Simulations for TOkamak Research
  • COFFEE COmplex Flows For Energy and Environment
  • FLUMINANCE Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
  • LEMON Littoral, Environnement : Méthodes et Outils Numériques
  • MAGIQUE-3D Modélisation Avancée en GéophysIQUE 3D
  • SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • STEEP Soutenabilité, Territoires, Environnement, Economie et Politique

Modélisation et commande pour le vivant

  • BIOCORE Biological control of artificial ecosystems
  • CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque
  • DRACULA Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
  • M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • MAMBA Modelling and Analysis for Medical and Biological Applications
  • MONC Modélisation Mathématique pour l'Oncologie
  • NUMED Modélisation numérique en médecine
  • REO Simulation numérique d'écoulements biologiques
  • SISTM Statistics In System biology and Translational Medicine
  • XPOP Modélisation statistique pour les sciences du vivant

Biologie numérique

  • ABS Algorithmes et Biologie Structurale
  • BEAGLE Artificial Evolution and Computational Biology
  • BIGS Biologie, génétique et statistiques
  • BONSAI Bioinformatics and Sequence Analysis
  • CAPSID Computational Algorithms for Protein Structures and Interactions
  • DYLISS Dynamics, Logics and Inference for biological Systems and Sequences
  • ERABLE Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
  • GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics
  • IBIS Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
  • LIFEWARE Computational systems biology and optimization
  • MOSAIC Simulation et Analyse de la morphogenèse in siliCo
  • PLEIADE from patterns to models in computational biodiversity and biotechnology
  • SERPICO Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
  • TAPDANCE Theory and Practice of Nanoscale Computing Engines

Neurosciences et médecine numériques

  • ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
  • ATHENA Imagerie computationnelle du système Nerveux Central
  • BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
  • CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis
  • EPIONE E-Patient : Images, données & mOdèles pour la médeciNe numériquE
  • GALEN-POST Images, modèles et algorithmes pour la médecine et les neurosciences
  • MATHNEURO Mathématiques pour les Neurosciences
  • MIMESIS Computational Anatomy and Simulation for Medicine
  • NEUROSYS Analysis and modeling of neural systems by a system neuroscience approach
  • PARIETAL Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
  • VISAGES Vision, Action et Gestion d'informations en Santé