Publications from 2016

Message from the Program Coordinator Preface

D.C.A. Bulterman (Dick)

Remembering ARRA: A pioneer in Dutch computing : a story from the earliest days of Dutch computing Online Video

cwi-swat/static-analysis-reflection: The project at the time of the ICSE 2017 submission Software|Data

D. Landman (Davy)

Rewarding cooperative virtual power plant formation using scoring rules Article

V. Robu (Valentin), G. Chalkiadakis (Georgios), R. Kota (Ramachandra), A. Rogers (Alex) and N. Jennings

Sirt-filter Software

D.M. Pelt (Daniël)

Renjin Software

H.F. Mühleisen (Hannes)

Tomos Software

J. Buurlage (Jan-Willem)

Unsupervised annotated city traffic map generation In Proceedings

R. Verma (Rohit), S. Ghosh (Surjya), A. Shrivastava (Aviral), N. Ganguly (Niloy), B. Mitra (Bivas) and S. Chakraborty (Sandip)

Managing appointment booking under customer choices Tech Report

N. Liu (Nan), P.M. van de Ven (Peter) and B. Zhang (Bo)

Extremes of multitype branching random walks: Heaviest tail wins Tech Report

A. Bhattacharya (Ayan), K. Maulik (Krishanu), Z. Palmowski (Zbigniew) and P. Roy (Parthanil)

Analyzing the technical indicators of an electric car using a data recoder In Proceedings

N. Munkhzul (Nergui) and Y. Dajsuren (Yanjindulam)

Nanosecond enhancement of the atmospheric electron density by extensive air showers Presentation

C. Rutjes (Casper), A. A. Dubinova (Anna), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Extreme atmospheric electron densities created by extensive air showers Presentation

C. Rutjes (Casper), A. A. Dubinova (Anna), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Evaluation of Monte Carlo tools for high energy atmospheric physics Presentation

C. Rutjes (Casper), D. Sarria (David), A.B. Skeltved (Alexander Broberg), A. Luque (Alejandro), N. Østgaard (Nikolai) and U. Ebert (Ute)

Evaluation of Monte Carlo tools for high energy atmospheric physics Presentation

C. Rutjes (Casper), D. Sarria (David), A.B. Skeltved (Alexander Broberg), A. Luque (Alejandro), G. Diniz (Gabriel) and N. Østgaard (Nikolai)

Prediction of lightning inception by large ice particles and extensive air showers Lecture

C. Rutjes (Casper), A. A. Dubinova (Anna), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Avalanche-to-streamer transition near hydrometeors in thunderstorms Lecture

C. Rutjes (Casper), E. Camporeale (Enrico), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf), T.N.G. Trinh (Gia) and J.A.S. Witteveen (Jeroen)

The origin of lightning Lecture

C. Rutjes (Casper)

Expected maximal electron densities from extended air showers for break- down phenomena in thunderstorms Lecture

C. Rutjes (Casper), E. Camporeale (Enrico), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Simulating Streamer Inception From Hydrometeors as a Stochastic Process with a Particle-Based Model Lecture

C. Rutjes (Casper), A. A. Dubinova (Anna), U. Ebert (Ute), S. Buitink, O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Invited talk at 2016 Fusion frontiers and interfaces workshop, York, UK Lecture

U. Ebert (Ute)

Kosmisch Onweer: Het opstarten van de bliksem / Cosmic Lightning: Lightning Inception Magazine Article

C. Rutjes (Casper), A. A. Dubinova (Anna) and U. Ebert (Ute)

On the wavelet-based SWIFT method for backward stochastic differential equations Tech Report

K.W. Chau (Ki) and C.W. Oosterlee (Kees)

Multi-core column-store parallelization under concurrent workload In Proceedings

M.M. Gawade (Mrunal), M.L. Kersten (Martin) and A. Simitsis (Alkis)

In memory processing of massive point clouds for multi-core systems In Proceedings

K. Kyzirakos (Konstantinos), F. Alvanaki (Foteini) and M.L. Kersten (Martin)

Algebras, rings and modules: Non-commutative algebras and rings Book

M. Hazewinkel (Michiel) and N. Gubareni (Nadiya)

