Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Poster: Optimal dispatching policies for parallel processor sharing nodes with partial information In Proceedings

J.W. Bosman (Joost), R.D. van der Mei (Rob) and G.J. Hoekstra (Gerard)

September 2011
Deliverable D7.1 Project website Tech Report

L. Nixon (Lyndon) and M. Bauer (Matthias)

February 2011
CWI knipselkrant 2011-2013 Miscellaneous

January 2011
Model checking of component connectors Dissertation

Computer Security

M. Izadi (Mohammad)

December 2011
From computability to executability : a process-theoretic view on automata theory Dissertation

CWI management

P.J.A. van Tilburg (Paul)

October 2011
Sequences with trivial initial segment complexity Master Thesis

T.F. Sterkenburg (Tom)

February 2011
Preface Preface

S. Fehr (Serge)

May 2011
Preface In Proceedings

A. Hanbury (Allan), A. Rauber (Andreas) and A.P. de Vries (Arjen)

June 2011
Compression-based Similarity Tech Report

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

October 2011
On Empirical Entropy Tech Report

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

March 2011
The Dissipation of Solar Wind Turbulent Fluctuations at Electron Scales Article

Astrophysical Journal, 730(2)

E. Camporeale (Enrico) and D. Burgess

March 2011
Rascal for Software Evolution and Software Construction, Universiteit van Amsterdam Lecture

J.J. Vinju (Jurgen)

January 2011
A broad introduction to Mining Software Repositories (and some related subjects), Open Universiteit Lecture

J.J. Vinju (Jurgen)

January 2011
CWI - SEN1 Software Analysis and Transformation Lecture

J.J. Vinju (Jurgen)

January 2011
On the Theory of Controlled Experiments in Software Engineering Theoretical Computer Science Amsterdam Lecture

J.J. Vinju (Jurgen)

January 2011
Separation and integration of concerns in meta programming - the Rascal perspective -IFIP Working Group 2.11 , Bordeaux, France Lecture

J.J. Vinju (Jurgen)

January 2011
The Making of Rascal INRIA Software Engineering Conference , Amsterdam, The Netherlands Lecture

J.J. Vinju (Jurgen)

January 2011
Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Vinju, J Lecture

T. van der Storm (Tijs)

January 2011
Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Storm, T Lecture

J.J. Vinju (Jurgen)

January 2011
A J-function for inhomogeneous point processes with applications, Sto\-chas\-tic Geometry Days, Lille, France, March 30--April 1, 2011 Lecture

M.N.M. van Lieshout (Marie-Colette)

January 2011
Simulation algorithms for polygonal Markov fields applied to image segmentation: Overview of work with Tomasz Schreiber, Workshop on Stochastic Geometry, Stereology and Image Analysis, S\o nderborg, Denmark,June 5--10, 2011. Lecture

M.N.M. van Lieshout (Marie-Colette)

January 2011
function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17--19, 2011. Lecture

M.N.M. van Lieshout (Marie-Colette)

January 2011
La Pietra week in Probability, Firenze, June 13-17 2011; Talk: "Extensions of the BK inequality"Four-hour presentation on BK and related inequalities,(with Alberto Gandolfi (Firenze)) at the "Hypatie seminar" in Marseille, December 2 2011. Lecture

J. van den Berg (Rob)

January 2011
Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011 , Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation " Lecture

J. van den Berg (Rob)

January 2011
``Heavy traffic of the Processor Sharing Queue via Excursion Theory''. Invited talk. Workshop on Stochastic Networks and Related Topics, Bedlewo, Poland Lecture

A.P. Zwart (Bert)

January 2011
``Scheduling and queueuing - optimality under rare events and heavy loads''. Keynote lecture. Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP). Czech Republic Lecture

A.P. Zwart (Bert)

January 2011
Inaugural lecture "The Nature of Prediction (and the Prediction of Nature)", Universiteit van Amsterdam (2011) Lecture

J.E. Frank (Jason)

January 2011
Effective methods in Algebraic Geometry (MEGA 2011), Stockholm, Plenary lecture. Title: Semidefinite programming characterization and computation of real radical ideals Lecture

M. Laurent (Monique)

