Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon, École normale supérieure (sciences) (7)
  • Lyon, École normale supérieure (6)
  • Perpignan (5)
  • Paris 6 (4)
  • La Réunion (2)
  • Lyon (2)
  • Nancy 1 (2)
  • Nice (2)
  • Rennes 1 (2)
  • City university of Hong Kong (1)
  • Côte d'Azur (1)
  • Lyon 1 (1)
  • Metz (1)
  • Nantes (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Rennes, INSA (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (32)
  • Sciences appliquées (2)
  • Automatique et informatique appliquée (1)
  • Mathématiques et informatique. Mathématiques appliquées et calcul scientifique (1)
  • Sciences. Informatique fondamentale (1)
  • Systèmes industriels (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du Signal et de l'Image (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (9)
  • École doctorale Énergie environnement (Perpignan) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • MATISSE (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (24)
  • anglais (17)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Muller Jean-Michel (9)
  • Langlois Philippe (4)
  • Daumas Marc (3)
  • Martel Matthieu (3)
  • Villard Gilles (3)
  • Bajard Jean-Claude (2)
  • Dupont de Dinechin Florent (2)
  • Jeannerod Claude-Pierre (2)
  • Michel Claude (2)
  • Rueher Michel (2)
  • Zimmermann Paul (2)
  • Boldo Sylvie (1)
  • Chapoutot Alexandre (1)
  • Chesneaux Jean-Marie (1)
  • Chevrel Philippe (1)
  • Cousot Patrick (1)
  • Cucker Felipe (1)
  • Derrien Steven (1)
  • Gardan Yvon (1)
  • Koiran Pascal (1)
  • Lafon Jean-Claude (1)
  • Lauter Christoph Quirin (1)
  • Le Lann Jean-Marc (1)
  • Lecussan Bernard (1)
  • Marché Claude (1)
  • Mesnard Frédéric (1)
  • Ménard Daniel (1)
  • NOGUEZ GERARD (1)
  • Parello David (1)
  • Payet Étienne (1)
  • Sentieys Olivier (1)
  • Tisserand Arnaud (1)
  • Trinquet Yvon (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (37)
  • Sciences de l'ingénieur (6)
  • Mathématiques (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

Complexity issues in counting, polynomial evaluation and zero finding

par Irénée Briquel sous la direction de Pascal Koiran et de Felipe Cucker. - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2011
thèse soutenue
Accéder en ligne

Contributions à la vérification formelle d'algorithmes arithmétiques

par Erik Martin-Dorel sous la direction de Jean-Michel Muller - Lyon, École normale supérieure

Informatique

Soutenue le 26-09-2012
thèse soutenue
Accéder en ligne

Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors

par Philippe Theveny sous la direction de Gilles Villard - Lyon, École normale supérieure

Informatique

Soutenue le 31-10-2014
thèse soutenue
Accéder en ligne

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

par Serge Torres sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 22-09-2016
thèse soutenue
Accéder en ligne

Etude et realisation d'un co-processeur arithmetique en virgule flottante

par Gérard Paez-Monzon sous la direction de GERARD NOGUEZ - Paris 6

Sciences appliquées

Soutenue en 1986
thèse soutenue

Résolution de contraintes sur les flottants dédiée à la vérification de programmes

par Mohammed Belaid sous la direction de Michel Rueher et de Claude Michel. - Nice

Informatique

Soutenue le 04-12-2013
thèse soutenue
Accéder en ligne

Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques

par Damien Stehlé sous la direction de Paul Zimmermann - Nancy 1

Informatique

Soutenue en 2005
thèse soutenue
Accéder en ligne

Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic

par Hong Diep Nguyen sous la direction de Gilles Villard - Lyon, École normale supérieure

Informatique

Soutenue le 18-01-2011
thèse soutenue
Accéder en ligne

Analyses de terminaison des calculs flottants

par Fonenantsoa Maurica Andrianampoizinimaro sous la direction de Frédéric Mesnard et de Étienne Payet. - La Réunion

Informatique

Soutenue le 08-12-2017
thèse soutenue
Accéder en ligne

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes

par Heytem Zitoun sous la direction de Michel Rueher et de Claude Michel. - Côte d'Azur

Informatique

Soutenue le 26-10-2018
thèse soutenue
Accéder en ligne

Résultats 1 à 10