Skip to Main content Skip to Navigation
New interface


...
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-03722447v1  Theses
Mathieu Bajodek. Stability analysis of linear ODE-PDE interconnected systems
Automatic. Université de Toulouse 3 Paul Sabatier, 2022. English. ⟨NNT : ⟩
...
tel-03286356v1  Theses
Salima Helali. Non Parametric Estimation using Lagrange and Bernstein Polynomials
Statistics [math.ST]. Université de Sfax (Tunisie), 2021. English
...
tel-01239838v1  Theses
Mohamed Ahmed Mohamed Sidi. K-Separator problem
Discrete Mathematics [cs.DM]. Institut National des Télécommunications, 2014. English. ⟨NNT : 2014TELE0032⟩
...
tel-00654121v2  Theses
Bogdan Mihai Pasca. High-performance floating-point computing on reconfigurable circuits
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0656⟩
...
tel-01130029v1  Theses
Dimitri Watel. Approximation de l'arborescence de Steiner
Autre [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2014. Français. ⟨NNT : 2014VERS0025⟩
...
tel-00318472v1  Theses
Rekha Panditra Kulkarni. Fonctions spline cardinales tronquées
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1985. Français
...
tel-01431413v1  Theses
Vincent Neiger. Bases of relations in one or several variables: fast algorithms and applications
Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩
...
tel-00438603v1  Theses
Nicolas Veyrat-Charvillon. Opérateurs arithmétiques matériels pour des applications spécifiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
...
tel-00657843v2  Theses
Mioara Maria Joldes. Rigorous Polynomial Approximations and Applications
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0655⟩
...
tel-02983018v1  Theses
Florian Bourgey. Stochastic approximations for financial risk computations
Probability [math.PR]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX052⟩
...
tel-00422414v1  Theses
Fanny Pascual. Optimisation dans les réseaux : de l'approximation polynomiale à la théorie des jeux.
Réseaux et télécommunications [cs.NI]. Université d'Evry-Val d'Essonne, 2006. Français
...
tel-03016927v1  Theses
Arij Manai. Some contributions to backward stochastic differential equations and applications
General Mathematics [math.GM]. Le Mans Université; Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie), 2019. English. ⟨NNT : 2019LEMA1022⟩
...
tel-01002392v1  Theses
Jérémy Lebon. Towards multifidelity uncertainty quantification for multiobjective structural design
Other. Université de Technologie de Compiègne; Université libre de Bruxelles (1970-..), 2013. English. ⟨NNT : 2013COMP2123⟩
...
tel-00745553v1  Theses
Erik Martin-Dorel. Contributions to the Formal Verification of Arithmetic Algorithms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩
...
tel-00301285v1  Theses
Romain Michard. Opérateurs arithmétiques matériels optimisés
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
...
tel-00134814v1  Theses
Jean-François Culus. Décompositions acircuituques de grands graphes orientés: des apsects algorithmiques aux aspects combinatoires.
Mathématiques [math]. Université Toulouse le Mirail - Toulouse II, 2006. Français
...
tel-03876574v1  Theses
Gais Alhadi Babikir Alhadi. Polynomial Approximation Algorithms for Parallel Machine Problems in a Multi-objective or Constrained Context
Computer Science [cs]. Université de Lorraine; University of Gezira (Wad Medani, Sudan), 2019. English. ⟨NNT : 2019LORR0144⟩
...
tel-02178705v1  Habilitation à diriger des recherches
Mioara Maria Joldes. Validated symbolic-numeric algorithms and practical applications in aerospace
Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
...
tel-00460776v5  Theses
Sylvain Chevillard. Évaluation efficace de fonctions numériques - Outils et exemples
Modélisation et simulation. Université de Lyon; Ecole Normale Supérieure de Lyon - ENS LYON, 2009. Français
...
tel-00316060v1  Theses
Julio Medina. Fonctions splines avec conditions de forme
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1985. Français