January 2011
Scientific Lecture - Cell-based Computational Modeling of Collective Cell Behavior and Cell-ECM Interactions During Angiogenesis ICSB Workshop on Interdisciplinary Biomedical Research , University of Notre Dame, London Centre Lecture

R.M.H. Merks (Roeland)

January 2011
Scientific Lecture - Cell-based modeling of multicellular development of plants and animals , Freiburg Institute of Advanced Studies Lecture

R.M.H. Merks (Roeland)

January 2011
Public lecture - Radio-interview (Hoe?Zo! Radio) on angiogenesis project (in Dutch), “Samenwerkende cellen”, 14 maart 2011, http://educatie.ntr.nl/radio/134903/hoe-zo-radio/item/3149199/samenwerkende-cellen/ Lecture

R.M.H. Merks (Roeland)

January 2011
Invited Plenary Lecture, SIAM Conference on Applied Algebraic Geometry, Raleigh Lecture

A. Schönhuth (Alexander)

January 2011
Invited speaker at the congress “An Innovative Truth III” (Dutch professional congress on sustainable ICT and energy) Lecture

J.A. La Poutré (Han)

January 2011
2011Keynote at the Brazilian symposium on Multimedia and the Web Lecture

P.S. César Garcia (Pablo Santiago)

January 2011
Keynote - ICT.Open, Veldhoven, NL Lecture

D.C.A. Bulterman (Dick)

January 2011
Position-Based Quantum Cryptography: Impossibility and Constructions. Plenary talk at: QIP 2011 — 14th Workshop on Quantum Information Processing. Singapore Lecture

S. Fehr (Serge)

January 2011
Invited Speaker, EUROCRYPT 2011 Lecture

R.J.F. Cramer (Ronald)

January 2011
Keynote speaker - 30th Annual IACR EUROCRYPT, Tallinn, Estonia Title: The Arithmetic Codex. Lecture

R.J.F. Cramer (Ronald)

January 2011
Explicit lower and upper bounds on the entangled value of multiplayer XOR games 5th Workshop on Quantum Information Processing (QIP 2012) Montreal, Canada Lecture

J. Briët (Jop)

January 2011
Grothendieck's inequality applied to quantum entanglement and combinatorial optimization ICMAT (Instituto de Ciencias Matematicas) colloquium Madrid, Spain Lecture

J. Briët (Jop)

January 2011
Bell inequalities: What do we know about them and why should cryptographers care International Conference on Information Theoretic Security , Amsterdam, The Netherlands Lecture

R.M. de Wolf (Ronald)

January 2011
Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation

Algorithms and Complexity

H. P. van Hasselt (Hado)

January 2011
Amalgame Software

J.R. van Ossenbruggen (Jacco)

January 2011
VideoLat Software

A.J. Jansen (Jack)

January 2011
VConect Software

A.J. Jansen (Jack)

January 2011
REVERIE Software

A.A.M. Kuijk (Fons)

January 2011
Pacioli Software

J.J. Vinju (Jurgen)

January 2011
MP3DG-Point Cloud Compression Software

C.L. Blom (Kees)

January 2011
Basic Voting Theory Software

J.J. Vinju (Jurgen)

January 2011
AmbiDexter Software

J.J. Vinju (Jurgen)

January 2011
Introduction to Annual Report 2010 Online Video

J.K. Lenstra (Jan Karel)

January 2011
Stochastic models for resource sharing in wireless networks Dissertation

Stochastics

P.M. van de Ven (Peter)

December 2011
The excluded minors for near-regular matroids Article

European Journal of Combinatorics, 32(6), 802-830.

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

January 2011
On the relative importance of excluded minors Article

Advances in Applied Mathematics, 50(1), 228-242.

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

October 2011
EnBlogue: emergent topic detection in web 2.0 streams In Proceedings

F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

January 2011
Media Fragments URI 1.0 Standard

R. Troncy (Raphael), E. Mannens, S. Pfeiffer, D. van Deursen, M. Hausenblas, P. Jägenstedt, A.J. Jansen (Jack), Y. Lafon, C. Parker (Conrad) and T. Steiner

January 2011
CSS Color Module Level 3 Standard

T. Çelik, S. Pemberton (Steven) and not CWI et al

June 2011
Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification Standard

B. Bos, S. Pemberton (Steven) and not CWI et al

