Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Disjoint circuits of prescribed homotopies in a graph on a compact surface Tech Report

A. Schrijver (Lex)

January 1988
Expert systems as deductive systems Tech Report

A. P. W. Eliëns (Anton)

January 1988
On semigroups and populations Tech Report

O. Diekmann (Odo)

January 1988
Efficient computing of least fixpoints Tech Report

K.R. Apt (Krzysztof)

January 1988
Correctness and full abstraction of metric semantics for concurrency Tech Report

J.J.M.M. Rutten (Jan)

January 1988
A fixpoint semantics for guarded Horn clauses Tech Report

C. Palamidessi (Catuscia)

January 1988
Data flow semantics Tech Report

J.N. Kok (Joost)

January 1988
Boolean functions, invariance groups and parallel complexity Tech Report

P. Clote and E. Kranakis (Evangelos)

January 1988
Completeness of resolution by transfinite induction Tech Report

M.A. Bezem

January 1988
A kernel approach to estimation of the sphere radius density in Wicksell's corpuscle problem Tech Report

A.J. van Es (Bert) and A.W. Hoogendoorn

January 1988
On a rate of convergence of the multiknapsack value function Tech Report

S.A. van de Geer (Sara) and L. Stougie (Leen)

January 1988
A semiparametric model for citation counts Tech Report

A.P. van der Plas

January 1988
Line Gauss-Seidel relaxation and multigrid for steady, two-dimensional flow computations Tech Report

B. Koren (Barry), P.M. de Zeeuw (Paul) and P.W. Hemker (Piet)

January 1988
Iterated $ theta $ -method for hyperbolic equations Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1988
Upwind discretization of the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

January 1988
A pseudoconversation law for service systems with a polling table Tech Report

O.J. Boxma (Onno), W.P. Groenendijk and J.A. Weststrate

January 1988
A simpler and faster algorithm for optimal total-work-content-power due date determination Tech Report

S.L. van de Velde

January 1988
Calculation of the availability of a two-unit parallel system with cold standby: an illustration of the embedding technique Tech Report

F.A. van der Duyn Schouten and T. Ronner

January 1988
A conservation-law based approximation algorithm for waiting times in polling systems Tech Report

W.P. Groenendijk

January 1988
On distance-transitive graphs and involutions Tech Report

J.T.M. van Bon (John)

January 1988
Synchrony with empty process Tech Report

W.P. Weijland

January 1988
An interpolation theorem in equational logic Tech Report

P.H. Rodenburg and R.J. van Glabbeek (Rob)

January 1988
Partially specified probability measures in expert systems Tech Report

L.C. van der Gaag

January 1988
Representations of the twisted SU(2) quantum group and some q-hypergeometric orthogonal polynomials Tech Report

T.H. Koornwinder

January 1988
Nongaussian linear filtering, identification of linear systems, and the symplectic group Tech Report

M. Hazewinkel (Michiel)

January 1988
Control of freeway traffic flow Tech Report

S.A. Smulders

January 1988
A statistical analysis of spatial point patterns : a case study Tech Report

M.J. Rottschäfer and L.G. Barendregt

January 1988
Determinism $ ightarrow $ (Event structure isomorphism = Step sequence equivalence) Tech Report

F.W. Vaandrager (Frits)

January 1988
Checking the Goldbach conjecture on a vector computer Tech Report

A. Granville, J. van de Lune (Jan) and H.J.J. te Riele (Herman)

January 1988
Robustness improvement of point Gauss-Seidel relaxation for steady, hypersonic flow computations Tech Report

B. Koren (Barry)

January 1988
LINPACK routines based on the level 2 BLAS Tech Report

M. Nool (Margreet)

January 1988
A Hille-Yosida type theorem for a class of weakly * continuous semigroups Tech Report

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and C.J.E. Thieme

January 1988
Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent PROLOG Tech Report

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

January 1988
Comparative semantics for flow of control in logic programming without logic Tech Report

J.W. de Bakker (Jaco)

January 1988
Dialogue cell resource model and basic dialogue cells Tech Report

