Skip to Main content Skip to Navigation


...
tel-03704004v1  Theses
Semyon Efremov. Parametrized growth and procedural noise for mechanical metamaterial design
Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0046⟩
...
tel-01254439v2  Theses
Nazim Haouchine. Image-guided Simulation for Augmented Reality during Hepatic Surgery
Computer Science [cs]. Université de Lille1, 2015. English
...
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-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-03539738v1  Theses
Brij Mohan Lal Srivastava. Speaker Anonymization: Representation, Evaluation and Formal Guarantees
Artificial Intelligence [cs.AI]. Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2021. English
...
tel-03500477v1  Theses
Waldez Gomes. Improving Ergonomics Through Physical Human-Robot Collaboration
Engineering Sciences [physics]. Université de lorraine, 2021. English. ⟨NNT : 2021LORR0208⟩
...
tel-03428615v1  Theses
Wissem Inoubli. Analysis and Mining of Large Dynamic Graphs: case of graph clustering
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Tunis El Manar (Tunisie), 2021. English
...
tel-03229010v1  Theses
Oleksii Avilov. Deep learning methods for motor imagery detection from raw EEG : applications to brain-computer interfaces
Computer Science [cs]. Université de Lorraine; Institut polytechnique de Kiev (Ukraine), 2021. English. ⟨NNT : 2021LORR0032⟩
...
tel-03213275v1  Theses
Daryna Panicheva. Image-based mitral valve modeling for biomechanical applications
Computer Vision and Pattern Recognition [cs.CV]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0046⟩
...
tel-03203102v1  Theses
Hoai Le Nguyen. Study of Conflicts in Collaborative Editing
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0005⟩
...
tel-03086269v1  Theses
Paul Huynh. Design and Analysis of Lightweight Encryption Schemes
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0223⟩
...
tel-03052499v1  Theses
Simon Masson. Algorithmic of curves in the context of bilinear and post-quantum cryptography
Cryptography and Security [cs.CR]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0151⟩
...
tel-03021043v1  Theses
Raffaella Trivisonne. Image-guided Interactive Simulation for Endovascular Surgery
Modeling and Simulation. Université de Strasbourg, 2020. English
...
tel-02976390v1  Theses
Rituraj Kaushik. Data-Efficient Robot Learning using Priors from Simulators
Artificial Intelligence [cs.AI]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0105⟩
...
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
...
tel-02961882v1  Theses
Sunit Sivasankaran. Localization guided speech separation
Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩
...
tel-02949394v1  Theses
Sandra Rasoamiaramanana. Design of white-box encryption schemes for mobile applications security
Cryptography and Security [cs.CR]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0060⟩
...
tel-02735309v1  Theses
Andrii Dmytrovych 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-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
...
tel-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
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-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
tel-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
...
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-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-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
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-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-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-01863354v1  Theses
younes Abid. Automated Risk Analysis on Privacy in Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩
...
tel-01735239v1  Theses
Evangelia Tsiontsiou. Multi-constrained QoS Routing and Energy Optimization for Wireless Sensor Networks
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0340⟩
...
tel-01661501v1  Theses
van Quan Nguyen. Mapping of a sound environment by a mobile robot
Robotics [cs.RO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0172⟩
...
tel-01649866v1  Theses
Jordi Martori Adrian. Probabilistic Models of Partial Order Enforcement in Distributed Systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0040⟩
...
tel-01649735v1  Theses
Wazen M. Shbair. Service-Level Monitoring of HTTPS Traffic
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0029⟩
...
tel-01592497v1  Theses
Daniel Wand. Superposition: Types and Induction
Computer Science [cs]. Saarland University, 2017. English
...
tel-01591108v1  Theses
Haniel Barbosa. New techniques for instantiation and proof production in SMT solving
Artificial Intelligence [cs.AI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0091⟩
...
tel-01547313v1  Theses
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0008⟩
...
tel-01546383v1  Theses
Jean Hergel. Synthesis of fabricable shape from partial specifications
Emerging Technologies [cs.ET]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0003⟩
...
tel-01417467v3  Theses
Jiří Maršík. Effects and handlers in natural language
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩
...
tel-01528815v1  Theses
Anthéa Mayzaud. Monitoring and Security for the RPL-based Internet of Things
Cryptography and Security [cs.CR]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0207⟩
...
tel-01412765v2  Theses
Aleksandre Maskharashvili. Discourse Modeling with Abstract Categorial Grammars
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0195⟩
...
tel-01403474v2  Theses
Huu-Hiep Nguyen. Social Graph Anonymization
Cryptography and Security [cs.CR]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0168⟩
...
tel-01403849v2  Theses
Hugo Labrande. Explicit computation of the Abel-Jacobi map and its inverse
Computational Geometry [cs.CG]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0142⟩
...
tel-01292602v1  Theses
Ta Thanh Dinh. Malicious Codes Detection in Distributed Environment
Cryptography and Security [cs.CR]. Université de Lorraine, 2015. English
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-01273964v1  Theses
Tomasz Buchert. Managing large-scale, distributed systems research experiments with control-flows
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2016. English
...
tel-01252938v1  Theses
Mihai Andries. Object and human tracking, and robot control through a load sensing floor
Artificial Intelligence [cs.AI]. Université de Lorraine, 2015. English
...
tel-01754477v3  Theses
Mehwish Alam. Interactive Knowledge Discovery over Web of Data
Information Retrieval [cs.IR]. Loria & Inria Grand Est, 2015. English. ⟨NNT : 2015LORR0158⟩
...
tel-01754497v2  Theses
Dung Tien Tran. Uncertainty learning for noise robust ASR
Sound [cs.SD]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0236⟩
...
tel-01241044v1  Theses
Francois Despaux. Modelling and evaluation of the end to end delay in WSN
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2015. English
...
tel-01751818v2  Theses
Aleksey Buzmakov. Formal Concept Analysis and Pattern Structures for mining Structured Data
Artificial Intelligence [cs.AI]. Universite de Lorraine, 2015. English. ⟨NNT : 2015LORR0112⟩
...
tel-01751381v2  Theses
Bao Thien Hoang. On the Polling Problem for Decentralized Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0016⟩
...
tel-01133067v1  Theses
Guillaume Scerri. Proofs of security protocols revisited
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Cachan, 2015. English. ⟨NNT : ENSC-2015-no 561⟩
...
tel-01107718v1  Theses
Cyrille Wiedling. Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
Cryptography and Security [cs.CR]. Université de Lorraine, 2014. English
...
tel-01750993v2  Theses
Sai Qian. Accessibility of Referents in Discourse Semantics
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
...
tel-01751107v2  Theses
Valmi Dufour-Lussier. Reasoning with Qualitative Spatial and Temporal Textual Cases
Artificial Intelligence [cs.AI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0182⟩
...
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⟩