Publications from 2020

Iterations of morphological transformations Article

H.J.A.M. Heijmans (Henk)

On sums of remainders and almost perfect numbers Article

J.A.P. Heesterbeek (Hans) and H.A.J.M. Schellinx

Exploring linear chain trickery for physiologically structured populations Article

O. Diekmann (Odo) and H. Metz

Fourteenth conference on the mathematics of operations research - abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program and abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program Booklet

Performance analysis of storage management in combinator graph reduction Dissertation

P.H. Hartel (Pieter)

A non-linear multigrid method for the steady Euler equations In Proceedings

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

Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations In Proceedings

B. Koren (Barry)

Euler flow solutions for transonic shock wave-boundary layer interaction Article

B. Koren (Barry)

Kolmogorov complexity and its applications Tech Report

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

An algebraic characterization of B-convergent Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem) and J. Schneid

Increasing the real stability boundary of explicit methods Tech Report

B.P. Sommeijer (Ben)

NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and K. Potma

A moving-grid interface for systems of one-dimensional time-dependent partial differential equations Tech Report

J.G. Blom (Joke) and P.A. Zegeling (Paul)

Convergence properties of the Runge-Kutta-Chebyshev method Tech Report

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

Signific consultation : David van Dantzig's dream of a practical significs Tech Report

G. Alberts (Gerard)

Hahn-Banach type theorems for dual semigroups Tech Report

J.M.A.M. van Neerven (Jan)

Numerical solution of the Hamilton-Jacobi-Bellman equation for a freeway traffic flow control problem Tech Report

J.N.T. Schuit

On the nonexistence of a strong solution in the boundary problem for a sticky Brownian motion Tech Report

R.J. Chitashvili

Monotonicity of performance measures in a processor sharing queue Tech Report

P.R. de Waal and N.M. van Dijk

Realization of autoregressive equations in pencil and descriptor form Tech Report

M. Kuijper and J.M. Schumacher (Hans)

Dynamic MRI reconstruction as a moment problem Tech Report

M. Zwaan

The addition formula for little q-Legendre polynomials and the SU(2) quantum group Tech Report

T.H. Koornwinder

Theory of goodness of fit tests and scanning innovation martingales Tech Report

E.V. Khmaladze

Waiting times in polling systems with Markovian server routing Tech Report

O.J. Boxma (Onno) and J.A. Weststrate

Workloads and waiting times in single-server systems with multiple customer classes Tech Report

O.J. Boxma (Onno)

A simple definition for parallel composition of prime event structures Tech Report

F.W. Vaandrager (Frits)

Nonlinear multigrid applied to a 1D stationary semiconductor model Tech Report

P.M. de Zeeuw (Paul)

CWI/Shell colloquium adaptive grid techniques for time-dependent partial differential equations : summaries of all lectures presented at the colloquium held in Amsterdam, 1988 Tech Report

R.M. Furzeland and J.G. Verwer (Jan)

Block Runge-Kutta methods on parallel computers Tech Report

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

Simple approximations for second moment characteristics of the sojourn time in the M/G/1 processor sharing queue Tech Report

J.L. van den Berg (Hans)

Lie-algebraic aspects of the classical nonrelativistic Calogero-Moser models Tech Report

J.K. Scholma

Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

Proving total correctness of recursive procedures Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)

An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

Lists and associative functions in algebraic specifications : semantics and implementation Tech Report

P.R.H. Hendriks

Faster Phong shading via angular interpolation Tech Report

A.A.M. Kuijk (Fons) and E.H. Blake (Edwin)

A dataflow graphics workstation Tech Report

P.J.W. ten Hagen (Paul), I. Herman (Ivan) and J.R.G. Vries

Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Characterizing termination of logic programs with level mappings Tech Report

M.A. Bezem

On the safe termination of PROLOG programs Tech Report

K.R. Apt (Krzysztof), R.N. Bol and J.W. Klop (Jan Willem)

Constructing a calculus of programs Tech Report

L.G.L.T. Meertens (Lambert)

Inductive reasoning and Kolmogorov complexity Tech Report

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

On downward closure ordinals of logic programs Tech Report

R. Bagai, M.A. Bezem and M.H. van Emden

$\theta$ -government, thematic government and extraction asymmetries in zero derivation Tech Report

H. Walinska de Hackbeil (Hanna)

A new approach to formal language theory by Kolmogorov complexity Tech Report

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

Random Markov processes and uniform martingales Tech Report

S. Kalikow

2.5 Dimensional graphics systems Tech Report

I. Herman (Ivan)

Refinement in branching time semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Termination for direct sums of left-linear complete term rewriting systems Tech Report

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Tech Report

M.H. Lallemand and B. Koren (Barry)