Evaluating forecasting performance: Accuracy measures and their application in hospitality Book Chapter

L. Koupriouchina (Larissa), JP.I. van der Rest (Jean-Pierre), Z. Schwartz (Zvi) and D.D. Sierag (Dirk)

Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs Dissertation

A.C. van Hulst

E#: Sharper expertise detection from microblogs In Proceedings

T.H.J. Sellam (Thibault), M. Hentschel (Martin), O. Alonso (Omar) and V. Kandylas (Vasilis)

Wetenschap en bedrijfsleven zij aan zij: Slimme optelsom - Quest Specials - 31-01-16 Magazine Article

The influence of the switch from fossil fuels to solar and wind energy on the electricity prices in Germany In Proceedings

A.B. Dorsman (André), A. Khoshrou (Majid) and E.J.E.M. Pauwels (Eric)

Old and new data and implicit interaction Lecture

D.A. Shamma (Ayman)

Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

J.A. Redi (Judith)

Powers of two Lecture

S. Pemberton (Steven)

HTML5 is the new Flash Lecture

S. Pemberton (Steven)

Data just wants to be (format) neutral Lecture

S. Pemberton (Steven)

The second enlightment Lecture

S. Pemberton (Steven)

Research and Industry: Internet and the Web Lecture

S. Pemberton (Steven)

Parse early, parse often Lecture

S. Pemberton (Steven)

ret iNTERFACES TO THE iNTERNET OF tHINGS Lecture

S. Pemberton (Steven)

Why is programming so hard? Lecture

S. Pemberton (Steven)

Declarative Data Handling Lecture

S. Pemberton (Steven)

XForms in ODF Lecture

S. Pemberton (Steven)

XForms, the only standard web framework Lecture

S. Pemberton (Steven)

Documents numériques et le Web: construire la convergence Lecture

I. Herman (Ivan)

Potable web publications: technology challenges Lecture

I. Herman (Ivan)

(Packaged) Web publications Lecture

I. Herman (Ivan)

Interaction design for online video and television Lecture

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

Future media experiences: thoughts Lecture

D.C.A. Bulterman (Dick)

WebScience and Web infrastructure support Lecture

D.C.A. Bulterman (Dick)

A mixed-scale dense convolutional neural network for image analysis Article

D.M. Pelt (Daniël) and J.A. Sethian (James)

Bitcoin and the Security of the Blockchain Lecture

M.M.J. Stevens (Marc)

Almost the best of three worlds: Risk, consistency and optional stopping for the switch criterion in nested model selection Tech Report

S.L. van der Pas (Stéphanie) and P.D. Grünwald (Peter)

1 million captioned Dutch newspaper images In Proceedings

D. Elliott (Desmond) and M. (Martijn) Kleppe

Blended visualization of x-ray ct and 3d optical scanning for cultural and natural heritage Lecture

A. Kostenko (Alexander)

World Wide Web Consortium (W3C) and International Digital Publishing Forum (IDPF) Explore Plans to Combine Magazine Article

CWI CWI

Invited lecture at 2016 Colloquia in Combinatorics Lecture

M. Laurent (Monique)

Tutorial lectures at LMS-CMI Research School on Combinatorics and Operators in Quantum Information Theory Lecture

M. Laurent (Monique)

Bermudan option valuation under state-dependent models In Proceedings

A.I. Borovykh (Anastasia), A. Pascucci (Andrea) and C.W. Oosterlee (Kees)

HLogo: A Haskell STM-based parallel variant of NetLogo In Proceedings

N. Bezirgiannis (Nikolaos), I.S.W.B. Prasetya and I. Sakellariou (Ilias)

Asymptotic error bounds for truncated buffer approximations of a 2-node tandem queue. In Proceedings

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

On preparing ground states of gapped Hamiltonians: An efficient Quantum Lovász Local Lemma Tech Report

A.P. Gilyén (András) and Sattath, O (Or)

Keynote - Modern Sense-Making: Humans, Data, and AI Systems Lecture

D.A. Shamma (Ayman)

Keynote - HTML5 is the new flash Lecture

S. Pemberton (Steven)

Keynote - The Future of Programming Lecture

S. Pemberton (Steven)

Keynote - Web n+1 Lecture