H.J. Schouten and N. Keilman

January 1988
On the estimation of multidimensional demographic models with population registration data Tech Report

R.D. Gill (Richard) and N. Keilman

January 1988
Process algebra and Hoare's logic Tech Report

A. Ponse (Alban)

January 1988
Index formulas for generalized Wiener-Hopf operators and Boson-Fermion correspondence in 2N dimensions Tech Report

S.N.M. Ruijsenaars (Simon)

January 1988
The 'structural memory' : a network model for human perception of serial objects Tech Report

J.J.W. van der Vegt (Jaap), H.F.J.M. Buffart and C.C. van Leeuwen

January 1988
Algebraic specification of a compiler for a language with pointers Tech Report

E.A. van der Meulen (Emma)

January 1988
Estimating the weight undersize distribution for the Wicksell problem Tech Report

A.W. Hoogendoorn

January 1988
Random truncation models and Markov processes Tech Report

N. Keiding and R.D. Gill (Richard)

January 1988
Distributed routing for load balancing Tech Report

R.K. Boel and J.H. van Schuppen (Jan)

January 1988
The escalator boxcar train: basic theory and an application to Daphnia population dynamics Tech Report

A.M. de Roos, O. Diekmann (Odo) and J.A.J. Metz

January 1988
Different notions of uncertainty in quasi-probabilistic models Tech Report

L.C. van der Gaag

January 1988
Solving 3D block bidiagonal linear systems on vector computers Tech Report

J.J.F.M. Schlichting and H.A. van der Vorst (Henk)

January 1988
Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 4, Blok 4: terugkoppelingen : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)

January 1988
Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 2 Blok 2, Differentiaalvergelijkingen : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)

January 1988
Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 1 Blok 1, Integraalrekening : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)

January 1988
CWI Scientific Publications 1987 Booklet

January 1988
Lie manual draft, describing Lie version 2.0 Book

M.A.A. van Leeuwen (Marc), A.M. Cohen (Arjeh) and B. Lisser (Bert)

January 1988
Standaardbrieven met MS-WORD Tech Report

K. van't Hoff (Kees)

January 1988
Nieuwjaarskaart 1988 = New years card 1988 Other

January 1988
Policy document CWI 1988-1993 : supplement: description of projects Book

January 1988
Policy document CWI 1988-1993 Book

January 1988
Preface In Proceedings

D. Chaum (David) and W.L. Price (Wyn)

January 1988
An SWE solver for use on the CYBER 205 Book Chapter

F.W. Wubs (Fred)

January 1988
Stabilization of explicit methods for hyperbolic partial differential equations Book Chapter

F.W. Wubs (Fred)

January 1988
A note on pole placement by static output feedback for single-input systems Article

Systems & Control Letters, 11(4), 285-287.

J.W. van der Woude (Jacob)

January 1988
A nonlinear multigrid method for one-dimensional semiconductor device simulation In Proceedings

P.W. Hemker (Piet)

January 1988
Semantics for logic programs without occur check In Proceedings

W.P. Weijland

January 1988
Stabilization of explicit difference schemes by smoothing techniques In Proceedings

P.J. van der Houwen (Piet)

January 1988
Some stability results for the hopscotch difference method when applied to convection-diffusion equations In Proceedings

J.G. Verwer (Jan)

January 1988
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings

M. Hazewinkel (Michiel)

January 1988
Report on the Third Eurographics Workshop on Graphics Hardware Article

Computer Graphics Forum, 7(4), 361-361.

E.H. Blake

January 1988
Approximating the distribution of Greenwood's statistic Article

Statistica Neerlandica, 42(3), 153-162.

Does, R.J.M.M., Helmers, R. and Klaassen, C.A.J.

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.

J.H.M. ten Thije Boonkkamp

January 1988
Low-order spectral models of the atmospheric circulation: a survey Article

Acta Applicandae Mathematicae, 11(1), 49-96.

H.E. de Swart (Huibert)

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.

S.N.M. Ruijsenaars (Simon)

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.

E.D. de Goede (Erik)

