Publications from 2018

Analysis of SLA compliance in the cloud: An automated, model-based approach In Proceedings

F.S. de Boer (Frank), E. Giachino (Elena), C.P.T. de Gouw (Stijn), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch), C. Laneve (Cosimo), K.I. Pun (Ka) and G. Zavattaro (Gianluigi)

Introduction to the best papers of the ACM multimedia systems (MMSys) conference 2018 and the ACM workshop on network and operating system support for digital audio and video (NOSSDAV) 2018 and the International Workshop on Mixed and Virtual Environment Systems (MMVE) 2018 Preface

P.S. César Garcia (Pablo Santiago), M. Zink (Michael) and N. Murray (Niall)

On rational delegations in liquid democracy Tech Report

D. Bloembergen (Daniel), D. Grossi (Davide) and M. Lackner (Martin)

A survey of semidefinite programming approaches to the generalized problem of moments and their error analysis In Proceedings

E. de Klerk (Etienne) and M. Laurent (Monique)

List decodability of symbol-pair codes Tech Report

S. Liu (Shu), C. Xing (Chaoping) and C. Yuan (Chen)

Bounding quantum-classical separations for classes of nonlocal games Tech Report

T.R. Bannink (Tom), J. Briët (Jop), H.M. Buhrman (Harry), F.S. Labib (Farrokh) and T. J. Lee (Troy)

Fourier-Hermite decomposition of the collisional Vlasov-Maxwell system: Implications for the velocity-space cascade Tech Report

O. Pezzi (Oreste), F. Valentini (Francesco), S. Servidio (Sergio), E. Camporeale (Enrico) and P. Veltri (Pierluigi)

Dance of the Starlings Book Chapter

H.P. Barendregt (Henk), J. Endrullis (Jörg), J.W. Klop (Jan Willem) and J. Waldmann (Johannes)

Rapid mixing of the switch Markov chain for strongly stable degree sequences and 2-class joint degree matrices Tech Report

G. Amanatidis (Georgios) and P.S. Kleer (Pieter)

A temporal dynamic deontic logic Article

F. Ju (Fengkui) and D.J.N. van Eijck (Jan)

Stochastic turbulence modeling in RANS simulations via Multilevel Monte Carlo Tech Report

P. Kumar (Prashant), M. Schmelzer (Martin) and R.P. Dwight (Richard)

Distinguishing unitary gates on the IBM quantum processor Tech Report

S. Liu (Shusen), Y. Li (Yinan) and R. Duan (Runyao)

The challenge of negotiation in the game of Diplomacy In Proceedings

D. de Jonge (Dave), T. Baarslag (Tim), R. Aydoğan (Reyhan), C.M. Jonker (Catholijn), Fujita (Katsuhide) and T. Ito (Takayuki)

Sequential test for the lowest mean: From Thompson to Murphy sampling In Proceedings

E. Kaufmann (Emilie), W.M. Koolen-Wijkstra (Wouter) and A. Garivier (Aurélien)

Finding the pitfalls in query performance In Proceedings

M.L. Kersten (Martin), P. Koutsourakis (Panagiotis) and Y. Zhang (Ying)

Spherical clustering of users navigating 360-degree content Tech Report

S. Rossi (Silvia), F. De Simone (Francesca), P. Frossard (Pascal) and L. Toni (Laura)

Efficient transactive control for energy storage management system in prosumer-centric networked microgrids In Proceedings

E. Galvan (Eric), P. Mandal (Paras), S. Chakraborty (Shantanav) and A.Y. Saber (Ahmed)

JEff: objects for effect In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

Language Workbench Support for Block-Based DSLs Unpublished

M. Verano Merino (Mauricio) and T. van der Storm (Tijs)

Bacatá: A Language Parametric Notebook Generator (Tool Demo) In Proceedings

M. Verano Merino (Mauricio), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

Utilizing a transparency-driven environment toward trusted automatic genre classification: A case study in journalism history Tech Report

A. Bilgin (Aysenur), L. Hollink (Laura), J.R. van Ossenbruggen (Jacco), E. Tjong Kim Sang (Erik), K. Smeenk (Kim), F. Harbers (Frank) and M. Broersma (Marcel)

Evaluating layer-wise relevance propagation explainability maps for artificial neural networks In Proceedings

E.B. Ranguelova (Elena), E.J.E.M. Pauwels (Eric) and J. Berkhout (Joost)

