Centrum Wiskunde & Informatica

Bliksemboom News Broadcast

U. Ebert (Ute)

September 2008
Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving Dissertation

J.R. Calamé (Jens)

September 2008
Queueing Models for Bandwidth-Sharing Disciplines Dissertation

Stochastics

P.M.D. Lieshout (Pascal)

September 2008
Minimum Description Length Model Selection - Problems and Extensions Dissertation

Quantum Computing and Advanced System Research

S. de Rooij (Steven)

September 2008
Coalgebraic reasoning in Coq: bisimulation and lambda-coiteration scheme Tech Report

M. Niqui (Milad)

October 2008
The isodiametric problem with lattice-point constraints Article

Monatshefte für Mathematik, 155(2), 125-134.

M.A. Hernandez Cifre, A. Schuermann and F. Vallentin (Frank)

October 2008
Foresighted policy gradient reinforcement learning: solving large-scale social dilemmas with rational altruistic punishment Tech Report

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

October 2008
RDFa in XHTML: Syntax and processing 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

October 2008

Previous

Next