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 ×
producedDateY_i ×
Structure/laboratory: Name ×
All ×
35 results
save search
Document types
Minimize
Theses
(35)
Conference papers
(395)
Journal articles
(253)
Preprints, Working Papers, ...
(38)
Reports
(35)
Book sections
(21)
Books
(11)
Directions of work or proceedings
(10)
Habilitation à diriger des recherches
(8)
Other publications
(7)
Documents associated with scientific events
(5)
Poster communications
(2)
Patents
(1)
Author
Minimize
Émilien Antoine
(1)
Solveig Badillo
(1)
Mikhail Bogdanov
(1)
Jiuqiang Chen
(1)
Adrien Couetoux
(1)
Xavier Dupuis
(1)
Mahfuza Farooque
(1)
Virgile Fritsch
(1)
Ivan Gazeau
(1)
Nicolas Guenot
(1)
Paolo Herms
(1)
Jean-Baptiste Hoock
(1)
Mohamed Iguernelala
(1)
Alexandre Imperiale
(1)
Asterios Katsifodimos
(1)
Chantal Keller
(1)
Sophia Knight
(1)
Hélène Langet
(1)
Julien Leblay
(1)
Ilya Loshchilov
(1)
Victor Magron
(1)
Victorin Martin
(1)
Giovanni Migliorati
(1)
Cupertino Miranda
(1)
Jean-Marc Montanier
(1)
Basile Morcrette
(1)
Sarah Parisot
(1)
Laurent Pfeiffer
(1)
Dario Prandi
(1)
Zheng Qu
(1)
Zhiping Rao
(1)
Nicolas Salles
(1)
Asma Tafat
(1)
Ramakrishna Upadrasta
(1)
Alexander Zeh
(1)
Subject field
Minimize
Computer Science [cs]
(24)
Mathematics [math]
(12)
Engineering Sciences [physics]
(2)
Physics [physics]
(1)
Life Sciences [q-bio]
(1)
Laboratory
Minimize
Inria Saclay - Ile de France
(35)
Laboratoire de Recherche en Informatique
(13)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(8)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(7)
Centre de Robotique
(1)
Centre de vision numérique
(1)
Inria Paris-Rocquencourt
(1)
Inria Sophia Antipolis - Méditerranée
(1)
Institute of Communications Engineering [Ulm]
(1)
Intrasense SAS
(1)
Laboratoire Spécification et Vérification [Cachan]
(1)
Laboratoire d'Informatique de Paris 6
(1)
Laboratoire d'Intégration des Systèmes et des Technologies
(1)
Laboratoire d'informatique de l'école normale supérieure
(1)
Laboratoire de mécanique des solides
(1)
Service NEUROSPIN
(1)
Supélec Sciences des Systèmes
(1)
Language
Minimize
English
(28)
French
(7)
Type of deposit
Minimize
Fulltext
(35)
Year
Minimize
2013
(35)
2022
(6)
2021
(40)
2020
(34)
2019
(29)
2018
(22)
2017
(23)
2016
(31)
2015
(33)
2014
(30)
2012
(21)
2011
(25)
2010
(24)
2009
(17)
2008
(6)
2007
(7)
2006
(6)
2005
(3)
2004
(3)
2003
(1)
2002
(1)
2001
(2)
2000
(1)
1999
(1)
1998
(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-00908155
v5
Theses
Émilien Antoine
.
Distributed data management with the rule-based language: Webdamlog
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
tel-01208140
v1
Theses
Solveig Badillo
.
Etude de la variabilité hémodynamique chez l’enfant et l’adulte sains en IRMf
Autre [cond-mat.other]. Université Paris Sud - Paris XI, 2013. Français.
⟨NNT : 2013PA112279⟩
tel-01090723
v1
Theses
Mikhail Bogdanov
.
Delaunay triangulations of spaces of constant negative curvature
Computer Science [cs]. Univeristé Nice Sophia Antipolis, 2013. English.
⟨NNT : 2013NICE4139⟩
tel-00931122
v1
Theses
Jiuqiang Chen
.
Designing scientific workflows following a structure and provenance-aware strategy
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
tel-00927252
v1
Theses
Adrien Couetoux
.
Monte Carlo Tree Search for Continuous and Stochastic Sequential Decision Making Problems
Data Structures and Algorithms [cs.DS]. Université Paris Sud - Paris XI, 2013. English
tel-00914246
v1
Theses
Xavier Dupuis
.
Contrôle optimal d'équations différentielles avec - ou sans - mémoire
Optimisation et contrôle [math.OC]. Ecole Polytechnique X, 2013. Français
pastel-00961344
v1
Theses
Mahfuza Farooque
.
Automated Reasoning Techniques as Proof-search in Sequent Calculus
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00934695
v1
Theses
Virgile Fritsch
.
High-dimensional statistical methods for inter-subject studies in neuroimaging
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112351⟩
pastel-00913469
v1
Theses
Ivan Gazeau
.
Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations
Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français
pastel-00929908
v1
Theses
Nicolas Guenot
.
Nested Deduction in Logical Foundations for Computation
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00789543
v1
Theses
Paolo Herms
.
Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112006⟩
tel-00912338
v1
Theses
Jean-Baptiste Hoock
.
Contributions to Simulation-based High-dimensional Sequential Decision Making
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112053⟩
tel-00842555
v1
Theses
Mohamed Iguernelala
.
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112080⟩
tel-00936027
v1
Theses
Alexandre Imperiale
.
Image-based data assimilation methods for the personalization of mechanical models - Application to cardiac mechanics and tagged-MRI
Numerical Analysis [math.NA]. Université Pierre et Marie Curie - Paris VI, 2013. English
tel-01089811
v1
Theses
Asterios Katsifodimos
.
Scalable view-based techniques for web data : algorithms and systems
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112117⟩
pastel-00838322
v1
Theses
Chantal Keller
.
A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00940413
v1
Theses
Sophia Knight
.
The Epistemic View of Concurrency Theory
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00845148
v1
Theses
Hélène Langet
.
Sampling and Motion Reconstruction in Three-dimensional X-ray Interventional Imaging
Medical Imaging. Ecole Centrale Paris, 2013. English
tel-00872883
v1
Theses
Julien Leblay
.
Database techniques for semantics-rich semi-structured Web data
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112193⟩
tel-00823882
v1
Theses
Ilya Loshchilov
.
Surrogate-Assisted Evolutionary Algorithms
Optimization and Control [math.OC]. Université Paris Sud - Paris XI; Institut national de recherche en informatique et en automatique - INRIA, 2013. English
pastel-00917779
v1
Theses
Victor Magron
.
Formal Proofs for Global Optimization -- Templates and Sums of Squares
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
tel-00867693
v2
Theses
Victorin Martin
.
Modélisation probabiliste et inférence par l'algorithme Belief Propagation
Autre. Ecole Nationale Supérieure des Mines de Paris, 2013. Français.
⟨NNT : 2013ENMP0020⟩
pastel-00879543
v1
Theses
Giovanni Migliorati
.
Polynomial approximation by means of the random discrete L2 projection and application to inverse problems for PDEs with stochastic data
Numerical Analysis [math.NA]. Ecole Polytechnique X, 2013. English
tel-00840333
v1
Theses
Cupertino Miranda
.
Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112020⟩
tel-00811496
v1
Theses
Jean-Marc Montanier
.
Environment-driven Distributed Evolutionary Adaptation for Collective Robotic Systems
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112033⟩
tel-00843046
v1
Theses
Basile Morcrette
.
Combinatoire analytique et modèles d'urnes
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français
tel-00944541
v2
Theses
Sarah Parisot
.
Understanding, Modeling and Detecting Brain Tumors: Graphical Models and Concurrent Segmentation/Registration methods
Engineering Sciences [physics]. Ecole Centrale Paris, 2013. English
pastel-00881119
v1
Theses
Laurent Pfeiffer
.
Sensitivity analysis for optimal control problems. Stochastic optimal control with a probability constraint
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
pastel-00878567
v1
Theses
Dario Prandi
.
Geometry and analysis of control-affine systems: motion planning, heat and Schrödinger evolution
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
pastel-00927122
v1
Theses
Zheng Qu
.
Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
pastel-00927358
v1
Theses
Zhiping Rao
.
Hamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
tel-00877482
v1
Theses
Nicolas Salles
.
Calcul des singularités dans les méthodes d’équations intégrales variationnelles
Mathématiques générales [math.GM]. Université Paris Sud - Paris XI, 2013. Français.
⟨NNT : 2013PA112164⟩
tel-00874679
v1
Theses
Asma Tafat
.
Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français.
⟨NNT : 2013PA112141⟩
tel-00818764
v1
Theses
Ramakrishna Upadrasta
.
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English.
⟨NNT : 2013PA112039⟩
pastel-00866134
v1
Theses
Alexander Zeh
.
Algebraic Soft- and Hard-Decision Decoding of Generalized Reed--Solomon and Cyclic Codes
Computational Complexity [cs.CC]. Ecole Polytechnique X, 2013. English
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 : 