Centrum Wiskunde & Informatica

Some experiences of solving 1-D semiconductor device equations on a matrix coprocessor by a domain decomposition method Tech Report

C.-H. Lai and H.J.J. te Riele (Herman)

January 1993
A note on singularities caused by the hydrodynamic dispersion tensor Tech Report

R.A. Trompert (Ronald)

January 1993
A project on parameter identification in reaction kinetics Tech Report

P.W. Hemker (Piet) and J. Kok (Jan)

January 1993
Procedural dynamic semantics, verb-phrase ellipsis, and presupposition Tech Report

D.J.N. van Eijck (Jan) and N. Francez

January 1993
Changing preferences Tech Report

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and A. Frolova

January 1993
Termination and confluence of rule execution Tech Report

M.H. van der Voort and A.P.J.M. Siebes (Arno)

January 1993
Uniform self-stabilizing leader election Tech Report

S. Dolev, A. Israeli and S. Moran

January 1993
A lower bound on wait-free counting Tech Report

S. Moran and G. Taubenfeld

January 1993

Previous

Next