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

Equipes-projets Inria communes


Resultats majeurs
  Query Containment in Description Logics Reconsidered
  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies

Contrats
  MICROBIOGENOMICS

Logiciels et brevets
  TaxoMap Alignment

Collaborations


Membres
  ROUSSET Marie-Christine
  RANCE Bastien
  CALVIER François-Elie
  ZARGAYOUNA Haïfa
  GIRALDO Gloria
  KEFI Hassen
  MRABET Yassine
  ASLAOUI-ERRAFII Zahira
  SELLAMI Zied

Thèses et habilitations

° 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