Résultats 1 à 2

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

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1)
  • Mathématiques appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1)
  • français (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Margenstern Maurice (1)
  • Pantz Olivier (1)
  • Stratulat Sorin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1)
  • Mathématiques (1)

Domaines :

Fullscreen

Quantitative a posteriori error estimators in Finite Element-based shape optimization

par Matteo Giacomini sous la direction de Olivier Pantz - Université Paris-Saclay (ComUE)

Mathématiques appliquées

Soutenue le 09-12-2016
thèse soutenue

...l’Algorithme de Descente Certifie´e, pre´alablement pre´sente´, a` la conceptionoptimale de...

Accéder en ligne

Certification des raisonnements formels portant sur des systèmes d'information critiques

par Amira Henaien sous la direction de Maurice Margenstern et de Sorin Stratulat. - Université de Lorraine

Informatique

Soutenue le 11-03-2015
thèse soutenue
Accéder en ligne

Résultats 1 à 2