Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Dépôt
Consulter
Les derniers dépôts
Par discipline
Par date de soutenance
Consultation par collections
Recherche
Documentation HAL
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Année ×
Tous ×
34 résultats
enregistrer la recherche
Type de document
Thèse
(31)
HDR
(3)
Auteur
Alexis Scheuer
(1)
Benjamin Jourdain
(1)
Daniel Hagimont
(1)
David Cachera
(1)
Denis Barthou
(1)
Eelco De Lange
(1)
Eric Cancès
(1)
Francois Chaumette
(1)
Frank Génot
(1)
François Séverin
(1)
Frédéric Alliot
(1)
Frédéric Chyzak
(1)
Georges Brun-Cottan
(1)
Gilbert Caplain
(1)
Gustavo Olague
(1)
Jérôme Blanc
(1)
Laurent Bonnaud
(1)
Luc Poittevin
(1)
Ludmila Mangelinck
(1)
Nicolas Tsingos
(1)
Radu Mateescu
(1)
Stéphane Bonhomme
(1)
Stéphane Christy
(1)
Stéphane Nullans
(1)
Sylvain Contassot-Vivier
(1)
Valérie-Anne Nicolas
(1)
Étienne Duris
(1)
Bart Lamiroy
(1)
Christine Morin
(1)
Cyril Soler
(1)
Daniel Meneveaux
(1)
Parmentier François
(1)
Jean-Frédéric Gerbeau
(1)
Patrick Gros
(1)
Domaine
Informatique [cs]
(29)
Mathématiques [math]
(11)
Sciences du Vivant [q-bio]
(1)
Sciences de l'ingénieur [physics]
(1)
domain_stic
(1)
Laboratoire
Inria Grenoble - Rhône-Alpes
(11)
Graphisme, Vision et Robotique
(8)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(6)
Institut de Recherche en Informatique et Systèmes Aléatoires
(5)
Inria Paris-Rocquencourt
(4)
Inria Rennes – Bretagne Atlantique
(3)
Inria Sophia Antipolis - Méditerranée
(3)
INRIA Rennes
(2)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(2)
Laboratoire de l'Informatique du Parallélisme
(2)
INRIA Lorraine
(1)
Inria Saclay - Ile de France
(1)
Laboratoire d'intelligence artificielle
(1)
Laboratoire de Recherche en Informatique
(1)
Parallélisme, Réseaux, Systèmes, Modélisation
(1)
VERIMAG
(1)
Langue
français
(33)
anglais
(1)
Type de dépôt
Document
(34)
Année
1998
(34)
2017
(56)
2016
(387)
2015
(401)
2014
(419)
2013
(411)
2012
(336)
2011
(347)
2010
(298)
2009
(229)
2008
(202)
2007
(188)
2006
(161)
2005
(132)
2004
(103)
2003
(79)
2002
(54)
2001
(30)
2000
(34)
1999
(34)
1997
(29)
1996
(23)
1995
(23)
1994
(9)
1993
(7)
1992
(6)
1991
(4)
1990
(2)
1989
(3)
1983
(1)
1982
(1)
1978
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 34 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00620486
v1
Thèse
Étienne Duris
.
Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle
Informatique [cs]. Université d'Orléans, 1998. Français
tel-00160422
v1
Thèse
Georges Brun-Cottan
.
Cohérence de données répliquées partagées par un groupe de processus coopérant à distance
Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 1998. Français
tel-00434053
v1
HDR
Christine Morin
.
Architectures et systèmes distribués tolérants aux fautes
Informatique [cs]. Université Rennes 1, 1998
tel-00005590
v2
Thèse
Eric Cancès
.
Simulation moléculaire et effets d'environnement. Une perspective mathématique et numérique
Mathématiques [math]. Ecole des Ponts ParisTech, 1998. Français.
<NNT : 1998ENPC9815>
tel-00277799
v1
Thèse
Denis Barthou
.
Array Dataflow Analysis in Presence of Non-affine Constraints
domain_stic. Université de Versailles-Saint Quentin en Yvelines, 1998. English
tel-01463087
v1
Thèse
Sylvain Contassot-Vivier
.
Calculs parallèles pour le traitement des images satellites
Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de Lyon, 1998. Français
tel-00832483
v1
Thèse
Stéphane Nullans
.
Reconstruction géométrique de formes - Application à la géologie
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1998. Français
tel-00832496
v1
Thèse
Eelco De Lange
.
Aide géométrique à l'aménagement de satellites
Géométrie algorithmique [cs.CG]. Ecole Nationale Supérieure des Mines de Paris, 1998. Français
tel-00991717
v1
Thèse
Frédéric Chyzak
.
Fonctions holonomes en calcul formel
Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français
tel-00607401
v1
Thèse
Valérie-Anne Nicolas
.
Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test
Génie logiciel [cs.SE]. Université Rennes 1, 1998. Français
tel-00070533
v1
Thèse
Laurent Bonnaud
.
Schémas de suivi d'objets vidéo dans une séquence animée : application à l'interpolation d'images intermédiaires.
Traitement du signal et de l'image. Université Rennes 1, 1998. Français
tel-00732959
v1
Thèse
Frank Génot
.
Contributions à la modélisation et à la commande des systèmes mécaniques de corps rigides avec contraintes unilatérales
Analyse numérique [cs.NA]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00528829
v1
Thèse
Nicolas Tsingos
.
Simulation de champs sonores de haute qualité pour des applications graphiques interactives
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1998. Français
tel-00391141
v1
Thèse
Ludmila Mangelinck
.
Représentation et classification de structures spatiales -- Application à la reconnaissance de paysages agricoles
Informatique [cs]. Université Henri Poincaré - Nancy I, 1998. Français
tel-00941692
v1
Thèse
Luc Poittevin
.
Un outil générique de conception et de révision coopérative de Bases de Connaissances s'appuyant sur la notion de situation
Apprentissage [cs.LG]. Université Paris Sud - Paris XI, 1998. Français
tel-00001746
v1
Thèse
Alexis Scheuer
.
Planification de chemins à courbure continue pour robot mobile non-holonome
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00003024
v1
Thèse
Parmentier François
.
Spécification d'une architecture émergente fondée sur le raisonnement par analogie. Application aux références bibliographiques
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 1998. Français
tel-00007237
v1
Thèse
Daniel Meneveaux
.
Simulation d'éclairage dans des environnements architecturaux complexes : approches séquentielle et parallèle
Interface homme-machine [cs.HC]. Université Rennes 1, 1998. Français
tel-00005589
v1
Thèse
Frédéric Alliot
.
Etude des équations stationnaires de Stokes et Navier-Stokes dans des domaines extérieurs
Mathématiques [math]. Ecole des Ponts ParisTech, 1998. Français
tel-00005591
v1
Thèse
Gilbert Caplain
.
Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée
Réseaux et télécommunications [cs.NI]. Ecole des Ponts ParisTech, 1998. Français
tel-00005593
v1
Thèse
Jean-Frédéric Gerbeau
.
Problèmes mathématiques et numériques posés par la modélisation de l'electrolyse de l'aluminium
Mathématiques [math]. Ecole des Ponts ParisTech, 1998. Français
tel-00005616
v1
Thèse
Benjamin Jourdain
.
Sur l'interprétation probabiliste de quelques équations aux dérivées partielles non linéaires
Modélisation et simulation. Ecole des Ponts ParisTech, 1998. Français
tel-00005621
v1
Thèse
François Séverin
.
Etude théorique et simulation numérique d'une décharge électrostatique dans le vide
Mathématiques [math]. Ecole Nationale des Ponts et Chaussées, 1998. Français
tel-00004870
v1
Thèse
Jérôme Blanc
.
Synthèse de nouvelles vues d'une scène 3D à partir d'images existantes
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00004905
v1
Thèse
Cyril Soler
.
Représentations hiérarchiques de la visibilité pour le contrôle de l'erreur en simulation de l'éclairage
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1998. Français
tel-00004885
v1
Thèse
Stéphane Christy
.
Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00004889
v1
Thèse
Patrick Gros
.
De l'appariement a l'indexation des images
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00004891
v1
HDR
Daniel Hagimont
.
Accès à l'information répartie : adressage et protection
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1998
tel-00004894
v1
Thèse
Bart Lamiroy
.
Reconnaissance et modélisation d'objets 3D à l'aide d'invariants projectifs et affines
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-00004896
v1
Thèse
Radu Mateescu
.
Vérification des propriétés temporelles des programmes parallèles
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 34 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.