Skip to Main content Skip to Navigation


...
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01748653v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10083⟩
...
tel-00600247v1  Theses
Rodrigo Toledo. Visualisation Interactive de Modeles Complexes avec les Cartes Graphiques Programmables
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-01748301v1  Theses
Laurent Provot. Vers une polyédrisation des objets discrets bruités 3D
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10119⟩
...
tel-01747557v1  Theses
Gilles Simon. Vers un système de réalité augmentée autonome
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10272⟩
...
tel-00165960v1  Theses
Sébastien Gorges. Vers un système de navigation 3D en neuroradiologie interventionnelle
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00844673v1  Theses
Wilfried Kirschenmann. Vers des noyaux de calcul intensif pérennes
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2012. Français
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
...
tel-00547553v1  Theses
Inès Mouakher Abdelmoula. Vérification et correction des spécifications B : application à l'assemblage de composants
Informatique [cs]. Université Nancy II; Université de Tunis El-Manar, 2010. Français
...
tel-01752890v1  Theses
Mohamed Khalgui. Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants
Ordinateur et société [cs.CY]. Institut National Polytechnique de Lorraine, 2007. Français. ⟨NNT : 2007INPL009N⟩
...
tel-01746178v2  Theses
Lucian Alecu. Une approche neuro-dynamique de conception des processus d'auto-organisation
Informatique [cs]. Université Henri Poincaré - Nancy I, 2011. Français. ⟨NNT : 2011NAN10031⟩
...
tel-00011698v1  Theses
Mathieu d'Aquin. Un portail sémantique pour la gestion des connaissances en cancérologie
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-01081055v1  Theses
Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
...
tel-00010546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-01748568v2  Theses
Laurent Buniet. Traitement automatique de la parole en milieu bruité : étude de modèles connexionnistes statiques et dynamiques
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy 1, 1997. Français
...
tel-00565633v1  Theses
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français
...
tel-01747581v1  Theses
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10085⟩
...
tel-03101708v1  Theses
Seny Diatta. Topologie de courbes algébriques planes et projection de surfaces analytiques réelles.
Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
...
tel-01752898v2  Theses
Florent Garnier. Terminaison en temps moyen fini de systèmes de règles probabilistes
Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL055N⟩
...
tel-01746342v2  Theses
Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩
...
tel-01748119v1  Theses
Hubert Dubois. Système de règles de production et calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10123⟩
...
tel-00177040v1  Theses
Flavio Vigueras-Gomez. Système de réalité augmentée basé sur l'observation de structures planes: conception et évaluation
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2007. Français