Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

65 Results
Deposit type : Fulltext
Image document

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

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

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

B. Heron , M. Sermange
RR-0108, INRIA. 1981
Reports inria-00076452v1
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
Reports inria-00076458v1
Image document

Factorisation des polynomes de Fq[X]

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

Task allocation between man and computer for an electronic appointement book

Alain Michard
RR-0085, INRIA. 1981
Reports inria-00076476v1
Image document

Contrôle ponctuel avec contraintes sur l'état

L.W. White
RR-0066, INRIA. 1981
Reports inria-00076495v1
Image document

Pertubation du domaine d'intégration pour une inéquation variationnelle elliptique

Alain Dervieux , Ch. Saguez
RR-0057, INRIA. 1981
Reports inria-00076504v1
Image document

Experimentation sur les modes d'ecriture du dessin

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

Couplage Mitra-Interdata

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

Manuel d'utilisation FLIP (User's manual)

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

On queues with impatient customers

François Baccelli , G. Hebuterne
[Research Report] RR-0094, INRIA. 1981
Reports 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
Reports inria-00076482v1
Image document

Quelques méthodes numériques en élastoplasticité

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

Optimisation de classifications hiérarchiques

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

Analyse syntaxique en environnement parallèle

François Baccelli , T. Fleury
[Rapport de recherche] RR-0049, INRIA. 1981
Reports inria-00076512v1
Image document

Representation mentale de la separation verticale au cours du diagnostic dans le controle aerien.III. Representation des etats futurs

M.T. Lafon-Milon
RT-0004, INRIA. 1981, pp.30
Reports inria-00070150v1
Image document

On the size of projections:I

E. Gelenbe , D. Gardy
RR-0105, INRIA. 1981
Reports inria-00076455v1
Image document

A two-stage feasible direction algorithm for non linearly constrained optimization

J. Herskovits
RR-0103, INRIA. 1981
Reports inria-00076457v1
Image document

An end to end approach to the resequencing problem

François Baccelli , E. Gelenbe , B. Plateau
RR-0097, INRIA. 1981
Reports inria-00076464v1
Image document

Computer-aided training for risky decision making

A. Bisseret , S. Redon , P. Falzon
RR-0095, INRIA. 1981
Reports inria-00076466v1
Image document

Un problème de thermoélasticité dans un milieu avec attaches élastiques

J.M. Viano Rey
RR-0090, INRIA. 1981
Reports inria-00076471v1
Image document

Traitement des questionnaires avec non réponse, analyse des correspondances avec marge modifiée et analyse multicanonique avec contrainte

Brigitte Escofier
[Rapport de recherche] RR-0082, INRIA. 1981
Reports inria-00076479v1
Image document

Sur les systèmes dynamiques linéaires implicites singuliers

Pierre Bernhard
[Research Report] RR-0069, INRIA. 1981, pp.37
Reports inria-00076492v1
Image document

Approximation d'ecoulements multifluides instationnaires

Alain Dervieux
RR-0068, INRIA. 1981
Reports inria-00076493v1
Image document

Sur l'approximation d'écoulements multifluides incompressibles visqueux par des éléments finis triangulaires de degré un

Alain Dervieux , F. Thomasset
RR-0067, INRIA. 1981
Reports inria-00076494v1
Image document

Un résultat de type "Bang-bang" pour un controle ponctuel

L.W. White
RR-0065, INRIA. 1981
Reports inria-00076496v1
Image document

Data base mappings-Part 2 : application

François Bancilhon , N. Spyratos
RR-0063, INRIA. 1981
Reports inria-00076498v1
Image document

Data base mappings-Part 1 : theory

François Bancilhon , N. Spyratos
RR-0062, INRIA. 1981
Reports inria-00076499v1
Image document

Approximation de solutions entropiques d'équations d'évolution semi-linéaires

Yann Brenier
[Rapport de recherche] RR-0060, INRIA. 1981
Reports inria-00076501v1
Image document

The average height of binary trees and other simple trees

Philippe Flajolet , Andrew M. Odlyzko
[Research Report] RR-0056, INRIA. 1981
Reports inria-00076505v1