Skip to Main content Skip to Navigation
  1. Search


...
tel-03508140v1  Theses
Ahmad Abboud. Efficient Rules Management Algorithms in Software Defined Networking
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0243⟩
...
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-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-01939268v1  Theses
yinoussa Adagolodjo. Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT)
Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français
...
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-03598259v1  Theses
Anis Ahmed Nacer. Composition sure d’API fondée sur des contrats
Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0265⟩
...
tel-02096672v1  Theses
Amina Ahmed Nacer. Contributions au déploiement sécurisé de processus métiers dans le cloud
Web. Université de Lorraine; Université A. Mira (Bejaïa, Algérie), 2019. Français. ⟨NNT : 2019LORR0013⟩
...
tel-01751533v2  Theses
Mehdi Ahmed-Nacer. Méthodologie d'évaluation pour les types de données répliqués
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0039⟩
...
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-01754477v3  Theses
Mehwish Alam. Interactive Knowledge Discovery over Web of Data
Information Retrieval [cs.IR]. Loria & Inria Grand Est, 2015. English. ⟨NNT : 2015LORR0158⟩
...
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-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
...
tel-01754666v2  Theses
Luc André. Préservation des Intentions et Maintien de la Cohérence des Données Répliquées en Temps Réel
Algorithme et structure de données [cs.DS]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0089⟩
...
tel-01752149v2  Theses
Manamiary Bruno Andriamiarina. Développement d'algorithmes répartis corrects par construction
Modélisation et simulation. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0181⟩
...
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-01749452v2  Theses
Mauricio Araya-López. Near-Optimal Algorithms for Sequential Information-Gathering Decision Problems
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0002⟩
...
tel-01699127v1  Theses
Elian Aubry. Protocole de routage pour l’architecture NDN
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0267⟩
...
tel-02437326v1  Theses
Amélie Aussel. Computational modeling of healthy and epileptic hippocampal oscillations
Neuroscience. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0202⟩
...
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-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-00637516v1  Theses
Aurore Back. Etude théorique et numérique des équations de Vlasov-Maxwell dans le formalisme covariant.
Modélisation et simulation. Université de Strasbourg, 2011. Français. ⟨NNT : 2011STRA6108⟩
...
tel-00927147v1  Theses
Fadoua Bahja. Détection du fondamental de la parole en temps réel : application aux voix pathologiques
Traitement du signal et de l'image [eess.SP]. Université Mohammed V-Agdal UFR Informatique et Télécommunications Laboratoire LRIT Unité associée au CNRST, URAC 29, Faculté des sciences, 2013. Français
...
tel-01777259v2  Theses
Séverine Baillet. Optimisation de forme d'une pompe générique de fond de puits
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2007. Français. ⟨NNT : 2007NAN10104⟩
...
tel-01749582v2  Theses
Aymen Baouab. Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0055⟩
...
tel-01750512v2  Theses
Romain Bar. Développement de méthodes d'analyse de données en ligne
Statistiques [math.ST]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0216⟩
...
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-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. 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-01940700v2  Theses
yann A Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
...
tel-00936953v1  Theses
Antoine Bautin. Stratégie d'exploration multirobot fondées sur le calcul de champs de potentiels
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français
...
tel-00646395v1  Theses
Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
...
tel-01741716v2  Theses
Paul Bedaride. Implication Textuelle et Réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10062⟩
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-00878714v1  Theses
Fehd Ben Aicha,. Modélisation et commande de systèmes de conversion d'énergie pour l'automobile.
Automatique / Robotique. Université de Metz, 2008. Français
...
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-01748217v2  Theses
Luciana Benotti. Implicature as an Interactive Process
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10003⟩
...
tel-00556823v1  Theses
Morgane Bergot. Éléments finis d'ordre élevé pour maillages hybrides - Application à la résolution de systèmes hyperboliques linéaires en régimes harmonique et temporel
Modélisation et simulation. Université Paris Dauphine - Paris IX, 2010. Français. ⟨NNT : 2010PA090032⟩
...
tel-02150106v1  Theses
Timothée Bernard. Approches formelles de l'analyse du discours
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
...
tel-03203815v1  Theses
Théo Biasutto-Lervat. Modélisation de la coarticulation multimodale : vers l'animation d'une tête parlante intelligible
Intelligence artificielle [cs.AI]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0019⟩
...
tel-01749335v2  Theses
Derdei Bichara. Étude de modèles épidémiologiques : Stabilité, observation et estimation de paramètres
Systèmes dynamiques [math.DS]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0011⟩
...
tel-01097488v1  Theses
Alexandre Bilger. Patient-specific biomechanical simulation for deep brain stimulation
Modeling and Simulation. Université des Sciences et Technologie de Lille, 2014. English
...
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-01749013v2  Theses
Olivier Bistorin. Méthodes et outils d'aide à la conception des processus opérationnels des systèmes de formation
Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 2007. Français. ⟨NNT : 2007METZ036S⟩
...
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-01435058v1  Theses
Arnaud Botella. Génération de maillages non structurés volumiques de modèles géologiques pour la simulation de phénomènes physiques
Géophysique [physics.geo-ph]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0097⟩
...
tel-01754669v2  Theses
Ahmed Bouchami. Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0091⟩
...
tel-01750342v2  Theses
Olivier Bouré. Le simple est-il robuste ? " : une étude de la robustesse des systèmes complexes par les automates cellulaires
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0162⟩
...
tel-00605791v1  Theses
Octave Boussaton. Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. 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-01975275v1  Theses
Nicolas Bouzat. Algorithmes à grain fin et schémas numériques pour des simulations exascales de plasmas turbulents
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2018. Français
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/