Centrum Wiskunde & Informatica

Density-based unsupervised classification for remote sensing Tech Report

C.H.M. van Kemenade (Cees), J.A. La Poutré (Han) and R.J. Mokken

January 1998
On the structure of the space of product-form models Tech Report

N. Bayer and R.J. Boucherie (Richard)

January 1998
Note on PARNASSOS, a Navier-Stokes method for ship-stern flows Tech Report

B. Koren (Barry)

January 1998
Basic theorems for parallel processes in timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

January 1998
The leap year problem Tech Report

A. van Deursen (Arie)

January 1998
Undecidability and completeness results for process algebras with alternative with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

January 1998
Automata and coinduction (an exercise in coalgebra) Tech Report

J.J.M.M. Rutten (Jan)

January 1998
Efficient enumeration of non-isomorphic processing trees Tech Report

F. Waas (Florian)

January 1998

Previous

Next