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

Filtrer vos résultats

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

Multi-scale autoregressive processes

 Michèle Basseville , Albert Benveniste , Alan S. Willsky
[Research Report] RR-1206, INRIA. 1990
Rapport inria-00075352v1
Image document

On the transition graphs of automata and grammars

 Didier Caucal , Roland Monfort
[Research Report] RR-1318, INRIA. 1990
Rapport inria-00075241v1
Image document

Global behaviour of polynomial differential systems in the positive orthant

 Jean-Luc Gouzé
[Research Report] RR-1345, INRIA. 1990, pp.11
Rapport inria-00075214v1
Image document

Structures et modèles de documents

 Jacques André , Vincent Quint
Christian Bornes. Le document électronique, INRIA, pp.57, 1990, 2-7261-0619-6
Chapitre d'ouvrage inria-00181164v1
Image document

A relationship between stabilized finite element methods and the Galerkin method with bubble functions

 F. Brezzi , Marie-Odile Bristeau , L.P. Franca , Michel Mallet , G. Roge
[Research Report] RR-1428, INRIA. 1991
Rapport inria-00075132v1
Image document

X-tra as a toolbox for truth maintenance

 François Charpillet , Pierre Marquis , Jean-Paul Haton
[Research Report] RR-1456, INRIA. 1991, pp.9
Rapport inria-00075105v1
Image document

Transformation of polynomial differential systems in the positive orthant

 Jean-Luc Gouzé
[Research Report] RR-1308, INRIA. 1990, pp.10
Rapport inria-00075251v1
Image document

Computing the Union of 3-Colored Triangles

 Jean-Daniel Boissonnat , Olivier Devillers , Franco P. Preparata
International Journal of Computational Geometry and Applications, 1991, 1 (2), pp.187-196. ⟨10.1142/S021819599100013X⟩
Article dans une revue inria-00167176v1
Image document

On the information contained in the motion field pf lines and the cooperation between motion and stereo

 Olivier Faugeras , Nassir Navab , Rachid Deriche
[Research Report] RR-1453, INRIA. 1991
Rapport inria-00075108v1
Image document

Réseaux systoliques spécifiques à base du processeur API15C

 Patrice Frison , Eric Gautrin , Dominique Lavenier , Jean-Luc Scharbarg
[Rapport de recherche] RR-1227, INRIA. 1990
Rapport inria-00075331v1
Image document

Shortest path of bounded curvature in the plane

 Jean-Daniel Boissonnat , André Cerezo , Juliette Leblond
[Research Report] RR-1503, INRIA. 1991
Rapport inria-00075059v1
Image document

Broadcasting and NP-completeness

 Jean-Claude Bermond , Pierre Fraigniaud
Proceedings Graph Theory Day 22, Nov 1991, New-York, United States. pp.8-14
Communication dans un congrès hal-03210114v1
Image document

Functional evaluation of natural semantics specifications

 Isabelle Attali , Jacques Chazarain
[Research Report] RR-1218, INRIA. 1990
Rapport inria-00075340v1
Image document

Efficient code generation for distributed memory machines

 Françoise André , Olivier Chéron , Jean-Louis Pazat , Henry Thomas
[Research Report] RR-1522, INRIA. 1991
Rapport inria-00075040v1
Image document

Méthodes d'analyse hiérarchique des réseaux de Petri

 Ghassan Chehaibar
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1991. Français. ⟨NNT : ⟩
Thèse tel-00519683v1
Image document

Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre.

 Christine Morin
Informatique [cs]. Université Rennes 1, 1990. Français. ⟨NNT : ⟩
Thèse tel-00432204v1
Image document

Controllability properties for elliptic systems, the fictitious domain method ans optimal shape design problems

 Dan Tiba
[Research Report] RR-1500, INRIA. 1991
Rapport inria-00075062v1
Image document

Programmation d'un noyau UNIX en GAMMA

 Pascale Le Certen , Hector Ruiz Barradas
[Rapport de recherche] RR-1489, INRIA. 1991
Rapport inria-00075073v1
Image document

On the unity of logic

 Jean-Yves Girard
[Research Report] RR-1467, INRIA. 1991
Rapport inria-00075095v1
Image document

More than exponential tail distribution in LAPALICE queues

 Philippe Jacquet
[Research Report] RR-1465, INRIA. 1991
Rapport inria-00075096v1
Image document

A geometric alternative to computed tomography

 Jean-Philippe Thirion
[Research Report] RR-1463, INRIA. 1991, pp.34
Rapport inria-00075098v1
Image document

Bounded-memory algorithms for verification on-the-fly

 Claude Jard , Thierry Jéron
[Research Report] RR-1462, INRIA. 1991
Rapport inria-00075100v1
Image document

Graphes d'événements stochastiques : temps de cycle moyen et marquage

 Nathalie Sauer
[Rapport de recherche] RR-1450, INRIA. 1991, pp.12
Rapport inria-00075110v1
Image document

Programming real time applications with SIGNAL

 Paul Le Guernic , Michel Le Borgne , Thierry Gautier , Claude Le Maire
[Research Report] RR-1446, INRIA. 1991
Rapport inria-00075114v1
Image document

A New constructive logic : classical logic

 Jean-Yves Girard
[Research Report] RR-1443, INRIA. 1991
Rapport inria-00075117v1
Image document

Agencement des systèmes de fabrication cellulaires

 Jean-Marie Proth , Abdelghani Souilah
[Rapport de recherche] RR-1442, INRIA. 1991, pp.47
Rapport inria-00075118v1
Image document

Flambement lineaire d'une coque mince elastique de forme generale

 Michel Bernadou , Bernard Lalanne
[Rapport de recherche] RR-1435, INRIA. 1991
Rapport inria-00075125v1
Image document

Calculs des poles de resonnance associes a la diffraction d'ondes acoustiques et elastiques par un obstacle en dimension 2

 Olivier Poisson , Patrick Joly
[Rapport de recherche] RR-1430, INRIA. 1991
Rapport inria-00075130v1
Image document

Elimination of redundancy from functions defined by schemes

 Didier Caucal
[Research Report] RR-1429, INRIA. 1991
Rapport inria-00075131v1
Image document

La pertinence des modeles et des formalismes de description des interfaces pour l'evaluation ergonomique

 Frédéric Aschehoug
[Rapport de recherche] RR-1416, INRIA. 1991
Rapport inria-00075144v1
Page :