Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Algebraic tools for system construction In Proceedings

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

March 1984
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness In Proceedings

J.A. Bergstra (Jan) and J. Tiuryn

March 1984
The day before tomorrow : report on a three week visit to China Tech Report

J.K. Lenstra (Jan Karel)

March 1984
Recent progress on the numerical verification of the Riemann hypothesis Tech Report

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

March 1984
Software development: science or patchwork? Tech Report

R.L. Baber

March 1984
Two applications of topological dynamics in combinatorial number theory : the shift system and the Stone-Čech compactification of the non-negative integers Tech Report

J. de Vries (Jan)

March 1984
Ninth conference on the mathematics of operations research and system theory : Benelux meeting on systems and control 1984 : Lunteren, 11-13.01.1984 : program and abstracts Booklet

January 1984
Tenth conference on the mathematics of operations research and systems theory : Lunteren, 09-11.01.1984 : program and summaries Booklet

January 1984
Explicit Runge-Kutta artificial compressibility technique for incompressible Navier-Stokes equations, application to the backward facing step flow Tech Report

B. Koren (Barry)

January 1984
Transonic shock wave-boundary layer interaction at a convex wall Article

Delft progress report, 155-169.

B. Koren (Barry) and W.J. Bannink

January 1984
Struktuur behoudende data flow analyse op programma's met GOTO-statements [Structure maintaining data flow analysis on programs with GOTO statements] Tech Report

R. van den Born

January 1984
On the stable size distribution of populations reproducing by fission into two unequal parts Tech Report

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

January 1984
Global bifurcation of a logistic delay map Tech Report

H.A. Lauwerier

January 1984
The exit problem for a stochastic dynamical system in a domain with almost everywhere characteristic boundaries Tech Report

J. Grasman (Johan) and J.V. Lankelma

January 1984
Linear autonomous retarded functional differential equations: a sharp version of Henry's theorem Tech Report

S.M. Verduyn Lunel (Sjoerd)

January 1984
A case of a not so strange strange attractor Tech Report

H.A. Lauwerier

January 1984
Top-down design and the algebra of communicating processes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1984
Square time is optimal for simulation of one pushdown store by an oblivious one-head tape unit Tech Report

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

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

Previous

Next

Available Years