| NOM |
Prénom |
Titre |
Résumé |
| ADHAMI |
Louai |
Une architecture logicielle intégrée pour la chirurgie
mini-invaser robotisée focalisation sur la planification |
adhami-resume.pdf |
| AQUILERA |
Vincent |
Interrogation de document XML |
aguilera_resume.pdf |
| AUPETIT |
Mickael |
Approximation de variétés par réseaux de neurones
auto-organisés |
aupetit-resume.pdf |
| BOUSQUET |
Caroline |
Compréhension robuste de la parole spontanée dans le dialogue
oral homme-machine - décodage conceptuel stochastique |
bousquet-resume.pdf |
| BOUYER |
Patricia |
Modèles et algorithmes pour la vérification des systèmes
temporisés |
bouyer-resume.pdf |
| CORREA VICTORINO |
Alessandro |
La commande référencée capteur: une approche robuste au problème
de navigation, localisation et cartographie simultanées pour un
robot d'intérieur |
victorino-resume.pdf |
| COSTA |
Luis |
Routage dans l'internet : qualité de service et communication de
groupe |
costa-resume.pdf |
| COUDERT |
David |
Algorithmique et optimisation de réseaux de communications
optiques |
coudert-resume.pdf |
| DELAHAYE |
David |
Conception de langages pour décrire les preuve et le
automatisations dans les outils d'aide à la preuve. Une étude dans
le cadre du système Coq |
delahaye-resume.pdf |
| FARCY |
Alexandre |
Exécution anticipée des flots de condition : une alternative à
la prédiction de branchement |
farcy-resume.pdf |
| GLUCK |
Olivier |
Optimisation de la bibliothèque de communication MPI pour
machines parallèles de type "grappe de PCs" sur une primitive
d'écriture distante |
gluck-resume.pdf |
| GODARD |
Emmanuel |
Reecritures de graphes et algorithmique distribuee |
godard-resume.pdf |
| HERBRETEAU |
Frédéric |
Automates à file réactif embarqués. Application à la
vérification de systèmes temps-réel |
herbreteau-resume.pdf |
| HERMOSILLO |
Gerardo |
Variational Methods for Multimodal Image Matching |
hermosillo-resume.pdf |
| LAURENT |
Anne |
Bases de données multi-dimentionnelles floues et leur
utilisation pour la fouille de données |
laurent-resume.pdf |
| LOMBARDY |
Sylvain |
Approche structurelle de quelques problèmes de la théorie des
automates |
lombardy-resume.pdf |
| LOTTIAUX |
Renaud |
Gestion globale de la mémoire physique d'une grappe pour un
système à image unique : mise en oeuvre dans le système Gobelins. |
lottiaux.resume.pdf |
| MAGONI |
Damien |
Service de recherche d'agent par diffusion multipoint
orientée |
magoni-resume.pdf |
| MAYERO |
Micaela |
Formalisation et automatisation de preuves en analyses réelle et
numérique |
mayero-resume.pdf |
| MIKOLAJCZYK |
Krustian |
Detection of local features invariant to affine
transformations |
mikolajczyk-resume.pdf |
| RAMADOUR |
Philippe |
Modèles et langage pour la conception et la manipulation de
composants réutilisables de domaine |
ramadour-resume.pdf |
| RODRIGUEZ |
Manuel |
Technologie d'empaquetage pour la sûreté de fonctionnement des
systèmes temps-réel |
rodriguez-resume.pdf |
| SMINCHISESCU |
Cristian |
Algorithmes d'estimation pour des modèles visuels ambigus |
sminchisescu-resume.pdf |
| TOUATI |
Sid |
La consommation en registres en présence de parallélisme
d'instructions |
touati-resume.pdf |
| URSO |
Pascal |
Généralisations et méthodes correctes pour l'induction
mathématique |
urso-resume.pdf |
| WLAZINSKI |
Francis |
Ensembles de test et morphismes sans répétition |
wlazinski-resume.pdf |
