Publication
-
Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings
September 2008
-
CWI at ImageCLEF 2008 In Proceedings
September 2008
-
September 2008
-
Mechanical verification of a two-way sliding window protocol In Proceedings
September 2008 -
Coinductive Formal Reasoning in Exact Real Arithmetic Article
Logical Methods in Computer Science, 4(3)September 2008
-
Parameter estimation and determinability analysis applied to Drosophila gap gene circuits Article
BMC Systems Biology, 2(83)September 2008
-
Noise in Quantum and Classical Computation & Non-locality Dissertation
Algorithms and ComplexitySeptember 2008
-
Multimodal identification and localization of users in a smart environment Article
Journal on Multimodal User Interfaces, 2(2), 75-91.September 2008