CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Model-checking agent refinement In Proceedings
January 2008 -
PDL over Accelerated Labeled Transition Systems In Proceedings
T. Chen (Taolue), J.C. van de Pol (Jaco) and Y. Wang (Yanjing)
January 2008
-
Particle and fluid models for streamers: comparison and spatial coupling In Proceedings
C. Li (Chao), W.J.M. Brok, U. Ebert (Ute), W. Hundsdorfer (Willem) and J.J.A.M. van der Mullen
January 2008
-
A Hypercontractive Inequality for Matrix-Valued Functions with Applications to Quantum Computing and LDCs In Proceedings
January 2008
-
January 2008
-
Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings
January 2008 -
Catching up faster in Bayesian model selection and model averaging In Proceedings
T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and S. de Rooij (Steven)
January 2008
-
Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing In Proceedings
J. Kempe, O. Regev (Oded), F.P. Unger (Falk) and R.M. de Wolf (Ronald)
January 2008