Joaquim A. Jorge
Mots clés
FR |
EN
Interfaces utilisateurs 3D
Écran multipoint
Étude utilisateur
Utilisation de la pression
Design centré utilisateur
Widget de transformation 3D
Affichage stéréoscopique
Comparaison de périphériques
Interfaces utilisateur (informatique)
Écrans tactiles
Imagerie tridimensionnelle
Conception centrée sur l'utilisateur
Biologie des systèmes
Réseaux de régulation biologique
Simulation qualitative
Vérification formelle
Logique temporelle
Model checking
Bioinformatique
Biologie systémique