Recherche

tel-00011820v1 Thèse
Mihai Gradinaru. Green functions and the support of hypoelliptic diffusions
Mathematics [math]. Université Paris Sud - Paris XI, 1995. English

tel-00488916v1 Thèse
Raphaël Pelissier. Relations entre l'hétérogénéité spatiale et la dynamique de renouvellement d'une forêt dense humide sempervirente (Forêt d'Uppangala - Ghâts occidentaux de l'Inde)
Ecologie, Environnement. Université Claude Bernard - Lyon I, 1995. Français

tel-00497563v1 Thèse
Frédéric Guidec. Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire
Modélisation et simulation. Université Rennes 1, 1995. Français

tel-00497580v1 Thèse
Yves Mahéo. Environnement pour la compilation dirigée par les données : supports d’exécution et expérimentations
Modélisation et simulation. Université Rennes 1, 1995. Français

pastel-00574096v1 Thèse
Nabil Torkhani. Contribution à l'identification fréquentielle robuste des systèmes dynamiques linéaires
Systèmes dynamiques [math.DS]. Ecole nationale des ponts et chaussées - ENPC PARIS / MARNE LA VALLEE, 1995. Français

tel-00382528v1 Thèse
Hugo Herbelin. Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes
Informatique [cs]. Université Paris-Diderot - Paris VII, 1995. Français

tel-00832501v1 Thèse
Luc Tancredi. De la simplification et la résolution du modèle géométrique direct des robots parallèles
Géométrie algorithmique [cs.CG]. Ecole Nationale Supérieure des Mines de Paris, 1995. Français

tel-00451634v1 Thèse
Stéphane Caro Dambreville. Rôle des organisateurs para-linguistiques dans la consultation des documents électroniques
Sciences de l'Homme et Société. Université Stendhal - Grenoble III, 1995. Français

tel-00981853v1 Thèse
Daniel Diaz. Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)
Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français

tel-01297784v1 Thèse
Guy Perrier. De la construction de preuves à la programmation parallèle en logique linéaire
Informatique et langage [cs.CL]. Université Henri Poincaré (Nancy), 1995. Français

tel-00006284v1 Thèse
Francis Lazarus. Courbes, cylindres et métamorphoses pour l'image de synthèse
Modélisation et simulation. Université Paris-Diderot - Paris VII, 1995. Français

tel-00005612v1 Thèse
Jean-Pierre Cioni. Résolution numérique des équations de Maxwell instationnaires par une méthode de volumes finis
Mathématiques [math]. Université Nice Sophia Antipolis, 1995. Français

tel-00005618v1 Thèse
Serge Piperno. Simulation numérique de phénomènes d'interaction fluide-structure
Mathématiques [math]. Ecole des Ponts ParisTech, 1995. Français

tel-00005806v1 Thèse
Bruno Marmol. Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs
Réseaux et télécommunications [cs.NI]. Université d'Orléans, 1995. Français

tel-00005043v1 Thèse
Eric Dedieu. La représentation contingente : vers une réconciliation des approches fonctionnelles et structurelles de la robotique autonome
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français

tel-00005044v1 Thèse
Fadi Dornaika. Contributions à l'intégration vision robotique : calibrage, localisation et asservissement
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français

tel-00005045v1 Thèse
Philippe Garnier. Contrôle d'exécution réactif de mouvements de véhicules en environnement dynamique structuré
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français

tel-00005046v1 Thèse
Jérôme Gensel. Contraintes et représentation de connaissances par objets. Application au modèle TROPES
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995. Français

tel-00005050v1 Thèse
Alexis Lamouret. Animation par modèles générateurs : contrôle du mouvement
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995. Français

tel-00005057v1 Thèse
Bruno Orsier. Etude et application de systèmes hybrides neurosymboliques
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995. Français

tel-00005062v1 Thèse
Olivier Schmeltzer. Modélisation de cartes génomiques : une formalisation et un algorithme de construction fondé sur le raisonnement temporel
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995. Français

tel-00005064v1 HDR
François X. Sillion. Simulation efficace des échanges radiatifs dans des environnements complexes
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995

tel-00005065v1 Thèse
Nina Tayar. Gestion des versions pour la construction incrémentale et partagée de bases de connaissances
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1995. Français

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année

Contact