Publications from 2012
-
January 1988
-
Concurrent evaluation of side-effects Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
January 1988
-
Job shop scheduling by simulated annealing Tech Report
January 1988 -
January 1988
-
On the Amoeba protocol Tech Report
January 1988 -
The Klein bottle and multicommodity flows Tech Report
January 1988 -
January 1988
-
January 1988
-
Expert systems as deductive systems Tech Report
January 1988 -
On semigroups and populations Tech Report
January 1988 -
Efficient computing of least fixpoints Tech Report
January 1988 -
January 1988
-
A fixpoint semantics for guarded Horn clauses Tech Report
January 1988 -
Data flow semantics Tech Report
January 1988 -
January 1988
-
January 1988
-
A kernel approach to estimation of the sphere radius density in Wicksell's corpuscle problem Tech Report
January 1988 -
January 1988
-
A semiparametric model for citation counts Tech Report
January 1988 -
Line Gauss-Seidel relaxation and multigrid for steady, two-dimensional flow computations Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
A simpler and faster algorithm for optimal total-work-content-power due date determination Tech Report
January 1988 -
January 1988
-
January 1988
-
On distance-transitive graphs and involutions Tech Report
January 1988 -
Synchrony with empty process Tech Report
January 1988 -
An interpolation theorem in equational logic Tech Report
January 1988 -
January 1988
-
Representations of the twisted SU(2) quantum group and some q-hypergeometric orthogonal polynomials Tech Report
January 1988 -
Nongaussian linear filtering, identification of linear systems, and the symplectic group Tech Report
January 1988 -
Control of freeway traffic flow Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
Robustness improvement of point Gauss-Seidel relaxation for steady, hypersonic flow computations Tech Report
January 1988 -
LINPACK routines based on the level 2 BLAS Tech Report
January 1988 -
January 1988
-
Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent PROLOG Tech Report
January 1988 -
January 1988
-
January 1988
-
On the estimation of multidimensional demographic models with population registration data Tech Report
January 1988 -
Process algebra and Hoare's logic Tech Report
January 1988 -
Index formulas for generalized Wiener-Hopf operators and Boson-Fermion correspondence in 2N dimensions Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
Random truncation models and Markov processes Tech Report
January 1988 -
Distributed routing for load balancing Tech Report
January 1988 -
The escalator boxcar train: basic theory and an application to Daphnia population dynamics Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
January 1988
-
January 1988
-
CWI Scientific Publications 1987 Booklet
January 1988 -
January 1988
-
Standaardbrieven met MS-WORD Tech Report
January 1988 -
January 1988
-
January 1988
-
January 1988
-
Preface In Proceedings
January 1988 -
An SWE solver for use on the CYBER 205 Book Chapter
January 1988 -
January 1988
-
A note on pole placement by static output feedback for single-input systems Article
Systems & Control Letters, 11(4), 285-287.January 1988 -
January 1988
-
Semantics for logic programs without occur check In Proceedings
January 1988 -
January 1988
-
Some stability results for the hopscotch difference method when applied to convection-diffusion equations In Proceedings
January 1988 -
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings
January 1988 -
Report on the Third Eurographics Workshop on Graphics Hardware Article
Computer Graphics Forum, 7(4), 361-361.January 1988 -
Approximating the distribution of Greenwood's statistic Article
Statistica Neerlandica, 42(3), 153-162.January 1988 -
The odd-even hopscotch pressure correction scheme for the incompressible Navier-Stokes equations Article
Journal on Scientific and Statistical Computing, 9(2), 252-270.January 1988 -
Low-order spectral models of the atmospheric circulation: a survey Article
Acta Applicandae Mathematicae, 11(1), 49-96.January 1988 -
Action-angle maps and scattering theory for some finite-dimensional integrable systems I. The pure soliton case Article
Communications in Mathematical Physics, 115(1), 127-165.January 1988 -
Stabilization of the Lax-Wendroff method and a generalized one-step Runge-Kutta method for hyperbolic initial-value problems Article
Applied Numerical Mathematics, 4(5), 439-453.January 1988 -
Lectures on linear and nonlinear filtering In Proceedings
January 1988 -
The dining cryptographers problem: unconditional sender and recipient untraceability Article
Journal of Cryptology, 1(1), 65-75.January 1988 -
The ${ m GL}(n)$-invariant ideals of the coordinate ring of pairs of symmetric matrices with product zero Article
Communications in Algebra, 1993-2011.January 1988 -
Lie algebraic method in filtering and identification In Proceedings
January 1988 -
Interfaces between operations research and computer science In Proceedings
January 1988 -
January 1988
-
Analytic methods for the modeling of flexible structures In Proceedings
January 1988 -
A short tutorial on Lie algebras In Proceedings
January 1988 -
Transformations of linear systems under external equivalence Article
Linear Algebra and its Applications, 1-33.January 1988 -
Adaptive pole assignment by state feedback In Proceedings
January 1988 -
Residual smoothing for accelerating the ADI iteration method for elliptic difference equations Article
ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 68(9), 445-453.January 1988 -
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials In Proceedings
January 1988 -
January 1988
-
Idiosyncratic remarks by a bibliomaniac V. A random sample of structured chaos Article
Acta Applicandae Mathematicae, 13(1-2), 203-219.January 1988 -
Cryptanalysis of F.E.A.L. In Proceedings
January 1988 -
The biennial life strategy in a random environment Article
Journal of Mathematical Biology, 26(2), 199-215.January 1988 -
Equivalence of bar recursors in the theory of functionals of finite type Article
Archive for Mathematical Logic, 27(2), 149-160.January 1988 -
Regression analysis for incomplete mixed cross-section and time-series data by a modified EM algorithm Article
Sankhya Ser. B, 95-102.January 1988 -
January 1988