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époser
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Sous-domaine niveau 1 ×
Structure/laboratoire : Nom ×
Tous ×
27 résultats
enregistrer la recherche
Type de document
Rapport
(27)
Auteur
Thierry Priol
(3)
Kadi Bouatouch
(2)
Serge Miranda
(2)
Alan Willsky
(1)
Anne Rougée
(1)
Bernard Levy
(1)
Bernard Philippe
(1)
Brigitte Escofier
(1)
Bruno Arnaldi
(1)
Christian Couepel
(1)
Christophe Mauras
(1)
Claude Bourasseau
(1)
Claude Comiti
(1)
Claude Jard
(1)
Colette Tanguy
(1)
Daniel Le Métayer
(1)
Didier Badouel
(1)
Etienne Memin
(1)
Fabrice Heitz
(1)
Gérard Guevel
(1)
Hervé Sanson
(1)
Huan-Yu Su
(1)
Jean-Christophe Paoletti
(1)
Jean-Pierre Banâtre
(1)
Jean-Pierre Courtiat
(1)
Jean-Pierre Verjus
(1)
Laurent Trilling
(1)
Lionel Marcé
(1)
Loïc Besnard
(1)
Marc Vieillot
(1)
Marie-Anne Roy
(1)
Mario Dragone
(1)
Michel Le Henaff
(1)
Michèle Courant
(1)
Miloud Sadkane
(1)
Mohamed Ouali Madani
(1)
Nenad Marovac
(1)
Pascal Fradet
(1)
Patrice Quinton
(1)
Patrick Saint-Dizier
(1)
Paul Le Guernic
(1)
Peter Van Der Heijden
(1)
Piotr Dembinski
(1)
René Quiniou
(1)
René Thoraval
(1)
Roland Groz
(1)
Régis Gras
(1)
Sanjay Rajopadhye
(1)
Sergui Jufresa
(1)
Thierry Gautier
(1)
Valérie Le Maire
(1)
Veronica Dahl
(1)
Yannick Saouter
(1)
Zakaria Lahjomri
(1)
Éric Secher
(1)
Annie Bessot
(1)
Dominique Lavenier
(1)
Michel Crouzeix
(1)
Discipline
Informatique [cs]
(27)
Structure
LA ou URA 227 - INRIA Rennes
(27)
Institut de Recherche en Informatique et Systèmes Aléatoires
(9)
INRIA Rennes
(8)
Centre Inter universitaire de Calcul de Bretagne
(3)
Centre national d'études des télécommunications
(1)
Department of Psychometrics and Research Methods - University of Leiden
(1)
Department of computer science [Burnaby]
(1)
Département de Mathématiques et Informatique - Université de Nantes
(1)
Equipe de Recherche pédagogique - Université de Grenoble I
(1)
Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
(1)
Laboratoire d'informatique - Université de Fribourg
(1)
Laboratory for Information and Decision Systems - Massachusetts Institute of Technology
(1)
Réseaux Hétérogènes Informatiques Normalisés
(1)
Collection
CNRS
(27)
INRIA
(27)
INRIA-RRRT
(27)
IRISA
(27)
IRISA_SET
(27)
LARA
(27)
UR1-MATH-STIC
(27)
UR1-UFR-ISTIC
(27)
UNIV-RENNES1
(12)
UR1-HAL
(12)
INSA-RENNES
(7)
INSA-TOULOUSE
(1)
LAAS
(1)
UGA
(1)
UNIV-GRENOBLE1
(1)
UNIV-NANTES
(1)
UNIV-TLSE3
(1)
Langue
français
(14)
anglais
(13)
Type de dépôt
Document
(27)
Année
1994
(1)
1992
(1)
1991
(1)
1990
(5)
1989
(1)
1988
(4)
1987
(5)
1986
(3)
1985
(1)
1983
(2)
1982
(1)
1981
(2)
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
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 27 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00075057
v1
Rapport
Didier Badouel
,
Kadi Bouatouch
,
Zakaria Lahjomri
,
Thierry Priol
.
KOAN : a versatile tool for parallelizing realistic rendering algorithms
[Research Report] RR-1505, INRIA. 1991
inria-00075354
v1
Rapport
Christophe Mauras
,
Patrice Quinton
,
Sanjay Rajopadhye
,
Yannick Saouter
.
Scheduling affine parameterized recurrences by means of variable dependent timing functions
[Research Report] RR-1204, INRIA. 1990
inria-00076460
v1
Rapport
Serge Miranda
.
Aspects of data security in general-purpose data base management systems
[Research Report] RR-0100, INRIA. 1981
inria-00076461
v1
Rapport
Serge Miranda
.
Formalization of DLP(a decentralized locking protocol) using abstract data types
[Research Report] RR-0099, INRIA. 1981
inria-00076326
v1
Rapport
Marie-Anne Roy
.
Etude comparative d'algorithmes pour l'amelioration de dessins au trait sur surfaces point par point
[Rapport de recherche] RR-0232, INRIA. 1983
inria-00076977
v1
Rapport
Fabrice Heitz
,
Etienne Memin
,
Thierry Priol
,
Sergui Jufresa
.
Parallélisation d'un algorithme de détection de mouvement sur une architecture MIMD
[Rapport de recherche] RR-1738, INRIA. 1992
inria-00075261
v1
Rapport
René Quiniou
,
Laurent Trilling
.
Les prédicats collectifs : un moyen d'expression du contrôle du parallèlisme OU en Prolog
[Rapport de recherche] RR-1298, INRIA. 1990
inria-00075300
v1
Rapport
Jean-Christophe Paoletti
,
Lionel Marcé
.
YALTA : un langage pour la teleoperation
[Rapport de recherche] RR-1258, INRIA. 1990
inria-00075206
v1
Rapport
Michel Crouzeix
,
Bernard Philippe
,
Miloud Sadkane
.
The Davidson method
[Research Report] RR-1353, INRIA. 1990
inria-00075618
v1
Rapport
Huan-Yu Su
.
Speaker-independent acoustic-phonetic recognition using adaptive vector quantization
[Research Report] RR-0940, INRIA. 1988
inria-00075600
v1
Rapport
Michel Le Henaff
,
Hervé Sanson
.
Trois implantations du récuperateur de mémoire de la machine MALI
[Rapport de recherche] RR-0959, INRIA. 1988
inria-00075654
v1
Rapport
Peter Van Der Heijden
,
Brigitte Escofier
.
Multiple corresponding analysis with missing data
[Research Report] RR-0902, INRIA. 1988
inria-00075791
v1
Rapport
Thierry Gautier
,
Paul Le Guernic
,
Loïc Besnard
.
SIGNAL : a declarative language for synchronous programming of real-time systems
[Research Report] RR-0761, INRIA. 1987
inria-00075942
v1
Rapport
Kadi Bouatouch
,
Mohamed Ouali Madani
,
Thierry Priol
,
Bruno Arnaldi
.
Un nouvel algorithme de subdivision spatiale adapte a la méthode du lancer de rayon et utilisant un modèle CSG. A new algorithm of space tracing using a CSG model.(en anglais)
[Rapport de recherche] RR-0612, INRIA. 1987
inria-00075975
v1
Rapport
Michèle Courant
,
Gérard Guevel
.
Validation d'une base de connaissances hybride avec objets et règles de production
[Rapport de recherche] RR-0579, INRIA. 1986
inria-00076448
v1
Rapport
Régis Gras
,
Annie Bessot
,
Claude Comiti
.
Analyse d'opinions d'instituteurs à l'égard de l'appropriation des nombres naturels par les élèves de cycle préparatoire
[Rapport de recherche] RR-0112, INRIA. 1982
inria-00071327
v1
Rapport
Christian Couepel
,
Colette Tanguy
.
EVA environnement videotex d'applications. Le logiciel de composition de formats
[Rapport de recherche] RT-0080, INRIA. 1987
inria-00071339
v1
Rapport
Éric Secher
.
Conception et réalisation d'un logiciel de saisie et de restitution de cartes élémentaires
[Rapport de recherche] RT-0028, INRIA. 1983
inria-00071321
v1
Rapport
Nenad Marovac
.
Document description language INTERPRESS
[Research Report] RT-0120, INRIA. 1990
inria-00071330
v1
Rapport
Claude Bourasseau
,
Mario Dragone
.
EVA environnement videotex d'applications.L'interface de présentation formatée
[Rapport de recherche] RT-0079, INRIA. 1987
inria-00076142
v1
Rapport
Jean-Pierre Verjus
,
René Thoraval
.
Dérivation d'algorithmes distribués d'arbitrage
[Rapport de recherche] RR-0414, INRIA. 1985
inria-00075959
v1
Rapport
Jean-Pierre Courtiat
,
Piotr Dembinski
,
Roland Groz
,
Claude Jard
.
ESTELLE:un langage ISO pour les algorithmes distribués et les protocoles
[Rapport de recherche] RR-0595, INRIA. 1986
inria-00075699
v1
Rapport
Valérie Le Maire
.
Optimisation d'un arbre de decision par un algorithme de recuit simule ; application a la reconnaissance des voyelles et semi-voyelles
[Rapport de recherche] RR-0854, INRIA. 1988
inria-00075518
v1
Rapport
Pascal Fradet
,
Daniel Le Métayer
.
Compilation of functional languages by program transformation
[Research Report] RR-1040, INRIA. 1989
inria-00075981
v1
Rapport
Veronica Dahl
,
Patrick Saint-Dizier
.
Constrained discontinuous grammars. A linguistically motivated tool for processing language
[Research Report] RR-0573, INRIA. 1986
inria-00075856
v1
Rapport
Anne Rougée
,
Bernard Levy
,
Alan Willsky
.
An estimation-based approach to the reconstruction of optical flow
[Research Report] RR-0697, INRIA. 1987
inria-00074430
v1
Rapport
Jean-Pierre Banâtre
,
Dominique Lavenier
,
Marc Vieillot
.
From high level programming model to FPGA machines
[Research Report] RR-2240, INRIA. 1994
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 27 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.