Publications from 2012

When Turing Meets Milner Article

J.C.M. Baeten (Jos), S.P. Luttik (Bas), P. van Tilburg (Paul) and A.C. Kik (Annette)

Matroids and integrality gaps for hypergraphic steiner tree relaxations In Proceedings

M.X. Goemans (Michel X.), N.K. Olver (Neil), T. Rothvoss (Thomas) and R. Zenklusen (Rico)

Poster Praethuys Miscellaneous

Planar Markov fields, $9^{\rm{th}}$ French-Danish Workshop on Spatial Statistics and Image Analysis in Biology, Avignon, France, May 9--11, 2012. Lecture

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

function for inhomogeneous point processes with applications to seismology, University of Miami Spatial Statistics Conference 2012,Miami, United States, December 13--15, 2012. Lecture

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

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

J. van den Berg (Rob)

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)

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

J. van den Berg (Rob)

12th MathFinance conference, Frankfurt, Germany Lecture

C.W. Oosterlee (Kees)

Invited talk Logic Programming: Systems and Applications, Stony Brook, New York, September, 2012. Lecture

K.R. Apt (Krzysztof)

Invited talk International Conference on Logic, Language and Computation, Chongqing, China, August 2012. Lecture

K.R. Apt (Krzysztof)

Invited Plenary Lecture, Hot Topics Meeting, Netherlands Bioinformatics Centre, Utrecht Lecture

A. Schönhuth (Alexander)

2012 — International Max Planck Research School on Scientific Computing and Computational Biology (IMPRS-CBSC), Berlin, Germany Lecture

G.W. Klau (Gunnar)

Montefiore Institute, Liège, Belgium Lecture

G.W. Klau (Gunnar)

Invited plenary lecture at the Milner Memorial Symposium, Edinburgh Lecture

J.J.M.M. Rutten (Jan)

Invited lecture at annual meeting of the NVTI Lecture

J.J.M.M. Rutten (Jan)

Invited mini-course (six lectures) at Beijing University Lecture

J.J.M.M. Rutten (Jan)

Invited tutorial ICT OPEN Lecture

J.J.M.M. Rutten (Jan)

Distinguished lecture at the Workshop on Next Generation Multimedia Research & Development Lecture

P.S. Cesar Garcia (Pablo Santiago)

Invited talk - Reconstruction of a Shared Secret in the Presence of Faults. Invited talk at: ICITS 2012 — 6th International Conference on Information Theoretic Security. Montreal, Aug 2012. Lecture

S. Fehr (Serge)

Tsinghua-NTU Workshop on Number Theory, Discrete Mathematics and Applications,Tsinghua University, Maths Dept, Beijing, China, May 25-27 2012. Title:The Arithmetic Codex Lecture

R.J.F. Cramer (Ronald)

Chinese Academy of Sciences, Maths Dept, China, May 24, 2012. Title: The Torsion Limit for Algebraic Functions Fields and Applications Lecture

R.J.F. Cramer (Ronald)

Tsinghua University, Institute for Advanced Study, China, May 25, 2012. Title: Arithmetic Secret Sharing Schemes Lecture

R.J.F. Cramer (Ronald)

Unbounded violations of three-player XOR games without operator space Workshop on Operator structures in quantum information theory Banff, Canada (invited) Lecture

J. Briët (Jop)

 Unbounded violations of three-player XOR games: Improved, simplified and explicit constructions IQC (Institute for Quantum Computing) colloquium University of Waterloo, Canada Lecture

J. Briët (Jop)

Violating the Shannon capacity of a graph with quantum entanglement DIAMANT Symposium, Nunspeet, The Netherlands (invited) Lecture

J. Briët (Jop)

Grothendieck inequalities for semidefinite programs with rank constraint Conference on Phenomena in high dimensions in geometric analysis, random matrices, and computational geometry Roscoff, France (invited) Lecture

J. Briët (Jop)

Grothendieck inequalities, non-local games and optimization   WONDER Afternoon & Stieltjes Prize award ceremony Amsterdam, The Netherlands (prize recipient) Lecture

J. Briët (Jop)

