Publications from before 2013

Werk maken van innovatie : Vooraankondiging CWI in Bedrijf, 05.10.2012 Booklet

Turings erfenis : de stille kracht van informatica : brochure tentoonstelling 14.06 t/m 06.10.2012 Booklet

Uitnodiging kerstborrel, 20.12.2012 Other

SPAFF = Science Park Amsterdam Film Festival, 13-14.09.2012 : flyer Other

De exacte benadering : vakantiecursus 2012 : brochure Booklet

Uitnodiging etentje afscheid Jan Schipper, 06.04.2012 Other

Uitnodiging etentje t.g.v. afscheid van Ay Ong, 30.05.2012 Other

Deliverable D9.1.1 Annual Project Scientific Report Tech Report

J. Köhler (Joachim) and et al.

Deliverable D8.2 First market analysis Tech Report

K. Stanoevska (Katarina), J. Ebermann (Jana) and T. Plotkowiak (Thomas)

Deliverable D7.8 Newsletter Tech Report

L. Nixon (Lyndon) and S. Pellkvist (Simeona)

Deliverable D7.2 Dissemination and Standardisation Plan Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Deliverable D6.1 Scenario Descriptions Tech Report

L. Nixon (Lyndon) and et al.

Deliverable D5.2 LinkedTV front-end: video player and MediaCanvas API Tech Report

J. Gural (Jechiam) and et al.

Deliverable D5.1 LinkedTV Platform and Architecture Tech Report

R. Fricke (Rolf) and J. Thomsen (Jan)

Deliverable D4.3 Content and Concept Filter V1 Tech Report

R. Klein (Rüdiger) and et al.

Deliverable D4.2 User profile schema and profile capturing Tech Report

D. Tsatsou (Dorothea) and et al.

Deliverable D4.1 Specification of user profiling and contextualisation Tech Report

D. Tsatsou (Dorothea) and et al.

Deliverable D3.4 LinkedTV Interface and Presentation Engine version 1 Tech Report

P. van Leeuwen (Pieter), J. Gural (Jechiam) and R. Rozendal (Rutger)

Deliverable D3.3 LinkedTV user interfaces sketch Tech Report

M.H.R. Leyssen (Mieke), M.C. Traub (Myriam), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Deliverable D3.2 Specification of Presentation Interfaces for the Three Scenarios Tech Report

M.H.R. Leyssen (Mieke), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Deliverable D3.1 Specification of Functional Requirements Satisfying User Information Needs Tech Report

M.H.R. Leyssen (Mieke), L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), L.B. Baltussen (Lotte) and N. de Abreu (Nico)

Deliverable D2.3 Specification of Web mining process for hypervideo concept identification Tech Report

I. Lašek (Ivo) and et al.

Deliverable D2.2 Specification of lightweight metadata models for multimedia annotation Tech Report

J.L. Redondo Garcia (José Luis), R. Troncy (Raphael) and M. Vacura (Miroslav)

Deliverable D2.1 Specification of the Media Fragment URI scheme Tech Report

R. Troncy (Raphael), P. van Leeuwen (Pieter) and J. Gural (Jechiam)

Deliverable D1.1 State of the art and requirements analysis for hypervideo Tech Report

E. Apostolidis (Evlampios) and et al.

Shearer’s Measure and Stochastic Domination of Product Measures Article

C. Hofer-Temmel (Christoph)

When Turing Meets Milner Article

J.C.M. Baeten (Jos), S.P. Luttik (Bas), P.J.A. 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. César 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.R. Davis (James)

Video mash-ups give you personalised memories Magazine Article

P.S. César 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