Centrum Wiskunde & Informatica

Test set for initial value problem solvers Tech Report

W.M. Lioen (Walter) and J.J.B. de Swart (Jacques)

January 1998
Numerical time integration for air pollution models Tech Report

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and J.G. Blom (Joke)

January 1998
A transition system semantics for the control-driven coordination language MANIFOLD Tech Report

M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)

January 1998
A slicing-based approach for locating type errors Tech Report

T.B. Dinesh and F. Tip (Frank)

January 1998
A mathematical model for the dissolution of particles in multi-component alloys Tech Report

F.J. Vermolen and C. Vuik

January 1998
Automatic phase detection in seismic data using the discrete wavelet transform Tech Report

P.J. Oonincx

January 1998
Multiresolution signal decomposition schemes Tech Report

J. Goutsias (John) and H.J.A.M. Heijmans (Henk)

January 1998
Formulas as programs Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1998

Previous

Next