Testing of elementary functions in ADA Tech Report

M. Bergman

Recursive process definitions with the state operator Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

A parallel expert system shell Tech Report

H.M.C.L. Kempenaar

A computational model for three-dimensional shallow water flows on the ALLIANT FX/4 Tech Report

E.D. de Goede (Erik)

Convergence of one-leg multistep methods for stiff nonlinear initial value problems Tech Report

W. Hundsdorfer (Willem)

Embedded diagonally implicit Runge-Kutta algorithms on parallel computers Tech Report

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

Reflexivity, the dual Radon-Nykodym property, and continuity of adjoint semigroups Tech Report

J.M.A.M. van Neerven (Jan)

Sequencing and scheduling: algorithms and complexity Tech Report

E.L. Lawler, J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and D.B. Shmoys

Almost disturbance decoupling by measurement feedback: a frequency domain analysis Tech Report

J.W. van der Woude (Jacob)

Towards a theory of (self) applicative communicating processes: a short note Tech Report

H.J.M. Goeman

The syntax definition formalism SDF : reference manual Tech Report

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

On rates of convergence and asymptotic normality in the multiknapsack problem Tech Report

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

Probabilistic analysis of the minimum weighted flowtime scheduling problem Tech Report

A. Marchetti Spaccamela (Alberto), W.S. Rhee, L. Stougie (Leen) and S.A. van de Geer (Sara)

Scheduling around a small common due date Tech Report

J.A. Hoogeveen and S.L. van de Velde

Sojourn times in queueing networks Tech Report

O.J. Boxma (Onno) and H. Daduna (Hans)

Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care Tech Report

R.J. van Glabbeek (Rob) and U. Goltz

Belief networks in plausible reasoning Tech Report

L.C. van der Gaag

Arithmetic classification of perfect models of stratified programs (Extended version) Tech Report

K.R. Apt (Krzysztof) and H.A. Blair

On the use of the arclength and curvature monitor in a moving-grid method which is based on the method of lines Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

Block Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet)

Local and global order reduction of some LOD schemes Tech Report

W. Hundsdorfer (Willem)

Affine polar spaces Tech Report

A.M. Cohen (Arjeh) and E.E. Shult

Polynomial asymptotic estimates of Gegenbauer, Laguerre, and Jacobi polynomials Tech Report

N.M. Temme (Nico)

Morphological sampling Tech Report

H.J.A.M. Heijmans (Henk) and A. Toet (Alexander)

On the definition and the computation of the basic reproduction ratio : $R_ 0$ in models for infectious diseases in heterogeneous populations Tech Report

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

On a class of N-dimensional associated random walks and the hitting point identity Tech Report

J.W. Cohen

Scheduling identical jobs on uniform parallel machines Tech Report

M.I. Dessouky, B.J. Lageweg, J.K. Lenstra (Jan Karel) and S.L. van de Velde

Experiences with the Amoeba distributed operating system Tech Report

A.S. Tanenbaum (Andrew), R. van Renesse (Robbert), H. van Staveren, G.J. Sharp, S.J. Mullender (Sape), A.J. Jansen (Jack) and G. van Rossum (Guido)

A process specification formalism based on static COLD Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan), S. Mauw (Sjouke) and G.J. Veltink

Multiple inheritance and exceptions in frame systems Tech Report

P.J.F. Lucas

NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: OEHPC Tech Report

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

Stabilization of a time integrator for the 3D shallow water equations by smoothing techniques Tech Report

E.D. de Goede (Erik)

A-stable parallel block methods Tech Report

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

On the zeros of the error term for the mean square of $ \vert \zeta ({1 \over 2} + it) \vert $ Tech Report

A. Ivic and H.J.J. te Riele (Herman)

A new lower bound for the De Bruijn-Newman constant Tech Report

H.J.J. te Riele (Herman)

Modular parser generation Tech Report

J. G. Rekers (Jan)

Design of a specification language by abstract syntax engineering Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos) and D.D.M. Krizanc

A survey of concurrent readers and writers Tech Report

L.M. Kirousis and E. Kranakis (Evangelos)

On the projective invariant representation of conics in computer graphics Tech Report

I. Herman (Ivan)

How to construct an atomic variable Tech Report

J.T. Tromp (John)

Improved techniques for lower bounds for odd perfect numbers Tech Report

R.P. Brent, G.L. Cohen and H.J.J. te Riele (Herman)

Stability and error estimates for sinc interpolation Tech Report

M. Zwaan

Threshold and stability for an age-structured epidemic model Tech Report

H. Inaba

Perturbation theory for dual semigroups and its applications to age-dependent population dynamics Tech Report

H. Inaba

Associated distributions in the analysis of two-dimensional random walks Tech Report

J.W. Cohen