Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Algebra of communicating processes with abstraction Tech Report

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

January 1984
Verification of an alternating bit protocol by means of process algebra Tech Report

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

January 1984
Fair FIFO queues satisfy an algebraic criterion for protocol correctness Tech Report

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

January 1984
One queue or two pushdown stores take square time on a one-head tape unit Tech Report

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

January 1984
On the Edgeworth expansion for the logarithm of the likelihood ratio Tech Report

D.M. Chibisov and W.R. van Zwet (Willem)

January 1984
On estimating a parameter and its score function Tech Report

C.A.J. Klaassen (Chris) and W.R. van Zwet (Willem)

January 1984
Estimating a monotone density Tech Report

P. Groeneboom

January 1984
On the weak limits of elementary symmetric polynomials Tech Report

A.J. van Es (Bert)

January 1984
Guidelines for the design of large modular scientific libraries in ADA : final report for the Commission of the European Communities Tech Report

G.T. Symm, B.A. Wichmann, J. Kok (Jan) and D.T. Winter (Dik)

January 1984
Some implementations of multigrid linear system solvers Tech Report

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1984
Generalized predictor-corrector methods of high order for the time integration of parabolic differential equations Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and H.B. de Vries

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

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

January 1984
New directions in scheduling theory Tech Report

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

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

J.P.C. Blanc

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

J. Han and M. Yue

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

J.H. van Schuppen (Jan)

January 1984
BOUNDED TILING, an alternative to SATISFIABILITY ? Tech Report

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

January 1984
Locally 4-by-4 grid graphs Tech Report

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

January 1984
Invariant measures and the equicontinuous structure relation Tech Report

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

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

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

H.E. de Swart (Huibert)

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

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

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

P. Groeneboom and D.R. Truax

January 1984
A limit theorem for the superposition of renewal processes Tech Report

H.C.P. Berbee (Henri)

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

A.W. Ambergen

January 1984
Invariant measures and the equicontinuous structure relation Tech Report

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

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

J. de Vries (Jan)

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

P.J.C. Spreij (Peter)

January 1984
Relaxation times for queueing systems Tech Report

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

January 1984
Priority rewrite systems Tech Report

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

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

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

January 1984
Computer programming for beginners : introducing the B language Tech Report

L.J.M. Geurts (Leo)

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

January 1984
A user's guide to the B system Tech Report

S. Pemberton (Steven)

January 1984
Description of B Tech Report

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

January 1984
An implementation of the B programming language Tech Report

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

January 1984
Towards a specification of the B programming environment Tech Report

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

January 1984
Process algebra for communication and mutual exclusion Tech Report

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

January 1984
Process algebra with asynchronous communication mechanisms Tech Report

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

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

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

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

January 1984
Parallel input and feedback in dialogue cells Tech Report

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

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

January 1984
Asymptotic expansions for modified Bessel functions of large order Tech Report

L.L.M. van der Wegen

January 1984
A convolution integral equation solved by Laplace transformation Tech Report

N.M. Temme (Nico)

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

R.D. Gill (Richard)

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

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

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

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

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

F.W. Wubs (Fred)

January 1984
A proposal for standard basic functions in ADA Tech Report

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

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

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

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

J.M. Anthonisse

January 1984
The transit behaviour of networks with infinite server nodes Tech Report

J.P.C. Blanc

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

C.F. Dunkl

January 1984
On ergodic actions whose self-joinings are graphs Tech Report

A. del Junco and D.J. Rudolph

January 1984
Local search in routing problems with time windows Tech Report

M.W.P. Savelsbergh

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

R.D. Gill (Richard)

January 1984
A note on equivalent random theory Tech Report

E.A. van Doorn

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

E.P. van der Ban

January 1984
Stability results for discrete Volterra equations: numerical experiments Tech Report

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

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

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

L.J.M. Geurts (Leo)

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

J.G. Verwer (Jan)

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

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

January 1984
A class of polynomials related to those of Laguerre Tech Report

N.M. Temme (Nico)

January 1984
Uniform asymptotic expansions of integrals Tech Report

N.M. Temme (Nico)

January 1984
On the propagation speed in relativistic quantum mechanics Tech Report

B. Dijkhuis

January 1984
Dynamical systems and numerical integration Tech Report

H.A. Lauwerier

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

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

January 1984
Engineering robot actions in a computer integrated manufacturing environment Tech Report

W.E. van Waning

January 1984
On VLSI design Tech Report

J.C. Ebergen (Jo)

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

H.C.P. Berbee (Henri)

January 1984
Disproof of the Mertens conjecture Tech Report

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

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

E.P. van der Ban

January 1984
On mathematical control engineering Tech Report

M. Hazewinkel (Michiel)

January 1984
Experimental mathematics Tech Report

M. Hazewinkel (Michiel)

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

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

January 1984
A secure high-speed transaction protocol Tech Report

S.J. Mullender (Sape)

January 1984
Squares of Gegenbauer polynomials and Milin type inequalities Tech Report

T.H. Koornwinder

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

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

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

January 1984
Algebra of communicating processes Tech Report

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

January 1984
Harmonic analysis and Radon transforms on pencils of geodesics Tech Report

E. Badertscher

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

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

January 1984
Brownian motion with a parabolic drift and Airy functions Tech Report

P. Groeneboom

January 1984
A convexity theorem for semisimple symmetric spaces Tech Report

E.P. van der Ban

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

H.A. Lauwerier

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

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

January 1984
Distributed systems management in wide area networks Tech Report

S.J. Mullender (Sape)

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

C. van Eeden (Constance)

January 1984
Chaos and order in an optical ring cavity Tech Report

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

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

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

H.J.J. te Riele (Herman)

January 1984
Vehicle routing and computer graphics Tech Report

M.W.P. Savelsbergh

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

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

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

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

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

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

H.J.J. te Riele (Herman)

January 1984
Structured populations, linear semigroups and positivity Tech Report

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

January 1984

Previous

Next

Available Years