Kho05 KHOUAJA
Anis
"Modèlisation
et Identification de Systèmes Non-Linéaires à
l'aide de Modèles de Volterra à Complexité
Réduite".
Thèse de doctorat, mention Automatique, Traitement du Signal et
des Images, Université de
Nice - Sophia Antipolis, Laboratoire I3S, 1er Mars 2005, Projet ASTRE.
Cag05
CAGNAZZO Marco
"Wavelet Transform and
Three-dimensional Data Compression". Thèse de doctorat, mention
Automatique, Traitement du Signal et des Images, Université de
Nice - Sophia Antipolis, Laboratoire I3S, 8 Mars 2005, Projet CReATIVe.
Kha05
KHADDOUMI Balkine
"Analyse et
Modèlisation de l'Activité Electrique du Coeur dans le
cas de Pathologies Ventriculaires". Thèse de doctorat, mention
Automatique, Traitement du Signal et des Images, Université de
Nice - Sophia Antipolis, Laboratoire I3S, 10 Juin 2005, Projet BIOMED.
Con05
CONTES Arnaud
"Une architecture de
sécurité hiérarchique, adaptable et dynamique pour
la grille". Thèse
de doctorat, , Université de
Nice - Sophia Antipolis, INRIA-Laboratoire I3S, 9 Septembre 2005,
Projet OASIS.
Roc05 ROCHERY
Marie
"Contours actifs
d'ordre supérieur et leur application à la
détection de linéiques dans des images de
télédétection". Thèse de doctorat,
Université de
Nice - Sophia Antipolis, INRIA-Laboratoire I3S, 28 Septembre 2005,
Projet
ARIANA.
Gol05
GOLDSZTEJN Alexandre
"Definition et
Applications des Extensions des Fonctions Réelles aux
Intervalles Généralisés - Révision de la
Théorie des Intervalles Modaux et Nouveaux Résultats",
Université de Nice - Sophia Antipolis, INRIA-Laboratoire I3S, 10
Novembre 2005, Projet COPRIN.
Pon05 PONSINI
Olivier
"Des programmes
impératifs vers la logique équationnelle pour la
vérification",
Université de Nice - Sophia Antipolis, Laboratoire I3S, 24
Novembre 2005, Projets LANGAGES/COPRIN.
Bar05 BARROS Tomas
"Formal Specification
and Verification of Distributed Systems" (Spécification et
Vérification formelles des Systèmes de Composants
Répartis)".
Thèse de doctorat, , Université de
Nice - Sophia Antipolis, INRIA-Laboratoire I3S, 25 Novembre 2005,
Projet OASIS.
Bat05 BATNINI
Heikel
"Contraintes Globales
et Heuristiques de Recherche pour les CSPs Continus",
Université de Nice - Sophia Antipolis, INRIA-Laboratoire I3S,
1er Décembre 2005, Projet COPRIN.
Gas05 GASTAUD
Muriel
"Modèles de
contours actifs pour la segmentation d'images et de vidéos",
Université de Nice - Sophia Antipolis, Laboratoire I3S, 6
Décembre 2005, Projet CReATIVe.