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
...
tel-00789543v1  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-00877482v1  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⟩
...
pastel-00961344v1  Theses
Mahfuza Farooque. Automated Reasoning Techniques as Proof-search in Sequent Calculus
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
pastel-00866134v1  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
...
pastel-00838322v1  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