ASCOOP: Actors in scala with cooperative scheduling In Proceedings

V.N. Serbanescu (Vlad), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

Hash collision file format exploitations Software

M.M.J. Stevens (Marc)

GPU code for the first SHA-1 collision attack and two freestart attacks Software

M.M.J. Stevens (Marc)

Short non-malleable codes from related-key secure block ciphers In Proceedings

S. Fehr (Serge), P. Karpman (Pierre) and B.J.M. Mennink (Bart)

Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation In Proceedings

F. Dupuis, S. Fehr (Serge), P. Lamontagne (Philippe), L. Salvail (Louis) and B.J.M. Mennink (Bart)

Classical Proofs for the Quantum Collapsing Property of Classical Hash Functions In Proceedings

S. Fehr (Serge)

Thirty years LNMB Article

J.K. Lenstra (Jan Karel)

Thirty years KNMB Article

J.K. Lenstra (Jan Karel)

Cryptographic timestamping through sequential work Research Paper

E. Landerreche (Esteban), C. Schaffner (Christian) and M.M.J. Stevens (Marc)

On Immutability of Blockchains In Proceedings

E. Landerreche (Esteban) and M.M.J. Stevens (Marc)

Invited Talk: IACR FSE 2018 "On breaking SHA-1" Lecture

M.M.J. Stevens (Marc)

Invited discussion to the paper Using Stacking to Average Bayesian Predictive Distributions by Yao, Vehtari, Simpson and Gelman Article

P.D. Grünwald (Peter) and R. de Heide (Rianne)

An adaptive minimum spanning tree multi-element method for uncertainty quantification of smooth and discontinuous responses Tech Report

Y. van Halder (Yous), B. Sanderse (Benjamin) and B. Koren (Barry)

Imaging ancient Chinese ivory puzzle balls: deducing the make Process In Proceedings

R. van Liere (Robert), K.J. Batenburg (Joost), A. Kostenko (Alexander), C-L. Wang and I. Garachon

Literally better: Analyzing and improving the quality of literals Article

W. Beek, F. Ilievski (Filip), J. Debattista (Jeremy), S. Schlobach and J. Wielemaker (Jan)

sameAs.cc: The Closure of 500M owl: sameAs Statements In Proceedings

W. Beek, J. Raad (Joe), J. Wielemaker (Jan) and F.A.H. van Harmelen

Bayesian reanalyses from summary statistics: A guide for academic consumers Article

A. Ly (Alexander), A. Raj (Akash), A. Etz (Alexander), M. Marsman (Maarten), Q. F. Gronau (Quentin) and E.-J. Wagenmakers (Eric-Jan)

Analytic posteriors for Pearson's correlation coefficient. Article

A. Ly (Alexander), M. Marsman (Maarten) and E.-J. Wagenmakers (Eric-Jan)

The Bayes factor and its implementation in JASP: A practical primer Article

C.-P. Hu (Chuan-Peng), X.-Z. Kong (Xiang-Zhen), E.-J. Wagenmakers (Eric-Jan), A. Ly (Alexander) and K. Peng (Kaiping)

Spatio-temporal modeling for residential burglary In Proceedings

M. Mahfoud (Maria), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Throughput and bottleneck analysis of tandem queues with nested sessions Article

A. Hristov, J.W. Bosman (Joost), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

Detecting network intrusion beyond 1999: Applying machine learning techniques to a partially labeled cybersecurity dataset In Proceedings

J.G. Klein (Jan), S. Bhulai (Sandjai), M. Hoogendoorn (Mark), R.D. van der Mei (Rob) and R. Hinfelaar (Raymond)

Forecasting Burglary Risk in Small Areas via Network Analysis of City Streets In Proceedings

M. Mahfoud (Maria), S. Bhulai (Sandjai), R.D. van der Mei (Rob), D. Erkin (Dimitrii) and E.R. Dugundji (Elenna)

Quantum-inspired low-rank stochastic regression with logarithmic dependence on the dimension Tech Report

A.P. Gilyén (András), S. Lloyd (Seth) and E. Tang (Ewin)

Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics Tech Report

A.P. Gilyén (András), Su, Y. (Yuan), Low, G.H. (Guang Hao) and Wiebe, N. (Nathan)

Improvements in Quantum SDP-Solving with Applications Tech Report

J.T.S. van Apeldoorn (Joran) and A.P. Gilyén (András)

Quantum information processing Lecture

J. Briët (Jop)

