Soutenances | UMS GRICAD

Soutenances

Thèse

-

VERIMAG

- 22 septembre 2010

Contributions à l'analyse statique de programmes manipulant des tableaux

Mathias PERON

Thèse

-

VERIMAG

- 27 août 2010

Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits

Manuel GARNACHO

Thèse

-

LIG

- 12 juillet 2010

Annotation automatique d'images à base de Phrases Visuelles

Rami ALBATAL

Thèse

-

LIG

- 18 juin 2010

Définition et contrôle des politiques d'évolution dans les projets logiciels

Thomas LEVEQUE

Thèse

-

LIG

- 17 juin 2010

Des suites de test pour la TA à un système d'exploitation de corpus alignés de documents et métadocuments multilingues, multiannotés et multimodaux

HUYNH Cong Phap

Thèse

-

TIMC-IMAG

- 03 juin 2010

Classification de profils d'expression de gènes : application à l'étude de la régulation du cycle cellulaire chez les eucaryotes

Alpha DIALLO

Thèse

-

LIG

- 25 mai 2010

Politiques de liaison aux services intermittents dirigée par les accords de niveau de service

Lionel TOUSEAU

Thèse

-

LEGI

- 26 janvier 2010

Les circulations océaniques en mer des Salomon : modélisation haute résolution et altimétrie spatial

Angélique MELET DIEUDONNE

Thèse

-

LIG

- 08 décembre 2009

ONTOAST - un framework pour la découverte des associations sémantique pour le Web Sémantique Géospatial

Dia MIRON

Thèse

-

LIG

- 04 décembre 2009

Modélisation des connaissances des élèves au sein d'un logiciel éducatif d'algèbre

Marie-Caroline CROSET

Pages