37 équipe(s)-projet(s)
Equipe-projet
Analyse d’interactions stochastiques intelligentes et coopératives
DEDUCTEAM
DEDUCTEAM Anonymous (non vérifié) dim, 12/03/2023 - 07:03
DEDUCTEAM
Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
EX-SITU
EX-SITU Anonymous (non vérifié) dim, 12/03/2023 - 07:03
Interaction Située Extrême
ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
GEOMERIX
GEOMERIX Anonymous (non vérifié) dim, 12/03/2023 - 07:03
La Géometrie au Service du Numérique
GeomeriX est une équipe-projet Inria dont l'objectif scientifique global est d'inventer des méthodes...
GRACE
GRACE Anonymous (non vérifié) dim, 12/03/2023 - 07:03
Geometry, arithmetic, algorithms, codes and encryption
La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...