Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (4)
  • Sorbonne Paris Cité (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Université de Lorraine (2)
  • Bordeaux (1)
  • Brest (1)
  • Clermont Auvergne (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Nancy 2 (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 3 (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Paris, ENSAM (1)
  • Rennes 1 (1)
  • Sorbonne université (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université de Lausanne. Faculté de droit (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Biologie (1)
  • Conception (1)
  • Epigénétique et Génétique Moléculaires (1)
  • Génétique, génomique, bioinformatique (1)
  • Informatique et Télécommunications (1)
  • Informatique médicale (1)
  • Mathématiques et Informatique (1)
  • Science politique (1)
  • Sciences de l'information et de la communication (1)
  • Sciences du langage Spécialité Informatique et sciences du langage (1)
  • Sciences du langage. Linguistique Théorique, Descriptive et Automatique (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Études hispaniques et hispanoaméricaines (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Institut Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Sociétés, Politique, Santé Publique (1)
  • École doctorale Complexité du vivant (Paris) (1)
  • École doctorale Europe latine et Amérique latine (Paris) (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 Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences du langage (Paris ; 1992-2019) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (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 Écologie Géosciences Agronomie Alimentation (Rennes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (25)
  • anglais (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aimé Xavier (1)
  • Alba Winckler Marco Antonio (1)
  • Antoniadis Georges (1)
  • Aubergé Véronique (1)
  • BEKKERS Y. (1)
  • Barbier Georges (1)
  • Benmiloud Karim (1)
  • Berry Gérard (1)
  • Berthomieu Bernard (1)
  • Braun Dietmar (1)
  • Candito Marie-Hélène (1)
  • Candito Marie-Hélène (1)
  • Constant Matthieu (1)
  • Darbon Dominique (1)
  • David Amos (1)
  • De Luca Livio (1)
  • Devignes Marie-Dominique (1)
  • Feng Gang (1)
  • Filliâtre Jean-Christophe (1)
  • Halin Gilles (1)
  • Jaulent Marie-Christine (1)
  • Jenn Éric (1)
  • Kedad Zoubida (1)
  • Kirchner Claude (1)
  • Kokkinos Iasonas (1)
  • Lafourcade Mathieu (1)
  • Le Corre Hervé (1)
  • Manuel Michaël (1)
  • Mathieu Olivier (1)
  • Mauny Michel (1)
  • Michel Olivier (1)
  • Moreau Pierre-Etienne (1)
  • Palanque Philippe (1)
  • Pottier François (1)
  • Rémy Didier (1)
  • Serrano Manuel (1)
  • Soldano Henry (1)
  • Vernadat François B. (1)
  • Véron Philippe (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (16)
  • Sciences de la vie, biologie, biochimie (4)
  • Informatique, information, généralités (2)
  • Sciences de l'ingénieur (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Science politique (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Mathématiques (1)
  • Littératures espagnole et portugaise (1)

Domaines :

Fullscreen

27 thèses pour "Annotations de type"

Programmation en logique et typage d'ordre superieur

par PASCALE LOUVET sous la direction de Y. BEKKERS - Rennes 1

Informatique

Soutenue en 1996
thèse soutenue

...’inférence de notre systèmede types et ainsi nécessiter le minimum d’annotations de type. Pour ce faire, nous...

Accéder en ligne

...précédentedépend des annotations de type explicites, même pour les variables. Mais, dansTom, seul les rangs des...

Accéder en ligne

...le module de segmentation en mots eten phrases qui alimente le CAS avec les annotations de type Token...

Accéder en ligne

...par les annotations de type ETs sur chaque fenêtre de 100kb.D Proportion de gènes (PCGs) ou ETs situés...

Accéder en ligne

.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 973.17 Comparaison des annotations de typeGO terms (profondeur deux relations "is a")entre les...

Accéder en ligne

Résultats 1 à 10