Skip to Main content Skip to Navigation


...
tel-00432124v2  Theses
Michael Aron. Acquisition et modélisation de données articulatoires dans un contexte multimodal
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-01748243v3  Theses
Fabrice Nahon. Preuve par induction dans le calcul des séquents modulo
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français
...
tel-00431464v1  Theses
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
...
tel-00627981v1  Theses
Gérard Wagener. Self-Adaptive Honeypots Coercing and Assessing Attacker Behaviour
Computer Science [cs]. Institut National Polytechnique de Lorraine - INPL, 2011. English
...
tel-01748689v2  Theses
Bruno Vallet. Bases de fonctions sur les variétés
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL034N⟩
...
tel-03541628v1  Theses
Maria Boritchev. Dialogue Modeling in a Dynamic Framework
Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩
...
tel-00598564v2  Theses
Cédric Rose. Modélisation stochastique pour le raisonnement médical et ses applications à la télémédecine
Informatique [cs]. Université Henri Poincaré - Nancy I, 2011. Français
...
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-01748148v2  Theses
Germain Faure. Structures et modèles de calculs de réécriture
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10032⟩
...
tel-02315651v1  Theses
Paul Chaignon. Software Datapaths for Multi-Tenant Packet Processing
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0062⟩
...
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-00528942v1  Theses
Damien Robert. Fonctions thêta et applications à la cryptographie
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00331935v2  Theses
Luc Buatois. Algorithmes sur GPU de visualisation et de calcul pour des maillages non-structurés
Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL020N⟩
...
tel-02406821v1  Theses
Marco Voigt. Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English
...
tel-00758118v1  Theses
Tomas Navarrete Gutierrez. A control architecture for complex systems, based on multi-agent simulation.
Multiagent Systems [cs.MA]. Université de Lorraine, 2012. English
...
tel-00836717v1  Theses
Imen Jemaa. Suivi de Formants par analyse en Multirésolution
Interface homme-machine [cs.HC]. Université de Lorraine; Faculté des Sciences de Tunis, 2013. Français
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
tel-00606383v1  Theses
Adrien Bellanger. Ordonnancement sur les machines à traitement par batches et contraintes de compatibilité.
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009. Français
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
tel-00128631v1  Theses
Nicolas Biri. Logiques spatiales de ressources, modèles d'arbres et applications
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
...
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-00529657v1  Theses
Phuong Le-Hong. Elaboration d'un composant syntaxique à base de grammaires d'arbres adjoints pour le vietnamien
Interface homme-machine [cs.HC]. Université Nancy II, 2010. Français
...
tel-00530755v1  Theses
Sabine Barrat. Modèles graphiques probabilistes pour la reconnaissance de formes
Interface homme-machine [cs.HC]. Université Nancy II, 2009. Français
...
tel-01585248v1  Theses
Marharyta Aleksandrova. Matrix Factorization and Contrast Analysis Techniques for Recommendation
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0080⟩
...
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-00586317v1  Theses
Hatem Hamza. Application du raisonnement à partir de cas à l'analyse de documents administratifs
Génie logiciel [cs.SE]. Université Nancy II, 2008. Français
...
tel-01746679v2  Theses
Sami Bhiri. Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10116⟩
...
tel-00011165v1  Theses
Cédric Wilwert. Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2005. Français