Skip to Main content Skip to Navigation


...
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-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-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
tel-02735309v1  Theses
Andrii Shachykov. Neural modeling of human motor coordination inspired by biological signals aiming for parkinsonian gaits
Computer Science [cs]. Université de Lorraine; Institut polytechnique de Kiev (Ukraine), 2019. English. ⟨NNT : 2019LORR0291⟩
...
tel-02327764v1  Theses
Maxime Schmitt. Automatic Generation of Adaptive Codes
Computer Science [cs]. Université de Strasbourg, 2019. English
...
tel-02384725v1  Theses
Daniel Salas. Parallélisation hybride d'une application de détection de noyaux cellulaires
Calcul parallèle, distribué et partagé [cs.DC]. Université de Strasbourg, 2019. Français
...
tel-02096324v1  Theses
Guillaume Rosinosky. Élasticité de l’exécution des processus métier
Modélisation et simulation. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0003⟩
...
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-02426421v1  Theses
Justine Reynaud. Découverte de définitions dans le web des données
Informatique [cs]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0160⟩
...
tel-01771056v1  Theses
Maxence Reberol. Maillages hex-dominants : génération, simulation et évaluation
Modélisation et simulation. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0021⟩
...
tel-01748443v3  Theses
Yannick Privat. Quelques problèmes d'optimisation de formes en sciences du vivant
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10045⟩
...
tel-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-02393258v1  Theses
Lauréline Perotin. Localisation et rehaussement de sources de parole au format Ambisonique
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0124⟩
...
tel-00594384v1  Theses
Diène Ngom. Observation et régulation de certains modèles discrets d'écosystèmes
Mathématiques [math]. Université Gaston Berger de Saint-Louis, 2008. Français
...
tel-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
tel-02094910v1  Theses
Daishi Kondo. Preventing information leakage in NDN with name and flow filters
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0233⟩
...
tel-01752605v2  Theses
Smaïl Khouider. Outils d'aide à la décision pour la prise de commandes imprévues
Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 2008. Français. ⟨NNT : 2008METZ039S⟩
...
tel-02384511v1  Theses
Clémence Karmann. Inférence de réseaux pour modèles inflatés en zéro
Statistiques [math.ST]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0146⟩
...
tel-01862742v1  Theses
Florian Greff. SDRN : réseau maillé temps réel dynamique défini par logiciel
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0076⟩
...
tel-02456793v2  Theses
Paul Godard. Parallélisation et passage à l'échelle durable d'une chaîne de traitement graphique pour l'impression professionnelle
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2019. Français
...
tel-02408339v1  Theses
Jaime Garcia Guevara. Biomechanical graph matching for hepatic intra-operative image registration
Computer Vision and Pattern Recognition [cs.CV]. Universite de Lorraine, 2019. English. ⟨NNT : 2019LORR0238⟩
...
tel-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩
...
tel-01789709v1  Theses
Antoine Fond. Localisation par l'image en milieu urbain : application à la réalité augmentée
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0028⟩
...
tel-01897853v1  Theses
Baldwin Dumortier. Contrôle acoustique d'un parc éolien
Systèmes et contrôle [cs.SY]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0131⟩
...
tel-01735308v1  Theses
Ken Déguernel. Apprentissage de structures musicales en contexte d'improvisation
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0011⟩
...
tel-02096145v1  Theses
Maxime Compastié. Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
...
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-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
...
tel-01975275v1  Theses
Nicolas Bouzat. Algorithmes à grain fin et schémas numériques pour des simulations exascales de plasmas turbulents
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2018. Français
...
tel-02150106v1  Theses
Timothée Bernard. Approches formelles de l'analyse du discours
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
...
tel-00878714v1  Theses
Fehd Ben Aicha,. Modélisation et commande de systèmes de conversion d'énergie pour l'automobile.
Automatique / Robotique. Université de Metz, 2008. Français
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-01940700v2  Theses
Yann Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English