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
Infinitary normalization Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

J.J.M.M. Rutten (Jan)

January 2005
The spread of a rumor or infection in a moving population. Article

Annals of Probability, 33(6), 2402-2462.

H. Kesten and V. Sidoravicius (Vladas)

January 2005
Optimization in Electromagnetics with the Space-Mapping Technique Article

Compel, 24(3), 952-966.

D. Echeverria (David), D.J.P. Lahaye (Domenico), L. Encica and P.W. Hemker (Piet)

January 2005
Specification-based test generation with TGV Tech Report

J.R. Calamé (Jens)

January 2005
Ontologies in information integration within multimedia presentation generation Tech Report

J. Salas Enrech

January 2005
Learning from induced changes in opponent (re)actions in multi-agent games Tech Report

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2005

Previous

Next