Centrum Wiskunde & Informatica

A classification of non-liftable orders for resolution In Proceedings

H. de Nivelle

January 1997
Translating logic programs into conditional rewriting systems In Proceedings

F. van Raamsdonk (Femke)

January 1997
High-concentration-gradient dispersion in porous media : experiments, analysis and approximations Tech Report

R.J. Schotting (Ruud), H. Moser and S.M. Hassanizadeh

January 1997
A parallel Jacobi-Davidson method for solving generalized eigenvalue problems in linear magnetohydrodynamics Tech Report

M. Nool (Margreet) and A. van der Ploeg (Auke)

January 1997
The use of approximate factorization in stiff ODE solvers Tech Report

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

January 1997
Efficient resource utilization in shared-everything environments Tech Report

S. Manegold (Stefan) and J.K. Obermaier

January 1997
Scalable storage for a DBMS using transparent distribution Tech Report

J.S. Karlsson (Jonas) and M.L. Kersten (Martin)

January 1997
The sufficient cause principle and reasoning about action Tech Report

P.D. Grünwald (Peter)

January 1997

Previous

Next