Skip to Main content Skip to Navigation
  1. Search


...
tel-01749525v2  Theses
Shahram Nourizadeh. A context-aware and QoS-aware telehomecare system
Ubiquitous Computing. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL044N⟩
...
tel-01749599v2  Theses
Hien Thi Thu Truong. A Contract-based and Trust-aware Collaboration Model
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0181⟩
...
tel-01749352v1  Theses
Tomas Navarrete Gutierrez. A control architecture for complex systems based on multi-agent simulation
Other [cs.OH]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0165⟩
...
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-00441540v3  Theses
Tom Gundersen. A General View of Normalisation through Atomic Flows
Mathematics [math]. The University of Bath, 2009. English
...
tel-01558422v1  Theses
Noran Azmy. A Machine-Checked Proof of Correctness of Pastry
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0277⟩
...
tel-01752869v1  Theses
Olufade Falade Williams Onifade. A model for information risks management in economic intelligent systems
Library and information sciences. Université Nancy 2, 2010. English. ⟨NNT : 2010NAN21007⟩
...
tel-01883287v1  Theses
Salvatore Signorello. A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0109⟩
...
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
...
tel-01746351v2  Theses
Khaled Gaaloul. A Secure Framework for Dynamic Task Delegation in Workflow Management Systems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10058⟩
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
tel-01749159v2  Theses
Cláudia Tavares. A type system for embedded rewriting programming
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
...
tel-02964666v1  Theses
Adam Gaier. Accelerating Evolutionary Design Exploration with Predictive and Generative Models
Artificial Intelligence [cs.AI]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0087⟩
...
tel-01749620v2  Theses
Asma Cherif. Access Control Models for Collaborative Applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0217⟩
...
tel-01750993v2  Theses
Sai Qian. Accessibility of Referents in Discourse Semantics
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
...
tel-01751053v2  Theses
Arseniy Gorin. Acoustic Model Structuring for Improving Automatic Speech Recognition Performance
Sound [cs.SD]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0161⟩
...
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
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-01750438v1  Theses
Razvan Barbulescu. Algorithms for discrete logarithm in finite fields
Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0183⟩
...
tel-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. English
...
tel-02927785v1  Theses
Erinc Merdivan. Ambient Assisted Living with Deep Learning
Automatic Control Engineering. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0006⟩
...
tel-01754656v2  Theses
My Thao Tang. An Interactive and Iterative Knowledge Extraction Process Using Formal Concept Analysis
Computer science. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0060⟩
...
tel-01750880v1  Theses
Mehdi Felhi. Analyse d'images de documents : segmentation du contenu
Other [cs.OH]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0109⟩
...
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-01754610v2  Theses
Meysam Hashemi. Analytical and numerical studies of thalamo-cortical neural population models during general anesthesia
Computer Science [cs]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0014⟩
...
tel-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
tel-03356948v1  Theses
Mingxiao Ma. Attack Modelling and Detection in Distributed and Cooperative Controlled Microgrid Systems
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0111⟩
...
tel-03666575v1  Theses
Bizhan Alipour Pijani. Attribute inference attacks on social media publications
Computer Science [cs]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0009⟩
...
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
...
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-01792299v1  Theses
Seyed Ziaeddin Alborzi. Automatic Discovery of Hidden Associations Using Vector Similarity : Application to Biological Annotation Prediction
Bioinformatics [q-bio.QM]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0035⟩
...
tel-01748248v2  Theses
Pavel Kral. Automatic Recognition of Dialogue Acts
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English. ⟨NNT : 2007NAN10114⟩
...
tel-01251204v2  Theses
Arsene Fansi Tchango. Behavioral Recognition and multi-target tracking in partially observed environments
Computer Science [cs]. Université de Lorraine, 2015. 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-01748452v1  Theses
Dong Cheng. Capability Management and Discovery in Heterogeneous Environments
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10059⟩
...
tel-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01248018v2  Theses
Jean-Marie Gauthier. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation
Performance [cs.PF]. Université de Franche-Comté, 2015. English. ⟨NNT : 2015BESA2053⟩
...
tel-01749690v1  Theses
Paulin Jacobé de Naurois. Completeness results and syntactic characterizations of complexity classes over arbitrary structures
Other [cs.OH]. Institut National Polytechnique de Lorraine, 2004. English. ⟨NNT : 2004INPL112N⟩
...
tel-02437326v1  Theses
Amélie Aussel. Computational modeling of healthy and epileptic hippocampal oscillations
Neuroscience. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0202⟩
...
tel-01749413v2  Theses
Sheila Becker. Conceptual Approaches for Securing Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0228⟩
...
tel-01746277v2  Theses
Tom Leclerc. Contributions for Advanced Service Discovery in Ad hoc Networks
Computer science. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10133⟩
...
tel-01751990v2  Theses
Victor Codocedo. Contributions to indexing and retrieval using Formal Concept Analysis
Artificial Intelligence [cs.AI]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0143⟩
...
tel-03342124v1  Theses
Tatiana Makhalova. Contributions to pattern set mining : from complex datasets to significant and useful pattern sets
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0124⟩
...
tel-01547313v1  Theses
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0008⟩
...
tel-01746225v1  Theses
Jörn Franke. Coordination des activités réparties dans des situations dynamiques : le cas de la gestion de crise inter-organisationnel
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10063⟩
...
tel-00642820v3  Theses
Jörn Franke. Coordination of Distributed Activities in Dynamic Situations. The Case of Inter-organizational Crisis Management
Library and information sciences. Université Henri Poincaré - Nancy I, 2011. English
...
tel-01750379v3  Theses
Georgios Detorakis. Cortical plasticity, dynamic neural fields and self-organization
Computer science. Université de Lorraine, 2013. English
...
tel-01876314v1  Theses
Simon Abelard. Counting points on hyperelliptic curves in large characteristic : algorithms and complexity
Number Theory [math.NT]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0104⟩
...
tel-01748429v2  Theses
Szilárd Vajda. Cursive Bengali Script Recognition for Indian Postal Automation
Engineering Sciences [physics]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10083⟩
...
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-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-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. 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-01684685v1  Theses
Aditya Arie Nugraha. Deep neural networks for source separation and noise-robust speech recognition
Signal and Image Processing. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0212⟩
...
tel-02072155v1  Theses
Iordan Iordanov. Delaunay triangulations of a family of symmetric hyperbolic surfaces in practice
Computational Geometry [cs.CG]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0010⟩
...
tel-03086269v1  Theses
Paul Huynh. Design and Analysis of Lightweight Encryption Schemes
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0223⟩
...
tel-01862680v1  Theses
Alicia Filipiak. Design and formal analysis of security protocols, an application to electronic voting and mobile payment
Cryptography and Security [cs.CR]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0039⟩
...
tel-02499176v1  Theses
Pedro Chávez Barrios. Design of information and technology tools to support the process of creativity and innovation
Information Theory [cs.IT]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0128⟩
...
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-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-01412765v2  Theses
Aleksandre Maskharashvili. Discourse Modeling with Abstract Categorial Grammars
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0195⟩
...
tel-03335360v1  Theses
Gabrielle de Micheli. Discrete Logarithm Cryptanalyses : Number Field Sieve and Lattice Tools for Side-Channel Attacks
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0104⟩
...
tel-01695773v2  Theses
Iñaki Fernández Pérez. Distributed Embodied Evolutionary Adaptation of Behaviors in Swarms of Robotic Agents
Artificial Intelligence [cs.AI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0300⟩
...
tel-00642818v1  Theses
Mauricio Cerda. Distributed neural computation for the visual perception of motion
Computer science. Université Nancy II, 2011. English
...
tel-01751692v1  Theses
Samuel Marchal. DNS and semantic analysis for phishing detection
Other [cs.OH]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0058⟩
...
tel-02075005v1  Theses
Carlos Carvajal. Dynamic interplay between standard and non-standard retinal pathways in the early thalamocortical visual system
Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0209⟩
...
tel-03133271v2  Theses
Diego Di Carlo. Echo-aware signal processing for audio scene analysis
Signal and Image processing. UNIVERSITÉ DE RENNES 1; INRIA - IRISA - PANAMA, 2020. English
...
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-01750706v2  Theses
Houari Mahfoud. Efficient Access Control to XML Data: Querying and Updating Problems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0011⟩
...
tel-03508140v1  Theses
Ahmad Abboud. Efficient Rules Management Algorithms in Software Defined Networking
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0243⟩
...
tel-03229177v1  Theses
Itsaka Rakotonirina. Efficient verification of observational equivalences of cryptographic processes : theory and practice
Cryptography and Security [cs.CR]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0052⟩
...
tel-01754475v1  Theses
Arsène Fansi Tchango. ehavioral Recognition and multi-target tracking in partially observed environments
Other [cs.OH]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0156⟩
...
tel-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
tel-01749554v2  Theses
Gaetan Bisson. Endomorphism Rings in Cryptography
Computer Science [cs]. Institut National Polytechnique de Lorraine - INPL; Technische Universiteit Eindhoven, 2011. English. ⟨NNT : 2011INPL047N⟩
...
tel-01682932v1  Theses
Aybüke Özgün. Evidence in Epistemic Logic : A Topological Perspective
Logic in Computer Science [cs.LO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0200⟩
...
tel-01913661v1  Theses
Hatice Calik, Hatice Çalık. EXACT SOLUTION METHODOLOGIES FOR THE P-CENTER PROBLEM UNDER SINGLE AND MULTIPLE ALLOCATION STRATEGIES
Operations Research [cs.RO]. Bilkent University, 2013. English
...
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-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-01534608v3  Theses
Imran Sheikh. Exploiting Semantic and Topic Context to Improve Recognition of Proper Names in Diachronic Audio Documents
Human-Computer Interaction [cs.HC]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0260⟩
...
tel-01749600v1  Theses
Anass Lasram. Exploring and rendering synthesized textures
Other [cs.OH]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0183⟩
...
tel-01749193v2  Theses
Ekaterina Lebedeva. Expressing discourse dynamics through continuations
Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩
...
tel-01527901v2  Theses
Mariia Fedotenkova. Extraction of multivariate components in brain signals obtained during general anesthesia
Computer Science [cs]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0189⟩
...
tel-01549003v1  Theses
Robin David. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
Cryptography and Security [cs.CR]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0013⟩
...
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-00614269v2  Theses
Atif Mashkoor. Formal Domain Engineering: From Specification to Validation
Software Engineering [cs.SE]. Université Nancy II, 2011. English
...
tel-01751142v1  Theses
Cyrille Wiedling. Formal verification of advanced families of security protocols : E-voting and APIs
Other [cs.OH]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0199⟩
...
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-01749162v2  Theses
Sabina Akhtar. Formal Verification of Distributed Algorithms using PlusCal-2
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩
...
tel-01750356v1  Theses
Tianxiang Lu. Formal verification of the Pastry protocol
Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0179⟩
...
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-02387124v1  Theses
Khadija Musayeva. Generalization Performance of Margin Multi-category Classifiers
Machine Learning [cs.LG]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0096⟩
...
tel-01751063v2  Theses
Shashi Narayan. Generating and Simplifying Sentences
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0166⟩
...
tel-01749508v2  Theses
K.C. Santosh. Graphics Recognition using Spatial Relations and Shape Analysis
Computer Vision and Pattern Recognition [cs.CV]. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL096N⟩
...
tel-01740905v1  Theses
Mohamad Daher. High Integrity Personal Tracking Using Fault Tolerant Multi-Sensor Data Fusion
Automatic. Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189, 2017. English
...
tel-01750134v1  Theses
Juan Pablo Timpanaro. Hybrid and anonymous file-sharing environments : architecture and characterisation
Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0142⟩
...
tel-00915629v1  Theses
Juan Pablo Timpanaro. Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
Other [cs.OH]. Université de Lorraine, 2013. English
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/