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

Filtrer vos résultats

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

On the evaluation of the size of the answer of a relational query

 Patrick Richard
[Research Report] RR-0051, INRIA. 1980
Rapport inria-00076510v1
Image document

Étude de schémas numériques de l'élastodynamique linéaire

 A. Bamberger , Guy Chavent , P. Lailly
[Rapport de recherche] RR-0041, INRIA. 1980
Rapport inria-00076520v1
Image document

Optimisation de la gestion sur disque des bibliothèques de programmes

 J.Y. Babonneau , M. Carpentier , G. Morisset
[Rapport de recherche] RR-0036, INRIA. 1980
Rapport inria-00076525v1
Image document

Analysis and performance evaluation of some hyperchannel access protocols

 O. Spaniol
[Research Report] RR-0020, INRIA. 1980
Rapport inria-00076541v1
Image document

Sur l'application de quelques méthodes d'éléments finis à la résolution d'un problème d'élasticite incompressible non linéaire

 Vitoriano Ruas
[Rapport de recherche] RR-0024, INRIA. 1980
Rapport inria-00076537v1
Image document

A relation between homotopy and pivotal methods for linear complementarity problems

 F.J. Gould
[Research Report] RR-0007, INRIA. 1980
Rapport inria-00076554v1
Image document

A note on the knapsack problem with special ordered sets

 E.L. Johnson , M.W. Padberg
[Research Report] RR-0045, INRIA. 1980
Rapport inria-00076516v1
Image document

Perfect zero-one matrices

 M.W. Padberg
[Research Report] RR-0044, INRIA. 1980
Rapport inria-00076517v1
Image document

Antennes radiogoniométriques de faibles dimensions

 A. Meritet
[Rapport de recherche] RR-0048, INRIA. 1980
Rapport inria-00076513v1
Image document

On the strong maximum principle for some piecewise linear finite element approximative problems of non-positive type

 Vitoriano Ruas
[Research Report] RR-0043, INRIA. 1980
Rapport inria-00076518v1
Image document

Une équation non linéaire intervenant en solidification

 A. Bermudez , Ch. Saguez
[Rapport de recherche] RR-0034, INRIA. 1980
Rapport inria-00076527v1
Image document

A complete proof of correctness of the Knuth-Bendix completion algorithm

 Gérard Huet
[Research Report] RR-0025, INRIA. 1980
Rapport inria-00076536v1
Image document

Geometrically isolated/nonisolated solutions and their approximation

 H.B. Keller
[Research Report] RR-0022, INRIA. 1980
Rapport inria-00076539v1
Image document

Croisement de classifications floues

 I. C. Lerman
Annales de l'ISUP, 1979, XXIV (1-2), pp.13-46
Article dans une revue hal-04081223v1
Image document

On the definition of lambda-calculus models

 Gérard Berry
[Research Report] RR-0046, INRIA. 1980
Rapport inria-00076515v1
Image document

The virtual sub-channel protocol for satellite link communications

 Guy Pujolle , O. Spaniol
[Research Report] RR-0038, INRIA. 1980
Rapport inria-00076523v1
Image document

Calcul du buckling associé à une équation de transport de neutrons dans un milieu périodique

 Jean-François Bourgat , Rémi Sentis
[Rapport de recherche] RR-0035, INRIA. 1980
Rapport inria-00076526v1
Image document

Programming environments based on structured editors : the Mentor experience

 Véronique Donzeau-Gouge , Gérard Huet , Bernard Lang , Gilles Kahn
[Research Report] RR-0026, INRIA. 1980
Rapport inria-00076535v1
Image document

The vortex method with finite elements

 Claude Bardos , M. Bercovier , Olivier Pironneau
[Research Report] RR-0015, INRIA. 1980
Rapport inria-00076546v1
Image document

Area-time optimal VLSI networks based on the cube-connected-cycles

 Franco P. Preparata , J. Vuillemin
[Research Report] RR-0013, INRIA. 1980
Rapport inria-00076548v1
Image document

Allocation de ressources dans un systeme reparti

 B. Maillot , A. Tarabout , Irène Vatton
[Rapport de recherche] RR-0006, INRIA. 1980
Rapport inria-00076555v1
Image document

A pertubation study of a jet-like annular free boundary problem and an application to an optimal control problem

 Alain Dervieux
[Research Report] RR-0021, INRIA. 1980
Rapport inria-00076540v1
Image document

A pertubation study of the obstacle problem by means of a generalized implicit function theorem

 Alain Dervieux
[Research Report] RR-0016, INRIA. 1980
Rapport inria-00076545v1
Image document

Méthodes de discrimination non paramétrique asymptotiquement efficaces au sens de Bayes

 Gilles Celeux , Yves Lechevallier
[Rapport de recherche] RR-0052, INRIA. 1980
Rapport inria-00076509v1
Image document

Queueing algorithms with breakdowns in data bases modelling

 François Baccelli , T. Znati
[Research Report] RR-0050, INRIA. 1980
Rapport inria-00076511v1
Image document

On the computation of an arch dam by the thin shell theory and finite element method

 Michel Bernadou , Jean-Marie Boisserie
[Research Report] RR-0040, INRIA. 1980
Rapport inria-00076521v1
Image document

Méthodes numériques pour des problèmes elliptiques non linéaires apparaissant dans la théorie des tourbillons stationnaires d'un fluide idéal

 E. Fernandez Cara
[Rapport de recherche] RR-0039, INRIA. 1980
Rapport inria-00076522v1
Image document

Aera-time optimal VLSI circuits for convolution

 G. Baudet , Franco P. Preparata , J. Vuillemin
[Research Report] RR-0030, INRIA. 1980
Rapport inria-00076531v1
Image document

An existence theorem for a class of nonlinear shallow shell problems

 Michel Bernadou , J.T. Oden
[Research Report] RR-0017, INRIA. 1980
Rapport inria-00076544v1
Image document

Control and stabilization for the wave equation in an expanding domain

 Claude Bardos , G. Chen
[Research Report] RR-0012, INRIA. 1980
Rapport inria-00076549v1
Page :