HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
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-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
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
...
tel-01830104v1  Theses
Alessandro Duca. Analysis of the controllability of bilinear closed quantum systems
Analysis of PDEs [math.AP]. Université Bourgogne Franche-Comté, 2018. English. ⟨NNT : 2018UBFCD004⟩
...
tel-01925461v1  Theses
Gabin Personeni. Apport des ontologies de domaine pour l'extraction de connaissances à partir de données biomédicales
Apprentissage [cs.LG]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0235⟩
...
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-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-02315611v1  Theses
Xavier Marchal. Architectures et fonctions avancées pour le déploiement progressif de réseaux orientés contenus
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0049⟩
...
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-02166980v1  Theses
Mariem Saied. Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2018. English. ⟨NNT : 2018STRAD036⟩
...
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-02327764v1  Theses
Maxime Schmitt. Automatic Generation of Adaptive Codes
Computer Science [cs]. Université de Strasbourg, 2019. English
...
tel-01748422v2  Theses
Sébastien Hinderer. Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. Français
...
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-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-02437326v1  Theses
Amélie Aussel. Computational modeling of healthy and epileptic hippocampal oscillations
Neuroscience. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0202⟩
...
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-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-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-01867450v1  Theses
Boris Caudron. Couplages FEM-BEM faibles et optimisés pour des problèmes de diffraction harmoniques en acoustique et en électromagnétisme
Analyse numérique [math.NA]. Université de Lorraine; Université de Liège, Belgique, 2018. Français. ⟨NNT : 2018LORR0062⟩
...
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-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-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-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-02096400v1  Theses
Quentin Brabant. Fonctions latticielles polynomiales pour l’interpolation et la classification monotone
Intelligence artificielle [cs.AI]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0006⟩
...
tel-02331238v1  Theses
Julien Renaudeau. Formulation continue du problème de modélisation implicite de structures géologiques discrétisée avec des méthodes de réduction de maillage
Géologie appliquée. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0075⟩
...
tel-02384511v1  Theses
Clémence Karmann. Inférence de réseaux pour modèles inflatés en zéro
Statistiques [math.ST]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0146⟩
...
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-02095261v1  Theses
Benjamin Obando. Mathematical models for the study of granular fluids
Analysis of PDEs [math.AP]. Université de Lorraine; Universidad de Santiago de Chile, 2018. English. ⟨NNT : 2018LORR0274⟩
...
tel-01966770v1  Theses
Konstantinos Chatzilygeroudis. Micro-Data Reinforcement Learning for Adaptive Robots
Robotics [cs.RO]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0276⟩
...
tel-02426034v1  Theses
Nyoman Juniarta. Mining complex data and biclustering using formal concept analysis
Computer Science [cs]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0199⟩
...
tel-02075680v1  Theses
Giulia de Santis. Modeling and Recognizing Network Scanning Activities with Finite Mixture Models and Hidden Markov Models
Modeling and Simulation. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0201⟩
...
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-01825744v1  Theses
Svyatoslav Covanov. Multiplication algorithms : bilinear complexity and fast asymptotic methods
Symbolic Computation [cs.SC]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0057⟩
...
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-00594384v1  Theses
Diène Ngom. Observation et régulation de certains modèles discrets d'écosystèmes
Mathématiques [math]. Université Gaston Berger de Saint-Louis, 2008. Français
...
tel-02351769v1  Theses
Nicolas Schnepf. Orchestration et vérification de fonctions de sécurité pour des environnements intelligents
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0088⟩
...
tel-01752605v2  Theses
Smaïl Khouider. Outils d'aide à la décision pour la prise de commandes imprévues
Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 2008. Français. ⟨NNT : 2008METZ039S⟩
...
tel-02860654v1  Theses
Maria-Elisa Ruiz-Echartea. Pairwise and Multi-Component Protein-Protein Docking Using Exhaustive Branch-and-Bound Tri-Dimensional Rotational Searches
Computer Science [cs]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0306⟩
...
tel-02456793v2  Theses
Paul Godard. Parallélisation et passage à l'échelle durable d'une chaîne de traitement graphique pour l'impression professionnelle
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2019. Français
...
tel-02384725v1  Theses
Daniel Salas. Parallélisation hybride d'une application de détection de noyaux cellulaires
Calcul parallèle, distribué et partagé [cs.DC]. Université de Strasbourg, 2019. Français
...
tel-01940700v2  Theses
Yann Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/