January 1988
Lectures on linear and nonlinear filtering In Proceedings

M. Hazewinkel (Michiel)

January 1988
The dining cryptographers problem: unconditional sender and recipient untraceability Article

Journal of Cryptology, 1(1), 65-75.

D. Chaum (David)

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.

G.C.M. Ruitenburg

January 1988
Lie algebraic method in filtering and identification In Proceedings

M. Hazewinkel (Michiel)

January 1988
Interfaces between operations research and computer science In Proceedings

J.K. Lenstra (Jan Karel)

January 1988
A tutorial introduction to differentiable manifolds and calculus on manifolds In Proceedings

M. Hazewinkel (Michiel)

January 1988
Analytic methods for the modeling of flexible structures In Proceedings

J.M. Schumacher (Hans)

January 1988
A short tutorial on Lie algebras In Proceedings

M. Hazewinkel (Michiel)

January 1988
Transformations of linear systems under external equivalence Article

Linear Algebra and its Applications, 1-33.

J.M. Schumacher (Hans)

January 1988
Adaptive pole assignment by state feedback In Proceedings

J.W. Polderman

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.

J.H.M. ten Thije Boonkkamp

January 1988
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials In Proceedings

T.H. Koornwinder

January 1988
The philosophy of deformations: introductory remarks and a guide to this volume Book Chapter

M. Hazewinkel (Michiel)

January 1988
Idiosyncratic remarks by a bibliomaniac V. A random sample of structured chaos Article

Acta Applicandae Mathematicae, 13(1-2), 203-219.

M. Hazewinkel (Michiel)

January 1988
Cryptanalysis of F.E.A.L. In Proceedings

B. den Boer

January 1988
The biennial life strategy in a random environment Article

Journal of Mathematical Biology, 26(2), 199-215.

J.B.T.M. Roerdink (Jos)

January 1988
Equivalence of bar recursors in the theory of functionals of finite type Article

Archive for Mathematical Logic, 27(2), 149-160.

M.A. Bezem

January 1988
Regression analysis for incomplete mixed cross-section and time-series data by a modified EM algorithm Article

Sankhya Ser. B, 95-102.

R.D. Gill (Richard)

January 1988
Program correctness over abstract data types, with error-state semantics Book

J.V. Tucker (John) and J.I. Zucker

January 1988
Wetenschappelijk programma 1988 : meerjarenplan 1989-1993, deel 1 Book

January 1988
A simple and secure way to show the validity of your public key In Proceedings

J.A.M. van de Graaf (Jeroen) and R. Peralta

January 1988
Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Book Chapter

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and F.W. Wubs (Fred)

January 1988
Multigrid, defect correction and upwind schemes for the steady Navier-Stokes equations In Proceedings

P.W. Hemker (Piet) and B. Koren (Barry)

January 1988
Weighted distributed match-making (preliminary version) In Proceedings

E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1988
Vehicle routing with time windows: Optimization and approximation Book Chapter

M. Desrochers, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and F. Soumis

January 1988
Contractions in comparing concurrency semantics In Proceedings

J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

January 1988
A proof technique for register atomicity (preliminary version) In Proceedings

B. Awerbuch, L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1988
Reproducibility of Counting Immunoglobulin-Containing Cells in Colonic Mucosal Biopsies Article

Analytical and Quantitative Cytology and Histology, 10(2), 94-100.

C.A. Seldenrijk, G. Hendriks, A.W.M. Smeulders (Arnold), J.P.A. Baak, J.P. van Spreeuwel, S.G.M. Meuwissen and C.J.L.M. Meijer

January 1988
Measurement of End Diastolic Shape Deformity Using Bending Energy In Proceedings

J. Duncan, A.W.M. Smeulders (Arnold), F.A. Lee and B.L. Zaret

January 1988
Application of the Method of Multiple Thresholding to White Blood Cell Classification Article

Computers in Biology and Medicine, 18(2), 65-74.

E.S. Gelsema, H.F. Bao, A.W.M. Smeulders (Arnold) and H.C. den Harink

January 1988

Previous

Next

Available Years