Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • Brest (2)
  • Cergy-Pontoise (2)
  • Paris 10 (2)
  • Paris 3 (2)
  • Paris Est (2)
  • Paris Saclay (2)
  • Toulouse, ISAE (2)
  • Besançon (1)
  • Bordeaux 3 (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Dijon (1)
  • Normandie (1)
  • Paris 1 (1)
  • Paris, ENST (1)
  • Rennes 2 (1)
  • Tours (1)
  • Université de Lorraine (1)
  • Université de Montréal (1)
  • Université de Yaoundé I (1)
  • Université du Luxembourg (1)
  • École nationale d'ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Histoire contemporaine (2)
  • Réseaux, télécom, système et architecture (2)
  • Arts (1)
  • Arts (Histoire, Théorie, Pratique) (1)
  • Cinéma (1)
  • Cinéma (et musique) (1)
  • Etudes hispanophones - Cergy (1)
  • Informatique et applications (1)
  • Informatique et réseaux (1)
  • Langue, littérature et civilisation françaises (1)
  • Langues, Littératures et Civilisations (1)
  • Musicologie (1)
  • Mécanique des fluides Energétique, Procédés (1)
  • Mécanique des fluides, procédés, énergétique (1)
  • Météorologie, Océanographie, Physique de l’Environnement (1)
  • Sciences du langage - Cergy (1)
  • Sciences du sport (1)
  • Sociologie (1)
  • Théâtre et arts du spectacle (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (2)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2010-2015) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Littérature française et comparée (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 Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (24)
  • anglais (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Hugues Jérôme (2)
  • Abid Mohamed (1)
  • Apvrille Ludovic (1)
  • Babau Jean-Philippe (1)
  • Becker Annette (1)
  • Bensalem Saddek (1)
  • Bernand Carmen (1)
  • Chelebourg Christian (1)
  • Delbreil Daniel (1)
  • Durney Daniel (1)
  • Encrevé André (1)
  • Ferrari Giordano (1)
  • Gaudreault André (1)
  • George Laurent (1)
  • Grolleau Emmanuel (1)
  • Guerrero Gustavo (1)
  • Hamon-Siréjols Christine (1)
  • Hauser Danièle (1)
  • Kordon Fabrice (1)
  • Le Forestier Laurent (1)
  • Loudcher Jean-François (1)
  • Mabru Lothaire (1)
  • Merle-Lucotte Elsa (1)
  • Nana Tchamnda Laurent (1)
  • Navet Nicolas (1)
  • Ouhammou Yassine (1)
  • Pautet Laurent (1)
  • Pruvost Jean (1)
  • Rubiolo Pablo (1)
  • Saqui-Sannes Pierre de (1)
  • Simon Yannick (1)
  • Slimane Mohamed (1)
  • Sojcher Frédéric (1)
  • Tangha Claude (1)
  • Vivier Christian (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (9)
  • Musique (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Sciences de l'ingénieur (2)
  • Arts. Beaux-arts et arts décoratifs (2)
  • Arts du spectacle, loisirs (2)
  • Littérature de langues romanes. Littérature française (2)
  • Informatique, information, généralités (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Sciences de la terre (1)
  • Littératures des autres langues (1)
  • Histoire générale de l'Amérique du Nord (1)

Domaines :

Fullscreen

27 thèses pour "Ocarina"

Météorologie, Océanographie, Physique de l’Environnement

Soutenue le 04-12-2015
thèse soutenue

.... Chapitre 2) tels que PHYSURA [23] ou CASPAR [16], mais ils ne sont aujourd’hui plus opérationnels. OCARINa...

Accéder en ligne

...model. We use the PythonAPI provided by the OCARINA tool:the method lmp.getInstances( thread ) at line...

Accéder en ligne

...-by-refinement approach is implemented around the Ocarina tool suiteThe obtained system is assumed to be very close to the...

Accéder en ligne

...suite.En 2016, la plateforme OCARINA [HZPK08] a e´te´ propose´e pour faire le lien entre AADLet les...

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

Soutenue le 02-05-2017
thèse soutenue

...embarqués et disposent d’un outillage associé comme Ocarina (Hugues, 2008). Ces langages que nous...

Accéder en ligne

...transformation. Onpeut citer dans ce contexte l’outil OCARINA [45] qui permet la génération de code Ada ouC pour...

Accéder en ligne
Mécanique des fluides, procédés, énergétique

Soutenue le 26-09-2016
thèse soutenue

...d assemblage), MACARENa 15pour l ULOF et OCARINa 16 pour l UTOP [22]. Ces outils permettent la...

Accéder en ligne

...078 Sifflet0 079 Ocarina123RÉFÉRENCES TECHNIQUESTab. A.3 – Instruments General MIDI -3Banque Programme...

Accéder en ligne

Résultats 1 à 10