Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (14)
  • Sorbonne Paris Cité (6)
  • Aix-Marseille (5)
  • Grenoble (4)
  • Lyon (4)
  • Université de Lorraine (4)
  • Bordeaux (3)
  • Cachan, Ecole normale supérieure (3)
  • Paris 11 (3)
  • Paris 6 (3)
  • Paris Sciences et Lettres (ComUE) (3)
  • Paris, ENST (3)
  • Nice (2)
  • Paris 7 (2)
  • Rennes 1 (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Angers (1)
  • Artois (1)
  • Bourgogne Franche-Comté (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (1)
  • Colorado state university (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier (1)
  • Normandie (1)
  • Orléans (1)
  • Paris 13 (1)
  • Paris 5 (1)
  • Paris Est (1)
  • Paris, Muséum national d'histoire naturelle (1)
  • Rennes, INSA (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Télécom Bretagne (1)
  • Universidad de los Andes (Mérida, Venezuela) (1)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (1)
  • Universidade estadual de Campinas (Brésil) (1)
  • Universitat Rovira i Virgili (Tarragone, Espagne) (1)
  • Universitat internacional de Catalunya (1)
  • University of Cambridge (1)
  • Université Abdelmalek Essaâdi (Tétouan) (1)
  • Université d'Oran Es-Senia (Algérie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (41)
  • Mathématiques (9)
  • Mathématiques appliquées (3)
  • Informatique et Réseaux (2)
  • Mathématiques Pures (2)
  • Archéologie (1)
  • Astronomie et Astrophysique (1)
  • Automatique (1)
  • Automatique et informatique industrielle (1)
  • Automatique, productique (1)
  • Chimie (1)
  • Ecologie et biodiversité (1)
  • Génie des procédés et des produits (1)
  • Informatique et réseaux (1)
  • Intelligence artificielle (1)
  • Mathématiques Appliquées (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques fondamentales (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Milieux dilués et optique fondamentale (1)
  • Physique (1)
  • Quaternaire et Préhistoire (1)
  • Réseaux, information et communications (1)
  • Sciences (1)
  • Sciences appliquées (1)
  • Sciences du bois et des fibres (1)
  • Sciences et technologie industrielles (1)
  • Systèmes embarqués (1)
  • Urbanisme mention aménagement (1)
  • informatique fondamentale (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (4)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (4)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • Ecole doctorale de Dauphine (Paris) (2)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • MATHSTIC (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (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, informatique et télécommunications (Toulouse) (1)
  • École doctorale Ondes et matière (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sociétés, Espaces, Pratiques, Temps (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (59)
  • français (31)
  • espagnol (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Yvon François (4)
  • Guerrini Stefano (3)
  • Reynier Pierre-Alain (3)
  • Bucciarelli Antonio (2)
  • Fabre Éric (2)
  • Gaubert Stéphane (2)
  • Mazza Damiano (2)
  • Senellart Pierre (2)
  • Abdessalem Talel (1)
  • Akian Marianne (1)
  • Allué Ethel (1)
  • Arrighi Pablo (1)
  • Ater Mohammed (1)
  • Avoine Gildas (1)
  • Barbe Sophie (1)
  • Barkatou Moulay Abdelfattah (1)
  • Benbernou Salima (1)
  • Bichon Julien (1)
  • Bidoit-Tollu Nicole (1)
  • Boullier Pierre (1)
  • Bourgine Paul (1)
  • Buclet Nicolas (1)
  • Cardillo-Albarràn Juan José (1)
  • Cautis Bogdan (1)
  • Chambert-Loir Antoine (1)
  • Champagnat Nicolas (1)
  • Chardonnel Sonia (1)
  • Chiriac Rodica Elena (1)
  • Codognet Philippe (1)
  • Cohen Albert (1)
  • Cohen Gérard (1)
  • Crepin-Gilbert Claudine (1)
  • Cuppens-Boulahia Nora (1)
  • Danger Jean-Luc (1)
  • Darte Alain (1)
  • Demessence Aude (1)
  • Deninger Christopher (1)
  • Dubois Didier (1)
  • Dufour François (1)
  • Dufraisse Alexa (1)
  • Dymetman Marc (1)
  • Emad Petiton Nahid (1)
  • Fargier Hélène (1)
  • Floquet Thierry (1)
  • Foucault Gilles (1)
  • Frey-Klett Pascale (1)
  • Froidevaux Christine (1)
  • Gardent Claire (1)
  • Gastin Paul (1)
  • Gauthier Emilie (1)
  • Gehrke Mai (1)
  • Gelhaye Éric (1)
  • Genest Blaise (1)
  • Gimbert Hugo (1)
  • Girard Jean-Yves (1)
  • Girardclos Olivier (1)
  • Grebenkov Denis (1)
  • Guilley Sylvain (1)
  • Hardouin Laurent (1)
  • Iosif Radu (1)
  • Jensen Thomas (1)
  • Kanté Mamadou Moustapha (1)
  • Lakhnech Yassine (1)
  • Lallement Rosine (1)
  • Lamel Lori (1)
  • Lampis Michael (1)
  • Laurent Olivier (1)
  • Lebbah Yahia (1)
  • Lecoutre Christophe (1)
  • Leichtnam Éric (1)
  • Lhommeau Mehdi (1)
  • Loeser François (1)
  • Loiseau Jean-Jacques (1)
  • Lombardy Sylvain (1)
  • Louise Stéphane (1)
  • Léon Jean-Claude (1)
  • Maillard Nicolas (1)
  • Martini Simone (1)
  • Mengin Jérôme (1)
  • Meunier Frédéric (1)
  • Mogbil Virgile (1)
  • Moncel Julien (1)
  • Monmege Benjamin (1)
  • Moyen Jean-Yves (1)
  • Niel Eric (1)
  • Ovsjanikov Maks (1)
  • Paschos Vangelis T. (1)
  • Pauchet Alexandre (1)
  • Perruquetti Wilfrid (1)
  • Petiton Serge (1)
  • Pinchinat Sophie (1)
  • Pleurdeau David (1)
  • Pottier Loïc (1)
  • Preissmann Myriam (1)
  • Raffin Bruno (1)
  • Rajopadhye Sanjay (1)
  • Randriambolona Hugues (1)
  • Rataboul Franck (1)
  • Ritchie David (1)
  • Roch Jean-Louis (1)
  • Rousseau Judith (1)
  • Régin Jean-Charles (1)
  • Régnier Laurent (1)
  • Rémond Romain (1)
  • Salibra Antonino (1)
  • Santos Mendes Rafael (1)
  • Schiex Thomas (1)
  • Sombra Martin (1)
  • Talbot Jean-Marc (1)
  • Teichteil Florent (1)
  • Tengberg Margareta (1)
  • Terral Jean-Frédéric (1)
  • Thirion Bertrand (1)
  • Touili Tayssir (1)
  • Truong Tuong Trong (1)
  • Wagner Frank-Olaf (1)
  • Winskel Glynn (1)
  • Wolff Burkhart (1)
  • Yger Alain (1)
  • ‎Pagani‎ Michèle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (50)
  • Mathématiques (19)
  • Sciences de l'ingénieur (4)
  • Physique (2)
  • Chimie, minéralogie, cristallographie (2)
  • Fabrication industrielle (2)
  • Histoire ancienne et préhistoire (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Astronomie, cartographie, géodésie (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Plantes. Botanique (1)
  • Génie chimique, technologies alimentaires (1)
  • Géographie et voyages (1)

Domaines :

Fullscreen

84 thèses pour Semiring

Mathématiques

Soutenue le 04-12-2014
thèse soutenue

...CHAPTER II. THE RESOLUTION SEMIRING 35Proposition II.10 (semigroup, semiring)A subset A of R is a...

Accéder en ligne
Mathématiques Pures

Soutenue le 05-12-2013
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018
thèse soutenue

...Chapter 3. Profinite algebras, and semiring-valued measuresbe a collection of finite discrete T...

Accéder en ligne

...element of S . The cost of the automatonis the supremum of the input words cost. For the semiring of...

Accéder en ligne

...Ke concepts oI controlled invariance and d\namic state IeedbacN controlled invariance in a semiring 7Kis...

Accéder en ligne

Résultats 1 à 10