June 2011
Testing a particle filter to reconstruct climate changes over the past centuries Article

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, 21(12), 3611-3618.

S. Dubinkina (Svetlana), H. Goosse, Y. Sallaz-Damaz, E. Crespin and M. Crucifix

January 2011
Open Document Format for Office Applications (OpenDocument) Version 1.2 Standard

P. Durusau, M. Brauer and S. Pemberton (Steven)

September 2011
StoSim - Version 0.1 (original name: Nicessa) Software

N.F. Höning (Nicolas)

August 2011
Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article

Elsevier Telematics and Informatics, 28(4), 251-270.

D. Williams (Doug), M.F. Usrsu, J. Meenowa, P.S. César Garcia (Pablo Santiago), I. Kegel (Ian), K. Bergström (Karl) and K. Bergström (Karl)

January 2011
Boundedness and strong stability of Runge-Kutta methods Article

Mathematics of Computation, 863-886.

W. Hundsdorfer (Willem) and M.N. Spijker

January 2011
Crisis? Investeer in inventie Article

Automatisering Gids

J.K. Lenstra (Jan Karel)

October 2011
Tracking and Trace on Wireless Sensor Networks Master Thesis

C. Wang (Chen)

January 2011
Performance analysis of multi-class fork-join queues Master Thesis

S. Ding (Sihan)

January 2011
A high order density model for streamer discharges In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa), W. Hundsdorfer (Willem) and U. Ebert (Ute)

January 2011
Future Internet Lecture

S. Pemberton (Steven)

January 2011
Multilingual Forms and Applications Lecture

S. Pemberton (Steven)

January 2011
Why Visualisation? Lecture

S. Pemberton (Steven)

January 2011
XRX - Restful XForms Presentation

S. Pemberton (Steven)

January 2011
The Computer as Extended Phenotype Lecture

S. Pemberton (Steven)

January 2011
Declarative Applications Lecture

S. Pemberton (Steven)

January 2011
Abstract delta modeling Tech Report

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

December 2011
Multimodal monitoring of cultural heritage sites and the FIRESENSE project In Proceedings

A.A. Salah (Albert Ali), J. Han (Jungong ), E.J.E.M. Pauwels (Eric) and P.M. de Zeeuw (Paul)

October 2011
High order fluid model for ionization fronts in streamer discharges Proceedings

December 2011
CWI at TREC 2011: Session, Web, and Medical In Proceedings

J. He (Jiyin), V. Hollink (Vera), C. Boscarino (Corrado), A.P. de Vries (Arjen) and R. Cornacchia (Roberto)

January 2011
Combining strategies efficiently : radio interview BNR Denktank. 25.01.2011 News Broadcast

W.M. Koolen-Wijkstra (Wouter)

January 2011
Over kwantumcryptografie : telefonisch gesprek in het radioprogramma Hoe?Zo! Radio, 22.11.2011 (NTR) [6:18] News Broadcast

H.M. Buhrman (Harry)

November 2011
Kwantum informatica : een gesprek met Harry Buhrman over kwantum computers en kwantum informatica : Hoe?Zo! Radio, 05.01.2011 [27:38] News Broadcast

H.M. Buhrman (Harry)

January 2011
International Conference on Information Theoretic Security - ICITS 2011 Book

S. Fehr (Serge)

May 2011
Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings

H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)

August 2011
A new method for deriving waiting-time approximations in polling systems with renewal arrivals Article

Stochastic Models, 318-332.

J.-P.L. Dorsman (Jan-Pieter), R.D. van der Mei (Rob) and E.M.M. Winands

January 2011
KRunner: Linking Rascal with K Unpublished

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2011
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture

A. Kruppa (Alexander)

January 2011
The MediaMill TRECVID 2011 Semantic Video Search Engine In Proceedings

C. Snoek, K.E.A. van de Sande, X. Li (Xirong), M. Mazloom (Masoud), D.C. Koelma and A.W.M. Smeulders (Arnold)

January 2011
Text and Image Subject Classifiers: Dense Works Better In Proceedings

D.T.J. Vreeswijk, B. Huurnink and A.W.M. Smeulders (Arnold)

January 2011
Social Negative Bootstrapping for Visual Categorization In Proceedings

