Centrum Wiskunde & Informatica

On likelihoods for Markov random sets and Boolean models Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1996
Quermass-interaction processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1996
Characterisation results and Markov chain Monte Carlo algorithms including exact simulation for some spatial point processses Tech Report

O. Häggström, M.N.M. van Lieshout (Marie-Colette) and J. Møller

January 1996
Operational semantics of rewriting with priorities Tech Report

J.C. van de Pol (Jaco)

January 1996
A calculus for sequential logic with 4 values Tech Report

J.A. Bergstra (Jan) and J.C. van de Pol (Jaco)

January 1996
Benchmarking stiff ODE solvers for atmorspheric chemistry problems II: Rosenbrock solvers Tech Report

A. Sandu, J.G. Verwer (Jan), J.G. Blom (Joke), E.J. Spee (Edwin) and G.R. Carmichael

January 1996
On periodic Pollaczek waiting time processes In Proceedings

J.W. Cohen

January 1996
Implicit coercions in type systems In Proceedings

G. Barthe

January 1996

Previous

Next