Publications from 2054

Fake topological Hilbert spaces and characterizations of dimension in terms of negligibility Dissertation

J.J. Dijkstra (Jan)

Integer valued polynomials in algebraic number theory Dissertation

H. Zantema (Hans)

De praktijk van de numerieke wiskunde : colloquium numerieke wiskunde najaarssemester 1983/voorjaarssemester 1984 : programma Booklet

Abstracte inferentie en toegepaste statistiek Booklet

R.D. Gill (Richard)

Stochastische processen : brochure Booklet

H.C.P. Berbee (Henri)

Biomathematica : brochure Booklet

O. Diekmann (Odo)

Systeemtheorie : brochure Booklet

J.H. van Schuppen (Jan)

Het B-project : brochure Booklet

L.J.M. Geurts (Leo)

Multigrid-methoden : brochure Booklet

P.W. Hemker (Piet)

Netwerken van wachtrijen : brochure Booklet

E.A. van Doorn

Computer-geïntegreerde produktie : brochure Booklet

P.J.W. ten Hagen (Paul)

Programmeertechnologie : brochure Booklet

J. Heering (Jan)

Programmeertechnologie Booklet

J. Heering (Jan)

Symmetrie en chaos Booklet

M. Hazewinkel (Michiel)

Multigrid-methoden Booklet

P.W. Hemker (Piet)

Stochastische processen Booklet

H.C.P. Berbee (Henri)

Wiskunde en informatica: een toekomstbeeld Booklet

J.W. de Bakker (Jaco), R.D. Gill (Richard), M. Hazewinkel (Michiel) and J.K. Lenstra (Jan Karel)

Netwerken van wachtrijen Booklet

E.A. van Doorn

Systeemtheorie Booklet

J.H. van Schuppen (Jan)

Computer-geïntegreerde produktie Booklet

P.J.W. ten Hagen (Paul)

Biomathematica Booklet

O. Diekmann (Odo)

Abstracte inferentie en toegepaste statistiek Booklet

R.D. Gill (Richard)

Het B-project Booklet

L.J.M. Geurts (Leo)

CWI newsletter Miscellaneous

Online mathematical literature information Tech Report

S.I. Thé

Special functions and group theory : report on a conference visit Tech Report

B. Hoogenboom

Mertens' conjecture disproved : research announcement Tech Report

H.J.J. te Riele (Herman)

The dynamics of structured populations : research project report Tech Report

O. Diekmann (Odo)

Geometry of the energy momentum mapping of the spherical pendulum Tech Report

R. Cushman

Conferentie van numeriek wiskundigen : Zeist, 26-28.09.1983 Book

Centre for Mathematics and Computer Science: facts & figures Booklet

Centrum voor Wiskunde en Informatica: enkele statistische en organisatorische gegevens Booklet

The B newsletter Miscellaneous

Compactness in semantics for merge and fair merge In Proceedings

J.W. de Bakker (Jaco) and J.I. Zucker

Foundations and applications of Montague grammar Dissertation

T.M.V. Janssen (Theo)

Huishoudelijk reglement van de Nederlandse Stichting voor de Wiskunde SMC Book

Eighth conference on the mathematics of operations research : Lunteren, 12-14.01.1983 : program and abstracts Booklet

A hierarchical scheduling problem with a well-solvable second stage Tech Report

J.B.G. Frenk, A.H.G. Rinnooy Kan and L. Stougie (Leen)

Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process - part 0: A survey of the main ideas and results Tech Report

J.A.J. Metz and F.H.D. van Batenburg

Process algebra for communication and mutual exclusion Tech Report

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

Software with low storage requirements for two-domensional nonlinear parabolic differential equations Tech Report

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

On the zeros of the Riemann zeta function in the critical strip III Tech Report

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

Boundary value techniques for initial value problems in ordinary differential equations Tech Report

A.O.H. Axelsson and J.G. Verwer (Jan)

Random number generators for a pocket calculator Tech Report

A.J. van Es (Bert), R.D. Gill (Richard) and C. van Putten

Rigorous high speed separation of zeros of Riemann's zeta function III Tech Report

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

The multi-grid method in the solution of time-dependent nonlinear partial differential equations Tech Report

H.B. de Vries

On the simulation of many storage heads by a single one Tech Report

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

Asymptotic analysis of a singular Sturm-Liouville boundary value problem Tech Report

E.J.M. Veling

Linear multistep methods for Volterra integral and integro-differential equations Tech Report

P.J. van der Houwen (Piet) and H.J.J. te Riele (Herman)

On iterative procedures of asymptotic inference Tech Report

K.O. Dzhaparidze (Kacha)

