Centrum Wiskunde & Informatica

Euler and Navier-Stokes Solvers Using Multi-Dimensional Upwind Schemes and Multigrid Acceleration Book

H. Deconinck and B. Koren (Barry)

January 1997
Six hypotheses in search of a theorem In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)

January 1997
Analysis of DNAPL infiltration in a medium with a low-permeable lens Article

Computational Geosciences, 1(2), 191-214.

M.J. de Neef and J. Molenaar (Gijs)

January 1997
Explicit substitutions for the $lambdaDelta$-calculus In Proceedings

G. Barthe, F. Kamareddine and A. Rios

January 1997
Termination of algebraic type systems: the syntactic approach In Proceedings

G. Barthe and F. van Raamsdonk (Femke)

January 1997
Domain-free pure type systems In Proceedings

G. Barthe and M.H. Sørensen

January 1997
Results on resource-bounded measure In Proceedings

H.M. Buhrman (Harry), S. Fenner and L. Fortnow (Lance)

January 1997
Diagonal crossover in genetic algorithms for numerical optimization. Evolutionary computation Article

Control and Cybernetics, 26(3), 447-465.

A.E. Eiben and C.H.M. van Kemenade (Cees)

January 1997

Previous

Next