Recherche - TEL - Thèses en ligne

Filtrer vos résultats

1 030 résultats
Structure : Identifiant HAL de la structure : 10298
Image document

Le Projet MACSI - 1

Alfred de Chelminski
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1975. Français. ⟨NNT : ⟩
Thèse tel-00286229v1
Image document

Quelques problèmes lies a l'analyse d'images numériques obtenues par un système automatique de microphotometrie a balayage

Jean-Marc Chassery
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1976. Français. ⟨NNT : ⟩
Thèse tel-00287123v1
Image document

Etude de quelques invariants et problèmes d'existence en théorie des graphes

François Jaeger
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1976
HDR tel-00287200v1
Image document

Analyse du français comme langage de commande dans un système de construction graphique

Bruno de La Fayolle
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1976. Français. ⟨NNT : ⟩
Thèse tel-00287141v1
Image document

Un essai de réponse à quelques questions théoriques et pratiques liées à la traduction automatique : définition d'un système prototype

Christian Boitet
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1976
HDR tel-00287090v1
Image document

Etude d'un système informatique au service de l'artiste pour la réalisation de films à partir de croquis

Marie-Josèphe Lesty
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1977. Français. ⟨NNT : ⟩
Thèse tel-00287604v1
Image document

Définition et utilisation des S-L graphes en démonstration automatique

Henri Saya
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1975. Français. ⟨NNT : ⟩
Thèse tel-00286254v1
Image document

Complexité de l'évaluation de plusieurs formes bilinéaires et des principaux calculs matriciels

Jean-Claude Lafon
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1976
HDR tel-00287014v1
Image document

Procédés de régularisation de problèmes d'optimisation et de mini-max

Isak Behar
Modélisation et simulation. Université Joseph-Fourier - Grenoble I; Institut National Polytechnique de Grenoble - INPG, 1974. Français. ⟨NNT : ⟩
Thèse tel-00284734v1
Image document

Isomorphisme, immersion et recouvrement de graphes

Claudine Turcat
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1974. Français. ⟨NNT : ⟩
Thèse tel-00284712v1
Image document

Elaboration automatique d'emplois du temps

Jean-François Desnos
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1971. Français. ⟨NNT : ⟩
Thèse tel-00282807v1
Image document

Un exemple d'utilisation du calcul formel sur ordinateur‎ : méthode générale de localisation des racines d'une équation algébrique à coefficients complexes

Evelyne Tournier
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1971. Français. ⟨NNT : ⟩
Thèse tel-00282851v1
Image document

Quelques programmes graphiques d'analyse numérique

Marc Petit
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1971. Français. ⟨NNT : ⟩
Thèse tel-00282860v1
Image document

Synthèses booléennes dans les réseaux cellulaires

Jean-Antoine Montagnon
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1971. Français. ⟨NNT : ⟩
Thèse tel-00282891v1
Image document

Langages analysables de gauche à droite, construction d'un analyseur pour langages LR (1)

Jacques Courtin
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1968. Français. ⟨NNT : ⟩
Thèse tel-00281024v1
Image document

Contribution des structures algébriques ordonnées à la théorie des réseaux

Claude Benzaken
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1968
HDR tel-00281034v1
Image document

Notion de liberté en statistique mathématique

Jean-Louis Soler
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩
Thèse tel-00282247v1
Image document

Modèles et algorithmes pour la traduction automatique

Gérard Veillon
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970
HDR tel-00282322v1
Image document

Étude de quelques méthodes de calcul du polynôme caractéristique et des valeurs propres

Jean-Louis Guyot
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969. Français. ⟨NNT : ⟩
Thèse tel-00281660v1
Image document

Algorithmes de traduction automatique du japonais en français

Akifumi Makinouchi
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩
Thèse tel-00282254v1
Image document

Système couplé PDP-8/IBM-360 pour l'assemblage et la transmission de programmes

Peter Jones
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩
Thèse tel-00282304v1
Image document

Méthode d'estimation à posteriori d'erreurs

Yves Ducrocq
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1968. Français. ⟨NNT : ⟩
Thèse tel-00281032v1
Image document

Etude des décompositions d'un réseau

Michel Chein
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1967. Français. ⟨NNT : ⟩
Thèse tel-00280704v1
Image document

Conception et réalisation d'un logiciel graphique de base indépendant de son contexte : application au logiciel GRIGRI

André Leduc-Leballeur
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1977. Français. ⟨NNT : ⟩
Thèse tel-00287710v1
Image document

Sur les l-classes d'idéaux dans les extensions cycliques relatives de degré premier l

Georges Gras
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1972
HDR tel-00284188v1
Image document

Théorie des écoulements dans les réseaux

Françoise Reynaud Garoche
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1973. Français. ⟨NNT : ⟩
Thèse tel-00284266v1
Image document

Choix multicritère et analyse algébrique de données ordinales

Gert Köhler
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1978. Français. ⟨NNT : ⟩
Thèse tel-00287817v1
Image document

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles

Nicolas Balacheff
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1978. Français. ⟨NNT : ⟩
Thèse tel-00287846v1
Image document

Architecture pour l'implantation hautes performances des protocoles de communication de niveau transport

Christophe Diot
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1991. Français. ⟨NNT : ⟩
Thèse tel-00339134v1
Image document

Systèmes experts à base de connaissances profondes : application à un poste de travail intelligent pour le comptable

Michel Page
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1990. Français. ⟨NNT : ⟩
Thèse tel-00338750v1