Skip to Main content Skip to Navigation


...
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
...
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
...
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-01750754v2  Theses
Martin Barrere. Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩
...
tel-01748491v2  Theses
Mohamed Nassar. VoIP Networks Monitoring and Intrusion Detection
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10021⟩
...
tel-01748510v2  Theses
Humberto Abdelnur. Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10005⟩
...
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-01749330v2  Theses
Srikrishna Bhat. Visual words for pose computation
Signal and Image processing. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0001⟩
...
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-01746519v1  Theses
Sébastien Gorges. Vers un système de navigation 3D en neuroradiologie interventionnelle
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10035⟩
...
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-03112664v1  Theses
Michael Schnell. Using Case-Based Reasoning and Argumentation to Assist Medical Coding
Artificial Intelligence [cs.AI]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0168⟩
...
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-01747636v1  Theses
Jean-Luc Husson. Une approche hiérarchique de la segmentation du signal de parole
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10292⟩
...
tel-01754497v2  Theses
Dung Tien Tran. Uncertainty learning for noise robust ASR
Sound [cs.SD]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0236⟩
tel-01746651v1  Theses
Mathieu d' Aquin. Un portail sémantique pour la gestion des connaissances en cancérologie
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10154⟩
...
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-01746546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩
...
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-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-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-01750588v1  Theses
Bruno Lévy. Topologie Algorithmique : combinatoire et plongement
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1999. Français. ⟨NNT : 1999INPL094N⟩
...
tel-00195096v1  Theses
Eunyoung Kang. Tool supported real-time system verification with combination of abstraction/deduction and model checking
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-00011037v1  Theses
Clara Bertolissi. The graph rewriting calculus: properties and expressive capabilities
Other [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. English
...
tel-03542634v1  Theses
Angela Fan. Text Generation with and without Retrieval
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0164⟩
...
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-01746842v1  Theses
Olivier Fissore. Terminaison de la réécriture sous stratégies
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10176⟩
...
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
...
tel-01754351v1  Theses
Eric Deplagne. Système de preuve modulo récurrence
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10240⟩
...
tel-01546383v1  Theses
Jean Hergel. Synthesis of fabricable shape from partial specifications
Emerging Technologies [cs.ET]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0003⟩
...
tel-03050597v1  Theses
Amal Houidhek. Synthèse paramétrique de la parole Arabe
Traitement du signal et de l'image [eess.SP]. Université de Lorraine; Université de Tunis El Manar (Tunisie), 2020. Français. ⟨NNT : 2020LORR0116⟩
...
tel-01293742v1  Theses
Mohammed Anis Mekki. Synthèse et compilation de services web sécurisés
Informatique [cs]. Universite de Lorraine, 2011. Français
...
tel-01746282v1  Theses
Mohamed-Anis Mekki. Synthèse et compilation de services web sécurisés
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10123⟩
...
tel-01536649v1  Theses
Pierre Rolin. Synthèse de vues pour l'initialisation de pose
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0025⟩
...
tel-01754284v2  Theses
Laszlo Szathmary. Symbolic Data Mining Methods with the Coron Platform
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy 1, 2006. English. ⟨NNT : 2006NAN10159⟩
...
tel-03564208v1  Theses
Aude Le Gluher. Symbolic Computation and Complexity Analyses for Number Theory and Cryptography
Cryptography and Security [cs.CR]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0245⟩
...
tel-00192773v1  Theses
Eric Kow. Surface realisation: ambiguity and determinism
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-01754499v2  Theses
Bikash Gyawali. Surface Realisation from Knowledge Bases
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0004⟩