Langues : français English
Accueil > Manifestations > Thèses et HDR > HDR

HDR

Date nom équipe sujet
11-2424 novembre 2016Nicolas Tabareau ASCOLA

Rendre Compte de la Complexité Logique et Calculatoire à travers des Transformations de Programmes

11-1010 novembre 2015Gerson Sunyé AtlanMod

A Model-Based Approach for Testing Large Scale Systems

01-2020 janvier 2015Rémi Douence ASCOLA

Composition non modulaire modulaire

12-044 décembre 2014Thierry Petit TASC

Concilier Expressivité et Efficacité en Programmation par Contraintes

11-066 novembre 2014Xavier Lorca TASC

Éléments de flexibilité et d’efficacité en programmation par contraintes

05-2828 mai 2014Christine Sinoquet DUKe

Approches par optimisation combinatoire et par apprentissage statistique en bioinformatique

12-055 décembre 2012Jérémie Bourdon COMBI

Sources probabilistes : des séquences aux systèmes

09-1212 septembre 2012Jordi Cabot AtlanMod

MDE 2.0 : Vérification pragmatique de modèles et d’autres défis

06-077 juin 2012Gérard Ramstein COD

Application de techniques de fouille de données en Bio-informatique

06-1616 juin 2011Jean-Marc Menaud ASCOLA

Adaptation dynamique et transparente de systèmes patrimoniaux complexes

11-2727 novembre 2009 Philippe Lamarre ATLAS GDD

Contributions à la recherche d’information dans des systèmes distribués, ouverts, intégrant des participants autonomes

07-088 juillet 2008Esther Pacitti ATLAS GDD

Réplication asynchrone des données dans trois contextes : entrepôts, grappes et systèmes pair-à-pair

11-3030 novembre 2007Emmanuel Morin TALN

Synergie des approches et des ressources déployées pour le traitement de l’écrit

11-3030 novembre 2007Marc Gelgon ATLAS GRIM

Structuration statistique de données multimédia pour la recherche d’information

09-1313 septembre 2007Christian Attiogbé COLOSS

Contributions aux approches formelles de développement de logiciels : intégration de méthodes formelles et analyse multifacette

07-1111 juillet 2007Mario Südholt ASCOLA

Pour une programmation par aspects expressive, bien définie et correcte

Dernière modification : mercredi 21 juin 2017