X. Li (Xirong), C. Snoek, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2011
Segmentation As Selective Search for Object Recognition In Proceedings

K.E.A. van de Sande, J.R.R. Uijlings, T. Gevers and A.W.M. Smeulders (Arnold)

January 2011
Personalizing Automated Image Annotation Using Cross-Entropy In Proceedings

X. Li (Xirong), E. Gavves, C. Snoek, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2011
Internet Video Search In Proceedings

C. Snoek and A.W.M. Smeulders (Arnold)

January 2011
Instant Bag-of-Words Served on a Laptop In Proceedings

J.R.R. Uijlings, O. de Rooij, D. Odijk, A.W.M. Smeulders (Arnold) and M. Worring (Marcel)

January 2011
A Lévy input queuing model with additional state-dependent services Article

Stochastic Processes and their Applications, 121(7), 1546-1564.

Z. Palmowski (Zbigniew) and M. Vlasiou (Maria)

July 2011
Renewal processes with costs and rewards Book Chapter

M. Vlasiou (Maria)

February 2011
Regenerative processes Book Chapter

M. Vlasiou (Maria)

February 2011
Atomen tellen Article

Nederlands Tijdschrift voor Natuurkunde

S. van Aert, K.J. Batenburg (Joost) and G. Van Tendeloo (Gustaaf)

August 2011
Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width In Proceedings

M. Bordewich and R.J. Kang (Ross)

January 2011
Largest sparse subgraphs of random graphs In Proceedings

N. Fountoulakis (Nikolaos), R.J. Kang (Ross) and C.J.H. McDiarmid (Colin)

January 2011
Every plane graph of maximum degree 8 has an edge-face 9-colouring. Article

SIAM Journal on Discrete Mathematics, 25(2), 514-533.

R.J. Kang (Ross), J.-S. Sereni and M. Stehlík

January 2011
An automated archival VLA transients survey Article

Monthly Notices of the Royal Astronomical Society, 415(1)

M.E. Bell, R.P. Fender, J.D. Swinbank, J.C.A. Miller-Jones, C.J. Law, L.H.A. Scheers (Bart), H. Spreeuw, M.W. Wise (Michael), B.W. Stappers, R.A.M.J. Wijers (Ralph), et al. J. Masters

July 2011

Available Years

Publications from before 2012

Poster: Optimal dispatching policies for parallel processor sharing nodes with partial information In Proceedings

Deliverable D7.1 Project website Tech Report

CWI knipselkrant 2011-2013 Miscellaneous

Model checking of component connectors Dissertation

From computability to executability : a process-theoretic view on automata theory Dissertation

Sequences with trivial initial segment complexity Master Thesis

Preface Preface

Preface In Proceedings

Compression-based Similarity Tech Report

On Empirical Entropy Tech Report

The Dissipation of Solar Wind Turbulent Fluctuations at Electron Scales Article

Rascal for Software Evolution and Software Construction, Universiteit van Amsterdam Lecture

A broad introduction to Mining Software Repositories (and some related subjects), Open Universiteit Lecture

CWI - SEN1 Software Analysis and Transformation Lecture

On the Theory of Controlled Experiments in Software Engineering Theoretical Computer Science Amsterdam Lecture

Separation and integration of concerns in meta programming - the Rascal perspective -IFIP Working Group 2.11 , Bordeaux, France Lecture

The Making of Rascal INRIA Software Engineering Conference , Amsterdam, The Netherlands Lecture

Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Vinju, J Lecture

Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Storm, T Lecture

A J-function for inhomogeneous point processes with applications, Sto\-chas\-tic Geometry Days, Lille, France, March 30--April 1, 2011 Lecture

Simulation algorithms for polygonal Markov fields applied to image segmentation: Overview of work with Tomasz Schreiber, Workshop on Stochastic Geometry, Stereology and Image Analysis, S\o nderborg, Denmark,June 5--10, 2011. Lecture

function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17--19, 2011. Lecture

La Pietra week in Probability, Firenze, June 13-17 2011; Talk: "Extensions of the BK inequality"Four-hour presentation on BK and related inequalities,(with Alberto Gandolfi (Firenze)) at the "Hypatie seminar" in Marseille, December 2 2011. Lecture

Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011 , Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation " Lecture

