Toggle navigation
Création EP
Référentiel Structures
Fiches Equipes
Fiches Projets
BASTRI - Fiches Equipes
Base des structures de recherche Inria
Toggle navigation
Flux RSS
Vie des structures de recherche Inria
CRI BSO : vie des structures de recherche
CRI GRA : vie des structures de recherche
CRI LNE : vie des structures de recherche
CRI LYS : vie des structures de recherche
CRI NGE : vie des structures de recherche
CRI PRO : vie des structures de recherche
CRI RBA : vie des structures de recherche
CRI SAM : vie des structures de recherche
CRI SGE : vie des structures de recherche
CRI SIF : vie des structures de recherche
Equipes-projet, Equipes
Toutes les Equipes-projet, Equipes
Vue par centre
Vue par domaine/thème
Vue par Défi
Défis / Actions Exploratoires (AEx)
Défis en cours
Défis terminés
Actions Exploratoires en cours
Actions Exploratoires terminées
Exports Excel
Export Excel de toutes les structures
Export Excel des structures terminées
Export Excel des structures actives
Liste des structures de recherche
Inclure les équipes anciennes
Merci de patienter ...
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
237 résultats
A
ABS (SR0184DR) - Algorithmes et Biologie Structurale
ACENTAURI (SR0906XR) - • Intelligence artificielle et algorithmes efficaces pour la robotique autonome
ACUMES (SR0748ER) - Analysis and Control of Unsteady Models for Engineering Sciences
AGORA (SR0836XR) - AlGorithmes et Optimisation pour Réseaux Autonomes
AIO (SR0919VR) - Mise en réseau fiable, sans fil à faible consommation et micro-robotique
AIRSEA (SR0738DR) - Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
AISTROSIGHT (SR0933ZR) - La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique
ALMANACH (SR0776AR) - Modélisation et analyse linguistique automatique et humanités computationnelles
ALPINES (SR0649HR) - Algorithms and parallel tools for integrated numerical simulations
ANGE (SR0631GR) - Analyse Numérique, Géophysique et Environnement
ANIMA (SR0894DR) - Création et mise en scène des univers narratifs animés
ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
ARAMIS (SR0642TR) - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
ARGO (SR0947DR) - Apprentissage, graphes et optimisation distribuée
ARIC (SR0539JR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
AROMATH (SR0751VR) - Algebre geometrie Modelisation et Algorithmes
ARTISHAU (SR0966HR) - Intelligence artificielle : sécurité, traçabilité et audit
ASCII (SR0885KR) - Analyse d’interactions stochastiques intelligentes et coopératives
ASTRA (SR0927ZR) - Systèmes de transport automatisés et sécurisés
ASTRAL (SR0901AR) - Méthodes avancées d’apprentissage statistique et de contrôle
ATLANTIS (SR0889XR) - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
AUCTUS (SR0782ER) - Des robots au service de l'humain au travail
AVALON (SR0657BR) - Algorithms and Software Architectures for Distributed and HPC Platforms
AVIZ (SR0132LR) - Analyse et visualisation
AYANA (SR0888FR) - Télédetection et IA embarqués pour le ”New Space”
B
BEAGLE (SR0569CR) - Artificial Evolution and Computational Biology
BENAGIL (SR0945LR) - Systèmes répartis performants et sûrs
BIOCORE (SR0444IR) - Biological control of artificial ecosystems
BIOVISION (SR0846CR) - Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels
BIVWAC (SR0954OR) - Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être
BONUS (SR0878GR) - Optimisation de grande taille et calcul large échelle
BOREAL (SR0924BR) - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés
C
CAGE (SR0848TR) - Contrôle et géométrie
CAGIRE (SR0740WR) - Computational AGility for internal flows sImulations and compaRisons with Experiments
CALISTO (SR0897VR) - Approches stochastiques pour les écoulements complexes et l’environnement
CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
CAMIN (SR0869PR) - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
CAMUS (SR0870KR) - Compilation pour les Architectures MUlti-processeurs et multi-coeurS
CANARI (SR0944PR) - Analyse cryptographique et arithmétique
CAPSID (SR0709ER) - Computational Algorithms for Protein Structures and Interactions
CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
CARAMBA (SR0755YR) - Cryptology, arithmetic : algebraic methods for better algorithms
CARDAMOM (SR0749YR) - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
CARMEN (SR0745TR) - Modélisation et calculs pour l'électrophysiologie cardiaque
CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
CASH (SR0874DR) - Compilation et Analyse, Logiciel et Matériel
CASTING (SR0963SR) - Dynamiques du Cancer, adaptation et modélisation
CASTOR (SR0650QR) - Control, Analysis and Simulations for TOkamak Research
CEDAR (SR0837TR) - Analyse et traitement de données complexes à grande échelle
CELESTE (SR0873YR) - statistique mathématique et apprentissage
CHROMA (SR0804WR) - Robots coopératifs et adaptés à la présence humaine en environnements
COAST (SR0708YR) - Web Scale Trustworthy Collaborative Service Systems
COATI (SR0571JR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
COMETE (SR0134KR) - Vie privée, équité et robustesse dans la gestion de l'information
COMMEDIA (SR0877NR) - Mathématiques et calcul scientifique pour les applications bio-médicales
COMPACT (SR0964JR) - Compression de donn ́ees visuelles massives
COMPO (SR0907HR) - Méthodes computationnelles pour la prise en charge thérapeutique en oncologie
CONCACE (SR0928OR) - COmposabilité Numerique and parallèle pour le CAlcul haute performanCE
CONVECS (SR0619CR) - Construction de systèmes concurrents vérifiés
CORSE (SR0744PR) - Compiler Optimization and Run-time SystEms
COSMIQ (SR0886CR) - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
CRONOS (SR0931XR) - Modélisation des résaux dynamiques cérébraux
CTRL-A (SR0789GR) - Commande pour systèmes informatiques autonomiques
D
DANCE (SR0904ZR) - Dynamique et contrôle des réseaux
DATAMOVE (SR0799BR) - Mouvements de données pour le calcul haute performance
DATASHAPE (SR0792FR) - Comprendre la forme des données
DEDUCTEAM (SR0774GR) - DEDUCTEAM
DEFROST (SR0798HR) - Logiciels pour robots déformables
DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
DIANA (SR0706LR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
DISCO (SR0520MR) - Systèmes dynamiques interconnectés dans des environnements complexes
DIVERSE (SR0651GR) - Diversity-centric Software Engineering
DYLISS (SR0589KR) - Dynamics, Logics and Inference for biological Systems and Sequences
DYOGENE (SR0586FR) - Dynamics of Geometric Networks
E
ECUADOR (SR0600JR) - Transformations et outils informatiques pour le calcul scientifique
EDGE (SR0914KR) - Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation
ELAN (SR0797KR) - modELisation de l'Apparence des phénomènes Non-linéaires
EMERAUDE (SR0915GR) - Systèmes Embarqués audio programmables
EMPENN (SR0864QR) - Neuroimagerie: méthodes et applications
EPICURE (SR0922AR) - Analyse sémantique et compilation pour la sécurité des environnements d'exécution
EPIMETHEE (SR0946HR) - Approches expérimentales et numériques pour explorer le cerveau des insectes
EPIONE (SR0839UR) - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
ERABLE (SR0704DR) - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
ERMINE (SR0923GR) - Gestion et mesures des opérations et de l'économie des réseaux
EVERGREEN (SR0957AR) - Observation de la terre et apprentissage machine pour les défis agro-environnementaux
EVREF (SR0941IR) - Évolution réflexive des systèmes logiciels éternels
EX-SITU (SR0787TR) - Interaction Située Extrême
F
FACTAS (SR0805CR) - Analyse fonctionnelle pour la conception et l'analyse de systèmes
FAIRPLAY (SR0917SR) - IA coopérative : équité, vie privée, incitations
FLOWERS (SR0459GR) - Interactions, exploration et apprentissage en robotique développementale et sociale
FUN (SR0585PR) - self-organizing Future Ubiquitous Network
G
GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
GAMBLE (SR0791BR) - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
GAMMAO (SR0939TR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
GENSCALE (SR0562MR) - Scalable, Optimized and Parallel Algorithms for Genomics
GEOMERIX (SR0930JR) - La Géometrie au Service du Numérique
GRACE (SR0591TR) - Geometry, arithmetic, algorithms, codes and encryption
GRAPHDECO (SR0705XR) - GRAPHics and DEsign with hEterogeneous COntent
H
HEKA (SR0912NR) - Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances
HEPHAISTOS (SR0702SR) - HExapode, PHysiologie, AssISTance et Objets de Service
HYBRID (SR0583IR) - 3D interaction with virtual environments using body and mind
HYCOMES (SR0754QR) - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
I
I4S (SR0574KR) - Inférence pour les InfraStructures Intelligentes et Instrumentées
IDEFIX (SR0909IR) - Solution d’ Equations Differentielles pour l’Imagerie et la physique
ILDA (SR0760KR) - Interacting with Large Data
INBIO (SR0884MR) - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
INOCS (SR0834NR) - Optimisation intégrée pour problèmes à structure complexe
IROKO (SR0967DR) - Sciences environnementales guidées par les données
K
KAIROS (SR0763KR) - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
KERDATA (SR0523GR) - Scalable Storage for Clouds and Beyond
KOPERNIC (SR0845AR) - Adapter le raisonnement pire cas à différentes criticités
KRAKOS (SR0968YR) - Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores
L
LACODAM (SR0800DR) - Fouille de données collaborative à grande échelle
LARSEN (SR0803ZR) - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
LEMON (SR0853YR) - Littoral, Environnement, Modèles et Outils Numériques
LIFEWARE (SR0691IR) - Computational systems biology and optimization
LINKMEDIA (SR0653WR) - Creating and exploiting explicit links between multimedia fragments
LINKS (SR0743YR) - Requêtes pour données dynamiques liées
LOKI (SR0820LR) - Technologie et connaissance pour l'Interaction
M
M3DISIM (SR0746LR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
MAASAI (SR0890WR) - Modèles et algorithmes pour l’intelligence artificielle
MACARON (SR0959TR) - Apprentissage automatique pour des méthodes numériques optimisées
MACBES (SR0942UR) - Modélisation et commande de systèmes biologiques et écologiques
MAGELLAN (SR0952DR) - Infrastructures Informatiques Fiables, Responsables, et Décentralisées
MAGNET (SR0739PR) - Machine Learning in Information Networks
MAKUTU (SR0903YR) - Modélisation et simulation de la propagation des ondes fondées sur des mesures expérimentales pour caractériser des milieux géophysiques et héliophysiques et concevoir des objets complexes
MALICE (SR0950LR) - Apprentissage automatique avec intégration des connaissances en ingénierie de surface : théorie et algorithmes
MANAO (SR0641HR) - Melting the frontiers between Light, Shape and Matter
MARACAS (SR0850MR) - Modèle et algorithmes pour des systèmes de communication fiables
MATHERIALS (SR0696JR) - MATHematics for MatERIALS
MATHEXP (SR0920CR) - Calcul formel, mathématiques expérimentales et interactions
MATHNEURO (SR0852YR) - Mathématiques pour les Neurosciences
MATHRISK (SR0540WR) - Mathematical Risk handling
MAVERICK (SR0595AR) - Modèles et Algorithmes pour la Visualisation et le Rendu
MCTAO (SR0567BR) - Mathématiques pour le Contrôle, le Transport et leurs Applications
MEMPHIS (SR0757MR) - Modèles et méthodes pour les problèmes multiphysiques et interactions
MERGE (SR0936YR) - Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence
MFX (SR0835ZR) - Informatique graphique pour la fabrication numérique
MICROCOSME (SR0910BR) - Analyse, ingénierie et contrôle des micro-organismes
MIMESIS (SR0711RR) - Simulation médicale guidée par les données
MIMETIC (SR0592XR) - Analysis-Synthesis Approach for Virtual Human Simulation
MIMOVE (SR0829ZR) - Middleware on the Move
MIND (SR0921IR) - modèles et inférence pour les données de Neuroimagerie
MINGUS (SR0847MR) - Schémas numériques géométriques multi-échelles
MNEMOSYNE (SR0639GR) - Mnemonic Synergy
MOCQUA (SR0828JR) - Modèles de calcul émergents
MODAL (SR0518VR) - MOdel for Data Analysis and Learning
MOEX (SR0810WR) - Evolution de la connaissance
MOKAPLAN (SR0716ER) - Avancées en calcul numérique des variations
MONC (SR0759XR) - Modélisation Mathématique pour l'Oncologie
MORPHEME (SR0587XR) - Morphologie et Images
MORPHEO (SR0618QR) - Capture et Analyses de Formes en Mouvement
MOSAIC (SR0817DR) - Simulation et Analyse de la morphogenèse in siliCo
MULTISPEECH (SR0707BR) - La parole multimodale en interaction
MUSCA (SR0895VR) - Dynamiques de populations multi-échelles pour des systèmes physiologiques
MUSCLEES (SR0961CR) - Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
MUSICS (SR0965BR) - Systèmes de cellules avec interactions multi-échelles
N
NEO (SR0809ZR) - Ingénierie et Opérations des Réseaux
NERV (SR0948QR) - Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux
O
OCKHAM (SR0938ZR) - Optimisation, Connaissances pHysiques, Algorithmes et Modèles
ODYSSEY (SR0916ER) - Océan Dynamique Observations Analyse
OLAS (SR0949SR) - Fondements opérationnels, logiques et algébriques des systèmes logiciels
OPIS (SR0876PR) - OPtimisation Imagerie et Santé
OURAGAN (SR0875NR) - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
P
PACAP (SR0750NR) - Pushing Architecture and Compilation for Application Performance
PARADYSE (SR0891SR) - Systèmes de particules et systèmes dynamiques
PARKAS (SR0521SR) - Parallélisme de Kahn Synchrone
PARMA (SR0955YR) - Méthodes particulaires utilisant Monge-Ampère
PARTOUT (SR0887MR) - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
PASTA (SR0900AR) - Processus Aléatoires Spatio-Temporels et Applications
PESTO (SR0758TR) - Techniques de Preuves pour les Protocoles de Sécurité
PETRUS (SR0793XR) - Cloud personnel sécurisé
PETSCRAFT (SR0962IR) - Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
PICUBE (SR0932BR) - Les assistants à la démonstration au cœur du raisonnement mathématique
PIRAT (SR0958BR) - Protection de l’information et résistances aux attaques
PIXEL (SR0892UR) - Structurer des formes géométriques
PLATON (SR0899UR) - Quantification des Incertitudes en calcul scientifique pour l’ingénierie
PLEIADE (SR0868XR) - Patterns de diversité et réseaux de fonctions
POEMS (SR0882NR) - Propagation des Ondes : Etude Mathématique et Simulation
POLARIS (SR0823FR) - Évaluation et optimisation des performances des grandes infrastructures
POTIOC (SR0624WR) - Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante
PREMEDICAL (SR0925LR) - Médecine de précision par intégration de données et inférence causale
PRIVATICS (SR0637XR) - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
PROSECCO (SR0526LR) - Programming securely with cryptography
Q
QINFO (SR0929KR) - Traitement optimal de l'information avec des dispositifs quantiques
QUACS (SR0913XR) - Structures de calcul quantique
QUANTIC (SR0692YR) - QUANTum Information Circuits
QURIOSITY (SR0934SR) - Communication et Traitement Quantiques de l'Information
R
RAINBOW (SR0842HR) - robotique interactive et référencée capteurs
RANDOPT (SR0855ZR) - Optimisation par algorithmes stochastiques
RAPSODI (SR0801RR) - Approximations numériques fiables pour les systèmes dissipatifs
RESIST (SR0827CR) - Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques
ROBOTLEARN (SR0908QR) - Apprentissage, perception et commande pour des robots sociaux
ROMA (SR0688PR) - Optimisation des ressources : modèles, algorithmes et ordonnancement
S
SAIRPICO (SR0940OR) - Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
SCOOL (SR0896HR) - Prise de décision séquentielle dans l’incertain
SEMAGRAMME (SR0590XR) - Analyse Sémantique de la Langue
SERENA (SR0784ZR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
SIERRA (SR0463RR) - Apprentissage Statistique et Parcimonie
SIMBA (SR0956AR) - Inférence Statistique et Modélisation pour les Applications Biologiques
SIMBIOTX (SR0902IR) - SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires
SIMSMART (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
SISTM (SR0678GR) - Statistics In System biology and Translational Medicine
SODA (SR0918NR) - Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données
SPADES (SR0703KR) - Programmation de systèmes embarqués sûrs et adaptatifs
SPHINX (SR0742ER) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
SPIRALS (SR0679OR) - Self-adaptation for distributed services and large software systems
SPLITS (SR0943QR) - Languages de Programmation Sécures et Outils pour la Sécurité
STACK (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
STAMP (SR0883FR) - • Sûreté du logiciel et Preuves Mathématiques Formalisées
STARS (SR0541QR) - Reconnaissance d’Activités Spatio-Temporelles pour les interactions Sociales
STATIFY (SR0893AR) - Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension
STEEP (SR0715QR) - Soutenabilité, Territoires, Environnement, Economie et Politique
STORM (SR0794OR) - Optimisation statique, méthodes d’exécution
SUSHI (SR0951JR) - Sécurité à l’interface logiciel/matériel
SYCOMORES (SR0911FR) - Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
T
TADAAM (SR0808ZR) - Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance
TANGRAM (SR0898KR) - Recalage visuel avec des modèles physiquement réalistes
TARAN (SR0905HR) - Architectures matérielles spécialisées pour l’ère post loi-de-Moore
TAU (SR0780IR) - IA : vers des problèmes mieux posés
THOTH (SR0735UR) - Apprentissage de modèles visuels à partir de données massives
TITANE (SR0623ZR) - Modélisation géométrique d'environnements 3D
TOCCATA (SR0646IR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
TOPAL (SR0937ER) - Outils et Optimisations pour le Calcul Haute Performance et l'Apprentissage
TRIBE (SR0872OR) - Pour un Internet non-conventionnel
TRIPOP (SR0879YR) - Modélisation, simulation et commande des systèmes dynamiques non lisses
TROPICAL (SR0844QR) - Méthodes tropicales: structures, algorithmes et interactions
TYREX (SR0652QR) - Types and Reasoning for the Web
V
VALDA (SR0824OR) - Valeur à partir des données
VALSE (SR0862RR) - Contrôle en temps fini et estimation pour des systèmes distribués
VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems
VIRTUS (SR0926VR) - Nous, virtuels
W
WHISPER (SR0720UR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
WIDE (SR0840XR) - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination
WILLOW (SR0066IR) - Vision par ordinateur incarnée
WIMMICS (SR0588SR) - Web-Instrumented Man-Machine Interactions, Communities and Semantics
Z
ZENITH (SR0522AR) - Gestion de données scientifiques