Publications from 2020

The certainty factor model and its basis in probability theory Tech Report

L.C. van der Gaag

STDWIN: a standard window system interface Tech Report

G. van Rossum (Guido)

An exact incremental hidden surface removal algorithm Tech Report

A.A.M. Kuijk (Fons), P.J.W. ten Hagen (Paul) and V. Akman (Varol)

An integrated text and syntax-directed editor Tech Report

M.H. Logger

An adaptive moving grid method for one-dimensional systems of partial differential equations Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke) and J.M. Sanz-Serna

Conditionally and strictly distribution-free tests for randomized block designs that are asymptotically optimal Tech Report

S. Tardif

Censoring, truncation and filtering in statistical models based on counting processes Tech Report

P.K. Andersen, Ø. Borgan, R.D. Gill (Richard) and N. Keiding

Two decades of applied Kolmogorov complexity : in memoriam Andrei Nikolaevich Kolmogorov 1903-1987 Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

The power of physical representations Tech Report

V. Akman (Varol) and P.J.W. ten Hagen (Paul)

Incremental generation of parsers Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

ASF system user's guide Tech Report

P.R.H. Hendriks

The statistical analysis of a large number of rare events Tech Report

E.V. Khmaladze

Factoring with the quadratic sieve on large vector computers Tech Report

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

Estimating a regression function Tech Report

S.A. van de Geer (Sara)

Asymptotic normality of minimum $L_ 1$-norm estimators in linear regression Tech Report

S.A. van de Geer (Sara)

Large sample theory for statistical inference in several software reliability models Tech Report

W.A.J. Geurts, M.M.A. Hasselaar and J.H. Verhagen (Josine)

Prospective classification of distance-transitive graphs Tech Report

J.T.M. van Bon (John) and A.M. Cohen (Arjeh)

Linear groups and distance-transitive graphs Tech Report

J.T.M. van Bon (John) and A.M. Cohen (Arjeh)

A numerical study of three moving grid methods for one-dimensional partial differential equations which are based on the method of lines Tech Report

R.M. Furzeland, J.G. Verwer (Jan) and P.A. Zegeling (Paul)

Modular specifications in process algebra : with curious queues Tech Report

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

Minimizing total completion time in the two-machine flow shop by Langrangian relaxation Tech Report

S.L. van de Velde

The algebraic basis of mathematical morphology Tech Report

H.J.A.M. Heijmans (Henk) and C. Ronse

Introduction to logic programming (revised and extended version) Tech Report

K.R. Apt (Krzysztof)

A distributed debugger for Amoeba Tech Report

I.J.P. Elshoff

Optimization of the MPQS-factoring algorithm on the Cyber 205 and on the NEC SX-2 Tech Report

W.M. Lioen (Walter), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

Smoothed predictor-corrector methods for solving partial differential equations Tech Report

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

Multiplicative iterative algorithms for convex programming Tech Report

P.P.B. Eggermont

Concurrent evaluation of side-effects Tech Report

M. de Rooy

Semantics and consistency of rule-based expert systems Tech Report

M.A. Bezem

Berry-Esseen rates and bootstrap results for generalized L-statistics Tech Report

R. Helmers (Roelof), P. Janssen and R. Serfling

Tail triviality for sums of stationary random variables Tech Report

H.C.P. Berbee (Henri) and W.T.F. den Hollander (Frank)

Meixner-Pollaczek polynomials and the Heisenberg algebra Tech Report

T.H. Koornwinder

Job shop scheduling by simulated annealing Tech Report

P.J.M. van Laarhoven, E.H.L. Aarts (Emile) and J.K. Lenstra (Jan Karel)

Jacobi functions as limit cases of q-ultraspherical polynomials Tech Report

T.H. Koornwinder

On the Amoeba protocol Tech Report

J.C. Mulder

The Klein bottle and multicommodity flows Tech Report

A. Schrijver (Lex)

Homotopy and crossings of systems of curves on a surface Tech Report

A. Schrijver (Lex)

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

A. Schrijver (Lex)

Expert systems as deductive systems Tech Report

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

On semigroups and populations Tech Report

O. Diekmann (Odo)

Efficient computing of least fixpoints Tech Report

K.R. Apt (Krzysztof)

Correctness and full abstraction of metric semantics for concurrency Tech Report

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

A fixpoint semantics for guarded Horn clauses Tech Report

C. Palamidessi (Catuscia)

Data flow semantics Tech Report

J.N. Kok (Joost)

Boolean functions, invariance groups and parallel complexity Tech Report

P. Clote and E. Kranakis (Evangelos)

Completeness of resolution by transfinite induction Tech Report

M.A. Bezem

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

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

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

A semiparametric model for citation counts Tech Report

A.P. van der Plas

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)

Iterated $ theta $ -method for hyperbolic equations Tech Report

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

Upwind discretization of the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

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

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

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

S.L. van de Velde

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

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

W.P. Groenendijk

On distance-transitive graphs and involutions Tech Report

J.T.M. van Bon (John)

Synchrony with empty process Tech Report

W.P. Weijland

An interpolation theorem in equational logic Tech Report

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

Partially specified probability measures in expert systems Tech Report

L.C. van der Gaag

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

T.H. Koornwinder

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

M. Hazewinkel (Michiel)

Control of freeway traffic flow Tech Report

S.A. Smulders

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

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

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

F.W. Vaandrager (Frits)

Checking the Goldbach conjecture on a vector computer Tech Report

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

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

B. Koren (Barry)

LINPACK routines based on the level 2 BLAS Tech Report

M. Nool (Margreet)

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

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

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

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

J.W. de Bakker (Jaco)

Dialogue cell resource model and basic dialogue cells Tech Report

H.J. Schouten and N. Keilman

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

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

Process algebra and Hoare's logic Tech Report

A. Ponse (Alban)

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

S.N.M. Ruijsenaars (Simon)

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

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

E.A. van der Meulen (Emma)

Estimating the weight undersize distribution for the Wicksell problem Tech Report

A.W. Hoogendoorn

Random truncation models and Markov processes Tech Report

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

Distributed routing for load balancing Tech Report

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

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

Different notions of uncertainty in quasi-probabilistic models Tech Report

L.C. van der Gaag

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

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

ERCIM news Other

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)

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)

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)

CWI Scientific Publications 1987 Booklet

Lie manual draft, describing Lie version 2.0 Book

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

Standaardbrieven met MS-WORD Tech Report

K. van't Hoff (Kees)

Nieuwjaarskaart 1988 = New years card 1988 Other

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

Policy document CWI 1988-1993 Book

Preface In Proceedings

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

An SWE solver for use on the CYBER 205 Book Chapter

F.W. Wubs (Fred)

Stabilization of explicit methods for hyperbolic partial differential equations Book Chapter

F.W. Wubs (Fred)

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

J.W. van der Woude (Jacob)

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

P.W. Hemker (Piet)

Semantics for logic programs without occur check In Proceedings

W.P. Weijland

Stabilization of explicit difference schemes by smoothing techniques In Proceedings

P.J. van der Houwen (Piet)