Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

201 résultats
Type de dépôt : Document
Page :
triés par
Image document

Opérateur carré du champ, subordinateurs et processus de Dirichlet

 Nicolas Bouleau
Séminaire de Théorie du Potentiel, Feb 1983, France. pp.82-91
Communication dans un congrès hal-00451771v1
Image document

Lisibilite et comprehension des programmes informatiques:analyse du probleme dans un service informatique de l'EDF

 J.C. Sperandio , A. Drouin
RT-0026, INRIA. 1983, pp.23
Rapport inria-00070130v1
Image document

Commande non lineaire robuste des robots manipulateurs

 Claude Samson
[Rapport de recherche] RR-0182, INRIA. 1983
Rapport inria-00076376v1
Image document

Chorus:A communication and processing architecture for distributed systems

 H. Zimmermann , M. Guillemont , G. Morisset , J.S. Banino
RR-0328, INRIA. 1984
Rapport inria-00076229v1
Image document

Modélisation avec pivot pour une loi générale

 Jean Pellaumail
[Rapport de recherche] RR-0321, INRIA. 1984
Rapport inria-00076236v1
Image document

Systèmes de processus communicants et interprétation parallèle de langages fonctionnels

 Boubakar Gamatié
[Rapport de recherche] RR-0320, INRIA. 1984
Rapport inria-00076237v1
Image document

Le_Lisp,a portable and efficient Lisp system

 J. Chailloux , M. Devin , J.M. Hullot
RR-0319, INRIA. 1984
Rapport inria-00076238v1
Image document

Evaluation of parallel execution of program tree structures

 Philippe Mussi , Philippe Nain
RR-0318, INRIA. 1984
Rapport inria-00076239v1
Image document

Probabilistic counting algorithms for data base applications

 Philippe Flajolet , G. Nigel Martin
[Research Report] RR-0313, INRIA. 1984
Rapport inria-00076244v1
Image document

Simulations numeriques dans la fabrication des circuits a semiconducteurs (Process modelling)

 Americo Marrocco
[Rapport de recherche] RR-0305, INRIA. 1984
Rapport inria-00076252v1
Image document

Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire)

 Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro
[Rapport de recherche] RR-0283, INRIA. 1984
Rapport inria-00076275v1
Image document

Une approche à la validité des protocoles d'enchères par la méthode des tests de spécification

 Christine Ecault
[Rapport de recherche] RR-0279, INRIA. 1984
Rapport inria-00076279v1
Image document

Morse:A functional query language and its semantic data model

 M. Bouzeghoub
RR-0270, INRIA. 1984
Rapport inria-00076288v1
Image document

Improved upper bounds on shellsort

 Janet Incerpi , Robert Sedgewick
RR-0267, INRIA. 1984
Rapport inria-00076291v1
Image document

On the observational semantics of fair parallelism

 Philippe Darondeau , Laurent Kott
[Research Report] RR-0262, INRIA. 1983
Rapport inria-00076296v1
Image document

Equations de Chapman-Kolmogorov et flots stationnaires pour des processus markoviens

 Jean-Yves Le Boudec , Jean Pellaumail
[Rapport de recherche] RR-0260, INRIA. 1983
Rapport inria-00076298v1
Image document

Solution à forme produit d'un systeme linéaire

 Jean Pellaumail
[Rapport de recherche] RR-0259, INRIA. 1983
Rapport inria-00076299v1
Image document

Ordonnancement des pieces dans un systeme de traitement de surfaces

 D. Bolignano , Jean-Marie Proth , K. Voyiatzis
RR-0234, INRIA. 1983
Rapport inria-00076324v1
Image document

On the limiting form of the Kalmanbucy filter as measurement noise tends to zero (Part I,Finite Dimension)

 T. Hamatsuka
RR-0226, INRIA. 1983
Rapport inria-00076332v1
Image document

Généralisation de l'analyse des correspondances à la comparaison de tableaux de frequence

 Brigitte Escofier
[Rapport de recherche] RR-0207, INRIA. 1983
Rapport inria-00076351v1
Image document

Algebraic analogues to fundamental notions of query and dependency theory

 Serge Abiteboul
[Research Report] RR-0201, INRIA. 1983
Rapport inria-00076357v1
Image document

Le systeme LUCIFER d'aide a la conception de circuits integres

 J. Chailloux , J.M. Hullot , Jean-Jacques Levy , J. Vuillemin
RR-0196, INRIA. 1983
Rapport inria-00076362v1
Image document

A new method of computing global elastic moduli for composite materials

 D. Begis , A. Bestagno , G. Duvaut , A. Hassim , M. Nuc
RR-0195, INRIA. 1983
Rapport inria-00076363v1
Image document

Computational semantics of terms rewriting systems

 Gérard Boudol
[Research Report] RR-0192, INRIA. 1983, pp.98
Rapport inria-00076366v1
Image document

Theory and practice of sequential algorithms : the Kernel of the applicative Language CDS

 Gérard Berry , P.L. Curien
[Research Report] RR-0225, INRIA. 1983
Rapport inria-00076333v1
Image document

Indices d'association partielle entre variables "qualitatives" ordinales

 I.C. Lerman
Annales de l'ISUP, 1983, XXVIII (1-2), pp.7-46
Article dans une revue hal-03711568v1
Image document

Systeme informatique de commande du robot V 80

 V. Dupourque
RT-0035, INRIA. 1984, pp.93
Rapport inria-00070123v1
Image document

Etude preliminaire du travail de secretariat dans un service hospitalier specialise

 S. Sebillotte
RT-0030, INRIA. 1983, pp.40
Rapport inria-00070127v1
Image document

Le Lisp 80 version 12.Le manuel de reference

 J. Chailloux
RT-0027, INRIA. 1983, pp.189
Rapport inria-00070129v1
Image document

Association entre variables qualitatives ordinales "nettes" ou "floues

 Israël-César Lerman
[Rapport de recherche] RR-0204, INRIA. 1983
Rapport inria-00076354v1
Page :