Centrum Wiskunde & Informatica

A proof system for finite trees Tech Report

P. Blackburn (Patrick), W. P. M. Meyer Viol (Wilfried) and M. de Rijke (Maarten)

January 1995
Lattice calculus of the morphological slope transform Tech Report

H.J.A.M. Heijmans (Henk) and P. Maragos

January 1995
Dynamic server assignment in a two-queue model Tech Report

O.J. Boxma (Onno) and D.G. Down

January 1995
The complementary-slackness class of hybrid systems Tech Report

A.J. van der Schaft and J.M. Schumacher (Hans)

January 1995
Shot-noise-weighted processes : a new family of spatial point processes Tech Report

M.N.M. van Lieshout (Marie-Colette) and I.S. Molchanov (Ilya)

January 1995
A new lower bound for the critical probability of site percolation on the square lattice Tech Report

J. van den Berg (Rob) and A. B. Ermakov (Alexei)

January 1995
Porting a 3D-model for the transport of reactive air pollutants to the parallel machine T3D Tech Report

C. Keßler (Carsten), J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1995
A deterministic epidemic model taking acccount of repeated contacts betweenthe same individuals Tech Report

O. Diekmann (Odo), M.C.M. de Jong and J.A.J. Metz

January 1995

Previous

Next