Publication

Design of abstract domains using first-order logic Tech Report

E. Marchiori

Explicit filtering of building blocks for genetic algorithms Tech Report

C.H.M. van Kemenade (Cees)

Lambda calculus with explicit recursion Tech Report

Z.M. Ariola (Zena) and J.W. Klop (Jan Willem)

Comparison of selection schemes for evolutionary constrained optimization Tech Report

C.H.M. van Kemenade (Cees)

Workshop innovative time integrators : Amsterdam, 30.10-01.11.1996 Tech Report

Computational forging in the Eulerian formulation at MacNeal-Schwendler (E.D.C.) B.V. Tech Report

B. Koren (Barry)

Approximation problems with the divergence criterion for Gaussian variablesand Gaussian processes Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

Brine transport in porous media self-similar solutions Tech Report

C.J. van Duijn (Hans), L.A. Peletier (Bert) and R.J. Schotting (Ruud)