Centrum Wiskunde & Informatica

Explicit Runge-Kutta methods for parabolic partial differential equations Tech Report

J.G. Verwer (Jan)

January 1996
Tabu search techniques for large high-school timetabling problems Tech Report

A. Schaerf

January 1996
Coalgebraic specifications and models of deterministic hybrid systems Tech Report

B.P.F. Jacobs

January 1996
DEGAS : a temporal active data model based on object autonomy Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1996
Automata and behaviours in categories of processes Tech Report

B.P.F. Jacobs

January 1996
A transformation method for stochastic control problems with partial observations Tech Report

G.M. Koole (Ger)

January 1996
Large-eddy simulation with accurate implicit subgrid-scale diffusion Tech Report

B. Koren (Barry) and C. Beets

January 1996
Epic 1.0 (unconditional) : an equational programming language Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1996

Previous

Next