Publications from 2040

A study of the recursion y***=y***+***y*** Tech Report

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

New directions in scheduling theory Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Asymptotic analysis of a queueing system with a two-dimensional state space Tech Report

J.P.C. Blanc

A study of elimination conditions for the permutation flow-shop sequencing problem Tech Report

J. Han and M. Yue

Overload control for an SPC telephone exchange : an optimal stochastic control approach Tech Report

J.H. van Schuppen (Jan)

BOUNDED TILING, an alternative to SATISFIABILITY ? Tech Report

M.W.P. Savelsbergh and P. van Emde Boas (Peter)

Locally 4-by-4 grid graphs Tech Report

A. Blokhuis and A.E. Brouwer (Andries)

Invariant measures and the equicontinuous structure relation Tech Report

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process - Part 3: Mathematical elaborations Tech Report

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

Spectral modelling of a potential vorticity equation for a barotropic flow on a beta-plane Tech Report

H.E. de Swart (Huibert)

On the Edgeworth expansion for the sum of a function of uniform spacings Tech Report

R.J.M.M. Does, R. Helmers (Roelof) and C.A.J. Klaassen (Chris)

Approximating the percentage points of Greenwood's statistic with Cornish-Fisher expansions Tech Report

R.J.M.M. Does, R. Helmers (Roelof) and C.A.J. Klaassen (Chris)

A monotonicity property of the power function of multivariate tests Tech Report

P. Groeneboom and D.R. Truax

A limit theorem for the superposition of renewal processes Tech Report

H.C.P. Berbee (Henri)

Asymptotic distributions of estimators for posterior probabilities in a classification model with both continuous and discrete variables Tech Report

A.W. Ambergen

Invariant measures and the equicontinuous structure relation Tech Report

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

A note on the G-space version of Glicksberg's theorem Tech Report

J. de Vries (Jan)

An on-line parameter estimation algorithm for counting process observations Tech Report

P.J.C. Spreij (Peter)

Relaxation times for queueing systems Tech Report

J.P.C. Blanc and E.A. van Doorn

Priority rewrite systems Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Trilinear alternating forms on a vector space of dimension 7 Tech Report

A.M. Cohen (Arjeh) and A.G. Helminck

Computer programming for beginners : introducing the B language Tech Report

L.J.M. Geurts (Leo)

A strategy for computer integrated manufacturing systems : processing and communication Tech Report

C.L. Blom (Kees), A. Choudry, P.J.W. ten Hagen (Paul), L.O. Hertzberger, B. Janssen, A.A.M. Kuijk (Fons), F. Tuynman and W.E. van Waning

A user's guide to the B system Tech Report

S. Pemberton (Steven)

Description of B Tech Report

L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

An implementation of the B programming language Tech Report

L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

Towards a specification of the B programming environment Tech Report

J.A.M. van de Graaf (Jeroen)

Process algebra for communication and mutual exclusion Tech Report

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

Process algebra with asynchronous communication mechanisms Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)

Object-oriented algebraic specification: proposal for a notation and 12 examples Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)

Signal propagation delay, wire length distribution and the efficiency of VLSI circuits Tech Report

P.M.B. Vitányi (Paul)

Parallel input and feedback in dialogue cells Tech Report

P.J.W. ten Hagen (Paul) and J. Derksen

Automatische verwerking van gegevens van celproliferatie verkregen met 'time lapse' cinematografie [Automatic assimilation of data of cellproliferation obtained with 'time lapse' cinematography] Tech Report

J. Grasman (Johan) and R. van der Horst (Rob)

Asymptotic expansions for modified Bessel functions of large order Tech Report

L.L.M. van der Wegen

A convolution integral equation solved by Laplace transformation Tech Report

N.M. Temme (Nico)

A note on two papers in dependent central limit theory Tech Report

R.D. Gill (Richard)

Convergence of method of lines approximations to partial differential equations Tech Report

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

Conservative and nonconservative schemes for the solution of the nonlinear Schroedinger equation Tech Report

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

Evaluation of time integrators for the shallow-water equations Tech Report

F.W. Wubs (Fred)

A proposal for standard basic functions in ADA Tech Report

J. Kok (Jan) and G.T. Symm

High order difference schemes with reduces dispersion for hyperbolic differential equations Tech Report

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

Evenredige vertegenwoordiging in het kader van gemeenschappelijke regelingen [Proportional representation in accordance with the terms of joint regulations] Tech Report

J.M. Anthonisse

The transit behaviour of networks with infinite server nodes Tech Report

J.P.C. Blanc

Orthogonal poynomials and a Dirichlet problem related to the Hilbert transform Tech Report

C.F. Dunkl

On ergodic actions whose self-joinings are graphs Tech Report

A. del Junco and D.J. Rudolph

Local search in routing problems with time windows Tech Report

M.W.P. Savelsbergh

On estimating transition intensities of a Markov process with aggregate data of a certain type Tech Report

R.D. Gill (Richard)

A note on equivalent random theory Tech Report

E.A. van Doorn

Invariant differential operators on a semisimple symmetric space and finite multiplicities in a Plancherel formula Tech Report

E.P. van der Ban

Stability results for discrete Volterra equations: numerical experiments Tech Report

P.J. van der Houwen (Piet) and J.G. Blom (Joke)