Gaussian width bounds with applications to arithmetic progressions in random settings Article

J. Briët (Jop) and S. Gopi (Sivakanth)

Failure of the trilinear operator space Grothendieck inequality, Tech Report

J. Briët (Jop) and C. Palazuelos (Carlos)

Mixed inductive-coinductive reasoning : types, programs and logic Dissertation

H. Basold (Henning)

Wanneer heb je een experiment voldoende herhaald om overtuigd te kunnen zijn van je resultaten Report

J.A. ter Schure (Judith)

Near-critical percolation with heavy-tailed impurities, forest fires and frozen percolation Tech Report

J. van den Berg (Rob) and P. Nolin (Pierre)

Two-dimensional volume-frozen percolation: deconcentration and prevalence of mesoscopic clusters Article

J. van den Berg (Rob), D. Kiss (Demeter) and P. Nolin (Pierre)

Simulation-based assessment of the stationary tail distribution of a stochastic differential equation In Proceedings

K.L. Bisewski (Krzysztof), D.T. Crommelin (Daan) and M.R.H. Mandjes (Michel)

A holistic approach to forecasting wholesale energy market prices Tech Report

A. Radovanovic (Ana), T. Nesti (Tommaso) and B. Chen (Bokan)

LyricalPalette: A support system for writing lyrics centred on sentiment In Proceedings

J. Pardijs (Jasper) and D. Ceolin (Davide)

Bursting the bubble with a needle from the haystack In Proceedings

D. Ceolin (Davide), L. Tkacz (Lesia), R. Sharma (Robin) and C. van Son (Chantal)

Assessing and visualising online information quality In Proceedings

D. Ceolin (Davide), J.R. van Ossenbruggen (Jacco), L. Aroyo (Lora), O. Sener (Ozkan), R. Sharma (Robin), L. Tkacz (Lesia) and J. Noordegraaf (Julia)

InfoQ: Computational Assessment of Information Quality on the Web In Proceedings

D. Ceolin (Davide), C. van Son (Chantal), L. Aroyo (Lora), J. Noordegraaf (Julia), O. Sener (Ozkan), R. Sharma (Robin), P. Vossen (Piek), S. ter Braake (Serge), L. Tkacz (Lesia), I. Leemans (Inger), et al. R. Bod (Rens)

Scalability and performance of decentralized planning in flexible transport networks In Proceedings

W.J.A. van Heeswijk (Wouter) and J.A. La Poutré (Han)

Performance of the smallest-variance-first rule in appointment sequencing Tech Report

M.A. de Kemp (Madelon), M.R.H. Mandjes (Michel) and N.K. Olver (Neil)

Dilated convolutional neural networks for time series forecasting Article

A.I. Borovykh (Anastasia), S.M. Bohte (Sander) and C.W. Oosterlee (Kees)

An image representation based convolutional network for DNA classification In Proceedings

B. Yin (Bojian), M. Balvert (Marleen), D. Zambrano (Davide), A. Schönhuth (Alexander) and S.M. Bohte (Sander)

Designing an adaptive VM that combines vectorized and JIT execution on heterogeneous hardware In Proceedings

T.K. Gubner (Tim) and P.A. Boncz (Peter)

Learned Cardinalities: Estimating Correlated Joins with Deep Learning Tech Report

A. Kipf (Andreas), T. Kipf (Thomas), B. Radke (Bernhard), V. Leis (Viktor), P.A. Boncz (Peter) and A. Kemper (Alfons)

Database Architectures for Modern Hardware In Proceedings

P.A. Boncz (Peter), G. Graefe, B. He (Bingsheng) and K.-U. Sattler

An early look at the LDBC social network benchmark's business intelligence workload In Proceedings

G. Szárnyas (Gábor), A.P. Pérez (Arnau Prat), A. Averbuch, J. Marton (József), M. Paradies (Marcus), M. Kaufmann (Moritz), O. Erling (Orri), P.A. Boncz (Peter), V. Haprian (Vlad) and J.B. Antal (János Benjamin)

Query optimization through the looking glass, and what we found running the Join Order Benchmark Article

V. Leis (Viktor), B. Radke (Bernhard), A. Gubichev (Andrey), A. Mirchev (Atanas), P.A. Boncz (Peter), A. Kemper (Alfons) and T. Neumann (Thomas)

Everything You Always Wanted to Know About Compiled and Vectorized Queries But Were Afraid to Ask In Proceedings

