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

Filtrer vos résultats

57 résultats
Page :
triés par
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

Polypeptide elongation and tRNA cycling in Escherichia coli: a dynamic approach

 Manolo Gouy , R. Grantham
FEBS Letters, 1980, 115, pp.151-155. ⟨10.1016/0014-5793(80)81155-0⟩
Article dans une revue hal-00697904v1
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
Image document

Sur l'implémentation des éléments finis de Hsieh-Clough-Tocher complet et réduit

 Michel Bernadou , Jean-Marie Boisserie , Kamal Hassan
[Rapport de recherche] RR-0004, INRIA. 1980
Rapport inria-00076557v1
Image document

Optimisation des antennes filaires

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

Génération et programmation automatiques des équations de Lagrange des robots et manipulateurs

 Alain Liégeois , Marie-José Aldon
[Rapport de recherche] RR-0032, INRIA. 1980
Rapport inria-00076529v1
Page :