Centrum Wiskunde & Informatica

Analysis of a Model for Ship Maneuvering In Proceedings

M. Apri, N. Banagaaya, J.B. van den Berg, R. Brussee, D. Bourne, S. Fatima, F. Irzal, J.D.M. Rademacher (Jens), B. Rink, F. Veerman, et al. S. Verpoort

December 2011
The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article

ACM SIGMOD Record, 40(4)

C. Bizer, P.A. Boncz (Peter), M Brodie and O. Erling (Orri)

December 2011
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)

December 2011
CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

December 2011
CSA: Comprehensive comparison of pairwise protein structure alignments Software

I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)

December 2011
Automatic equivalence proofs for non-deterministic coalgebras (revised and extended) Tech Report

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

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

K. Kayabol (Koray)

December 2011
An introduction to (co)algebras and (co)induction. Book Chapter

B.P.F. Jacobs and J.J.M.M. Rutten (Jan)

December 2011

Previous

Next