Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Gestion de données du web
Equipes
Gestion de données du web



Equipes
  Données et Connaissances Massives et Hétérogènes
  Service informatique

Equipes-projets Inria communes
  ILDA

Resultats majeurs
  WWW 2014: RDF Analytics: Lenses over Semantic Graphs

Contrats
  PIMI
  DIM DW4RDF.2
  Datalyse

Logiciels et brevets


Collaborations


Membres
  WALLER Emmanuel
  BIDOIT Nicole
  SAÏS Fatiha
  CAUTIS Bogdan
  HUMBERT Denis
  HERSCHEL Mélanie
  RAFES Karima
  PAPALEO Laura
  GREFENSTETTE Gregory
  MANIU Silviu
  LEMDANI Roza

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
° Calcul à haute performance
° 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
° 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
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle
° Optimisation combinatoire et stochastique