On the stability of predictor-corrector methods for parabolic equations with delay Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and C.T.H. Baker

Cursus programmeren voor beginners : een kennismaking met de programmeertaal B Tech Report

L.J.M. Geurts (Leo)

On the shift parameter in the backward beam method for parabolic problems for preceding times Tech Report

J.G. Verwer (Jan)

Circuit topology, signal propagation delay and the efficiency of VLSI circuits Tech Report

P.M.B. Vitányi (Paul)

A class of polynomials related to those of Laguerre Tech Report

N.M. Temme (Nico)

Uniform asymptotic expansions of integrals Tech Report

N.M. Temme (Nico)

On the propagation speed in relativistic quantum mechanics Tech Report

B. Dijkhuis

Dynamical systems and numerical integration Tech Report

H.A. Lauwerier

The dynamical behaviour of the age-size-distribution of a cell population Tech Report

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

Engineering robot actions in a computer integrated manufacturing environment Tech Report

W.E. van Waning

On VLSI design Tech Report

J.C. Ebergen (Jo)

Convergence rates in the strong law for bounded mixing sequences Tech Report

H.C.P. Berbee (Henri)

Disproof of the Mertens conjecture Tech Report

A.M. Odlyzko and H.J.J. te Riele (Herman)

Asymptotic behaviour of matrix coefficients related to reductive symmetric spaces Tech Report

E.P. van der Ban

On mathematical control engineering Tech Report

M. Hazewinkel (Michiel)

Experimental mathematics Tech Report

M. Hazewinkel (Michiel)

Distributed elections in a ring of processors using Archimedean time Tech Report

P.M.B. Vitányi (Paul)

A secure high-speed transaction protocol Tech Report

S.J. Mullender (Sape)

Squares of Gegenbauer polynomials and Milin type inequalities Tech Report

T.H. Koornwinder

Probabilistic analysis of combinatorial algorithms: an annotated bibliography Tech Report

R.M. Karp, J.K. Lenstra (Jan Karel), C.J.H. McDiarmid (Colin) and A.H.G. Rinnooy Kan

The design of a capability-based distributed operating system Tech Report

S.J. Mullender (Sape) and A.S. Tanenbaum (Andrew)

Algebra of communicating processes Tech Report

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

Harmonic analysis and Radon transforms on pencils of geodesics Tech Report

E. Badertscher

On the algebraic equations in implicit Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem) and M.N. Spijker

Brownian motion with a parabolic drift and Airy functions Tech Report

P. Groeneboom

A convexity theorem for semisimple symmetric spaces Tech Report

E.P. van der Ban

De bloeiende boom van Pythagoras [The blooming tree of Pythagoras] Tech Report

H.A. Lauwerier

Tidal rectification in lateral viscous boundary layers of a semi-enclosed basin Tech Report

H.E. de Swart (Huibert) and J.T.F. Zimmerman

Distributed systems management in wide area networks Tech Report

S.J. Mullender (Sape)

Mean integrated squared error of kernel estimators when the density and its derivative are not necessarily continuous Tech Report

C. van Eeden (Constance)

Chaos and order in an optical ring cavity Tech Report

H.A. Lauwerier and M.B. van der Mark

Numerical solution of a first kind Fredholm integral equation arising in electron-atom scattering Tech Report

H.J.J. te Riele (Herman) and R.W. Wagenaar

Some historical and other notes about the Mertens conjecture and its recent disproof Tech Report

H.J.J. te Riele (Herman)

Vehicle routing and computer graphics Tech Report

M.W.P. Savelsbergh

Het tijdsafhankelijk gedrag van wachtrijprocessen en de praktische toepassing van relaxatietijden [The time dependent behaviour of queueing processes and the practical application of relaxation times] Tech Report

H.M.C.A. Hop

A complete inference system for rgular processes with silent moves Tech Report

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

Towards a uniform topological treatment of streams and functions on streams Tech Report

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

A program for solving first kind Fredholm integral equations by means of regularization Tech Report

H.J.J. te Riele (Herman)

Structured populations, linear semigroups and positivity Tech Report

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

Quantitative models describing the kinetics of tumour cell proliferation: a comparison to experimental data Tech Report

J. Aten and J. Grasman (Johan)

Counting is easy Tech Report

J.I. Seiferas and P.M.B. Vitányi (Paul)

Interactieve methoden voor de routering van voertuigen [Interactive methods for vehicle routing] Tech Report

M.W.P. Savelsbergh

Point-line characterizations of buildings Tech Report

A.M. Cohen (Arjeh)

Distributed match-making for processes in computer networks Tech Report

S.J. Mullender (Sape) and P.M.B. Vitányi (Paul)

Nederlandse Stichting voor de Wiskunde : inlichtingenboekje Booklet

A software package for the generation of noise with widely divergent spectral properties ; The Simulation of Realistic Stationary Detector Noise Article

J.M. Laeven, H.C. Smit and J.V. Lankelma

Centre for Mathematics and Computer Science Amsterdam : [booklet in colour] Booklet

The stable size distribution: an example in structured population dynamics In Proceedings

O. Diekmann (Odo)

The simple roots of real-time computation hierarchies In Proceedings

P.M.B. Vitányi (Paul)

The linear systems Lie algebra, the Segal-Shale-Weil representation and all Kalman-Bucy filters In Proceedings

M. Hazewinkel (Michiel)