|
|
Qualitative and Asymptotic Theory of Detonations
Luiz Faria
Mathematical Physics [math-ph]. KAUST, 2014. English. ⟨NNT : ⟩
Theses
tel-02497249v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Complexity analysis of random convex hulls
Rémy Thomasse
Theses
tel-01252937v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Feature extraction and supervised learning on fMRI : from practice to theory
Fabian Pedregosa-Izquierdo
Theses
tel-01100921v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Prévision multi-échelle par agrégation de forêts aléatoires. Application à la consommation électrique.
Benjamin Goehry
Theses
tel-02421110v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses
pastel-00756952v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mathematical modelling and numerical simulation of elastic wave propagation in soft tissues with application to cardiac elastography
Federica Caforio
Theses
tel-02262282v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multi-objective sequential decision making
Weijia Wang
Theses
tel-01057079v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tropical aspects of linear programming
Pascal Benchimol
Optimization and Control [math.OC]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Theses
tel-01198482v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modèles et normalisation des preuves
Denis Cousineau
Informatique [cs]. Ecole Polytechnique X, 2009. Français. ⟨NNT : ⟩
Theses
tel-00433165v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Efficient XML query processing
Ioana Manolescu
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2009
Habilitation à diriger des recherches
tel-00542801v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Synthesis of Alkynes and New Transformations Catalyzed by Gold(I) Complexes
Igor Jurberg
Catalysis. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses
pastel-00570064v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modélisation et étude mathématique de réseaux de câbles électriques
Geoffrey Beck
Theses
tel-01421740v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|