Centrum Wiskunde & Informatica

Coalgebras and modal logic for parametrised endofunctors Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2000
The cones and foci proof techniques for timed transition systems Tech Report

M.B. van der Zwaag

January 2000
Improving approximate matrix factorizations for implicit time integration in air pollution modelling Tech Report

M.A. Botchev and J.G. Verwer (Jan)

January 2000
Implicit-explicit time stepping with spatial discontinuous finite elements Tech Report

W. Hundsdorfer (Willem) and J. Jaffré

January 2000
Cuypers : a semi-automatic hypermedia generation system Tech Report

J.R. van Ossenbruggen (Jacco), F.J. Cornelissen, J.P.T.M. Geurts (Joost), L. Rutledge (Lloyd) and L. Hardman (Lynda)

January 2000
Integrating multimedia characteristics in web-based document languages Tech Report

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and L. Rutledge (Lloyd)

January 2000
Dimensioning large call centers Tech Report

S.C. Borst (Sem), A. Mandelbaum and M.I. Reiman

January 2000
Fuzzy logic and mathematical morphology Tech Report

T.-Q. Deng

January 2000

Previous

Next