Accueil

    Actualité

    Recherche

    Enseignement

    Carrière

    Vie de l'association

    Contacter SPECIF
   Webmaster

 

 

Recherche sur ce
site avec Google: 

dernière mise à jour
le 11/03/2005

Les candidats au prix de thèse 2003

Nom Prénom Titre Résumé
ABDEDDAIM Yasmina Modélisation et résolution de problèmes d'ordonnancement à l'aide d'automates temporisés 03-resume-abdeddaim.ps
ALOUF Sara Estimation de paramètres et analyse des performances de diverses applications réseaux 03-resume-alouf.ps
BALAT Vincent Une étude des sommes fortes : isomorphismes et formes normales 03-resume-balat.ps.gz
COBENA Gregory Gestion des changements pour les données semi-structurées du Web 03-resume-cobena.pdf
CORTIER Véronique Vérification automatique des protocoles cryptographiques 03-resume-cortier.pdf
DIARD Julien La carte bayésienne : un modèle probabiliste hiérarchique pour la navigation en robotique mobile 03-resume-diard.pdf
FERRE Sébastien Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre 03-resume-ferret.pdf
FOREST Clément Simulation de chirurgie par coelioscopie : contributions à l'étude de la découpe volumique, au retour d'effort et à la modélisation des vaisseaux sanguins 03-resume-forest.pdf
HERMOSILLO VALADEZ Jorge Planification de mouvements et commande de robots bi-guidables : une approche basée sur la platitude différentielle 03-resume-hermosillo.pdf
HYON Emmanuel Contrôle d'admission en boucle ouverte dans les réseaux 03-resume-hyon.ps
JOUGLET Antoine Ordonnancer une machine pour minimiser la somme des coûts 03-resume-jouglet.doc
KERMORVANT Christopher

Apprentissage de modèles à états finis stochastiques pour les séquences

  
LEDOUX Franck Étude et spécifications formelles de l'arrondi d'objets géométriques 03-resume-ledoux.ps
LODDO Jean-Vincent Généralisation des jeux combinatoires et applications aux langages logiques 03-resume-loddo.ps
MARANGOZOVA Vania Duplication et cohérence configurables dans les applications réparties à base de composants 03-resume-marangozova.pdf
MARKEY Nicolas Logiques temporelles pour la vérification : expressivité, complexité, algorithmes 03-resume-markey.ps
MENDOZA SERRANO César Augusto Interactions en temps réel de tissu mou avec découpe 3D et retour d'effort 03-resume-medoza.doc
PAUMIER Sébastien De la reconnaissance de formes linguistiques à l'analyse syntaxique 03-resume-paumier.rtf
PEUREUX Fabien Génération de tests aux limites à partir de spécifications B en programmation logique avec contraintes ensemblistes 03-resume-peureux.ps
PIETRIGA Emmanuel Environnements et langages de programmation visuels pour le traitement de documents structurés 03-resume-pietriga.pdf
REDON Stéphane Algorithmes de simulation dynamique interactive d'objets rigides 03-resume-redon.pdf
SERMESANT Maxime

Modèle électromécanique du cœur pour l'analyse d'image et la simulation

 03-resume-sermesant.ps
SUTER Frédéric Parallélisme mixte et prédiction de performances sur réseaux hétérogènes de machines parallèles 03-resume-suter.ps
THOME Emmanuel Algorithmes de calcul de logarithmes discrets dans les corps finis 03-resume-thome.ps
ZANITTINI Bruno Acquisition de connaissances et raisonnement en logique propositionnelle 03-resume-zanuttini.pdf