Soutenances

Thèse - 
GIPSA-Lab - 
02 Dec 2013
 

Une méthode pour l'évaluation de la qualité des images 3D stéréoscopiques

Raluca Vlad

Dans le contexte d'un intérêt grandissant pour les systèmes stéréoscopiques, mais sans méthodes reproductible pour estimer leur qualité, notre travail propose une contribution à la meilleure compréhension des mécanismes de perception et de jugement humains relatifs au concept multidimensionnel de qualité des images stéréoscopiques. Lire la suite...

Thèse - 
LIG - 
02 Dec 2013
 

Une démarche de conception et d’implémentation de la vie privée basée sur le contrôle d’accès et appliquée aux compositions de services

Aurélien Faravelon

La vie privée est aujourd’hui une notion largement discutée dans le contexte des outils numériques Lire la suite...

Thèse - 
LIG - 
27 Nov 2013
 

Approche cognitive pour l’intégration des outils de la géomatique en sciences de l’environnement : modélisation et évaluation

Raffaella Balzarini

Ce travail de thèse s’intéresse à l’intégration des outils de cartographie et d’analyses spatiales, propres aux Systèmes d’Information Géographique (SIG), dans les domaines de la formation en géosciences appliquées et sciences de l’environnement. Lire la suite...

Thèse - 
VERIMAG - 
25 Nov 2013
 

Vérification formelle des protocoles de vote et de vente aux enchères : De l'anonymat à l'équité et la vérifiabilité

Jannik Dreier

Dans cette thèse nous étudions formellement la sécurité des protocoles de vote et d’enchère en ligne. Le vote en ligne est utilisé en Estonie et dans certaines régions de la Suisse Lire la suite...

HDR - 
LJK - 
19 Nov 2013
 

Approches computationnelles pour l'analyse et le contrôle des systèmes hybrides

Antoine Girard

Un système hybride est un système dynamique exhibant à la fois des comportements de nature discrète et continue Lire la suite...

Thèse - 
LIG - 
05 Nov 2013
 

Cilia : un framework pour le développement d'applications de médiation autonomiques

Denis Morand

Cette thèse se situe dans le domaine de l’informatique orientée service Lire la suite...

Thèse - 
LIG - 
04 Nov 2013
 

Un méta-modèle de composants pour la réalisation d’applications temps-réel flexibles et modulaires

Joao Claudio Rodrigues-Americo

La croissante complexité du logiciel a mené les chercheurs en génie logiciel à chercher des approches pour concevoir et projeter des nouveaux systèmes Lire la suite...

Thèse - 
TIMC-IMAG - 
31 Oct 2013
 

Navigation d'une aiguille médicale déformable

Adeline Robert

Les environnements actuels de navigation de gestes interventionnels avec aiguille font l’hypothèse de l’indéformabilité de celle-ci Lire la suite...

Thèse - 
LIG - 
28 Oct 2013
 

Coordination fiable de services de données à base de politiques actives

Javier Espinosa

Nous proposons une approche pour ajouter des propriétés non-fonctionnelles (e.g., traitement d’exceptions, atomicité, sécurité, persistance) à des coordinations de services de données Lire la suite...

Thèse - 
LIG - 
25 Oct 2013
 

ApAM : Un environnement pour le développement et l’exécution d’applications ubiquitaires

Elmehdi Damou

Simplifier notre interaction avec les entités informatiques interconnectées de notre environnement et faciliter l’exploitation des informations générées par celles-ci est l’objectif des environnements et des applications ubiquitaires. Lire la suite...