Centrum Wiskunde & Informatica

Butcher-Kuntzmann methods for nonstiff problems on parallel computers Tech Report

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

January 1993
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
Forward and backward simulations, part II: timing-based systems Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1993
Reasoning about update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-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

Previous

Next