|
|
Completeness and the expressive power of next time temporal logical system by semantic tableau method
O. Katai
RR-0109, INRIA. 1981
Reports
inria-00076451v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Non convex methods for computing free boundary equilibria of axially symmetric plasmas
B. Heron
,
M. Sermange
RR-0108, INRIA. 1981
Reports
inria-00076452v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Factorisation des polynomes de Fq[X]
Paul Camion
RR-0093, INRIA. 1981
Reports
inria-00076468v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Task allocation between man and computer for an electronic appointement book
Alain Michard
RR-0085, INRIA. 1981
Reports
inria-00076476v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Contrôle ponctuel avec contraintes sur l'état
L.W. White
RR-0066, INRIA. 1981
Reports
inria-00076495v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Pertubation du domaine d'intégration pour une inéquation variationnelle elliptique
Alain Dervieux
,
Ch. Saguez
RR-0057, INRIA. 1981
Reports
inria-00076504v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Experimentation sur les modes d'ecriture du dessin
Jean-Marc Robert
RT-0008, INRIA. 1981, pp.81
Reports
inria-00070146v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Couplage Mitra-Interdata
J.P. Chieze
,
F. Eyries
,
S. Levy
RT-0006, INRIA. 1981, pp.15
Reports
inria-00070148v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Manuel d'utilisation FLIP (User's manual)
Gilles Kahn
RT-0002, INRIA. 1981, pp.11
Reports
inria-00070152v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On queues with impatient customers
François Baccelli
,
G. Hebuterne
[Research Report] RR-0094, INRIA. 1981
Reports
inria-00076467v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Quelques méthodes numériques en élastoplasticité
A. Bermudez
,
J.M. Viano Rey
RR-0076, INRIA. 1981
Reports
inria-00076485v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Optimisation de classifications hiérarchiques
Henri Ralambondrainy
,
R. Chifflet
RR-0070, INRIA. 1981
Reports
inria-00076491v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Analyse syntaxique en environnement parallèle
François Baccelli
,
T. Fleury
[Rapport de recherche] RR-0049, INRIA. 1981
Reports
inria-00076512v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the size of projections:I
E. Gelenbe
,
D. Gardy
RR-0105, INRIA. 1981
Reports
inria-00076455v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A two-stage feasible direction algorithm for non linearly constrained optimization
J. Herskovits
RR-0103, INRIA. 1981
Reports
inria-00076457v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An end to end approach to the resequencing problem
François Baccelli
,
E. Gelenbe
,
B. Plateau
RR-0097, INRIA. 1981
Reports
inria-00076464v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computer-aided training for risky decision making
A. Bisseret
,
S. Redon
,
P. Falzon
RR-0095, INRIA. 1981
Reports
inria-00076466v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Un problème de thermoélasticité dans un milieu avec attaches élastiques
J.M. Viano Rey
RR-0090, INRIA. 1981
Reports
inria-00076471v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Sur les systèmes dynamiques linéaires implicites singuliers
Pierre Bernhard
[Research Report] RR-0069, INRIA. 1981, pp.37
Reports
inria-00076492v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Approximation d'ecoulements multifluides instationnaires
Alain Dervieux
RR-0068, INRIA. 1981
Reports
inria-00076493v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Un résultat de type "Bang-bang" pour un controle ponctuel
L.W. White
RR-0065, INRIA. 1981
Reports
inria-00076496v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data base mappings-Part 2 : application
François Bancilhon
,
N. Spyratos
RR-0063, INRIA. 1981
Reports
inria-00076498v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data base mappings-Part 1 : theory
François Bancilhon
,
N. Spyratos
RR-0062, INRIA. 1981
Reports
inria-00076499v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Approximation de solutions entropiques d'équations d'évolution semi-linéaires
Yann Brenier
[Rapport de recherche] RR-0060, INRIA. 1981
Reports
inria-00076501v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The average height of binary trees and other simple trees
Philippe Flajolet
,
Andrew M. Odlyzko
[Research Report] RR-0056, INRIA. 1981
Reports
inria-00076505v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|