Accueil
>
Equipes
>
Activités de recherche
> Systèmes de gestion de contenu
Présentation
Equipes
Equipes de recherche
Equipes de soutien à la recherche
Equipes-projets Inria communes
Activités de recherche
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Systèmes de gestion de contenu
Equipes
Equipes-projets Inria communes
Resultats majeurs
Contrats
Logiciels et brevets
Acware
Collaborations
Membres
Thèses et habilitations
Activités de recherche
°
Algorithmes pour les grands volumes de données distribuées
°
Algorithmique des systèmes en réseau
°
Algorithmique distribuée
°
Architectures parallèles
°
biologie de synthese
°
Biologie des systèmes
°
Biologie structurale
°
biologie synthetique
°
Calcul à haute performance
°
Calcul quantique
°
Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
°
Codage réseau
°
Collaboration médiatisée
°
Combinatoire
°
Compilation et optimisation des programmes
°
Décision optimale en contexte incertain
°
Définition de nouveaux critères
°
Démonstration automatique, SMT et applications
°
Distributed Design
°
Fab lab
°
Fabrication Numérique
°
Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
°
Formalisation et preuves de programmes numériques
°
Gestion de données du Web
°
Ingénierie des systèmes interactifs
> toutes les activités
