CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The mCRL2 Toolset In Proceedings
J.F. Groote (Jan Friso), J.J.A. Keiren (Jeroen), A.H.J. Mathijssen (Aad), S.C.W. Ploeger, F.P.M. Stappers, C. Tankink, Y.S. Usenko (Yaroslav), M.J. van Weerdenburg (Muck), W. Wesselink, T.A.C. Willemse, et al. J. van der Wulp
July 2008 -
Depth map calculation for a variable number of moving objects using Markov sequential object processes Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1308-1312.July 2008
-
July 2008
-
Interaction of streamers in air and other oxygen-nitrogen mixtures Article
Physical Review LettersA. Luque (Alejandro), U. Ebert (Ute) and W. Hundsdorfer (Willem)
August 2008
-
Donder en bliksem News Broadcast
August 2008 -
Possibility, impossibility, and cheat sensitivity of quantum-bit string commitment Article
Physical Review A: Atomic, Molecular and Optical Physics, 78(2)H.M. Buhrman (Harry), M. Christandl (Matthias), P. Hayden, H. Lo and S.D.C. Wehner (Stephanie)
August 2008 -
Positional Delta Trees to reconcile updates with read-optimized data storage Tech Report
S. A. B. C. Héman (Sándor), N.J. Nes (Niels), M. Zukowski (Marcin) and P.A. Boncz (Peter)
August 2008
-
Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Tech Report
F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)
August 2008