Publication

Brzozowski's algorithm (co)algebraically Tech Report

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article

S. Shin, S. Reich and J.E. Frank (Jason)

Learning Eigenvectors for Free In Proceedings

W.M. Koolen-Wijkstra (Wouter), W.T. Kotlowski (Wojciech) and M.K. Warmuth

The Data Cyclotron query processing scheme. Article

R.A. Pereira Goncalves (Romulo Antonio) and M.L. Kersten (Martin)

A Latent Variable Bayesian Approach to Spatial Clustering with Background Noise Tech Report

K. Kayabol (Koray)

Advanced topics in bisimulation and coinduction Book

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : programma Other