Skip to Main content Skip to Navigation
  1. Search


...
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-03468027v1  Theses
Titouan Carette. Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩
...
tel-00643552v1  Theses
Ehtesham Zahoor. Web services governance : Security and Data handling aspects
Web. Université Nancy II, 2011. English
...
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-01748265v1  Theses
Rodrigo Toledo. Visualisation interactive de modèles complexes avec les cartes graphiques programmables
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10073⟩
...
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-00581436v1  Theses
Ilham Esslimani. Vers une approche comportementale de recommandation : apport de l'analyse des usages dans un processus de personnalisation
Interface homme-machine [cs.HC]. Université Nancy II, 2010. Français
...
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-01752233v2  Theses
Abdallah Dib. Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré
Intelligence artificielle [cs.AI]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0045⟩
...
tel-00581331v1  Theses
Geoffray Bonnin. Vers des systèmes de recommandation robustes pour la navigation Web : inspiration de la modélisation statistique du langage
Informatique [cs]. Université Nancy II, 2010. 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-01753552v1  Theses
Boutheïna Chetali. Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1996. Français. ⟨NNT : 1996NAN10037⟩
...
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-01751786v2  Theses
Marion Guthmuller. Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
Informatique [cs]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0090⟩
...
tel-01748257v1  Theses
Heinrich Hördegen. Vérification des protocoles cryptographiques : comparaison des modèles symboliques avec une application des résultats : étude des protocoles récursifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10083⟩
...
tel-00193300v1  Theses
Heinrich Hördegen. Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-01749592v3  Theses
Aurélien Monot. Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar
Systèmes embarqués. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0384⟩
...
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-01747537v1  Theses
Raphaël Couturier. Utilisation des méthodes formelles pour le développement de programmes parallèles
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10001⟩
...
tel-01746167v2  Theses
Gabriel Corona. Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP
Informatique [cs]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10026⟩
...
tel-00080852v1  Theses
Ninh Thuan Truong. Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
Génie logiciel [cs.SE]. Université Nancy II, 2006. Français
...
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-01754366v1  Theses
Frédéric Alexandre. Une modélisation fonctionnelle du cortex : La colonne corticale : aspects visuels et moteurs
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1990. Français. ⟨NNT : 1990NAN10054⟩
...
tel-00509349v1  Theses
Olivier Buffet. Une double approche modulaire de l'apprentissage par renforcement pour des agents intelligents adaptatifs
Informatique [cs]. Université Henri Poincaré - Nancy I, 2003. Français
...
tel-01748099v1  Theses
Olivier Bernard Henri Buffet. Une double approche modulaire de l'apprentissage par renforcement pour des agents intelligents adaptatifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10108⟩
...
tel-01752548v1  Theses
Luciano Pereira dos Reis. Une architecture pour la collaboration synchrone à distance appliquée à la visualisation et à la modélisation dans les géosciences :
Autre. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL018N⟩
...
tel-01748001v1  Theses
Manuel Munier. Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10017⟩
...
tel-03598291v1  Theses
Kevin Dalleau. Une approche stochastique à base d’arbres aléatoires pour le calcul de dissimilarités : application au clustering pour diverses structures de données
Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0181⟩
...
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-01754359v1  Theses
Carlos Castro. Une approche déductive de la résolution de problèmes de satisfaction de contraintes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10236⟩
...
tel-01754497v2  Theses
Dung Tien Tran. Uncertainty learning for noise robust ASR
Sound [cs.SD]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0236⟩
...
tel-01749847v1  Theses
Thomas Meilender. Un wiki sémantique pour la gestion des connaissances décisionnelles : application à la cancérologie
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0073⟩
...
tel-00919997v1  Theses
Thomas Meilender. Un wiki sémantique pour la gestion des connaissances décisionnelles - Application à la cancérologie
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français
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-00547941v1  Theses
Thomas Girod. Un modèle d'apprentissage multimodal pour un substrat distribué d'inspiration corticale
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10092⟩
...
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-01750946v1  Theses
Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables
Autre [cs.OH]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0128⟩
...
tel-01747583v1  Theses
Philippe Dosch. Un environnement pour la reconstruction 3D d'édifices à partir de plans d'architecte
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10066⟩
...
tel-01748694v1  Theses
Oana-Maria Andrei. Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL058N⟩
...
tel-02094875v1  Theses
Souad Kherroubi. Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B
Théorie et langage formel [cs.FL]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0230⟩
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-01634377v3  Theses
Quang-Vinh Dang. Trust assessment in large-scale collaborative systems
Web. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0002⟩
...
tel-02949349v1  Theses
Émilie Colin. Traitement automatique des langues et génération automatique d'exercices de grammaire
Traitement du texte et du document. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0059⟩
...
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-03008224v1  Theses
Ioannis K Douros. Towards a 3 dimensional dynamic generic speaker model to study geometry simplifications of the vocal tract using magnetic resonance imaging data
Computation and Language [cs.CL]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0115⟩
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-01752211v1  Theses
younes Rahmani. The Multi-product Location-Routing Problem with Pickup and Delivery
Other [cs.OH]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0331⟩
...
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-01680340v1  Theses
Zeinab Bakhtiarinoodeh. The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra
Logic in Computer Science [cs.LO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0208⟩
...
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-01748612v1  Theses
Javier Flavio Vigueras Gomez. Système de Réalité Augmentée basé sur l'observation de structures planes : conception et évaluation
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10060⟩
...
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-03079349v1  Theses
Sara Dahmani. Synthèse audiovisuelle de la parole expressive : modélisation des émotions par apprentissage profond
Informatique [cs]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0137⟩
...
tel-01754424v1  Theses
Pierre Mousel. Syntaxe et sémantique dans un système de dialogue oral homme-machine finalisé en langage naturel
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1990. Français. ⟨NNT : 1990NAN10038⟩
...
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⟩
...
tel-03202757v1  Theses
Pierre Mercuriali. Sur les systèmes de formes normales pour représenter efficacement des fonctions multivaluées
Informatique [cs]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0241⟩
...
tel-01751259v1  Theses
Manel Tagorti. Sur les abstractions et les projections des processus décisionnels de Markov de grande taille
Autre [cs.OH]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0005⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/