Centrum Wiskunde & Informatica

Automatic optimization of array queries Tech Report

A.R. van Ballegooij (Alex), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

January 2005
An industrial application of context-sensitive formatting. Tech Report

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), N.P. Veerman and J.J. Vinju (Jurgen)

January 2005
Syllogistics = monotonicity + symmetry + existential import Tech Report

D.J.N. van Eijck (Jan)

January 2005
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
A fully conservative model for compressible two-fluid flow. Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

January 2005
Influences of the pulsed power supply on corona streamer appearance In Proceedings

E.M. van Veldhuizen, T.M.P. Briels (Tanja), L.R. Grabowski, A.J.M. Pemen and U. Ebert (Ute)

January 2005
Adaptive grid simulations of negative streamers in nitrogen in under- and overvolted gaps In Proceedings

C. Montijn (Carolynne-Sireeh), U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2005
History of the software industry: the challenge Tech Report

G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart

January 2005

Previous

Next