Centrum Wiskunde & Informatica

SDART: An algorithm for discrete tomography from noisy projections Article

Computer Vision and Image Understanding, 63-74.

F. Bleichrodt (Folkert), F. Tabak (Frank) and K.J. Batenburg (Joost)

December 2014
Mensen - het Parool Magazine Article

J.C.M. Baeten (Jos)

December 2014
Reflection without remorse: Revealing a hidden sequence to speed up monadic reflection Article

ACM SIGPLAN Notices, 49(12), 133-144.

A.J. van der Ploeg (Atze) and O. Kiselyov (Oleg)

December 2014
Market Garden Grid Editor Software

J.G.B. van Eekelen (Joeri)

December 2014
Data Input and Content Exploration in Scenarios with Restrictions Dissertation

Distributed and Interactive Systems

D.C. Pedrosa (Diogo de Carvalho)

December 2014
Decidability problems for actor systems Article

Logical Methods in Computer Science, 10(4), 5:1-5:29.

F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)

December 2014
Wat kost een oliebol? News Broadcast

P.D. Grünwald (Peter)

December 2014
Tight hardness of the non-commutative Grothendieck problem Tech Report

J. Briët (Jop), O. Regev (Oded) and R. Saket (Rishi)

December 2014

Previous

Next