A note on the overflow process from a finite Markovian queue Tech Report

E.A. van Doorn

A framework for the probabilistic analysis of hierarchical planning systems Tech Report

J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and L. Stougie (Leen)

A Berry-Esseen bound for symmetric statistics Tech Report

W.R. van Zwet (Willem)

Stability in linear multistep methods for pure delay equations Tech Report

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

The infinite horizon optimal control problem on manifolds Tech Report

J.C.P. Bus

Traces to Tricomi in recent work on special functions and asymptotics of integrals Tech Report

N.M. Temme (Nico)

A proof rule for restoring logic circuits Tech Report

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

Iteration of number-theoretic functions Tech Report

H.J.J. te Riele (Herman)

Variations on the Heisenberg spherical harmonics Tech Report

G. Greiner and T.H. Koornwinder

Probabilistic approach for comparing first eigenvalues Tech Report

C. Betz and H. Gzyl

Intertwining functions on compact Lie groups, I Tech Report

B. Hoogenboom

Connectivity of circulant digraphs Tech Report

E.A. van Doorn

Current algebras and the identification problem Tech Report

P.S. Krishnaprasad, S.I. Marcus (Steven) and M. Hazewinkel (Michiel)

An abstraction mechanism for process algebras Tech Report

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

The dynamics of structured populations: some examples Tech Report

O. Diekmann (Odo)

Het software house- en simulatiespel Tech Report

P. Klint (Paul)

Algebraic tools for system construction Tech Report

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

Guidelines for the design of large modular scientific libraries in ADA Tech Report

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

Linear multistep methods with minimized truncation error for periodic initial value problems Tech Report

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

Karakterisering van spectra bij ijking van tracers Tech Report

J. Grasman (Johan)

The algebra of recursively defined processes and the algebra of regular processes Tech Report

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

The axiomatic semantics of programs based on Hoare's logic Tech Report

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

On M-functions and nonlinear relaxation methods Tech Report

E.J. van Asselt

Operational operations research at the Mathematical Centre Tech Report

J.M. Anthonisse and J.K. Lenstra (Jan Karel)

Stability results for discrete Volterra equations Tech Report

P.J. van der Houwen (Piet)

Global extrapolation of a first order splitting method Tech Report

J.G. Verwer (Jan) and H.B. de Vries

Weak disjointness and the equicontinuous structure relation Tech Report

J. Auslander, D. MacMahon and J.C.S.P. van der Woude (Jaap)

Integration of the linear filtering problem by means of canonical transformations Tech Report

H. Gzyl

Virtual periods and global continuation of periodic orbits Tech Report

S.-N. Chow

Growth, fission and the stable size distribution Tech Report

O. Diekmann (Odo), H.A. Lauwerier and T. Aldenberg

Computational aspects of two component chromatography Tech Report

J.V. Lankelma

The parametrisation of the unstable invariant manifold for a class of horseshoe maps Tech Report

H.A. Lauwerier

Sum rule for products of Bessel functions: comments on a paper by Newberger: "New sum rule for products of Bessel functions with application to plasma physics" Tech Report

M. Bakker (Miente) and N.M. Temme (Nico)

Making B-tress work for B Tech Report

T. Krijnen (Timo) and L.G.L.T. Meertens (Lambert)

On the implementation of an editor for the B programming language Tech Report

F.A.H. van Harmelen (Frank)

Factoring multivariate polynomials over finite fields Tech Report

A.K. Lenstra (Arjen)

A process algebra for the operational semantics of static data flow networks Tech Report

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

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report

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

Another incompleteness theorem for Hoare's logic Tech Report

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

An optimal simulation of counter machines: the ACM case Tech Report

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

The European UNIX network Tech Report

T. Hagen and J. McKie

Pseudocompactness for G-spaces Tech Report

J. de Vries (Jan)

The generalized Cartan decomposition for a compact Lie group Tech Report

B. Hoogenboom

Tychonov's theorem for G-spaces: (a note on a paper by S. A. Antonyan) Tech Report

J. de Vries (Jan)

Evolution semigroups and Hamiltonian flows Tech Report

H. Gzyl

Near polygons with lines of size three and Fischer spaces Tech Report

A.E. Brouwer (Andries), A.M. Cohen (Arjeh) and H.A. Wilbrink

Automatentheorie, complexiteit en algoritmen [Automata theory, complexity and algorithms] Tech Report

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

Some analytical aspects of the peakedness concept Tech Report

E.A. van Doorn

On the weak finite stochastic realization problem Tech Report

G. Picci and J.H. van Schuppen (Jan)

On orthogonal polynomials on a half line and the associated Kernel polynomials Tech Report

E.A. van Doorn