Exponential lower bounds for polytopes in combinatorial optimization Theory and Operations Research Seminar , MIT, Cambridge, MA, USA Lecture

R. M. de Wolf (Ronald)

Linear vs. semidefinite extended formulations: Exponential separation and strong lower bounds Quality Security Conference , Barcelona, Spain Lecture

R. M. de Wolf (Ronald)

Exponential lower bounds for polytopes in combinatorial optimization DIAMANT/EIDMA Symposium , Nunspeet Lecture

R. M. de Wolf (Ronald)

Quantum proofs for classical theorems, Ecole de Printemps d'Informatique Lecture

R. M. de Wolf (Ronald)

Quantum computing, Stichting Nationaal Informatica Congres Lecture

R. M. de Wolf (Ronald)

What quantum computing can do for you, Universiteit van Amsterdam Lecture

R. M. de Wolf (Ronald)

SuMDb - Summarizing a year in movies Master Thesis

R.C. Helling (Rutger)

Static analysis of unbounded structures in object-oriented programs Dissertation

I. Grabe (Immo)

Fortran utilities Software

H.J. Teunissen (Jannis)

Rise and Fall of Periodic Patterns for a generalized Klausmeier-Gray-Scott model Dissertation

S. van der Stelt (Sjors)

Architecture-independent distributed query processing Dissertation

H.F. Mühleisen (Hannes)

Integer programming, lattice algorithms, and deterministic volume estimation Dissertation

D.N. Dadush (Daniel)

Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation

M. Kaisers (Michael)

RDFa 1.1 Distiller and Parser Software

I. Herman (Ivan)

Derric Software

J.J. Vinju (Jurgen)

Turing language Software

J.J. Vinju (Jurgen)

Software Language Processing Suite Software

J.J. Vinju (Jurgen)

Snakemake Software

J. Köster (Johannes)

Lua AiR Software

J.J. Vinju (Jurgen)

IDE Meta-tooling Platform Software

J.J. Vinju (Jurgen)

Enso Software

J.J. Vinju (Jurgen)

ASTRA Toolbox Software

W.J. Palenstijn (Willem Jan)

Interacting via the heap in the presence of recursion In Proceedings

J.C. Rot (Jurriaan), I.M. Asâvoae (Irina Mâriuca), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and D. Lucanu (Dorel)

Building virtual earth observatories using ontologies and linked geospatial data In Proceedings

