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-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-03468027v1  Theses
Titouan Carette. Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations
Computer Science [cs]. Université de Lorraine, 2021. 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-01749330v2  Theses
Srikrishna Bhat. Visual words for pose computation
Signal and Image processing. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0001⟩
...
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-01754497v2  Theses
Dung Tien Tran. Uncertainty learning for noise robust ASR
Sound [cs.SD]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0236⟩
...
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-00011037v1  Theses
Clara Bertolissi. The graph rewriting calculus: properties and expressive capabilities
Other [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. English
...
tel-01546383v1  Theses
Jean Hergel. Synthesis of fabricable shape from partial specifications
Emerging Technologies [cs.ET]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0003⟩
...
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-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-00010910v1  Theses
Alicia Diaz. Support à la Divergence dans les Communautés de Partage de Connaissance
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2005. English
...
tel-01592497v1  Theses
Daniel Wand. Superposition: Types and Induction
Computer Science [cs]. Saarland University, 2017. English
...
tel-03203102v1  Theses
Hoai Le Nguyen. Study of Conflicts in Collaborative Editing
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0005⟩
...
tel-03186940v1  Theses
Salima Harrat. Statistical Machine Translation: Application to low resourced languages
Computation and Language [cs.CL]. École Supérieure d’Informatique, 2018. English
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
tel-00979707v1  Theses
Yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0016⟩
...
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-01403474v2  Theses
Huu-Hiep Nguyen. Social Graph Anonymization
Cryptography and Security [cs.CR]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0168⟩
...
tel-01746182v2  Theses
Cody Roux. Size-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩
...
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-03184696v1  Theses
Julie Bu Daher. Sequential Pattern Generalization for Mining Multi-source Data
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0204⟩
...
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-00910929v1  Theses
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
...
tel-01749552v1  Theses
Dawood Ashraf Khan. Schedulability analysis for the design of reliable and cost-effective automotive embedded systems
Computers and Society [cs.CY]. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL097N⟩
...
tel-01010973v1  Theses
Ahmed Yureidini. Robust blood vessel surface reconstruction for interactive simulations from patient data
Medical Imaging. Université des Sciences et Technologie de Lille - Lille I, 2014. English
...
tel-01748342v1  Theses
Anderson Santana de Oliveira. Rewriting and modularity for security policies
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10007⟩
...
tel-01746193v3  Theses
Tigran Avanesov. Resolution of constraint systems for automatic composition of security-aware Web Services
Cryptography and Security [cs.CR]. Université Henri Poincaré - Nancy 1, 2011. English
...
tel-01746531v3  Theses
Weiming Dong. Rendering Algorithms for Natural Scenes
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English
...
tel-01746287v1  Theses
Neeraj Kumar Singh. Reliability and Safety of Critical Device Software Systems
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩
...
tel-03248061v1  Theses
Pierre-Edouard Osche. Recommanding sequences in a multidimensional space
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0070⟩
...
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-01746366v2  Theses
Yanjun Li. Quality of service support for event detection in wireless sensor network
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10064⟩
...
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-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-01750613v3  Theses
Dorin Maxim. Probabilistic analysis of real-time systems
Embedded Systems. Université de Lorraine, 2013. English
...
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-01752773v2  Theses
Liping Lu. Performances and quality of service of PLC networks for MV and LV distribution systemsS
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2006. English. ⟨NNT : 2006INPL080N⟩
...
tel-01746271v1  Theses
Cristian Rosa. Performance and correctness assessmet of distributed systems
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10113⟩
...
tel-00749039v1  Theses
Cristian Rosa. Performance & Correctness Assessment of Distributed Systems
Modeling and Simulation. Université Henri Poincaré - Nancy I, 2011. English
...
tel-02556033v1  Theses
Marjan Bozorg. Optimization of membrane process architecture
Chemical and Process Engineering. Université de Lorraine; Università degli studi di Roma "Tor Vergata" (1972-..), 2019. English. ⟨NNT : 2019LORR0252⟩
...
tel-00431464v1  Theses
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
...
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-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-00547829v1  Theses
Luis Peñaranda. Non-linear computational geometry for planar algebraic curves
Other [cs.OH]. Université Nancy II, 2010. 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-01699569v1  Theses
Chunyang Xiao. Neural-Symbolic Learning for Semantic Parsing
Computation and Language [cs.CL]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0268⟩
...
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-02929745v1  Theses
Thien-Hoa Le. Neural Methods for Sentiment Analysis and Text Summarization
Document and Text Processing. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0037⟩
...
tel-01749799v2  Theses
Laura Haide Perez. Natural Language Generation for Language Learning
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩
...
tel-01754569v1  Theses
Kun Liu. Multi-View Oriented 3D Data Processing
Other [cs.OH]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0273⟩
...
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-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-02132766v1  Theses
Meihui Gao. Models and Methods for Network Function Virtualization (NFV) Architectures
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0025⟩
...
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-01748219v1  Theses
Sergio Fernando Mera. Modal memory logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10130⟩
...
tel-01746156v2  Theses
Mehdi Kaytoue. Mining numerical data with formal concept analysis and pattern structures
Computer Science [cs]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10015⟩
...
tel-01094400v1  Theses
Elias Egho. Mining Heterogeneous Multidimensional Sequential Data
Other [cs.OH]. Université de Lorraine, 2014. English
...
tel-01751251v2  Theses
Motaz Saad. Mining Documents and Sentiments in Cross-lingual Context
Document and Text Processing. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0003⟩
...
tel-01746222v3  Theses
Mumtaz Ahmad. Memory optimization strategies for linear mappings and indexation-based shared documents
Discrete Mathematics [cs.DM]. Université Henri Poincaré - Nancy 1, 2011. English
...
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-01748545v1  Theses
Raghav Aras. Mathematical programming methods for decentralized POMDPs
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10092⟩
...
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-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-01292602v1  Theses
Ta Thanh Dinh. Malicious Codes Detection in Distributed Environment
Cryptography and Security [cs.CR]. Université de Lorraine, 2015. English
...
tel-00714737v1  Theses
Ingrid Falk. Making Use of Existing Lexical Resources to Build a Verbnet like Classification of French Verbs
Computation and Language [cs.CL]. Université Nancy II, 2012. English
...
tel-02961882v1  Theses
Sunit Sivasankaran. Localization guided speech separation
Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