Skip to Main content Skip to Navigation


...
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-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
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-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-02927785v1  Theses
Erinc Merdivan. Ambient Assisted Living with Deep Learning
Automatic Control Engineering. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0006⟩
...
tel-00586317v1  Theses
Hatem Hamza. Application du raisonnement à partir de cas à l'analyse de documents administratifs
Génie logiciel [cs.SE]. Université Nancy II, 2008. Français
...
tel-01735308v1  Theses
Ken Déguernel. Apprentissage de structures musicales en contexte d'improvisation
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0011⟩
...
tel-01735202v1  Theses
Matthieu Zimmer. Apprentissage par renforcement développemental
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0008⟩
...
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-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
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-01748689v2  Theses
Bruno Vallet. Bases de fonctions sur les variétés
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL034N⟩
...
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-01748690v2  Theses
Radu Kopetz. Contraintes d'anti-filtrage et programmation par réécriture
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
...
tel-01748528v1  Theses
Ghazi Bouselmi. Contributions à la Reconnaissance Automatique de la Parole Non Native
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10101⟩
...
tel-00588738v1  Theses
Ghazi Bouselmi. Contributions à la reconnaissance automatique de la parole non-native
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2008. Français
...
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-01897853v1  Theses
Baldwin Dumortier. Contrôle acoustique d'un parc éolien
Systèmes et contrôle [cs.SY]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0131⟩
...
tel-02276259v1  Theses
Imen Ben Othmane. Conversion de la voix : Approches et applications
Traitement du signal et de l'image [eess.SP]. Université de Carthage (Tunisie), 2019. Français
...
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-00437469v1  Theses
Ustun Yildiz. Decentralisation des procédés métiers : qualité de services et confidentialité
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français
...
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-02426421v1  Theses
Justine Reynaud. Découverte de définitions dans le web des données
Informatique [cs]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0160⟩
...
tel-00585411v1  Theses
Nicolas Jay. Découverte et représentation des trajectoires de soins par analyse formelle de concepts
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2008. Français
...
tel-01748706v1  Theses
Matthieu Kaczmarek. Des fondements de la virologie informatique vers une immunologie formelle
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩
...
tel-00598867v1  Theses
Jamal Saboune. Développement d'un système passif de suivi 3D du mouvement humain par filtrage particulaire
Informatique [cs]. Université de Technologie de Troyes, 2008. Français
...
tel-01748685v1  Theses
Olfa Mosbahi-Khalgui. Développement formel de systèmes automatisés
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL007N⟩
...
tel-00594978v1  Theses
Loïc Fejoz. Développement prouvé de structures de données sans verrou
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2008. Français. ⟨NNT : 2009NAN10022⟩
...
tel-02096324v1  Theses
Guillaume Rosinosky. Élasticité de l’exécution des processus métier
Modélisation et simulation. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0003⟩
...
tel-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
tel-00342717v1  Theses
Julien Demouth. Événements visuels de convexes et limites d'ombres
Modélisation et simulation. Université Nancy II, 2008. Français
...
tel-02096099v1  Theses
Pierre Kimmel. Extensions modales des logiques de ressources : expressivité et calculs
Logique en informatique [cs.LO]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0299⟩
...
tel-01977804v1  Theses
Yacine Abboud. Fouille de motifs : entre accessibilité et robustesse
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩
...
tel-02387124v1  Theses
Khadija Musayeva. Generalization Performance of Margin Multi-category Classifiers
Machine Learning [cs.LG]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0096⟩
...
tel-00338226v1  Theses
Dong Cheng. Gestion et découverte de compétences dans des environnements hétérogènes
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2008. Français
...
tel-01748423v2  Theses
Blaise Potard. Inversion acoustique-articulatoire avec contraintes
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10085⟩
...
tel-01764021v1  Theses
Benjamin Gras. Les oubliés de la recommandation sociale
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0017⟩
...
tel-02393258v1  Theses
Lauréline Perotin. Localisation et rehaussement de sources de parole au format Ambisonique
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0124⟩
...
tel-01789709v1  Theses
Antoine Fond. Localisation par l'image en milieu urbain : application à la réalité augmentée
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0028⟩
...
tel-01771056v1  Theses
Maxence Reberol. Maillages hex-dominants : génération, simulation et évaluation
Modélisation et simulation. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0021⟩
...
tel-01748545v1  Theses
Raghav Aras. Mathematical programming methods for decentralized POMDPs
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10092⟩
...
tel-00336194v3  Theses
Jérémy Fix. Mécanismes numériques et distribués de l'anticipation motrice
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2008. Français
...
tel-00579879v1  Theses
Vincent Robert. Modélisation de la coarticulation labiale: mise en œuvre sur une tête parlante
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2008. Français
...
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-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-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-01947024v1  Theses
Hayat Nasser. Outils pour l'analyse des courbes discrètes bruitées
Géométrie algorithmique [cs.CG]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0159⟩
...
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-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩
...
tel-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
...
tel-00335079v1  Theses
Anderson Santana de Oliveira. Réécriture et Modularité pour les Politiques de Sécurité
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français
...
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-01862742v1  Theses
Florian Greff. SDRN : réseau maillé temps réel dynamique défini par logiciel
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0076⟩
...
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-02096145v1  Theses
Maxime Compastié. Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