M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), C. Kontoes (Charalampos), I. Papoutsis (Ioannis), T. Herekakis (Themistocles), D. Mihail (Dimitris), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), Molina, D. (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

Building and documenting workflows with Python-based Snakemake In Proceedings

J. Köster (Johannes) and S. Rahmann (Sven)

Efficiently mining protein interaction dependencies from large text corpora Article

J. Köster (Johannes), Zamir, E. (Eli) and S. Rahmann (Sven)

Snakemake-a scalable bioinformatics workflow engine Article

J. Köster (Johannes) and S. Rahmann (Sven)

Numerical modelling of strongly anisotropic dissipative eects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Discretization methods for extremely anisotropic diffusion In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

A new model and numerical method for compressible two-fluid flow In Proceedings

J.J. Kreeft (Jasper) and B. Koren (Barry)

Immersed actuator methods for wind-turbine wake calculations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

A numerical layer resolving method for the flow over a curved surface Article

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

De Zeven Grootste Raadsels van de Wiskunde Book

A. van den Brandhof, R. van der Veen, J. van de Craats and B. Koren (Barry)

Exploring employment opportunities through microtasks via cybercafes In Proceedings

M.M. Gawade (Mrunal), R. Vaish (Rajan), M. Nduta (Mercy) and J. Davis (James)

Video mash-ups give you personalised memories Magazine Article

P.S. Cesar Garcia (Pablo Santiago)

First International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications Proceedings

See what's enBlogue: real-time emergent topic identification in social media In Proceedings

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

De 10 grootste doorbraken in de wetenschap volgens 89 prominente wetenschappers Magazine Article

R.M.H. Merks (Roeland)

Proceedings of the 1st international workshop on socially-aware multimedia Proceedings

Abstract Delta Modeling - Software Product Lines and Beyond Dissertation

M. Helvensteijn (Michiel)

Microdata to RDF Standard

I. Hickson, G. Kellogg (Gregg), J. Tennison and I. Herman (Ivan)

RDFa Core 1.1 Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

RDFa 1.1 Primer Standard

B. Adida (Ben), I. Herman (Ivan), M. Sporny (Manu) and M. Birbeck (Mark)

An Architecture and Implementation for Evaluating Synchronization Support for Shared User Experiences Master Thesis

S. Ud Din

RDFa Core 1.1 Syntax and processing rules for embedding RDF through attributes Standard

B. Adida (Ben), I. Herman (Ivan) and S. Pemberton (Steven)

The medieval climate anomaly in Europe : Comparison of the summer and annual mean signals in two reconstructions and in simulations with data assimilation Article

H. Goosse, J. Guiot, M.E. Mann (Michael), S. Dubinkina (Svetlana) and Y. Sallaz-Damaz

The role of forcing and internal dynamics in explaining the ‘‘Medieval Climate Anomaly’’ Article

H. Goosse, E. Crespin, S. Dubinkina (Svetlana) and M.-F. Loutre

AMaLGaM Software

P.A.N. Bosman (Peter)

Media Synchronization in 3D tele-Immersion Applications: an Architecture In Proceedings

R.N. Mekuria (Rufael), M. Sanna (Michele) and P.S. Cesar Garcia (Pablo Santiago)

Nonlinear ion-acoustic structures in a nonextensive electron–positron–ion–dust plasma: Modulational instability and rogue waves Article

S. Guo (Shimin), L. Mei and A.B. Sun (Anbang)

Special finite-difference methods for extremely anisotropic diffusion In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

New year's speech of Jos Baeten, January 9, 2012 Miscellaneous

J.C.M. Baeten (Jos)

Decision Support System for the Operating Room Scheduling Problem Article

J.T. van Essen (Theresia), J. Hurink, W. Hartholt and B.J. van den Akker

Minimizing the Waiting Time for Emergency Surgery Article

J.T. van Essen (Theresia), J. Hurink, E.W. Hans and A. Oversberg

Genome-scale modeling of Synechocystis metabolism: A status report Lecture

T.R. Maarleveld (Timo), F.J. Bruggeman (Frank) and B. Teusink (Bas)

StochPy: A Stochastic modelling tool for Python Software

T.R. Maarleveld (Timo), B.E. Olivier and F.J. Bruggeman (Frank)

Towards truly integrated modelling in Systems Biology Developing the Software and Standards Presentation

B.E. Olivier, M. Swat, K.J. Wolstencroft, J.L. Snoep, J. Boele (Joost) and T.R. Maarleveld (Timo)

CWI’er Floor Sietsma (20) jongste doctor ooit Magazine Article

F.A.G. Sietsma (Floor)

The Haskell Road to Logic, Maths and Programming, Second Edition Book

H.C. Doets and D.J.N. van Eijck (Jan)

Polderpioniers: Piet Beertema. Tweakers.net, 20 mei 2012 [7:59] Online Video

P. Beertema

Good Listeners, Wise Crowds and Parasitic Experts Article

J.W. Romeijn, T.F. Sterkenburg (Tom) and P.D. Grünwald (Peter)

On a Bahadur-Kiefer representation of Von Mises statistic type for intermediate sample quantiles Article

N. Gribkova and R. Helmers (Roelof)

Rational Middle: Intelligent Networks, make them as smart as possible! Or not? Article

R. Croes and J.A. La Poutré (Han)

Using Priced Options to Solve the Exposure Problem in Sequential Auctions Article

V. Robu (Valentin), L. Mous and J.A. La Poutré (Han)

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems In Proceedings

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

On-line Distributed Prediction of Traffic Flow in a Large-Scale Traffic Network In Proceedings

Y. Wang (Yanjing), J.H. van Schuppen (Jan) and J. Vrancken

Control to facet by piecewise-affine output feedback Article

L.C.G.J.M. Habets (Luc), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

On conditional decomposability Article

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)