|
|
Distributed primality proving and the primality of (2 +1)/3
F. Morain
RR-1152, INRIA. 1989
Reports
inria-00075407v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Pontryagin's principle in the control of semilinear elliptic variational inequalities
J. Frederic Bonnans
,
D. Tiba
[Research Report] RR-1134, INRIA. 1989
Reports
inria-00075425v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The causal ordering abstraction and a simple way to implement it
Michel Raynal
,
André Schiper
[Research Report] RR-1132, INRIA. 1989
Reports
inria-00075427v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Etude de la barriere pour un probleme de fuite optimale dans le plan
Pierre Bernhard
,
Bernard Larrouturou
[Rapport de recherche] RR-1131, INRIA. 1989, pp.26
Reports
inria-00075428v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Inferring surface trace and differential structure from 3-D images
Peter T. Sander
,
Steven W. Zucker
[Research Report] RR-1117, INRIA. 1989
Reports
inria-00075442v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Numerical methods in Markov chain modeling
Bernard Philippe
,
Yousef Saad
,
William J. Stewart
[Research Report] RR-1115, INRIA. 1989
Reports
inria-00075444v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction of TVD-like artificial viscosities on 2-dimensional arbitrary FEM grids
Paul Arminjon
,
Alain Dervieux
[Research Report] RR-1111, INRIA. 1989
Reports
inria-00075448v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A unified physical presentation of mixed, mixed-hybrid finite elements and usual finite differences for the determination of velocities in waterflow problems
Guy Chavent
,
Jean Roberts
[Research Report] RR-1107, INRIA. 1989
Reports
inria-00075452v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Graphical VERSUS logical specifications
Gérard Boudol
,
Kim Guldstrand Larsen
[Research Report] RR-1104, INRIA. 1989
Reports
inria-00075455v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction of Hilbert class fields of imaginary quadratic fields and dihedral equations modulo p
F. Morain
RR-1087, INRIA. 1989
Reports
inria-00075472v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Filtrage et lissage des systemes implicites discrets
Xiao-Min Wang
,
Pierre Bernhard
[Rapport de recherche] RR-1083, INRIA. 1989
Reports
inria-00075476v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
How to preserve the mass fractions positivity when computing compressible multi-component flows
Bernard Larrouturou
[Research Report] RR-1080, INRIA. 1989
Reports
inria-00075479v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une formulation de type Vlassov-Poisson pour les equations d'Euler des fluides parfaits incompressibles
Yann Brenier
[Rapport de recherche] RR-1070, INRIA. 1989
Reports
inria-00075489v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Efficiency of the extended Kalman filter for non linear systems with small noise
Jean Picard
[Research Report] RR-1068, INRIA. 1989
Reports
inria-00075491v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Error analysis of some Galerkin-least-squares methods for the elasticity equations
L.P. Franca
,
R. Stenberg
RR-1054, INRIA. 1989
Reports
inria-00075505v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Ergodic theory of stochastic Petri networks
François Baccelli
[Research Report] RR-1037, INRIA. 1989, pp.44
Reports
inria-00075521v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Junctions between three-dimensional and two-dimensional non linearly elastic structures
M. Aufranc
RR-1036, INRIA. 1989
Reports
inria-00075522v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une remarque sur le prolongement par symetrie des formulations variationnelles et son application a la vectorisation
Guy Chavent
[Rapport de recherche] RR-1015, INRIA. 1989
Reports
inria-00075543v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Average case complexity analysis of RETE pattern-match algorithm and average size of join in databases
Luc Albert
[Research Report] RR-1010, INRIA. 1989
Reports
inria-00075548v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Finite element solutions of axisymmetric Euler equations for an incompressible and inviscid fluid
J.H. Saiac
RR-0999, INRIA. 1989
Reports
inria-00075560v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Lancer de rayon : approches parallèles
Didier Badouel
,
François Bodin
,
Thierry Priol
[Rapport de recherche] RR-0992, INRIA. 1989
Reports
inria-00075567v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Homogenization of a model of compressible miscible flow in porous media
Yacine Y. Amirat
,
K. Hamdache
,
A. Ziani
RR-0991, INRIA. 1989
Reports
inria-00075568v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A graph based data structure for efficient implementation of main memory DBMS's
Philippe Pucheral
,
J.M. Thevenin
RR-0978, INRIA. 1989
Reports
inria-00075581v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modèles statistiques temps-échelle en traitement du signal
Michèle Basseville
,
Albert Benveniste
[Rapport de recherche] RR-0971, INRIA. 1989
Reports
inria-00075588v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Partage d'objets dans les systèmes distribués. Principes des ramasse-miettes
André Couvert
,
Aomar Maddi
,
René Pedrono
[Rapport de recherche] RR-0963, INRIA. 1989
Reports
inria-00075596v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines
Claude Jard
,
Jean-Marc Jézéquel
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
Conference papers
hal-00765072v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Traitements nématicides et peuplement de nématodes parasites de la canne à sucre au Burkina Faso. 1. Repousses
Patrice Cadet
,
Jean Thioulouse
Revue de Nématologie, 1989, 12 (1), pp.35-44
Journal articles
hal-03602913v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
French Order Without Order
Gabriel G. Bès
,
Claire Gardent
EACL 1989 - Fourth Conference of the European Chapter of the Association for Computational Linguistics, 1989, Manchester, United Kingdom. pp.249-255
Conference papers
hal-01021826v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
SOS: An Object-Oriented Operating System ―- Assessment and Perspectives
Marc Shapiro
,
Yvon Gourhant
,
Sabine Habert
,
Laurence Mosseri
,
Michel Ruffin
,
et al.
Computing systems, 1989, 2 (4), pp.287--337
Journal articles
hal-01248230v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Extraction de programmes dans le Calcul des Constructions
Christine Paulin-Mohring
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français. ⟨NNT : ⟩
Theses
tel-00431825v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|