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 ×
103 résultats
enregistrer la recherche
Type de document
Thèse
(97)
HDR
(6)
Auteur
Anjali Awasthi
(1)
Anthony Remazeilles
(1)
Arnaud Contes
(1)
Ayman El-Sayed
(1)
Aïcha El Golli
(1)
Bernard Genevès
(1)
Caroline Lacoste
(1)
Charles Tison
(1)
Christian Brunette
(1)
Christophe Blondel
(1)
Claude Chaudet
(1)
Corine Marchand
(1)
Cyril Guilloud
(1)
Cédric Bach
(1)
Cédric Pradalier
(1)
Cédric Tavernier
(1)
David Cohen-Steiner
(1)
David Teller
(1)
Elena Leroux (zinovieva)
(1)
Elise Arnaud
(1)
Emmanuel Audusse
(1)
Emmanuel Prados
(1)
Emmanuel Reuter
(1)
Erwan Brugallé
(1)
Fabrice Peix
(1)
Fatma Louati
(1)
Frank Perbet
(1)
Frédéric Boudon
(1)
Frédéric Boyer
(1)
Frédéric Chavanon
(1)
Frédéric Mazoit
(1)
Gilles Scarella
(1)
Guillaume Flandin
(1)
Hacène Cherfi
(1)
Hamoudi Kalla
(1)
Harold Ollivier
(1)
Isabelle Champagne
(1)
Ivan Nourdin
(1)
Jean Combaz
(1)
Jean-François Aujol
(1)
Jean-Matthieu Bourgeot
(1)
Jerónimo Rodríguez
(1)
Katell Morin-Allory
(1)
Kengy Barty
(1)
Kenneth Sundaraj
(1)
Laurentiu Barza
(1)
Liliana Cucu
(1)
Ludovic Mailleret
(1)
Marianne Durand
(1)
Marie-Hélène Verrons
(1)
Marta Wilczkowiak
(1)
Mathias Ortner
(1)
Mathilde Lahaye-Hitier
(1)
Mauricio Pillon
(1)
Miguel Martinez
(1)
Mikaël Rousson
(1)
Najoua Bouaka
(1)
Nicolas Anciaux
(1)
Pars Mutaf
(1)
Pascal Gallard
(1)
Pascal Zimmer
(1)
Philippe Gaillard
(1)
Pierre Ailliot
(1)
Pierre-François Dutot
(1)
Pierre-Yves Bondiau
(1)
Rabea Boulifa
(1)
Raphaël Grasset
(1)
Raphaël Troncy
(1)
Rémi Revire
(1)
Samir Nefti
(1)
Samuel Lelièvre
(1)
Sandrine-Dominique Gouraud
(1)
Sid-Ahmed Berrani
(1)
Stephane Nicolau
(1)
Steven Martin
(1)
Sylvain Paris
(1)
Sébastien Tordeux
(1)
Thierry Jecko
(1)
Tony Lelievre
(1)
Valérie Lemesle
(1)
Van-Thinh Vu
(1)
Vincent Le Prince
(1)
Vincent Martin
(1)
Víctor Manuel Ramos Ramos
(1)
Abdoulaye Gamatié
(1)
Alexis Paljic
(1)
Benoîte De Saporta
(1)
Didier Le Botlan
(1)
Éric Marchand
(1)
Fabien Campillo
(1)
Fabien Mathieu
(1)
Gabriel Turinici
(1)
Jean-François Lalande
(1)
Laurent Dupont
(1)
Michel Mehrenberger
(1)
Giorgi Pascal
(1)
Pierre Letouzey
(1)
Reynald Lercier
(1)
Samy Abbes
(1)
Tayeb Lemlouma
(1)
Vincent Danjean
(1)
Xavier Descombes
(1)
Caroline Larboulette
(1)
Domaine
Informatique [cs]
(75)
Mathématiques [math]
(26)
Sciences de l'ingénieur [physics]
(8)
Physique [physics]
(1)
Sciences de l'environnement
(1)
Planète et Univers [physics]
(1)
Sciences du Vivant [q-bio]
(1)
Sciences de l'Homme et Société
(1)
domain_stic
(1)
Laboratoire
Inria Sophia Antipolis - Méditerranée
(33)
Inria Grenoble - Rhône-Alpes
(21)
Inria Paris-Rocquencourt
(17)
Institut de Recherche en Informatique et Systèmes Aléatoires
(10)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(10)
Inria Rennes – Bretagne Atlantique
(9)
Institut de Recherche Mathématique de Rennes
(9)
Graphisme, Vision et Robotique
(8)
Laboratoire de l'Informatique du Parallélisme
(6)
INRIA Lorraine
(5)
Informatique et Distribution
(5)
INRIA Rocquencourt
(4)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(3)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(3)
Département d'informatique de l'École normale supérieure
(2)
INRIA Rennes
(2)
Inria Saclay - Ile de France
(2)
Laboratoire d'Informatique de Grenoble
(2)
Laboratoire d'océanographie de Villefranche
(2)
Laboratoire de Recherche en Informatique
(2)
CEntre de REcherches en MAthématiques de la DEcision
(1)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Inria Nancy - Grand Est
(1)
Institut de Recherche Contre les Cancers de l'Appareil Digestif-European Institute of Telesurgery
(1)
Institut de Recherche Mathématique Avancée
(1)
Institut Élie Cartan de Lorraine
(1)
Institut Élie Cartan de Nancy
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire Jean Alexandre Dieudonné
(1)
Laboratoire Logiciels Systèmes Réseaux
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Laboratoire de Biométrie et Biologie Evolutive
(1)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(1)
Parallélisme, Réseaux, Systèmes, Modélisation
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Unité de Mathématiques Appliquées
(1)
Langue
français
(90)
anglais
(13)
Type de dépôt
Document
(103)
Année
2004
(103)
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)
2003
(79)
2002
(54)
2001
(30)
2000
(34)
1999
(34)
1998
(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
3
4
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 103 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00011152
v1
Thèse
Pascal Gallard
.
Conception d'un service de communication pour systèmes d'exploitation distribués pour grappes de calculateurs: mise en oeuvre dans le système à image unique Kerrighed
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français
tel-00150912
v1
Thèse
Pierre Letouzey
.
Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
tel-00405485
v1
Thèse
Ayman El-Sayed
.
Application-Level Multicast Transmission Techniques Over The Internet
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble, 2004. English
tel-00327560
v1
Thèse
Mikaël Rousson
.
Cue Integration and Front Evolution in Image Segmentation
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English
tel-00327972
v1
Thèse
Pierre-Yves Bondiau
.
Mise en œuvre et évaluation d'outils de fusion d'image en radiothérapie
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français
tel-00327919
v1
Thèse
Van-Thinh Vu
.
Scénarios temporels pour l'interprétation automatique de séquences vidéos
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français
tel-00327441
v1
Thèse
Christian Brunette
.
Construction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
tel-00122091
v1
Thèse
Samir Nefti
.
Segmentation automatique de parole en phones. Correction d'étiquetage par l'introduction de mesures de confiance
Interface homme-machine [cs.HC]. Université Rennes 1, 2004. Français
tel-00309085
v1
Thèse
Nicolas Anciaux
.
Systèmes de gestion de base de données embarqués dans une puce électronique (Database Systems on Chip)
Informatique [cs]. Université de Versailles-Saint Quentin en Yvelines, 2004. Français
tel-00008413
v2
Thèse
Hamoudi Kalla
.
Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
tel-00011516
v1
Thèse
Pierre-François Dutot
.
Algorithmes d'ordonnancement pour les nouveaux supports d'exécution
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
tel-00011522
v1
Thèse
Katell Morin-Allory
.
Vérification Formelle dans le Modèle Polyédrique
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français
tel-00311798
v1
Thèse
Víctor Manuel Ramos Ramos
.
Robust and reliable multimedia transmission over the Internet
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English
tel-00311830
v1
Thèse
Laurentiu Barza
.
An SSM-based communication architecture for large-scale virtual environments
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English
tel-00178900
v1
Thèse
Aïcha El Golli
.
Extraction de données symboliques et cartes topologiques: application aux données ayant une structure complexe
Interface homme-machine [cs.HC]. Université Paris Dauphine - Paris IX, 2004. Français
tel-00528651
v1
Thèse
Caroline Larboulette
.
Traitement temps-réel des déformations de la peau et des tissus sous-cutanés pour l'animation de personnages
Modélisation et simulation. INSA de Rennes, 2004. Français
tel-00528630
v1
Thèse
Frank Perbet
.
Modélisation multi-échelle procédurale de scènes animées
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
tel-00832502
v1
Thèse
David Cohen-Steiner
.
Topics in Surface Discretization
Computational Geometry [cs.CG]. Ecole Polytechnique X, 2004. English
tel-00633520
v1
Thèse
Guillaume Flandin
.
Utilisation d'informations géométriques pour l'analyse statistique des données d'IRM fonctionnelle
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français.
<NNT : 2004NICE4019>
pastel-00000810
v1
Thèse
Marianne Durand
.
Combinatoire analytique et algorithmique des ensembles de données.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
pastel-00001131
v1
Thèse
Harold Ollivier
.
Eléments de théorie de l'information quantique, décohérence et codes correcteurs quantiques.
Algorithme et structure de données [cs.DS]. Ecole Polytechnique X, 2004. Français
pastel-00000711
v1
Thèse
Cédric Tavernier
.
Testeurs, problemes de reconstruction univaries et multivaries, et application a la cryptanalyse du DES.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
pastel-00000920
v1
Thèse
Isabelle Champagne
.
Méthodes de factorisation des équations aux dérivées partielles.
Equations aux dérivées partielles [math.AP]. Ecole Polytechnique X, 2004. Français
tel-00011191
v1
Thèse
Sandrine-Dominique Gouraud
.
Utilisation des Structures Combinatoires pour le Test Statistique
Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 2004. Français
tel-00879359
v2
Thèse
Abdoulaye Gamatié
.
Modélisation polychrone et évaluation de systèmes temps réel
Systèmes embarqués. Université Rennes 1, 2004. Français
tel-00011195
v1
Thèse
Hacène Cherfi
.
Etude et réalisation d'un système d'extraction de connaissances à partir de textes
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2004. Français
tel-00552120
v1
Thèse
Frédéric Boudon
.
Représentation géométrique multi-échelles de l'architecture des plantes
Modélisation et simulation. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français
tel-00011239
v1
Thèse
David Teller
.
Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON; Université Claude Bernard - Lyon I, 2004. Français
tel-00667563
v1
Thèse
Fabien Mathieu
.
Graphes du Web, Mesures d'importance à la PageRank
Web. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français
tel-00307896
v1
Thèse
Elise Arnaud
.
Methodes de filtrage pour du suivi dans des sequences d'images - Application au suivi de points caracteristiques
Traitement du signal et de l'image. Université Rennes 1, 2004. Français
1
2
3
4
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 103 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.