Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Interaction homme-machine
Equipes
Interaction homme-machine



Equipes
  Informatique Centrée sur l'Humain

Equipes-projets Inria communes
  ILDA
  Ex Situ
  AVIZ

Resultats majeurs
  Effects of Display Size and Navigation Type on a Classification Task

Contrats


Logiciels et brevets
  Touchstone
  Substance
  Scotty
  Smarties
  DIGISCAPE
  WildOS
  CommandBoard
  UnityCluster

Collaborations


Membres
  FEKETE Jean-Daniel
  CHAPUIS Olivier
  HUOT Stéphane
  TSANDILAS Theophanis
  APPERT Caroline
  GARCIA Jérémie
  BONNET David
  BEZERIANOS Anastasia
  JALAL Ghita
  PAPALEO Laura
  AVELLINO MARTINEZ Ignacio Martin
  MORALES GONZALEZ Rafael
  GREFENSTETTE Gregory
  DESTANDAU Marie
  XUE Tong
  SANCHEZ Téo
  GOBERT Camille

Thèses et habilitations
  'Designeering Interaction': A Missing Link in the Evolution of Human-Computer Interaction


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
° Langages et systèmes centrés données
° Méthodes de conception générative