CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2011
-
Representation of Power Series over Word Algebras In Proceedings
January 2011
-
January 2011
-
January 2011 -
Molecules in Motion: a theoretical study of noise in gene expression and cell signaling Dissertation
Modelling, Analysis and ComputationJanuary 2011
-
Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation
Algorithms and ComplexityJanuary 2011
-
An executable Theory of Multi-Agent Systems Refinement Dissertation
Formal MethodsJanuary 2011
-
January 2011