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

Filtrer vos résultats

125 résultats
Page :
triés par
Image document

Completeness and the expressive power of next time temporal logical system by semantic tableau method

 O. Katai
RR-0109, INRIA. 1981
Rapport inria-00076451v1
Image document

Non convex methods for computing free boundary equilibria of axially symmetric plasmas

 B. Heron , M. Sermange
RR-0108, INRIA. 1981
Rapport inria-00076452v1
Image document

Factorisation des polynomes de Fq[X]

 Paul Camion
RR-0093, INRIA. 1981
Rapport inria-00076468v1
Image document

Task allocation between man and computer for an electronic appointement book

 Alain Michard
RR-0085, INRIA. 1981
Rapport inria-00076476v1
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

A Locally Adaptive Peano Scanning Algorithm

 Joël Quinqueton , Marc Berthod
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1981, 3 (4), pp.403-412
Article dans une revue hal-01377815v1

Codon catalog usage is a genome strategy modulated for gene expressivity

 R. Grantham , Christian Gautier , Manolo Gouy , M. Jacobzone , R. Mercier
Nucleic Acids Research, 1981, 9, pp.R43-R74. ⟨10.1093/nar/9.1.213-b⟩
Article dans une revue hal-00697917v1
Image document

Application d'une nouvelle classe de lagrangiens augmentés en contrôle optimal de systèmes distribués

 J. Frederic Bonnans
[Rapport de recherche] RR-0102, INRIA. 1981
Rapport inria-00076458v1
Image document

Experimentation sur les modes d'ecriture du dessin

 Jean-Marc Robert
RT-0008, INRIA. 1981, pp.81
Rapport inria-00070146v1
Image document

Couplage Mitra-Interdata

 J.P. Chieze , F. Eyries , S. Levy
RT-0006, INRIA. 1981, pp.15
Rapport inria-00070148v1
Image document

Manuel d'utilisation FLIP (User's manual)

 Gilles Kahn
RT-0002, INRIA. 1981, pp.11
Rapport inria-00070152v1
Image document

On queues with impatient customers

 François Baccelli , G. Hebuterne
[Research Report] RR-0094, INRIA. 1981
Rapport inria-00076467v1
Image document

Sur l'existence de solutions d'un problème d'évolution apparaissant en physique des semi-conducteurs

 E. Fernandez Cara
RR-0079, INRIA. 1981
Rapport inria-00076482v1
Image document

Quelques méthodes numériques en élastoplasticité

 A. Bermudez , J.M. Viano Rey
RR-0076, INRIA. 1981
Rapport inria-00076485v1
Image document

Optimisation de classifications hiérarchiques

 Henri Ralambondrainy , R. Chifflet
RR-0070, INRIA. 1981
Rapport inria-00076491v1
Image document

Analyse syntaxique en environnement parallèle

 François Baccelli , T. Fleury
[Rapport de recherche] RR-0049, INRIA. 1981
Rapport inria-00076512v1
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
Page :