Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Kolmogorov complexity and its applications Tech Report

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

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

W. Hundsdorfer (Willem) and J. Schneid

January 1989
Increasing the real stability boundary of explicit methods Tech Report

B.P. Sommeijer (Ben)

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

W. Hoffmann (Walter) and K. Potma

January 1989
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)

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

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

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

G. Alberts (Gerard)

January 1989
Hahn-Banach type theorems for dual semigroups Tech Report

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

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

J.N.T. Schuit

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

R.J. Chitashvili

January 1989
Monotonicity of performance measures in a processor sharing queue Tech Report

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

January 1989
Realization of autoregressive equations in pencil and descriptor form Tech Report

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

January 1989
Dynamic MRI reconstruction as a moment problem Tech Report

M. Zwaan

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

T.H. Koornwinder

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

E.V. Khmaladze

January 1989
Waiting times in polling systems with Markovian server routing Tech Report

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

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

O.J. Boxma (Onno)

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

F.W. Vaandrager (Frits)

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

P.M. de Zeeuw (Paul)

January 1989
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)

January 1989
Block Runge-Kutta methods on parallel computers Tech Report

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

January 1989
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)

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

J.K. Scholma

January 1989
Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

January 1989
Proving total correctness of recursive procedures Tech Report

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

January 1989
Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

January 1989
Placing mirrors in grids Tech Report

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

January 1989
An algebra for process creation Tech Report

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

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

P.R.H. Hendriks

January 1989
Faster Phong shading via angular interpolation Tech Report

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

January 1989
A dataflow graphics workstation Tech Report

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

January 1989
Branching time and abstraction in bisimulation semantics Tech Report

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

January 1989
Characterizing termination of logic programs with level mappings Tech Report

M.A. Bezem

January 1989
On the safe termination of PROLOG programs Tech Report

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

January 1989
Constructing a calculus of programs Tech Report

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

January 1989
Inductive reasoning and Kolmogorov complexity Tech Report

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

January 1989
On downward closure ordinals of logic programs Tech Report

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

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

H. Walinska de Hackbeil (Hanna)

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

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

January 1989
Random Markov processes and uniform martingales Tech Report

S. Kalikow

January 1989
2.5 Dimensional graphics systems Tech Report

I. Herman (Ivan)

January 1989
Refinement in branching time semantics Tech Report

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

January 1989
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)

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

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

January 1989
Testing of elementary functions in ADA Tech Report

M. Bergman

January 1989
Recursive process definitions with the state operator Tech Report

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

January 1989
A parallel expert system shell Tech Report

H.M.C.L. Kempenaar

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

E.D. de Goede (Erik)

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

W. Hundsdorfer (Willem)

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

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

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

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

January 1989
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

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

J.W. van der Woude (Jacob)

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

H.J.M. Goeman

January 1989
The syntax definition formalism SDF : reference manual Tech Report

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

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

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

January 1989
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)

January 1989
Scheduling around a small common due date Tech Report

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

January 1989
Sojourn times in queueing networks Tech Report

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

January 1989
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

January 1989
Belief networks in plausible reasoning Tech Report

L.C. van der Gaag

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

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

January 1989
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)

January 1989
Block Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet)

January 1989
Local and global order reduction of some LOD schemes Tech Report

W. Hundsdorfer (Willem)

January 1989
Affine polar spaces Tech Report

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

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

N.M. Temme (Nico)

January 1989
Morphological sampling Tech Report

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

January 1989
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

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

J.W. Cohen

January 1989
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

January 1989
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)

January 1989
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

January 1989
Multiple inheritance and exceptions in frame systems Tech Report

P.J.F. Lucas

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

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

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

E.D. de Goede (Erik)

January 1989
A-stable parallel block methods Tech Report

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

January 1989
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)

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

H.J.J. te Riele (Herman)

January 1989
Modular parser generation Tech Report

J. G. Rekers (Jan)

January 1989
Design of a specification language by abstract syntax engineering Tech Report

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

January 1989
Computing boolean functions on anonymous networks Tech Report

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

January 1989
A survey of concurrent readers and writers Tech Report

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

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

I. Herman (Ivan)

January 1989
How to construct an atomic variable Tech Report

J.T. Tromp (John)

January 1989
Improved techniques for lower bounds for odd perfect numbers Tech Report

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

January 1989
Stability and error estimates for sinc interpolation Tech Report

M. Zwaan

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

H. Inaba

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

H. Inaba

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

J.W. Cohen

January 1989
On the structure at infinity of a structured system Tech Report

J.W. van der Woude (Jacob)

January 1989
The M/G/1 queue with permanent customers Tech Report

O.J. Boxma (Onno) and J.W. Cohen

January 1989
Stochastic realization problems Tech Report

J.H. van Schuppen (Jan)

January 1989
Relativistic Toda systems Tech Report

S.N.M. Ruijsenaars (Simon)

January 1989
Applications of polyhedral combinatorics to multicommodity flows and compact surfaces Tech Report

A. Schrijver (Lex)

January 1989
Short proofs on multicommodity flows and cuts Tech Report

A. Schrijver (Lex)

January 1989
Disjoint homotopic paths and trees in a planar graph Tech Report

A. Schrijver (Lex)

January 1989
Cones of matrices and setfunctions, and 0-1 optimization Tech Report

L. Lovász (László) and A. Schrijver (Lex)

January 1989
Sequentiality in orthogonal term rewriting systems Tech Report

J.W. Klop (Jan Willem) and A. Middeldorp

January 1989
Amoeba: high-performance distributed computing Tech Report

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

January 1989

Previous

Next

Available Years