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 ×
Mots-clés ×
Tous ×
53 résultats
enregistrer la recherche
Type de document
Rapport
(53)
Auteur
Gérard Boudol
(8)
Jean-Pierre Merlet
(7)
Jean-Luc Gouzé
(5)
Remi Abgrall
(4)
Loïc Pottier
(3)
Pierre Bernhard
(3)
Amy Felty
(2)
Bernard Larrouturou
(2)
Denis Talay
(2)
Gerard Giraudon
(2)
Jean-Antoine Desideri
(2)
Rachid Deriche
(2)
Yves Bertot
(2)
Alain Michard
(1)
Bernadette Palmerio
(1)
Frédéric Boussinot
(1)
Gérard Berry
(1)
Jean-Philippe Thirion
(1)
Joelle Despeyroux
(1)
Matthieu Devin
(1)
Monique Thonnat
(1)
Olivier Monga
(1)
Philippe Vignard
(1)
Robert De Simone
(1)
Thierry Despeyroux
(1)
Dale Miller
(1)
Discipline
Informatique [cs]
(53)
Structure
Inria Sophia Antipolis - Méditerranée
(51)
Inria Paris-Rocquencourt
(2)
Centre de Mathématiques Appliquées
(1)
Collection
INRIA
(53)
INRIA-RRRT
(53)
INRIA_TEST
(53)
LARA
(53)
INRIA-SOPHIA
(51)
INRIASO
(51)
LORIA2
(6)
CMA
(1)
CMA-THESE
(1)
ENSMP
(1)
ENSMP_CMA
(1)
INSTITUT-TELECOM
(1)
PARISTECH
(1)
PSL
(1)
UMR8623
(1)
Langue
anglais
(38)
français
(15)
Mot-clé
Non disponible sur le PDF
(52)
Type de dépôt
Document
(53)
Année
1993
(3)
1992
(5)
1991
(4)
1990
(14)
1989
(7)
1988
(3)
1987
(2)
1986
(2)
1985
(5)
1984
(4)
1983
(1)
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
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 53 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00074976
v1
Rapport
Remi Abgrall
.
Design of an essentially non-oscillatory reconstruction procedure on finite-element type meshes
[Research Report] RR-1584, INRIA. 1992, pp.45
inria-00075020
v1
Rapport
Yves Bertot
.
A Canonical calculus of residuals
[Research Report] RR-1542, INRIA. 1991, pp.12
inria-00074972
v1
Rapport
Frédéric Boussinot
.
Reseaux de processus reactifs
[Rapport de recherche] RR-1588, INRIA. 1992, pp.14
inria-00075052
v1
Rapport
Loïc Pottier
.
Sub-groups of Zn, standard basis, and linear diophantine systems
[Research Report] RR-1510, INRIA. 1991, pp.11
inria-00074753
v1
Rapport
Jean-Pierre Merlet
.
Manipulateurs paralleles, 6eme partie : determination des espaces de travail en orientation
[Rapport de recherche] RR-1921, INRIA. 1993, pp.36
inria-00074814
v1
Rapport
Remi Abgrall
.
A Genuinely multidimensional Riemann solver
[Research Report] RR-1859, INRIA. 1993, pp.20
inria-00075215
v1
Rapport
Jean-Philippe Thirion
.
Realistic 3D simulation of shapes and shadows for image processing
[Research Report] RR-1344, INRIA. 1990
inria-00075251
v1
Rapport
Jean-Luc Gouzé
.
Transformation of polynomial differential systems in the positive orthant
[Research Report] RR-1308, INRIA. 1990, pp.10
inria-00075121
v1
Rapport
Gerard Giraudon
,
Rachid Deriche
.
On corner and vertex detection
[Research Report] RR-1439, INRIA. 1991, pp.35
inria-00074798
v1
Rapport
Jean-Antoine Desideri
.
La Technique d'annihilation de modes propres et applications
[Rapport de recherche] RR-1875, INRIA. 1993, pp.50
inria-00075214
v1
Rapport
Jean-Luc Gouzé
.
Global behaviour of polynomial differential systems in the positive orthant
[Research Report] RR-1345, INRIA. 1990, pp.11
inria-00075246
v1
Rapport
Denis Talay
.
Simulation and numerical analysis of stochastic differential systems : a review
[Research Report] RR-1313, INRIA. 1990, pp.51
inria-00075267
v1
Rapport
Loïc Pottier
.
Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes
[Rapport de recherche] RR-1292, INRIA. 1990, pp.10
inria-00075370
v1
Rapport
Remi Abgrall
.
An extension of Roe's upwind scheme to algebraic equilibrium real gas models
[Research Report] RR-1189, INRIA. 1990, pp.26
inria-00075342
v1
Rapport
Olivier Monga
.
Support de cours pour le congres PIXIM 89. Version revisee. Segmentation d'images : ou en sommes nous ?
[Rapport de recherche] RR-1216, INRIA. 1990, pp.62
inria-00075424
v1
Rapport
Jean-Pierre Merlet
.
Manipulateurs paralleles, 4eme partie : mode d'assemblage et cinematique directe sous forme polynomiale
[Rapport de recherche] RR-1135, INRIA. 1990, pp.74
inria-00076366
v1
Rapport
Gérard Boudol
.
Computational semantics of terms rewriting systems
[Research Report] RR-0192, INRIA. 1983, pp.98
inria-00076939
v1
Rapport
Gérard Boudol
.
Asynchrony and the Pi-calculus
[Research Report] RR-1702, INRIA. 1992, pp.15
inria-00076492
v1
Rapport
Pierre Bernhard
.
Sur les systèmes dynamiques linéaires implicites singuliers
[Research Report] RR-0069, INRIA. 1981, pp.37
inria-00076906
v1
Rapport
Bernadette Palmerio
.
Mesh adaptation for compressible flows
[Research Report] RR-1683, INRIA. 1992, pp.19
inria-00077146
v1
Rapport
Jean-Pierre Merlet
.
Manipulateurs paralleles, 5eme partie : determination de l'espace de travail a orientation constante
[Rapport de recherche] RR-1645, INRIA. 1992, pp.79
inria-00075230
v1
Rapport
Jean-Luc Gouzé
.
An inequality involving nonnegative matrices and increasing functions
[Research Report] RR-1330, INRIA. 1990, pp.6
inria-00075229
v1
Rapport
Jean-Pierre Merlet
.
An algorithm for the forward kinematics of general 6 D.O.F. parallel manipulators
[Research Report] RR-1331, INRIA. 1990, pp.27
inria-00075239
v1
Rapport
Jean-Luc Gouzé
.
Global behaviour of n-dimensional Lotka-Volterra systems
[Research Report] RR-1321, INRIA. 1990, pp.11
inria-00075140
v1
Rapport
Rachid Deriche
,
Gerard Giraudon
.
Accurate corner detection : an analytical study
[Research Report] RR-1420, INRIA. 1991, pp.42
inria-00075258
v1
Rapport
Amy Felty
.
A logic program for transforming sequent proofs to natural deduction proofs
[Research Report] RR-1301, INRIA. 1990, pp.21
inria-00075327
v1
Rapport
Gérard Boudol
.
A lambda-calculus for parallel functions
[Research Report] RR-1231, INRIA. 1990, pp.48
inria-00075299
v1
Rapport
Amy Felty
,
Dale Miller
.
Encoding a dependent-type -calculus in a logic programming language
[Research Report] RR-1259, INRIA. 1990, pp.15
inria-00075572
v1
Rapport
Remi Abgrall
.
Preliminary results on an extension of Roe's approximate Riemann solver to nonequilibrium flows
[Research Report] RR-0987, INRIA. 1989, pp.39
inria-00075669
v1
Rapport
Gérard Boudol
.
Towards a lambda-calculus for concurrent and communicating systems
[Research Report] RR-0885, INRIA. 1988, pp.11
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 53 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.