Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Document type ×
Structure/laboratory: Name ×
producedDateY_i ×
All ×
27 results
save search
Document types
Minimize
Theses
(27)
Conference papers
(251)
Journal articles
(154)
Reports
(37)
Preprints, Working Papers, ...
(32)
Book sections
(15)
Directions of work or proceedings
(14)
Poster communications
(8)
Habilitation à diriger des recherches
(4)
Software
(4)
Other publications
(3)
Books
(3)
Patents
(2)
Master thesis
(1)
Documents associated with scientific events
(1)
Author
Minimize
Amina Ahmed Nacer
(1)
Amélie Aussel
(1)
Anastasiia Tsukanova
(1)
Andrii Dmytrovych Shachykov
(1)
Clémence Karmann
(1)
Daniel Salas
(1)
François Pirot
(1)
Guillaume Rosinosky
(1)
Iordan Iordanov
(1)
Jaime Garcia Guevara
(1)
Joseph Lallemand
(1)
Julien Renaudeau
(1)
Justine Reynaud
(1)
Lauréline Perotin
(1)
Marco Voigt
(1)
Maria-Elisa Ruiz-Echartea
(1)
Martin Bromberger
(1)
Mathieu Fontaine
(1)
Maxime Schmitt
(1)
Nicolas Schnepf
(1)
Nyoman Juniarta
(1)
Paul Chaignon
(1)
Paul Godard
(1)
Quentin Brabant
(1)
Renaud Vilmart
(1)
Timothée Bernard
(1)
Xavier Marchal
(1)
Subject field
Minimize
Computer Science [cs]
(25)
Mathematics [math]
(3)
Life Sciences [q-bio]
(3)
Physics [physics]
(1)
Cognitive science
(1)
Sciences of the Universe [physics]
(1)
Humanities and Social Sciences
(1)
Statistics [stat]
(1)
Laboratory
Minimize
Inria Nancy - Grand Est
(27)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(22)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(3)
Max-Planck-Institut für Informatik
(3)
Centre de Recherche en Automatique de Nancy
(1)
GeoRessources
(1)
Institut Élie Cartan de Lorraine
(1)
Laboratoire de Linguistique Formelle
(1)
Orange Labs [Cesson-Sévigné]
(1)
Language
Minimize
English
(14)
French
(13)
Type of deposit
Minimize
Fulltext
(27)
Year
Minimize
2019
(27)
2022
(4)
2021
(35)
2020
(31)
2018
(26)
2017
(22)
2016
(21)
2015
(28)
2014
(20)
2013
(29)
2012
(21)
2011
(19)
2010
(17)
2009
(4)
2008
(9)
2007
(8)
2006
(2)
2004
(1)
2003
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
tel-02406821
v1
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-02395443
v1
Theses
Renaud Vilmart
.
ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0130⟩
tel-02433528
v1
Theses
Anastasiia Tsukanova
.
Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0166⟩
tel-02735309
v1
Theses
Andrii Dmytrovych 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-02351769
v1
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-02327764
v1
Theses
Maxime Schmitt
.
Automatic Generation of Adaptive Codes
Computer Science [cs]. Université de Strasbourg, 2019. English
tel-02384725
v1
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-02860654
v1
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-02096324
v1
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-02426421
v1
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-02331238
v1
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-02461448
v1
Theses
François Pirot
.
Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English.
⟨NNT : 2019LORR0153⟩
tel-02393258
v1
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-02315611
v1
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-02396851
v1
Theses
Joseph Lallemand
.
Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0135⟩
tel-02384511
v1
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-02426034
v1
Theses
Nyoman Juniarta
.
Mining complex data and biclustering using formal concept analysis
Computer Science [cs]. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0199⟩
tel-02072155
v1
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-02456793
v2
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-02408339
v1
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-02188304
v1
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-02315651
v1
Theses
Paul Chaignon
.
Software Datapaths for Multi-Tenant Packet Processing
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0062⟩
tel-02427371
v1
Theses
Martin Bromberger
.
Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
tel-02096400
v1
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-02150106
v1
Theses
Timothée Bernard
.
Approches formelles de l'analyse du discours
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
tel-02437326
v1
Theses
Amélie Aussel
.
Computational modeling of healthy and epileptic hippocampal oscillations
Neuroscience. Université de Lorraine, 2019. English.
⟨NNT : 2019LORR0202⟩
tel-02096672
v1
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⟩
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.
Hosted by HAL : 