Soutenances

Thèse - 
LIG - 
30 Oct 2015
 

Du Style pour des Robots Compagnons : Vers la Plasticité en Interaction Homme-Robot

Wafa JOHAL

Lire la suite...

Thèse - 
LIG - 
23 Oct 2015
 

Co-Apprentissage dans les interfaces Cerveau - Ordinateur

Nataliya KOSMYNA

Lire la suite...

Thèse - 
LJK - 
15 Oct 2015
 

Quantification des incertitudes et analyse de sensibilité pour codes de calcul à entrées fonctionnelles et dépendantes

Simon NANTY

Cette thèse s'inscrit dans le cadre du traitement des incertitudes dans les simulateurs numériques Lire la suite...

Thèse - 
LIG - 
12 Oct 2015
 

Apprentissage automatique à partir de traces multi-sources hétérogènes pour la modélisation de connaissances perceptivo-gestuelles

Ben-Manson TOUSSAINT

Les connaissances perceptivo-gestuelles sont difficiles à saisir dans les Systèmes Tutoriels Intelligents. Lire la suite...

Thèse - 
LIG - 
23 Sep 2015
 

Vers une prise en charge des comportements rationnels dans les systèmes distribués

Amadou DIARRA

Lire la suite...

Thèse - 
Verimag - 
18 Sep 2015
 

Automated Verification of Exam, Cash, Reputation, and Routing Protocols

Ali KASSEM

Résumé :

La sécurité est une exigence cruciale dans les applications basées sur l'information et la technologie de communication, surtout quand un réseau ouvert tel que l'Internet est utilisé. Lire la suite...
Thèse - 
LJK - 
18 Dec 2014
 

Automatic Rush Generation with Application to Theatre Performances

Vineet GANDHI

Professional quality videos of live staged performances are created by recording them from different appropriate viewpoints Lire la suite...

Thèse - 
LIG - 
15 Dec 2014
 

Inférence automatique de modèles d'applications Web et protocoles pour la détection de vulnérabilités

Karim Hossen

Les approches de tests basées sur les modèles (MBT) ont su montrer leur efficacité pour le test logiciel, mais elles nécessitent de disposer au préalable d'un modèle formel du logiciel. Lire la suite...

Thèse - 
LIG - 
15 Dec 2014
 

Uncertainty-Sensitive Reasoning over the Web of Data

Mustafa Al Bakri

Dans cette thèse, nous étudions plusieurs approches destinées à aider les utilisateurs à trouver des informations utiles et fiables dans le Web de données, en utilisant les technologies du Web sémantique. Lire la suite...