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-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-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-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-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-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-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-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-00822492v1  Theses
Thanh Nam Nguyen. Calculs éléments finis paramétrés à l'aide des dérivées d'ordre élevé, Applications à l'électromagnétisme
Energie électrique. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
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