Centrum Wiskunde & Informatica

Run-time Verification of Coboxes Unpublished

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and P.Y.H. Wong

January 2013
MonetDB Oct2012-SP3 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. H.F. Mühleisen (Hannes)

January 2013
Workshop Stochastic Modeling of the Oceans and Atmosphere, IMA, Minneapolis, USA Lecture

D.T. Crommelin (Daan)

January 2013
Invited talk Workshop ‘Games, algorithms and optimization’, Paris, France, June 2013. Lecture

K.R. Apt (Krzysztof)

January 2013
Conditional Kolmogorov complexity and universal probability Article

Theoretical Computer Science, 93-100.

P.M.B. Vitányi (Paul)

January 2013
Interactive coffee table for exploration of personal photos and videos In Proceedings

D.C. Pedrosa (Diogo de Carvalho), R.L. Guimarães (Rodrigo Laiola), M.G.C. Pimentel, D.C.A. Bulterman (Dick) and P.S. César Garcia (Pablo Santiago)

January 2013
Onweer - veel nieuws van de plasmas boven onze hoofden Presentation

U. Ebert (Ute)

January 2013
Time-scaling limits for Markov-modulated infinite-server queues Article

Stochastic Models, 112-127.

J.G. Blom (Joke), M.R.H. Mandjes (Michel) and H. Thorsdottir (Halldora)

January 2013

Previous

Next