Publications from 2044
-
January 1987 -
January 1987 -
January 1987 -
January 1987 -
Performance analysis and optimal control of an M/M/1/k queueing system with impatient customers Tech Report
January 1987 -
Knowledge engineering in design Tech Report
January 1987 -
Mathematical morphology: an algebraic approach Tech Report
January 1987 -
January 1987 -
Semantics for PROLOG via term rewrite systems Tech Report
January 1987 -
Semantics for logic programs without occur check Tech Report
January 1987 -
Introduction to logic programming Tech Report
January 1987 -
Intelligent systems interconnection: what should come after open systems interconnection? Tech Report
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
Resource management in DICE Tech Report
January 1987 -
January 1987 -
January 1987 -
A queueing network model for analyzing a class of branch and bound algorithms on a master-slave architecture Tech Report
January 1987 -
Distributed match-making Tech Report
January 1987 -
January 1987 -
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations : routine: SVDTJP and LSQMNS Tech Report
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
Tape versus queue and stacks: the lower bounds Tech Report
January 1987 -
January 1987 -
January 1987 -
January 1987 -
Residual smoothing for accelerating the ADI iteration method for elliptic difference equations Tech Report
January 1987 -
Graphs related to Held's simple group Tech Report
January 1987 -
Parallel computing in combinatorial optimization Tech Report
January 1987 -
January 1987 -
January 1987 -
Multigrid methods for elliptic PDEs Tech Report
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
Analysis of a six-component barotropic spectral model: chaotic motion, predictability and vacillation Tech Report
January 1987 -
Contractions in comparing concurrency semantics Tech Report
January 1987 -
January 1987 -
A network approach to the certainty factor model Tech Report
January 1987 -
January 1987 -
A semantic approach to fairness Tech Report
January 1987 -
Stability and convergence of the Peaceman-Rachford ADI method for initial-boundary value problems Tech Report
January 1987 -
January 1987 -
January 1987 -
Logical input devices and interaction Tech Report
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
January 1987 -
On single lane roads Tech Report
January 1987 -
Incremental generation of lexical scanners Tech Report
January 1987 -
Minimum disclosure proofs of knowledge Tech Report
January 1987 -
Management of stratified databases Tech Report
January 1987 -
January 1987 -
January 1987 -
Preface Preface
January 1987 -
Preface Article
January 1987 -
A fully abstract semantics for data flow nets In Proceedings
January 1987 -
Lie algebraic methods in filtering and identification In Proceedings
January 1987 -
On asymptotic efficiency of the Cox estimator In Proceedings
January 1987 -
ABC Software
January 1987 -
On the sign of the difference $pi(x)-{ m li}(x)$ Article
Mathematics of Computation, 48(177), 323-328.January 1987 -
Convergence rates in the strong law for bounded mixing sequences Article
Probability Theory and Related Fields, 74(2), 255-270.January 1987
-
Multigrid solution of monotone second-order discretizations of hyperbolic conservation laws Article
Mathematics of Computation, 49(179), 135-155.January 1987 -
Mathematical control theory Article
Doklady Akademii Nauk SSSR, 29(62)(2), 102-110.January 1987 -
January 1987 -
Unobstructed shortest paths in polyhedral environments. With a foreword by Wm. Randolph Franklin Book
January 1987 -
Introduction to nilpotent approximation filtering In Proceedings
January 1987 -
A note on a diagonally implicit Runge-Kutta-Nyström method Article
Journal of Computational and Applied Mathematics, 19(3), 395-399.January 1987 -
A note on the partitioning shortest path algorithm Article
Operations Research Letters, 6(4), 183-187.January 1987 -
Demonstrating that a public predicate can be satisfied without revealing any information about how Book Chapter
January 1987 -
A new approach to least-squares estimation, with applications Article
Annals of Statistics, 15(2), 587-602.January 1987 -
The odd-even hopscotch pressure correction scheme for the incompressible Navier-Stokes equations In Proceedings
January 1987 -
On the computation of the incomplete gamma functions for large values of the parameters In Proceedings
January 1987 -
The likelihood ratio test for the change point problem for exponentially distributed random variables Article
Stochastic Processes and their Applications, 27(1), 121-139.January 1987
-
Chains with infinite connections: uniqueness and Markov representation Article
Probability Theory and Related Fields, 76(2), 243-253.January 1987
-
Equilibrium and extinction in stochastic population dynamics Article
Bulletin of Mathematical Biology, 49(6), 671-696.January 1987 -
Semigroup theory for control on sun-reflexive Banach spaces Article
IMA Journal of Mathematical Control and Information, 4(2), 111-129.January 1987 -
Perturbed dual semigroups and delay equations In Proceedings
January 1987 -
A note on monotonicity of a Rosenbrock method In Proceedings
January 1987 -
Incomplete Laplace integrals: uniform asymptotic expansion with application to the incomplete beta function Article
SIAM Journal on Mathematical Analysis, 1638-1663.January 1987
-
Lie algebraic methods in filtering and identification In Proceedings
January 1987 -
Multigrid and improved accuracy for the Euler equations In Proceedings
January 1987 -
Fixed point equations with parameters in the projective model Article
Information and Computation, 75(3), 264-288.January 1987 -
Multigrid methods for elliptic PDEs Book Chapter
January 1987 -
Approximating the projective model In Proceedings
January 1987 -
Term rewriting systems with priorities In Proceedings
January 1987