S. Pemberton (Steven)

Keynote - Moore's Switch Lecture

S. Pemberton (Steven)

Keynote - On the choice of programming languages Lecture

S. Pemberton (Steven)

Keynote - Sensing Audiences Lecture

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

Keynote - Sensing the Audience: theatre, lectures and concerts Lecture

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

Technical history of discrete logarithms in small characteristic finite fields: The road from subexponential to quasi-polynomial complexity Article

C.A. Pierrot (Cécile) and A. Joux (Antoine)

On partition functions of 3-graphs Article

G. Regts (Guus), A. Schrijver (Lex) and B.L. Sevenster (Bart)

A formal, resource consumption-preserving translation of actors to Haskell In Proceedings

E. Albert (Elvira), N. Bezirgiannis (Nikolaos), F.S. de Boer (Frank) and E. Martin-Martin (Enrique)

Discovering and Genotyping Twilight Zone Deletions Book Chapter

T. Marschall (Tobias) and A. Schönhuth (Alexander)

Clean quantum and classical communication protocols Article

H.M. Buhrman (Harry), M. Christandl (Matthias), C. Perry (Christopher) and J. Zuiddam (Jeroen)

Asymptotic tensor rank of graph tensors: beyond matrix multiplication Tech Report

M. Christandl (Matthias), P. Vrana (Péter) and J. Zuiddam (Jeroen)

Tensor surgery and tensor rank Tech Report

M. Christandl (Matthias) and J. Zuiddam (Jeroen)

Nondeterministic quantum communication complexity: the cyclic equality game and iterated matrix multiplication Tech Report

H.M. Buhrman (Harry), M. Christandl (Matthias) and J. Zuiddam (Jeroen)

Patankar-type Runge-Kutta schemes for linear PDEs In Proceedings

S. Ortleb (Sigrun) and W. Hundsdorfer (Willem)

A high-quality human reference panel reveals the complexity and distribution of genomic structural variants Article

J.Y. Hehir-Kwa (Jayne), A. Schönhuth (Alexander) and et al.

De cryptocalypse komt eraan - NRC Handelsblad - 05-09-2016 Magazine Article

People of ACM - Meet Lynda Hardman - ACM - 23-08-2016 Online Video

GGD Flevoland zet software CWI-spin-off Stokhos in - computable.nl - 15-09-2016 Online Video

Cryptografen van CWI en Radboud winnen prijs voor New Hope-algoritme - tweakers.net - 12-08-2016 Online Video

Cryptografen CWI en Radboud Universiteit winnen internetprijs - security.nl - 12-08-2016 Online Video

Amsterdamse onderzoeker krijgt Internet Defense Prize - parool.nl - 15-08-2016 Online Video

Cryptograaf RU wint prijs voor beschermingssysteem computer - Nr1.nl - 15-08-2016 Online Video

2016 Internet Defense Prize Winner Brings New Hope for Post-Quantum Key Exchange - facebook.com - 11-08-2016 Online Video

Cryptografen van CWI en Radboud winnen prijs voor beveiliging tegen aanvallen met kwantumcomputers - executive-people.nl - 14-08-2016 Online Video

Nederlandse cryptografen winnen Internet Defense Prize - engineersonline.nl - 12-08-2016 Online Video

Professor Frank Bruggeman onderzoekt de werking van levende cellen - Eilanden-Nieuws - 03-08-2016 Magazine Article

Rekenmodel redder in nood - Telegraaf Landelijk - 08-08-2016 Magazine Article

Facebook eert Nederlandse security-experts - Computable.nl - 15-08-2016 Online Video

Facebook beloont deels Nederlands post-kwantumcrypto-onderzoek - Bits&Chips - 12-08-2016 Online Video

Meer business in enterprise-architectuur - AG Connect - 31-08-2016 Magazine Article

Prijs voor cryptografen Radboud Universiteit en CWI - agconnect.nl - 15-08-2016 Online Video

Een quantumcomputer op elk bureau? - PC-Active - 31-07-2016 Magazine Article

Processor maakt gebruik van superpositie Schrödingers PC - de Ingenieur - 31-07-2016 Magazine Article

Anders maar niet héél anders - AG Connect - 31-07-2016 Magazine Article