``Heavy traffic of the Processor Sharing Queue via Excursion Theory''. Invited talk. Workshop on Stochastic Networks and Related Topics, Bedlewo, Poland Lecture

``Scheduling and queueuing - optimality under rare events and heavy loads''. Keynote lecture. Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP). Czech Republic Lecture

Inaugural lecture "The Nature of Prediction (and the Prediction of Nature)", Universiteit van Amsterdam (2011) Lecture

Effective methods in Algebraic Geometry (MEGA 2011), Stockholm, Plenary lecture. Title: Semidefinite programming characterization and computation of real radical ideals Lecture

Scientific Lecture - Cell-based Computational Modeling of Collective Cell Behavior and Cell-ECM Interactions During Angiogenesis ICSB Workshop on Interdisciplinary Biomedical Research , University of Notre Dame, London Centre Lecture

Scientific Lecture - Cell-based modeling of multicellular development of plants and animals , Freiburg Institute of Advanced Studies Lecture

Public lecture - Radio-interview (Hoe?Zo! Radio) on angiogenesis project (in Dutch), “Samenwerkende cellen”, 14 maart 2011, http://educatie.ntr.nl/radio/134903/hoe-zo-radio/item/3149199/samenwerkende-cellen/ Lecture

Invited Plenary Lecture, SIAM Conference on Applied Algebraic Geometry, Raleigh Lecture

Invited speaker at the congress “An Innovative Truth III” (Dutch professional congress on sustainable ICT and energy) Lecture

2011Keynote at the Brazilian symposium on Multimedia and the Web Lecture

Keynote - ICT.Open, Veldhoven, NL Lecture

Position-Based Quantum Cryptography: Impossibility and Constructions. Plenary talk at: QIP 2011 — 14th Workshop on Quantum Information Processing. Singapore Lecture

Invited Speaker, EUROCRYPT 2011 Lecture

Keynote speaker - 30th Annual IACR EUROCRYPT, Tallinn, Estonia Title: The Arithmetic Codex. Lecture

Explicit lower and upper bounds on the entangled value of multiplayer XOR games 5th Workshop on Quantum Information Processing (QIP 2012) Montreal, Canada Lecture

Grothendieck's inequality applied to quantum entanglement and combinatorial optimization ICMAT (Instituto de Ciencias Matematicas) colloquium Madrid, Spain Lecture

Bell inequalities: What do we know about them and why should cryptographers care International Conference on Information Theoretic Security , Amsterdam, The Netherlands Lecture

Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation

Amalgame Software

VideoLat Software

VConect Software

REVERIE Software

Pacioli Software

MP3DG-Point Cloud Compression Software

Basic Voting Theory Software

AmbiDexter Software

Introduction to Annual Report 2010 Online Video

Stochastic models for resource sharing in wireless networks Dissertation

The excluded minors for near-regular matroids Article

On the relative importance of excluded minors Article

EnBlogue: emergent topic detection in web 2.0 streams In Proceedings

Media Fragments URI 1.0 Standard

CSS Color Module Level 3 Standard

Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification Standard

Testing a particle filter to reconstruct climate changes over the past centuries Article

Open Document Format for Office Applications (OpenDocument) Version 1.2 Standard

StoSim - Version 0.1 (original name: Nicessa) Software

Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article

Boundedness and strong stability of Runge-Kutta methods Article

Crisis? Investeer in inventie Article

Tracking and Trace on Wireless Sensor Networks Master Thesis

Performance analysis of multi-class fork-join queues Master Thesis

A high order density model for streamer discharges In Proceedings

Future Internet Lecture

Multilingual Forms and Applications Lecture

Why Visualisation? Lecture

XRX - Restful XForms Presentation

The Computer as Extended Phenotype Lecture

Declarative Applications Lecture

Abstract delta modeling Tech Report

Multimodal monitoring of cultural heritage sites and the FIRESENSE project In Proceedings

High order fluid model for ionization fronts in streamer discharges Proceedings

CWI at TREC 2011: Session, Web, and Medical In Proceedings

Combining strategies efficiently : radio interview BNR Denktank. 25.01.2011 News Broadcast

Over kwantumcryptografie : telefonisch gesprek in het radioprogramma Hoe?Zo! Radio, 22.11.2011 (NTR) [6:18] News Broadcast