Publications from 2012
-
January 1987
-
Perspectives on parallel computing Tech Report
January 1987 -
Sojourn times in feedback queues Tech Report
January 1987 -
Local search for constrained routing problems Tech Report
January 1987 -
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials Tech Report
January 1987 -
January 1987
-
January 1987
-
January 1987
-
Two normal form theorems for CSP programs Tech Report
January 1987 -
Product-integrals and counting processes Tech Report
January 1987 -
On the Edgeworth expansion and the bootstrap approximation for a studentized U-statistic Tech Report
January 1987 -
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