T. Kersten (Timo), V. Leis (Viktor), A. Kemper (Alfons), T. Neumann (Thomas), A. Pavlo (Andrew) and P.A. Boncz (Peter)

A survey of semidefinite programming approaches to the generalized problem of moments and their error analysis Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

A Framework for Monitoring and Predicting Mooring Occupancy Using Automatic Identification System Data and Markov Chain Models In Proceedings

S. Visser, M. Valk, E. Dijkstra, B. Blom, S. Spieings, C. Mandeli, J. Zuidema, R.D. van der Mei (Rob) and E.R. Dugundji (Elenna)

Social Interactions and Travel Behavior Article

J.A. Carrasco, K.W. Axhausen and E.R. Dugundji (Elenna)

A Revealed Preference Time of Day Model for Departure Time of Delivery Trucks in the Netherlands In Proceedings

A.G.J. Vegelien and E.R. Dugundji (Elenna)

Connectors meet Choreographies Tech Report

F. Arbab (Farhad), L. Cruz-Filipe (Luis), S.-S.T.Q. Jongmans (Sung-Shik) and F. Montesi (Fabrizio)

Compiling protocols to Promela and verifying their LTL properties In Proceedings

B. Lion (Benjamin), S. Chouali (Samir) and F. Arbab (Farhad)

Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Article

S.-S.T.Q. Jongmans (Sung-Shik) and F. Arbab (Farhad)

Resolving clouds in a global atmosphere model - a multiscale approach with nested models In Proceedings

F.R. Jansson (Fredrik), G. van den Oord (Gijs), A.P. Siebesma (Pier) and D.T. Crommelin (Daan)

Measuring quality of grammars for procedural level generation In Proceedings

R.A. van Rozen (Riemer) and Q. Heijn (Quinten)

Regularized shadowing-based data assimilation method for imperfect models and its comparison to the weak constraint 4DVar method Tech Report

B.M. de Leeuw (Bart) and S. Dubinkina (Svetlana)

On W[1]-Hardness as Evidence for Intractability In Proceedings

R.C. Bottesch (Ralph)

Efficient unitarity randomized benchmarking of few-qubit Clifford gates Tech Report

B. Dirkse (Bas), J. Helsen (Jonas) and S.D.C. Wehner (Stephanie)

Positive double-pulse streamers: how pulse-to-pulse delay influences initiation and propagation of subsequent discharges Article

Y. Li (Yuan), E.M. van Veldhuizen, G.J. Zhang (Guanjun), U. Ebert (Ute) and S. Nijdam (Sander)

Machine learning gaat ggz-behandelaars niet vervangen - ICT & Health - 18-12-2018 Magazine Article

Digitale interventie op maat voor jongeren met psychische problemen - ICT & Health - 17-12-2018 Magazine Article

De Fascinatievolger deel 6: Mathematics of Planet Earth NL-dag - Meromorf Press podcast - 2-12-2018 Online Audio

Nieuwe smartphone-app G-Moji voor jongeren met psychische problemen - GGZ Nieuws (ggznieuws.nl) - 12-12-2018 Magazine Article

Het ontstaan van het internet - New Scientist - 31-12-2018 Magazine Article

Internetpionier Steven Pemberton: ‘Denk nu al na over het moment dat de computer slimmer is dan de mens’ - Leeuwarder Courant - 2-12-2018 Magazine Article

Red de Nederlandse economomentaal - Me Judice - 4-12-2018 Magazine Article

AD - Eureka! Wiskunde helpt bij kiezen - 15-12-2018 Magazine Article

'Mijn algoritme heb ik gebruikt bij het kopen van mijn huis’ - New Scientist - 15-12-2018 Magazine Article

Pioniers in de zorg - BNR radio - 24 december 2018 Online Audio

In de kunst - ExperimentNL (Quest & NWO) - december 2018 Magazine Article

Softwarepatenten - bescherming of wildgroei? - Technisch Weekblad - 14-12-2018 Magazine Article

Balancing vectors in any norm In Proceedings

D.N. Dadush (Daniel), A. Nikolov (Aleksandar), K. Talwar (Kunal) and N. Tomczak-Jaegermann (Nicole)

Wonderful design: Applying Appraisal Theory to Procedural Level Generation In Proceedings

R. Corstjens (Rosa), A. Bouwer (Anders), J. Dormans (Joris) and R.A. van Rozen (Riemer)

k-Server problems Dissertation

G. Koumoutsos (Grigorios)