Publication
-
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
-
January 2011 -
January 2011 -
An executable Theory of Multi-Agent Systems Refinement Dissertation
Formal MethodsJanuary 2011
-
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice Dissertation
Algorithms and ComplexityJanuary 2011 -
Sequences with trivial initial segment complexity Master Thesis
February 2011