Skip to Main content Skip to Navigation


...
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-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-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-01748252v1  Theses
Eun-Young Kang. Abstractions booléennes pour la vérification des systèmes temps-réel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10089⟩
...
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-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
...
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-00432124v2  Theses
Michael Aron. Acquisition et modélisation de données articulatoires dans un contexte multimodal
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-00115770v1  Theses
Georges Schutz. Adaptations et applications de modèles mixtes de réseaux de neurones à un processus industriel
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2006. 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-01748318v2  Theses
Pierre-Nicolas Clauss. Algorithmes à front d'onde et accès transparent aux données
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10078⟩
...
tel-02096361v1  Theses
Ameur Douib. Algorithmes bio-inspirés pour la traduction automatique statistique
Informatique et langage [cs.CL]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0005⟩
...
tel-00924743v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français
...
tel-01751648v2  Theses
Cyril Bouvier. Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0053⟩
...
tel-00331935v1  Theses
Luc Buatois. Algorithmes sur GPU de visualisation et de calcul pour des maillages non-structurés
Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2008. Français
...
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-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. English
...
tel-01308731v1  Theses
Jamila Ben Slimane. ALLOCATION CONJOINTE DES CANAUX DE FREQUENCE ET DES CRENEAUX DE TEMPS ET ROUTAGE AVEC QdS DANS LES RESEAUX DE CAPTEURS SANS FIL DENSES ET ETENDUS
Réseaux et télécommunications [cs.NI]. Université de lorraine; Ecole Supérieure des Communications de Tunis, 2013. Français
...
tel-02927785v1  Theses
Erinc Merdivan. Ambient Assisted Living with Deep Learning
Automatic Control Engineering. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0006⟩