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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/