Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (5)
  • Université de Lorraine (5)
  • Lyon (4)
  • Paris 1 (4)
  • Paris Est (4)
  • Paris Sciences et Lettres (ComUE) (4)
  • Sorbonne Paris Cité (4)
  • Paris 6 (3)
  • Université Paris-Saclay (ComUE) (3)
  • Grenoble (2)
  • Nancy 2 (2)
  • Nantes (2)
  • Paris, CNAM (2)
  • Paris, ENST (2)
  • Toulouse, INPT (2)
  • Besançon (1)
  • Bordeaux 2 (1)
  • Bourgogne Franche-Comté (1)
  • Cachan, Ecole normale supérieure (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Grenoble 1 (1)
  • Lyon, INSA (1)
  • Nice (1)
  • Paris 10 (1)
  • Paris 2 (1)
  • Paris 3 (1)
  • Rennes 1 (1)
  • Supélec (1)
  • Toulouse 2 (1)
  • Toulouse 3 (1)
  • Università per stranieri (Sienne, Italie) (1)
  • Université Laval (Québec, Canada) (1)
  • Université Paris sciences et lettres (1)
  • École nationale d'Ingénieurs de Monastir (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Sciences de gestion (4)
  • Energétique et Transferts (2)
  • Psychologie (2)
  • Science politique (2)
  • Aménagement de l'espace, Urbanisme (1)
  • Arts : histoire et théorie (1)
  • Automatique (STIC) (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (1)
  • Didactiques des disciplines scientifiques et techniques - Didactique des Mathématiques (1)
  • Droit Privé (1)
  • Droit international public (1)
  • Ecologie (1)
  • Economie des institutions (1)
  • Energétique et Procédés (1)
  • Génie des procédés (1)
  • Génie électrique (1)
  • Géographie (1)
  • Géosciences, Ressources naturelles et environnement (1)
  • Histoire (1)
  • Histoire du droit et des institutions (1)
  • Informatique et applications (1)
  • Informatique et réseaux (1)
  • Informatique temps réel, robotique et automatique (1)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Mécanique (1)
  • Mécanique des fluides, procédés, énergétique (1)
  • Mécanique des fluides, énergétique, procédés (1)
  • Mécanique et énergétique (1)
  • Météorologie (1)
  • Philosophie (1)
  • Phonétique (1)
  • Physique (1)
  • Physique Théorique (1)
  • Psychologie cognitive (1)
  • Sciences agronomiques (1)
  • Sciences de l'éducation (1)
  • Sciences de la vie et de la santé (1)
  • Sciences du langage Spécialité Linguistique Sociolinguistique (1)
  • Sciences et techniques de l'environnement (1)
  • Sciences et technologies industrielles (1)
  • Sciences juridiques (1)
  • Sciences économiques (1)
  • Sciences, technologie, santé. Epidémiologie et santé publique (1)
  • Signal et images (1)
  • Sociologie (1)
  • Urbanisme, aménagement et politiques urbaines (1)
  • Épidémiologie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (2)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (2)
  • École doctorale de l'École des hautes études en sciences sociales (2)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale Droit, Gestion, Economie et Politique (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Ondes et matière (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (1)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris ; 2000-....) (1)
  • École doctorale SIReNa - Science et ingénierie des ressources naturelles (Lorraine) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences économiques et sciences de gestion (Rennes) (1)
  • École doctorale Ville et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale histoire du droit, philosophie du droit et sociologie du droit (Paris) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale sciences de gestion (Grenoble) (1)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (1)
  • École doctorale Économie, Gestion et Espace (Créteil) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (58)
  • anglais (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Duchaine Florent (2)
  • Achard Patrick (1)
  • Antoni Jérôme (1)
  • Atif Jamal (1)
  • Azaïs Romain (1)
  • Balarac Guillaume (1)
  • Baly Christine (1)
  • Baubet Thierry (1)
  • Bellatreche Ladjel (1)
  • Bensalem Saddek (1)
  • Besse Jean-Marc (1)
  • Biwole Pascal Henry (1)
  • Blaise Patrick (1)
  • Blazy Sandrine (1)
  • Bloch Isabelle (1)
  • Bonnetain Franck (1)
  • Borde Etienne (1)
  • Bourbiaux Bernard (1)
  • Braconnier Benjamin (1)
  • Brisson Luc (1)
  • Bréchet Jean-Pierre (1)
  • Calabretto Sylvie (1)
  • Chebbo Ghassan (1)
  • Cheutet Vincent (1)
  • Chiapello Ève (1)
  • Chiaramella Yves (1)
  • Chêne Geneviève (1)
  • Cingolani Patrick (1)
  • Corre Christophe (1)
  • Costa Affonso Roberta (1)
  • Couvet Denis (1)
  • Cregut Mickaël (1)
  • Cuenot Bénédicte (1)
  • Dardour Saied (1)
  • Darouach Mohamed (1)
  • De la fortelle Arnaud (1)
  • Dejours Christophe (1)
  • Delaye Philippe (1)
  • Demange Delphine (1)
  • Descotes Jean-Luc (1)
  • Desvillettes Laurent (1)
  • Douarche Frédéric (1)
  • Driant Jean-Claude (1)
  • Dubois Catherine (1)
  • Duc Gilles (1)
  • Durand-Thouand Marie-José (1)
  • Falissard Bruno (1)
  • Filser Marc (1)
  • Fischer Claude (1)
  • Fougeron Cécile (1)
  • Ganghoffer Jean-François (1)
  • Gicquel Laurent (1)
  • Gégout-Petit Anne (1)
  • Hacid Mohand Saïd (1)
  • Harouel Jean-Louis (1)
  • Henry Laurence-Caroline (1)
  • Hervé Fabrice (1)
  • Hingrat Yves (1)
  • Huault Isabelle (1)
  • Jacquot François (1)
  • Jaglin Sylvy (1)
  • Jensen Thomas (1)
  • Jiguet Frédéric (1)
  • Joldes Mioara Maria (1)
  • Jolibert Alain (1)
  • Juhel Jacques (1)
  • Lemerle Pierre (1)
  • Lessard Jean-Philippe (1)
  • Loupy Alexandre (1)
  • Lumineau Nicolas (1)
  • Malgrange Pierre (1)
  • Martin Jean-Clément (1)
  • Matthey Marinette (1)
  • Messaoud Hassani (1)
  • Mokdad Nadia Lynda (1)
  • Molinatti Grégoire (1)
  • Mouton Jean-Denis (1)
  • Ouhammou Yassine (1)
  • Pautet Laurent (1)
  • Peter Patrick (1)
  • Pichardie David (1)
  • Plancoulaine Sabine (1)
  • Poupeau François-Mathieu (1)
  • Rémond Didier (1)
  • Sargos François-Michel (1)
  • Schaeffer Jean-Marie (1)
  • Schemeil Yves (1)
  • Schroeder Henri (1)
  • Simonneaux Laurence (1)
  • Soury-Lavergne Sophie (1)
  • Soutif Eric (1)
  • Takorabet Noureddine (1)
  • Thouand Gérald (1)
  • Troccaz Jocelyne (1)
  • Vaissière Jacqueline (1)
  • Vienne Marie-Sybille de (1)
  • Wersinger Anne Gabrièle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Sciences de l'ingénieur (12)
  • Informatique (11)
  • Physique (5)
  • Médecine et santé (5)
  • Droit (4)
  • Gestion et organisation de l'entreprise (4)
  • Psychologie (3)
  • Economie (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Science politique (2)
  • Education et enseignement (2)
  • Mathématiques (2)
  • Sciences de la terre (2)
  • Urbanisme (2)
  • Informatique, information, généralités (1)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Commerce, communications, transports (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Animaux. Zoologie (1)
  • Technologie (Sciences appliquées) (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Géographie et voyages (1)
  • Histoire générale de la France (1)

Domaines :

Fullscreen

...techniques de validation a posteriori ausystème de di usion croisée SKT, pour prouver l existence de nombreux...

Accéder en ligne

...la validation a posteriori et des méthodes symboliques-numériques dansl’élaboration d...

Accéder en ligne
Informatique

Soutenue en 1996
thèse soutenue

...de nos implantations.1.2.3 Validation a posterioriLa validation a posteriori [Sam75, PSS98, Nec00...

Accéder en ligne

...pourvérifier nos transformations : la preuve directe des algorithmes en Coq etla validation a posteriori d...

Accéder en ligne

.... Barrellon], [2017], INSA Lyon, tous droits réservés5.3. SEAG VALIDATION: A POSTERIORI AND ON...

Accéder en ligne

Résultats 1 à 10