Search - Archive ouverte HAL Access content directly

Filter your results

497 Results
Structure: Internal structure identifier : 118511
Image document

Qualitative and Asymptotic Theory of Detonations

Luiz Faria
Mathematical Physics [math-ph]. KAUST, 2014. English. ⟨NNT : ⟩
Theses tel-02497249v1
Image document

Computing with relations, functions, and bindings

Ulysse Gerard
Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩
Theses tel-02414237v2
Image document

Quantitative modeling of cell and tissue mechanics with agent-based models

Paul van Liedekerke
Biological Physics [physics.bio-ph]. Inria Paris, Sobonne Université, 2019
Habilitation à diriger des recherches tel-02064216v1
Image document

Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique

Alain Couvreur
Mathématiques [math]. Université Paris Diderot, 2019
Habilitation à diriger des recherches tel-02438668v1
Image document

Complexity analysis of random convex hulls

Rémy Thomasse
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4116⟩
Theses tel-01252937v2
Image document

Feature extraction and supervised learning on fMRI : from practice to theory

Fabian Pedregosa-Izquierdo
Medical Imaging. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066015⟩
Theses tel-01100921v2
Image document

Weakly Supervised Learning for Structured Output Prediction

M. Pawan Kumar
Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2013
Habilitation à diriger des recherches tel-00943602v2
Image document

Extending higher-order logic with predicate subtyping

Frédéric Gilbert
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English. ⟨NNT : ⟩
Theses hal-01673518v2
Image document

Prévision multi-échelle par agrégation de forêts aléatoires. Application à la consommation électrique.

Benjamin Goehry
Méthodologie [stat.ME]. Université Paris-Saclay, 2019. Français. ⟨NNT : 2019SACLS461⟩
Theses tel-02421110v1
Image document

Generative Neural networks to infer Causal Mechanisms: Algorithms and applications

Diviyan Kalainathan
Machine Learning [stat.ML]. Université Paris Sud (Paris 11) - Université Paris Saclay, 2019. English. ⟨NNT : ⟩
Theses tel-02435986v1
Image document

Optimisation de Lois de Gestion Énergétiques des Véhicules Hybrides

Giovanni Granato
Optimization and Control [math.OC]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses tel-00788160v1
Image document

Efficient verification of sequential and concurrent systems

Stefan Schwoon
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
Habilitation à diriger des recherches tel-00927066v1
Image document

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming

Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00756952v1
Image document

Mathematical modelling and numerical simulation of elastic wave propagation in soft tissues with application to cardiac elastography

Federica Caforio
Analysis of PDEs [math.AP]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLX001⟩
Theses tel-02262282v1
Image document

Classification and clustering for network inférence from RNA-seq data

Mélina Gallopin
Applications [stat.AP]. Université Paris Sud, 2015. English. ⟨NNT : ⟩
Theses tel-01695408v1
Image document

Estimation et selection pour les modeles additifset application a la prevision de la consommation electrique

Vincent Thouvenot
Statistiques [stat]. Paris Saclay, 2015. Français. ⟨NNT : ⟩
Theses tel-01708576v1
Image document

Formal Proofs for Global Optimization -- Templates and Sums of Squares

Victor Magron
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00917779v1
Image document

Multi-objective sequential decision making

Weijia Wang
Machine Learning [cs.LG]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112156⟩
Theses tel-01057079v1
Image document

Algebraic Soft- and Hard-Decision Decoding of Generalized Reed--Solomon and Cyclic Codes

Alexander Zeh
Computational Complexity [cs.CC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00866134v1
Image document

Exploitation des algorithmes génétiques pour la prédiction de structure de complexe protéine-protéine

Thomas Bourquard
Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2009. Français. ⟨NNT : ⟩
Theses tel-00782396v1
Image document

Structural and probabilistic methods for group analysis in functional neuroimaging

Bertrand Thirion
Life Sciences [q-bio]. École normale supérieure de Cachan - ENS Cachan, 2009
Habilitation à diriger des recherches tel-00438202v1
Image document

Estimation et sélection en classification semi-supervisée

Vincent Vandewalle
Mathématiques [math]. Université des Sciences et Technologie de Lille - Lille I, 2009. Français. ⟨NNT : ⟩
Theses tel-00447141v1
Image document

Tropical aspects of linear programming

Pascal Benchimol
Optimization and Control [math.OC]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Theses tel-01198482v1
Image document

Modèles et normalisation des preuves

Denis Cousineau
Informatique [cs]. Ecole Polytechnique X, 2009. Français. ⟨NNT : ⟩
Theses tel-00433165v1
Image document

Efficient XML query processing

Ioana Manolescu
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2009
Habilitation à diriger des recherches tel-00542801v1
Image document

Modelling and analyzing security protocols in cryptographic process calculi

Steve Kremer
Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
Habilitation à diriger des recherches tel-00636769v1
Image document

Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances

Nada Abdallah
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français. ⟨NNT : ⟩
Theses tel-00536926v1
Image document

Real-Parameter Black-Box Optimisation: Benchmarking and Designing Algorithms

Raymond Ros
Modeling and Simulation. Université Paris Sud - Paris XI, 2009. English. ⟨NNT : ⟩
Theses tel-00595922v2
Image document

Synthesis of Alkynes and New Transformations Catalyzed by Gold(I) Complexes

Igor Jurberg
Catalysis. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses pastel-00570064v1
Image document

Modélisation et étude mathématique de réseaux de câbles électriques

Geoffrey Beck
Modélisation et simulation. Université Paris-Saclay, 2016. Français. ⟨NNT : 2016SACLY006⟩
Theses tel-01421740v1