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
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
producedDateY_i ×
Document type ×
Structure/laboratory: Name ×
Deposit type ×
All ×
35 results
save search
Document types
Minimize
Theses
(35)
Conference papers
(290)
Journal articles
(146)
Reports
(29)
Preprints, Working Papers, ...
(24)
Book sections
(19)
Poster communications
(13)
Habilitation à diriger des recherches
(5)
Master thesis
(5)
Directions of work or proceedings
(3)
Documents associated with scientific events
(3)
Other publications
(2)
Lectures
(1)
Books
(1)
Patents
(1)
Author
Minimize
Simon Abelard
(1)
Younes Abid
(1)
Yinoussa Adagolodjo
(1)
Fehd Ben Aicha,
(1)
Seyed Ziaeddin Alborzi
(1)
Marilisa Amoia
(1)
Yann Barsamian
(1)
Walid Belkhir
(1)
Nicolas Bouzat
(1)
Boris Caudron
(1)
Konstantinos Chatzilygeroudis
(1)
Maxime Compastié
(1)
Svyatoslav Covanov
(1)
Quang-Vinh Dang
(1)
Alexandre Denis
(1)
Oriane Dermy
(1)
Alessandro Duca
(1)
Baldwin Dumortier
(1)
Ken Déguernel
(1)
Alicia Filipiak
(1)
Antoine Fond
(1)
Florian Greff
(1)
Sébastien Hinderer
(1)
Smaïl Khouider
(1)
Daishi Kondo
(1)
Diène Ngom
(1)
Benjamin Obando
(1)
Gabin Personeni
(1)
Yannick Privat
(1)
Maxence Reberol
(1)
Ludovic Robin
(1)
Mariem Saied
(1)
Giulia de Santis
(1)
Salvatore Signorello
(1)
Daniele Zucchelli
(1)
Subject field
Minimize
Computer Science [cs]
(29)
Mathematics [math]
(8)
Engineering Sciences [physics]
(4)
Physics [physics]
(2)
Life Sciences [q-bio]
(1)
Humanities and Social Sciences
(1)
Statistics [stat]
(1)
Laboratory
Minimize
Inria Nancy - Grand Est
(35)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(24)
Institut Élie Cartan de Lorraine
(3)
Laboratoire de Mathématiques et Applications de Metz
(3)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(2)
Institut Élie Cartan de Nancy
(2)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(2)
Departamento de Ingeniería Matemática [Santiago]
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria Paris-Rocquencourt
(1)
Institut de Recherche Mathématique Avancée
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'Analyse Numérique et Informatique [Sénégal]
(1)
Laboratoire de Génie Industriel, de Production et de Maintenance
(1)
Laboratoire de Mathématiques de Besançon (UMR 6623)
(1)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(1)
Technocentre Renault [Guyancourt]
(1)
Language
Minimize
French
(18)
English
(17)
Type of deposit
Minimize
Fulltext
(35)
Year
Minimize
2018
(26)
2008
(9)
2022
(2)
2021
(34)
2020
(30)
2019
(27)
2017
(22)
2016
(21)
2015
(28)
2014
(20)
2013
(29)
2012
(21)
2011
(19)
2010
(17)
2009
(4)
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: function
Author: idHal (integer)
Author: Identifier
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-00329849
v1
Theses
Daniele Zucchelli
.
Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
tel-01883287
v1
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-02166980
v1
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-01767989
v1
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⟩
tel-01771056
v1
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-01748443
v3
Theses
Yannick Privat
.
Quelques problèmes d'optimisation de formes en sciences du vivant
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2008. Français.
⟨NNT : 2008NAN10045⟩
tel-01925461
v1
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-02095261
v1
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-00594384
v1
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-02094910
v1
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-01752605
v2
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-01748422
v2
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-01862742
v1
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-01789709
v1
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-01862680
v1
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-01897853
v1
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-01830104
v1
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-01966873
v1
Theses
Oriane Dermy
.
Prédiction du mouvement humain pour la robotique collaborative : du geste accompagné au mouvement corps entier.
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français.
⟨NNT : 2018LORR0227⟩
tel-01748428
v4
Theses
Alexandre Denis
.
Robustesse dans les systèmes de dialogue finalisé : modélisation et évaluation du processus d'ancrage pour la gestion de l'incompréhension
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy 1, 2008. Français
tel-01735308
v1
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-02075680
v1
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-01634377
v3
Theses
Quang-Vinh Dang
.
Trust assessment in large-scale collaborative systems
Web. Université de Lorraine, 2018. English.
⟨NNT : 2018LORR0002⟩
tel-01825744
v1
Theses
Svyatoslav Covanov
.
Multiplication algorithms : bilinear complexity and fast asymptotic methods
Symbolic Computation [cs.SC]. Université de Lorraine, 2018. English.
⟨NNT : 2018LORR0057⟩
tel-02096145
v1
Theses
Maxime Compastié
.
Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English.
⟨NNT : 2018LORR0307⟩
tel-01966770
v1
Theses
Konstantinos Chatzilygeroudis
.
Micro-Data Reinforcement Learning for Adaptive Robots
Robotics [cs.RO]. Université de Lorraine, 2018. English.
⟨NNT : 2018LORR0276⟩
tel-01867450
v1
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-01975275
v1
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-00878714
v1
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-01277878
v1
Theses
Walid Belkhir
.
Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
tel-01940700
v2
Theses
Yann Barsamian
.
Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
tel-00338608
v1
Theses
Marilisa Amoia
.
Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
tel-01792299
v1
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-01939268
v1
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-01863354
v1
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-01876314
v1
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⟩
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 : 