Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (4)
  • Cachan, Ecole normale supérieure (3)
  • Paris, ENST (3)
  • Grenoble (2)
  • Université de Lorraine (2)
  • Aix-Marseille 1 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Lorient (1)
  • Nancy 1 (1)
  • Nantes (1)
  • Orléans (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Rennes 1 (1)
  • Valenciennes (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Sciences appliquées (3)
  • Automatique (2)
  • Signal et images (2)
  • Archéologie (1)
  • Automatique, productique et robotique (1)
  • Informatique. Systèmes et communication (1)
  • Physique mathématique. Physique des particules et modélisation (1)
  • Sciences pour l'ingénieur (1)
  • Études nord-américaines (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • IAEM Lorraine (1)
  • MATHSTIC (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (13)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Delaune Stéphanie (4)
  • Cortier Véronique (3)
  • Lakhnech Yassine (3)
  • Comon-Lundh Hubert (2)
  • Girard Antoine (2)
  • Lafourcade Pascal (2)
  • Maître Henri (2)
  • Angelini Elsa (1)
  • Baelde David (1)
  • Berthomé Pascal (1)
  • Blanchet Bruno (1)
  • Bloch Isabelle (1)
  • Boyer Frédéric (1)
  • Cassen Serge (1)
  • Fribourg Laurent (1)
  • Jaworski Philippe (1)
  • Kremer Steve (1)
  • Laurent Hervé (1)
  • Lima Ricardo (1)
  • Minoux Michel (1)
  • O'Sullivan Muiris (1)
  • Pinchinat Sophie (1)
  • Périn Michaël (1)
  • Rio Gérard (1)
  • Rusinowitch Michaël (1)
  • Soënen René (1)
  • Steel Graham (1)
  • Tupin Florence (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (16)
  • Sciences de l'ingénieur (7)
  • Informatique, information, généralités (1)
  • Langue anglaise. Anglo-saxon (1)
  • Mathématiques (1)
  • Physique (1)
  • Médecine et santé (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Histoire ancienne et préhistoire (1)

Domaines :

Fullscreen

27 thèses pour "Modèle symbolique"

...,due à Bana et Comon [29], consiste à utiliser un modèle symbolique calculatoirement correct...

Accéder en ligne

...difficiles. Le modèle symbolique est très abstrait et permetgénéralement d’automatiser les preuves, tandis...

Accéder en ligne

Modèles dynamiques pour la turbulence locale

par Edgardo Ugalde-Saldaña sous la direction de Ricardo Lima - Aix-Marseille 1

Physique mathématique. Physique des particules et modélisation

Soutenue en 1996
thèse soutenue
Automatique

En préparation depuis le 01-10-2018
 thèse en cours de préparation

Résultats 1 à 10