Centrum Wiskunde & Informatica

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study In Proceedings

F.S. de Boer (Frank), E. Broch Johnsen, R Haehnle, R. Schlatte (Rudolf) and P.Y.H. Wong

January 2012
Interaction of depth probes and style of depiction Article

i-Perception, 3(8), 528-540.

A.J. van Doorn (Andrea), J.J. Koenderink, M.H.R. Leyssen (Mieke) and J. Wagemans (Johan)

January 2012
``Extensions of the BK inequality". Probability seminar ETH and UniversityZurich, April 18, 2012. Lecture

J. van den Berg (Rob)

January 2012
Workshop ``Forest fires and related models", Toulouse, March 7-9, 2012.Talk: "A growth process on the square lattice where large clusters are frozen". Lecture

J. van den Berg (Rob)

January 2012
Content-Based Analysis Improves Audiovisual Archive Retrieval Article

IEEE Transactions on Multimedia, 14(4), 1166-1178.

B. Huurnink, C. Snoek, M. de Rijke (Maarten) and A.W.M. Smeulders (Arnold)

January 2012
Verification of object-oriented programs: A transformational approach Article

Journal of Computer and System Sciences, 78(3)

F.S. de Boer (Frank)

January 2012
Workshop "Concentration Inequalitiesand Applications", Marseille, January 22-27 2012.Talk: "Influence and variance inequalities in (first-passage) percolation". Lecture

J. van den Berg (Rob)

January 2012
A note on a relation between the Riemann hypothesis and the summatory function Miscellaneous

T. Kotnik and J. van de Lune (Jan)

January 2012

Previous

Next