Saint-Martin-d'Hères - Domaine universitaire

Inférence de types polymorphes pour les langages dynamiques

Détection d'exceptions non-rattrapées dans des programmes fonctionnels par Interprétation Abstraite

DataOps et Apprentissage Machine au service du bâtiment intelligent

Improving the quality of GPU-accelerated software

Discrete tools for understanding quantum information

Semaine d'Etude Mathématiques Entreprises & Société (SEMES)

Passive and Active Learning of Switched Nonlinear Dynamical Systems

Apprentissage par transfert pour l'analyse sémantique translingue

Évaluation automatique de la parole spontanée en anglais langue étrangère : le rôle des pauses et de l’accent lexical dans la compréhensibilité du locuteur