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-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-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-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-01754497v2  Theses
Dung Tien Tran. Uncertainty learning for noise robust ASR
Sound [cs.SD]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0236⟩
...
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-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-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-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-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-01592497v1  Theses
Daniel Wand. Superposition: Types and Induction
Computer Science [cs]. Saarland University, 2017. 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-03203102v1  Theses
Hoai Le Nguyen. Study of Conflicts in Collaborative Editing
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0005⟩