Français Anglais
Accueil Annuaire Plan du site
Equipes
Diagnostic



Equipes
  Intelligence Artificielle et Systèmes d'Inférence

Equipes-projets Inria communes


Resultats majeurs


Contrats
  DIAFORE
  WS-DIAMOND
  SIRASAS

Logiciels et brevets


Collaborations


Membres
  SIMON Laurent
  LI Yingmin
  YE Lina
  ARMANT Vincent
  BOURGNE Gauvain
  NASRI Othman

Thèses et habilitations
  Propagation et affinement d'hypothèses sous contraintes communicationnelles


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
° 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
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données