Skip to Main content Skip to Navigation


...
tel-00940413v1  Theses
Sophia Knight. The Epistemic View of Concurrency Theory
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00823882v1  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
...
tel-00874679v1  Theses
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112141⟩
...
pastel-00927122v1  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-00929908v1  Theses
Nicolas Guenot. Nested Deduction in Logical Foundations for Computation
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00927252v1  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
...
pastel-00927358v1  Theses
Zhiping Rao. Hamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
pastel-00878567v1  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-00917779v1  Theses
Victor Magron. Formal Proofs for Global Optimization -- Templates and Sums of Squares
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
tel-00908155v5  Theses
Émilien Antoine. Distributed data management with the rule-based language: Webdamlog
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
...
tel-00931122v1  Theses
Jiuqiang Chen. Designing scientific workflows following a structure and provenance-aware strategy
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
...
tel-01090723v1  Theses
Mikhail Bogdanov. Delaunay triangulations of spaces of constant negative curvature
Computer Science [cs]. Univeristé Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4139⟩
...
tel-00872883v1  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-00914246v1  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
...
tel-00843046v1  Theses
Basile Morcrette. Combinatoire analytique et modèles d'urnes
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français