Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (114)
  • Université Grenoble Alpes (ComUE) (88)
  • Grenoble (74)
  • Rennes 1 (42)
  • Paris 11 (30)
  • Université de Lorraine (30)
  • Sorbonne Paris Cité (29)
  • Paris 6 (26)
  • Bordeaux (25)
  • Lyon (25)
  • Toulouse 3 (24)
  • Montpellier (16)
  • Paris Sciences et Lettres (15)
  • Paris, CNAM (15)
  • Toulouse, INPT (14)
  • Paris Est (13)
  • Université Côte d'Azur (ComUE) (13)
  • Bordeaux 1 (12)
  • Bourgogne Franche-Comté (12)
  • Paris, ENSAM (11)
  • Paris 10 (10)
  • Dijon (9)
  • Normandie (9)
  • Sorbonne université (9)
  • Strasbourg (9)
  • Toulouse, ISAE (9)
  • Besançon (8)
  • Clermont Auvergne (8)
  • Lorient (8)
  • Aix-Marseille (7)
  • Cachan, Ecole normale supérieure (7)
  • Le Mans (7)
  • Toulouse 1 (7)
  • Toulouse, INSA (7)
  • Tours (7)
  • Angers (6)
  • Brest (6)
  • Lille 2 (6)
  • Nice (6)
  • Troyes (6)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (5)
  • Limoges (5)
  • Lyon 1 (5)
  • Nantes (5)
  • Orléans (5)
  • Paris 5 (5)
  • Belfort-Montbéliard (4)
  • Compiègne (4)
  • Ecole centrale de Nantes (4)
  • Montpellier 3 (4)
  • Pau (4)
  • Reims (4)
  • Rennes, INSA (4)
  • Rennes, École normale supérieure (4)
  • Cergy-Pontoise (3)
  • Ecully, Ecole centrale de Lyon (3)
  • La Rochelle (3)
  • Lille 1 (3)
  • Lille 3 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 1 (3)
  • Paris, ENST (3)
  • Paris, INALCO (3)
  • Perpignan (3)
  • Université de Montréal (3)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (3)
  • Amiens (2)
  • Avignon (2)
  • Bordeaux 2 (2)
  • Bordeaux 3 (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Clermont-Ferrand 2 (2)
  • Ecole centrale de Lille (2)
  • Grenoble 1 (2)
  • Institut polytechnique de Paris (2)
  • Le Havre (2)
  • Mahatma Gandhi University (2)
  • Mulhouse (2)
  • Nancy 1 (2)
  • Nantes, Ecole nationale vétérinaire (2)
  • Paris 3 (2)
  • Paris 9 (2)
  • Paris, Ecole normale supérieure (2)
  • Poitiers (2)
  • Toulouse 2 (2)
  • Universidad nacional de Colombia (2)
  • University of Teheran (2)
  • Università degli studi di Roma "Tor Vergata" (1972-....) (2)
  • Universität des Saarlandes (2)
  • Université Cheikh Anta Diop de Dakar (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Sherbrooke (Québec, Canada) (2)
  • Université du Luxembourg (2)
  • Université libre de Bruxelles (1970-....) (2)
  • Valenciennes (2)
  • 123 Petersburg Nuclear Physics Inst. (1)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Antilles (1)
  • Artois (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Carleton university (Ottawa) (1)
  • CentraleSupélec (1)
  • Corte (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (1)
  • Ecole polytechnique (Montréal, Canada) (1)
  • Evry, Institut national des télécommunications (1)
  • Faculté des Sciences de Bizerte (Tunisie) (1)
  • Faculté des Sciences de Monastir (Tunisie) (1)
  • Freie Universität (Berlin) (1)
  • Georgia institute of technology (1)
  • Grenoble Alpes (1)
  • ITMO University (1)
  • Institut National des Sciences Appliquées et de Technologie (Tunisie) (1)
  • Institute for Knowledge and Innovation South East-Asia (Bangkok University, Thailand) (1)
  • Karlsruhe Institute of Technology (1)
  • La Réunion (1)
  • Liban (1)
  • Lyon, École normale supérieure (sciences) (1)
  • M.M. Shemyakin-Yu. A. Ovchinnikova Institute of bioorganic chemistry (Moscow) (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 2 (1)
  • Nantes, Ecole des Mines (1)
  • Northwestern Polytechnical University (Chine) (1)
  • Nîmes (1)
  • Oxford Brookes University (1)
  • Paris 4 (1)
  • Paris 7 (1)
  • Paris, EHESS (1)
  • Paris, EPHE (1)
  • Prove & Run (1)
  • Rennes 2 (1)
  • Rennes, Agrocampus Ouest (1)
  • Rijksuniversiteit te Gent (1)
  • Strasbourg 1 (1)
  • Tehran university, Industrial Engineering faculty (1)
  • Toulon (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad de los Andes (Bogotá) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade Federal do Rio Grande do Sul (Brésil) (1)
  • Universidade de Coimbra (1)
  • Universidade estadual paulista (São Paulo, Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitat Jaume I (Castellón de la Plana, Espagne) (1)
  • Universitatea din Timişoara (1)
  • Universiteit Hasselt (1970-....) (1)
  • Universiteit Leiden (Leyde, Pays-Bas) (1)
  • University of Gezira (Wad Medani, Sudan) (1)
  • University of science and technology of China (1)
  • Università degli studi (Florence, Italie) (1)
  • Università degli studi della Calabria (1)
  • Universität Hildesheim (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Assane Seck (Ziguinchor, Sénégal) (1)
  • Université Chouaïb Doukkali (El Jadida, Maroc) (1)
  • Université Côte d'Azur (1)
  • Université Djillali Liabès (Sidi Bel-Abbès, Algérie) (1)
  • Université Fédérale de Santa Maria (1)
  • Université Grenoble Alpes (1)
  • Université Hassan Ier (Settat, Maroc) (1)
  • Université Ibn Zohr (Agadir) (1)
  • Université Laval (Québec, Canada). Département d'anthropologie (1)
  • Université Libanaise (Liban) (1)
  • Université Nationale Bogdan Khmelnytsky de Cherkasy (1)
  • Université Politehnica de Bucarest (1)
  • Université Technique de Construction (Bucarest) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Etat de Tomsk (1)
  • Université de Carthage (Tunisie) (1)
  • Université de Fribourg (Suisse) (1)
  • Université de Hanoi -- Vietnam (1)
  • Université de Kuala Lumpur (Malaisie) (1)
  • Université de Monastir (Tunisie) (1)
  • Université de Prishtina (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Tunis El Manar (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de médecine et de pharmacie Iuliu Hatieganu (Cluj-Napoca, Roumanie) (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Université du Centre (Sousse, Tunisie) (1)
  • Université du Québec à Montréal (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Univerzita Karlova (Prague) (1)
  • Uniwersytet imienia Adama Mickiewicza (Poznań, Pologne) (1)
  • Uppsala universitet (1)
  • université Paris-Saclay (1)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (258)
  • Physique (25)
  • Mathématiques (22)
  • Neurosciences (15)
  • Génie électrique (14)
  • Sciences de gestion (12)
  • Sciences et technologie industrielles (11)
  • Sciences de la vie et de la santé (10)
  • Chimie (9)
  • Psychologie (9)
  • Sciences économiques (9)
  • Biologie (8)
  • Mathématiques appliquées (8)
  • Sciences de l'éducation (8)
  • Biologie Santé (7)
  • Electronique (7)
  • Mathématiques et Informatique (6)
  • Physique des particules (6)
  • Automatique (5)
  • Biologie cellulaire (5)
  • Complexité du Vivant (5)
  • Géosciences (5)
  • Nanoélectronique et nanotechnologie (5)
  • Physique des matériaux (5)
  • Sciences du langage (5)
  • Sciences pour l'ingénieur (5)
  • Droit privé et sciences criminelles (4)
  • Génie civil (4)
  • Géosciences marines (4)
  • Informatique et réseaux (4)
  • Mathématiques fondamentales (4)
  • Matériaux, mécanique, génie civil, électrochimie (4)
  • Nano electronique et nano technologies (4)
  • Optimisation et Sûreté des Systèmes (4)
  • Physico-Chimie de la Matière Condensée (4)
  • Physique théorique (4)
  • Robotique (4)
  • Réseaux, télécom, système et architecture (4)
  • Sciences de la Vie et de la Santé (4)
  • Sciences de la vie (4)
  • Chimie - physique (3)
  • Droit public (3)
  • Génie des Procédés et de l'Environnement (3)
  • Génie des procédés (3)
  • Mathématiques Appliquées (3)
  • Mathématiques et leurs interactions (3)
  • Mécanique (3)
  • Nanophysique (3)
  • Physiologie, physiopathologie (3)
  • Réseaux, information et communications (3)
  • Sciences cognitives, psychologie et neurocognition (3)
  • Sciences du sport et du mouvement humain (3)
  • Stic (3)
  • Sûreté de logiciel et calcul de haute performance (3)
  • Traitement du signal et des images (3)
  • Télécommunications (3)
  • Acoustique (2)
  • Aspects moléculaires et cellulaires de la biologie (2)
  • Astronomie et Astrophysique (2)
  • Astrophysique (2)
  • Automatique et traitement du signal et des images (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (2)
  • Automatique, Traitement du signal et des images, Génie informatique (2)
  • Biophysique (2)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (2)
  • Catalyse (2)
  • Chimie théorique, physique, analytique (2)
  • Conception (2)
  • Electronique des hautes fréquences, photonique et systèmes (2)
  • Génie mécanique - procédés de fabrication (2)
  • Géographie (2)
  • Histoire contemporaine (2)
  • Informatique et applications (2)
  • Intelligence artificielle (2)
  • Lasers, Métrologie, Communications (2)
  • Lasers, matière et nanosciences (2)
  • Littératures et civilisations (2)
  • Mathématiques et Modélisation (2)
  • Mathématiques et informatique (2)
  • Matériaux, Mécanique, Génie civil, Electrochimie (2)
  • Microbiologie (2)
  • Mouvement et comportement pour la santé et l'autonomie (2)
  • Mécanique-matériaux (2)
  • Mécanismes des interactions parasitaires pathogènes et symbiotiques (2)
  • Optique et radiofréquence (2)
  • Optique, photonique et traitement d'image (2)
  • Philosophie (2)
  • Physiologie et Génétique Moléculaires (2)
  • Psychologie du travail (2)
  • Science et Génie des Matériaux (2)
  • Sciences de la Terre (2)
  • Sciences de la terre (2)
  • Sciences de la terre et de l'environnement (2)
  • Sciences de la terre et de l'univers, et de l'environnement (2)
  • Sciences des matériaux (2)
  • Sciences du mouvement humain (2)
  • Sciences et Techniques des Activités Physiques et Sportives (2)
  • Sciences et techniques (2)
  • Sciences pour l'Ingénieur (2)
  • Signal image parole telecoms (2)
  • Sociologie (2)
  • Staps (2)
  • Surfaces et interfaces continentales, hydrologie (2)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (2)
  • Traitement du signal et de l'image (2)
  • Électronique (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Anthropobiologie (1)
  • Anthropologie sociale et ethnologie (1)
  • Archéologie (1)
  • Arts (1)
  • Aspects cellulaires et moléculaires de la biologie (1)
  • Aspects moleculaires et cellulaires de la biologie (1)
  • Automatique - productique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, productique et robotique (1)
  • Automatique, traitement du signal et des images (1)
  • Bactériologie - virologie (1)
  • Biochimie et biologie moléculaire (1)
  • Biochimie structurale (1)
  • Biochimie, Biologie cellulaire et moléculaire (1)
  • Biodiversité écologie environnement (1)
  • Biogéochimie et écosystèmes (1)
  • Biologie Cellulaire (1)
  • Biologie Cellulaire et Moléculaire (1)
  • Biologie Cellulaire et Physiopathologie (1)
  • Biologie Moléculaire et Cellulaire du Développement (1)
  • Biologie cellulaire et moléculaire (1)
  • Biologie des organismes, biochimie et biologie moléculaire (1)
  • Biologie des populations et écologie (1)
  • Biologie du Développement (1)
  • Biologie et sciences de la santé (1)
  • Biologie moléculaire (1)
  • Biologie structurale et nanobiologie (1)
  • Biomécanique et ingénierie pour la santé (1)
  • Biostatistiques (1)
  • Biotechnologie (1)
  • Biotechnologie de génie des procédés environnement agroalimentaire (1)
  • Biotechnologies (1)
  • Chimie Organique et Thérapeutique (1)
  • Chimie Physique (1)
  • Chimie biologie (1)
  • Chimie des matériaux (1)
  • Chimie et physico-chimie des polymères (1)
  • Chimie organique, minérale, industrielle (1)
  • Chimie physique (1)
  • Chimie, biologie, santé (1)
  • Droit (1)
  • Droit biens, Normes et Contrats (1)
  • Droit fiscal (1)
  • Droit international (1)
  • Droit privé (1)
  • Démographie (1)
  • Ecologie aquatique (1)
  • Economie et finance (1)
  • Ecosystèmes et sciences agronomiques (1)
  • Electromagnétisme et systèmes haute fréquence (1)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (1)
  • Electronique des hautes fréquences, optoélectronique et photonique (1)
  • Electronique et Architecture de Systèmes (1)
  • Electronique et communications (1)
  • Electronique, Electrotechnique et Automatique (1)
  • Electronique, microélectronique, optique et lasers, optoélectronique, microondes robotiques (1)
  • Energie et systèmes (1)
  • Energétique (1)
  • Energétique, Thermique, Combustion (1)
  • Energétique, thermique, combustion (1)
  • Etudes iberiques et latino americaines (1)
  • Etudes italiennes (1)
  • Etudes occitanes (1)
  • Fluides, Structures et Interactions (1)
  • Fluides, thermique, combustion (1)
  • Genie civil (1)
  • Genie electrique (1)
  • Geographie et aménagement de l'espace (1)
  • Génie Civil (1)
  • Génie Industriel (1)
  • Génie Industriel : conception et production (1)
  • Génie Informatique, automatique et traitement du signal (1)
  • Génie Mécanique, Mécanique des Matériaux (1)
  • Génie des matériaux (1)
  • Génie des procédés et des produits (1)
  • Génie industriel (1)
  • Génie industriel (AM) (1)
  • Génie informatique, automatique et traitement du signal. Informatique (1)
  • Génie mécanique (1)
  • Génie Électrique (1)
  • Génie électrique et électronique - Cergy (1)
  • Génétique (1)
  • Génétique et amélioration des plantes (1)
  • Génétique, génomique et bio-informatique (1)
  • Géographie, Aménagement, Urbanisme (1)
  • Géologie marine (1)
  • Géophysique (1)
  • Géoscience (1)
  • Géotechnique (1)
  • Histoire (1)
  • Histoire et archéologie des mondes anciens (1)
  • Histoire et civilisations (1)
  • Histoire, histoire de l'art et archéologie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (64)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (57)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (28)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (22)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (20)
  • École doctorale physique (Grenoble) (20)
  • École doctorale Informatique, télécommunications et électronique de Paris (19)
  • Ecole doctorale Informatique de Paris-Sud (17)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (16)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (13)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (12)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (12)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (12)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (12)
  • MATHSTIC (11)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (11)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (10)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (10)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (10)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (9)
  • École doctorale chimie et science du vivant (Grenoble) (9)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (9)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (8)
  • École doctorale Complexité du vivant (Paris) (8)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (8)
  • Sciences Chimiques et Biologiques pour la Santé (7)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (6)
  • École doctorale Biologie-Santé (Lille) (6)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (6)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (6)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (6)
  • École doctorale Sciences fondamentales et appliquées (Nice) (6)
  • École doctorale Sciences pour l'ingénieur (Nantes) (6)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (6)
  • École doctorale en Informatique et Mathématiques de Lyon (6)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (6)
  • I2S - Information, Structures, Systèmes (5)
  • École Doctorale Sciences de la Matière (Toulouse) (5)
  • École doctorale Abbé Grégoire (Paris) (5)
  • École doctorale Cerveau, cognition, comportement (Paris) (5)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (5)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (5)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (5)
  • École doctorale Sciences du sport, de la motricité et du mouvement humain (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Sciences pour l'Ingénieur (Lille) (5)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (5)
  • MATISSE (4)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (4)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (4)
  • École doctorale Droit et Science Politique (Toulouse) (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (4)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (4)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Sciences de la matière (Rennes) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (4)
  • École doctorale terre, univers, environnement (Grenoble) (4)
  • Biologie-Santé (3)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (3)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (3)
  • Ecole doctorale Arts et Métiers (Paris) (3)
  • Ecole doctorale Santé, sciences, technologies (Tours) (3)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (3)
  • Ecole doctorale de Dauphine (Paris) (3)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (3)
  • École doctorale BioSE - Biologie, Santé, Environnement (3)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (3)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris) (3)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (3)
  • École doctorale Physique en Île-de-France (Paris) (3)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (3)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (3)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (3)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Végétal-Environnement-Nutrition-Agro-Alimentaire-Mer (Angers) (3)
  • École doctorale des sciences chimiques (Talence, Gironde) (3)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (3)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (3)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (3)
  • École doctorale Économie, organisations, société (Nanterre) (3)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (3)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (2)
  • EGAAL (2)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (2)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (2)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (2)
  • Toulouse School of Economics (2)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (2)
  • École Doctorale Neurosciences et Cognition (NSCo) (2)
  • École Doctorale de Chimie (Lyon) (2)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; ....-2014) (2)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (2)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (2)
  • École doctorale Biologie-Santé Nantes-Angers (2)
  • École doctorale Cognition, éducation, interactions (Nantes) (2)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (2)
  • École doctorale Gènes, Génomes, Cellules (Gif-sur-Yvette, Essonne ; 2000-2015) (2)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (2)
  • École doctorale Langage et langues (Paris) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (2)
  • École doctorale Médicament, toxicologie, chimie, imageries (Paris) (2)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (2)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (2)
  • École doctorale Santé publique (Paris ; 2000-2015) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (2)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (2)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (2)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (2)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (2)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (2)
  • École doctorale Sciences mathématiques de Paris centre (2)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (2)
  • École doctorale Sciences économiques et gestion (Lyon) (2)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2000-2015) (2)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (2)
  • École doctorale de Physique et Astrophysique de Lyon (2)
  • École doctorale de droit (Pessac, Gironde) (2)
  • École doctorale de l'École des hautes études en sciences sociales (2)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (2)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (2)
  • École doctorale sciences économiques (Grenoble) (2)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (2)
  • Carnot Pasteur (1)
  • Cerveau - Cognition - Comportement (1)
  • Complexité du vivant (1)
  • ECOLE DOCTORALE MECANIQUE, ENERGETIQUE, GENIE CIVIL ET PROCEDES (1)
  • ECOLE DOCTORALE SYSTEMES (1)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Cancérologie : Biologie, Médecine, Santé (2000-2015 ; Le Kremlin-Bicêtre, Val-de-Marne) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2015-....) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay) (1)
  • Ecole doctorale Particules, Noyaux, Cosmos (Paris ; 2009-2015) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Orléans) (1)
  • Ecole doctorale Sciences de la Vie et de la Santé (Créteil ; 2010-2015) (1)
  • Ecole doctorale Sciences de la Vie et de la Santé (Créteil ; 2015-....) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale de recherches en psychanalyse et psychopathologie (Paris) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • Ecole transdisciplinaire Lettres - Sciences (1)
  • Ecologie Géosciences Agronomie Alimentation (EGAAL) (1)
  • Ed Sis 488 (1)
  • IAEM Lorraine (1)
  • Ingénierie pour la santé la Cognition et l'Environnement (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Langues, Littératures, Cultures, Civilisations (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et STIC (1)
  • Matériaux, Matières, Molécules (1)
  • SCIENCES DE LA MATIERE (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences et ingénierie en Matériaux, Mécanique, Energétique et Aéronautique (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Université de Corse (1975-....). Ecole doctorale "Environnement et société" (ED 377) (1)
  • VTT - Ville, Transports et Territoires (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale Electronique, Electrotechnique, Automatique (Lyon) (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale C2MP - Chimie mécanique matériaux physique (Lorraine) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (564)
  • anglais (408)
  • espagnol (2)
  • portugais (2)
  • italien (1)
  • sanskrit (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Yvon François (12)
  • Merz Stephan (8)
  • Bensalem Saddek (6)
  • Pétrot Frédéric (6)
  • Ghibaudo Gérard (5)
  • Maler Oded (5)
  • Namyst Raymond (5)
  • Seznec André (5)
  • Besacier Laurent (4)
  • Fribourg Laurent (4)
  • Lakhnech Yassine (4)
  • Le Gall Pascale (4)
  • Monniaux David (4)
  • Wolff Burkhart (4)
  • Bergel Alain (3)
  • Boitet Christian (3)
  • Conchon Sylvain (3)
  • Dang Thao (3)
  • Delahaye David (3)
  • Filliâtre Jean-Christophe (3)
  • Fontaine Pascal (3)
  • Hodaj Fiqiri (3)
  • Jalby William (3)
  • Jensen Thomas (3)
  • Julliand Jacques (3)
  • Lambert Sarah (3)
  • Leboeuf-Yde Charlotte (3)
  • Marché Claude (3)
  • Monfroy Éric (3)
  • Potet Marie-Laure (3)
  • Schwenk Holger (3)
  • Vilnat Anne (3)
  • Zaïdi Fatiha (3)
  • Alami Rachid (2)
  • Alexandrou Antigoni (2)
  • Barthou Denis (2)
  • Bertot Yves (2)
  • Blanchon Hervé (2)
  • Blazy Sandrine (2)
  • Borrione Dominique (2)
  • Bouquet Fabrice (2)
  • Buttay Cyril (2)
  • Cabon Béatrice (2)
  • Cassé Hugues (2)
  • Cavalli Ana (2)
  • Charvis Philippe (2)
  • Chevalier Bernard (2)
  • Collange Sylvain (2)
  • Dague Philippe (2)
  • Dejean Anne (2)
  • Delmas Rémi (2)
  • Dempsey Nora (2)
  • Denis Alexandre (2)
  • Derambure Philippe (2)
  • Deriche Rachid (2)
  • Deville Yannick (2)
  • Dowek Gilles (2)
  • Dubois Catherine (2)
  • Duprat Jean-Pierre (2)
  • Délia Marie-Line (2)
  • Fadel Elie (2)
  • Fouque Pierre-Alain (2)
  • Fromenty Bernard (2)
  • Garoche Pierre-Loïc (2)
  • Gatuingt Fabrice (2)
  • Gaudin Etienne (2)
  • Geantet Christophe (2)
  • Giorgetti Alain (2)
  • Girard Antoine (2)
  • Girault Alain (2)
  • Grohens Yves (2)
  • Guillaume Éric (2)
  • Guillot Aymeric (2)
  • Gössler Gregor (2)
  • Haddad Serge (2)
  • Hammad Ahmed (2)
  • Hill David R. C. (2)
  • Iosif Radu (2)
  • Jego Christophe (2)
  • Jhean-Larose Sandra (2)
  • Joubert Charles (2)
  • Kieffer Michel (2)
  • Klingelhoefer Frauke (2)
  • Kraml Sabine (2)
  • Langlois David (2)
  • Laurier Dominique (2)
  • Le Ruyet Didier (2)
  • Lebon Florent (2)
  • Lecouteux Benjamin (2)
  • Ledru Yves (2)
  • Lemesre Jean-Loup (2)
  • Mammar Amel (2)
  • Mangenot Stéphanie (2)
  • Martin Christian (2)
  • Masson Pierre-Alain (2)
  • Mercier Olaf (2)
  • Miné Antoine (2)
  • Morin-Allory Katell (2)
  • Mounier Laurent (2)
  • Moy Matthieu (2)
  • Pagetti Claire (2)
  • Peltier Nicolas (2)
  • Pichardie David (2)
  • Puaut Isabelle (2)
  • Quéma Vivien (2)
  • Rival Xavier (2)
  • Robyns Benoît (2)
  • Rogaume Thomas (2)
  • Rosenbaum Mathieu (2)
  • Roviras Daniel (2)
  • Rueher Michel (2)
  • Sabu Thomas (2)
  • Saubion Frédéric (2)
  • Sentieys Olivier (2)
  • Siadat Ali (2)
  • Simone Robert de (2)
  • Skotnicki Thomas (2)
  • Smaïli Kamel (2)
  • Sylvestre Alain (2)
  • Talpin Jean-Pierre (2)
  • Tavakkoli-Moghaddam Reza (2)
  • Terré Michel (2)
  • Valero Cabré Antoni (2)
  • Vernotte François (2)
  • Viêt Triêm Tông Valérie (2)
  • Véron Philippe (2)
  • Wernsdorfer Wolfgang (2)
  • Abdalla Michel (1)
  • Abdoul-Carime Hassan (1)
  • Abord de Chatillon Emmanuel (1)
  • Abou-Chakra Guéry Ariane (1)
  • Adalian Pascal (1)
  • Adjallah Kondo Hloindo (1)
  • Adje Assalé (1)
  • Agost Rosa (1)
  • Aifa Tahar (1)
  • Akian Marianne (1)
  • Alazard Thomas (1)
  • Alché-Buc Florence d' (1)
  • Alexis Joël (1)
  • Alimi Mohamed Adel (1)
  • Allaf Karim (1)
  • Allauzen Alexandre (1)
  • Allix Olivier (1)
  • Allonas Xavier (1)
  • Alma Marouane (1)
  • Almouzni Geneviève (1)
  • Alouf Sara (1)
  • Alquier Pierre (1)
  • Alunni-Perret Véronique (1)
  • Amblard François (1)
  • Ambroise Laure (1)
  • Amiot Dany (1)
  • Amiroudine Sakir (1)
  • Amorim Michel-Ange (1)
  • Amrane Abdeltif (1)
  • André Etienne (1)
  • Andrieu Bernard (1)
  • Andrès Christian (1)
  • Andrès Emmanuel (1)
  • Angel Eric (1)
  • Antoniadis Georges (1)
  • Arcangioli Benoit (1)
  • Ardouin Thierry (1)
  • Arnould Jean-Daniel (1)
  • Arock Michel (1)
  • Ascensio Hervé (1)
  • Askenazy-Gittard Florence (1)
  • Aslanian Daniel (1)
  • Asserin Olivier (1)
  • Astolfi Jacques André (1)
  • Atto Abdourrahmane Mahamane (1)
  • Aubourg Charles (1)
  • Audinat Etienne (1)
  • Avettand-Fenoël Marie-Noëlle (1)
  • Avierinos Jean-François (1)
  • Ayoub Georgine (1)
  • Aït-Ameur Yamine (1)
  • BENUENISTE PIERRE (1)
  • Babikir Sharief F. (1)
  • Baboulin Marc (1)
  • Bacha Seddik (1)
  • Bachelet Guy (1)
  • Badeau Roland (1)
  • Badonnel Rémi (1)
  • Baghdadi Amer (1)
  • Bahlawane Naoufal (1)
  • Balestro Franck (1)
  • Balicco Laurence (1)
  • Balint Stefan (1)
  • Ballarini Paolo (1)
  • Barais Olivier (1)
  • Barbeau Emmanuel (1)
  • Barbier Georges (1)
  • Bardin Sébastien (1)
  • Barkaoui Kamel (1)
  • Barra Vincent (1)
  • Barras Christine (1)
  • Barrault Loïc (1)
  • Barros Anne (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (309)
  • Sciences de l'ingénieur (170)
  • Sciences de la vie, biologie, biochimie (86)
  • Physique (82)
  • Médecine et santé (70)
  • Mathématiques (55)
  • Chimie, minéralogie, cristallographie (32)
  • Sciences de la terre (27)
  • Psychologie (17)
  • Gestion et organisation de l'entreprise (15)
  • Economie (14)
  • Technologie (Sciences appliquées) (14)
  • Droit (12)
  • Education et enseignement (12)
  • Informatique, information, généralités (11)
  • Sport (9)
  • Autres langues (7)
  • Sciences sociales, sociologie, anthropologie (6)
  • Langues et linguistique (6)
  • Sciences de la nature et mathématiques (5)
  • Génie chimique, technologies alimentaires (5)
  • Géographie et histoire (5)
  • Astronomie, cartographie, géodésie (4)
  • Agronomie, agriculture et médecine vétérinaire (4)
  • Arts. Beaux-arts et arts décoratifs (4)
  • Philosophie, psychologie (3)
  • Commerce, communications, transports (3)
  • Langues romanes. Français (3)
  • Fabrication industrielle (3)
  • Histoire ancienne et préhistoire (3)
  • Histoire moderne et contemporaine de l'Europe (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Ethnologie (2)
  • Linguistique générale (2)
  • Plantes. Botanique (2)
  • Géographie et voyages (2)
  • Epistémologie, causalité, genre humain (1)
  • Statistiques générales (1)
  • Science politique (1)
  • Problèmes et services sociaux (1)
  • Langues italienne, roumaine, rhéto-romane (1)
  • Langues espagnole et portugaise (1)
  • Animaux. Zoologie (1)
  • Fabrication de produits à usages spécifiques (1)
  • Urbanisme (1)
  • Arts graphiques (1)
  • Musique (1)
  • Arts du spectacle, loisirs (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Littérature allemande (1)
  • Littérature italienne (1)
  • Littératures des autres langues (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)

Domaines :

Fullscreen

936 thèses pour "Smt"

..., C3, C4 } [ a = b C1 >, a = d C3 ⊥,a = c C4 ⊥, b = d 7→1 > ]C5 = ¬a = b ∨ ¬b = d ∨ a = d Conflict-SMT...

Accéder en ligne

Méthodes pour le raisonnement d'ordre supérieur dans SMT

par Daniel El ouraoui sous la direction de Stephan Merz et de Pascal Fontaine. - Université de Lorraine

Informatique

En préparation depuis le 02-11-2017
 thèse en cours de préparation

Méthodes pour le raisonnement d'ordre supérieur dans SMT

par Hans-jörg Schurr sous la direction de Stephan Merz et de Pascal Fontaine. - Université de Lorraine

Informatique

En préparation depuis le 29-11-2017
 thèse en cours de préparation

...BarbosaNew techniques for instantiation andproof production in SMT solvingPhD ThesisSeptember 2017Thesis...

Accéder en ligne

.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . An Example of SMT constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. Non...

Accéder en ligne

....1.3 Handling quantifiersStricto sensu, SMT refers to the extension of a SAT solver with built-in...

Accéder en ligne

...Title : Improving the SMT solver Alt-Ergo performance with a better integrated efficient SAT solver...

Accéder en ligne

...permettant d’ajouter une nouvelle théorie à unsolveur SMT par l’intermédiaire d’une axiomatisation de premier...

Accéder en ligne
Réseaux, télécom, système et architecture

Soutenue le 19-12-2017
thèse soutenue

...a nombres entiers . . . . . . . . . . . . . . . . . . . . 623.3.3 Resolution de problemes SMT...

Accéder en ligne

Résultats 1 à 10