Publications from 2020

Asymptotic performance of port-based teleportation Article

M. Christandl (Matthias), Leditzky, F. (Felix), C. Majenz (Christian), Smith, G. (Graeme), F. Speelman (Florian) and Walter, M. (Michael)

Ecology of the plastisphere Review

L.M. Schultze (Lieke) and L. van Amarall-Zettler jr. (Lynda)

Quasirandom quantum channels Article

T.R. Bannink (Tom), J. Briët (Jop), F.S. Labib (Farrokh) and H. Maassen (Hans)

Why optional stopping can be a problem for Bayesians Review

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

Noise2Inverse: Self-Supervised Deep Convolutional Denoising for Tomography Article

A.A. Hendriksen (Allard), D.M. Pelt (Daniël) and K.J. Batenburg (Joost)

Social VR: A New medium for remote communication and collaboration In Proceedings

J. Li (Jie), V. Vinayagamoorthy (Vinoba), R. Schwartz (Raz), W. IJsselsteijn (Wijnand), D.A. Shamma (Ayman) and P.S. César Garcia (Pablo Santiago)

Analyzing large frequency disruptions in power systems using large deviations theory In Proceedings

B.J. Patch (Brendan) and A.P. Zwart (Bert)

Complete lattices Book Chapter

Heijmans, H.J.A.M. (Henk J.A.M.)

Generating nested quadrature rules with positive weights based on arbitrary sample sets Article

L.M.M. van den Bos (Laurent), B. Sanderse (Benjamin), W.A.A.M. Bierbooms (Wim) and G.J.W. van Bussel (Gerard)

On the Quantum Complexity of the Continuous Hidden Subgroup Problem In Proceedings

K. de Boer (Koen), L. Ducas (Léo) and S. Fehr (Serge)

Efficient coding for secure computing with additively-homomorphic encrypted data Article

P.J.M. Veugen (Thijs)

Adaptive sampling-based quadrature rules for efficient Bayesian prediction Article

L.M.M. van den Bos (Laurent), B. Sanderse (Benjamin) and W.A.A.M. Bierbooms (Wim)

Planning hinterland container transportation in congested deep-sea terminals Article

B.G. Zweers (Bernard), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Rescaling algorithms for linear conic feasibility Article

D.N. Dadush (Daniel), L.A. Végh (László) and G. Zambelli (Giacomo)

SparkFuzz: Searching correctness regressions in modern query engines In Proceedings

B. Ghit (Bogdan), N. Poggi (Nicolas), J. Rosen (Josh), R. Xin (Reynold) and P.A. Boncz (Peter)

Efficient, QoE aware delivery of 360° videos on VR headsets over mobile links In Proceedings

A. Saxena (Apoorv), S. Subramanyam (Shishir), P.S. César Garcia (Pablo Santiago), R.D. van der Mei (Rob) and J.L. van den Berg (Hans)

How incomputable is Kolmogorov complexity? Review

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

Tree-Encoded Bitmaps In Proceedings

H. Lang (Harald), A. Beischl (Alexander), V. Leis (Viktor), P.A. Boncz (Peter), T. Neumann (Thomas) and A. Kemper (Alfons)

A scaling-invariant algorithm for linear programming whose running time depends only on the constraint matrix In Proceedings

D.N. Dadush (Daniel), S. Huiberts (Sophie), B. Natura (Bento) and L.A. Végh (László)

Unbounded lower bound for k-server against weak adversaries In Proceedings

M. Bienkowski (Marcin), J. Byrka (Jaroslaw), C.E. Coester (Christian) and L. Jeż (Łukasz)

Using hierarchical matrices in the solution of the time-fractional heat equation by multigrid waveform relaxation Article

X. Hu (Xiaozhe), C. Rodrigo (Carmen) and F.J. Gaspar (Francisco)

Lessons learned in a decade of research software engineering gpu applications In Proceedings

B. van Werkhoven (Ben), W.J. Palenstijn (Willem Jan) and Sclocco, A. (Alessio)

Depth in convolutional neural networks solves scene segmentation Article

N. Seijdel (Noor), N. Tsakmakidis (Nikos), E.H.F. de Haan (Edward), S.M. Bohte (Sander) and H.S. Scholte (Steven)

Finite-time ruin probabilities under large-claim reinsurance treaties for heavy-tailed claim sizes Article

H. Albrecher (Hansjörg), B. Chen (Bohan), E. Vatamidou (Eleni) and A.P. Zwart (Bert)

Distributed coordination of deferrable loads: A real-time market with self-fulfilling forecasts Article

H.A.M.F. Abdelghany (Hazem), S.H. Tindemans (Simon), M.M. de Weerdt (Mathijs) and J.A. La Poutré (Han)

Emergence of Scale-Free Blackout Sizes in Power Grids Article

T. Nesti (Tommaso), F. Sloothaak and A.P. Zwart (Bert)

Quadratic speedup for finding marked vertices by quantum walks In Proceedings

A. Ambainis (Andris), A.P. Gilyén (András), S. Jeffery (Stacey) and M. Kokainis (Martins)

Model-based evolutionary algorithms: GECCO 2020 tutorial In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

Fast rates for general unbounded loss functions: From ERM to generalized bayes Article

P.D. Grünwald (Peter) and N.A. Mehta (Nishant)

Asymptotic inversion of the binomial and negative binomial cumulative distribution functions Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Atomic Super-Resolution Tomography In Proceedings

P.S. Ganguly (Poulami), F. Lucka (Felix), H.J. Hupkes (Hermen Jan) and K.J. Batenburg (Joost)

Designing user interface for facilitating live editing in streaming In Proceedings

A. Tharatipyakul (Atima), J. Li (Jie) and P.S. César Garcia (Pablo Santiago)

Approximate multi-matroid intersection via iterative refinement Article

A. Linhares (André), N.K. Olver (Neil), C. Swamy (Chaitanya) and R. Zenklusen (Rico)

RCEA: Real-time, Continuous Emotion Annotation for Collecting Precise Mobile Video Ground Truth Labels In Proceedings

T. Zhang (Tianyi), A. El Ali (Abdallah), C. Wang (Chen), A. Hanjalic (Alan) and P.S. César Garcia (Pablo Santiago)

The Randomized Slicer for CVPP: Sharper, Faster, Smaller, Batchier In Proceedings

L. Ducas (Léo), Laarhoven, T. (Thijs) and W.P.J. van Woerden (Wessel)

An upper bound on the number of perfect quadratic forms Article

W.P.J. van Woerden (Wessel)

A tutorial on verifying LinkedList using KeY: Video material Other

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

A tutorial on verifying LinkedList using KeY: Proof files Other

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

A Tutorial on Verifying LinkedList Using KeY Book Chapter

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

History-based specification and verification of Java Collections in KeY In Proceedings

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Questions : questions that came to my mind during the COVID-19 lockdown Article

P. Klint (Paul)

OK, Boomer : what are the vital attributes of a scientist? Article

P. Klint (Paul)

A review of methods to model route choice behavior of bicyclists: inverse reinforcement learning in spatial context and recursive logit In Proceedings

T. Koch (Thomas) and E.R. Dugundji (Elenna)

Near-optimal analysis of Lasserre’s univariate measure-based bounds for multivariate polynomial optimization Article

L.F.H. Slot (Lucas) and M. Laurent (Monique)

Reowolf 1.0 Project Documentation Tech Report

C.A. Esterhuyse (Christopher) and H.A. Hiep (Hans-Dieter)

Artificial Intelligence along the New Silk Road: Competition or Collaboration? Book Chapter

L. Hardman (Lynda)

A novel method for solving high-dimensional backward stochastic differential equations using Malliavin calculus and deep learning Master Thesis

B. Négyesi (Bálint)

Understanding the relation between distance and train station choice behavior of cyclists in the western region of the Netherlands Article

J.R.A. van Kampen (Jullian), M.A. Jayaraj (Manoj Ashvin), E.J.E.M. Pauwels (Eric), R.D. van der Mei (Rob) and E.R. Dugundji (Elenna)

Door-to-door transit accessibility using Pareto optimal range queries Article

T. Koch (Thomas) and E.R. Dugundji (Elenna)

Using Neural Nets to Predict Transportation Mode Choice: An Amsterdam Case Study In Proceedings

R.J.W. Buijs (Ruurd), T. Koch (Thomas) and E.R. Dugundji (Elenna)

Kraak die Chinese puzzelbal - de Volkskrant - 18-02-2020 Magazine Article

eFLINT: a domain-specific language for executable norm specifications In Proceedings

L.T. van Binsbergen (Thomas), L.-C. Liu (Lu-Chi), van Doesburg (Robert) and T. van Engers (Tom)

A principled approach to REPL interpreters In Proceedings

L.T. van Binsbergen (Thomas), M. Verano Merino (Mauricio), P. Jeanjean (Pierre), T. van der Storm (Tijs), B. Combemale (Benoit) and O. Barais (Olivier)

Effective acceptance strategy using cluster-based opponent modeling in multilateral negotiation Article

Z. Khosravimehr (Zahra) and F. Nassiri Mofakham (Faria)

Modeling and optimization of network assisted video streaming Dissertation

J.W.M. Kleinrouweler (Jan Willem)

Open weather and climate science in the digital era Article

M.G. Vos (Martine), W. Hazeleger (Wilco), D. Bari (Driss), J. Behrens (Jörg), Bendoukha (Sofiane), I. Garcia-Marti (Irene), R. van Haren (Ronald), S.E. Haupt (Sue Ellen), R. Hut (Rolf), F.R. Jansson (Fredrik), et al. A. Mueller (Andreas), P. Neilley (Peter), G. van den Oord (Gijs), F.I. Pelupessy (Inti), P. Ruti (Paolo), M.G. Schultz (Martin) and J. Walton (Jeremy)

Clouds and convective self‐aggregation in a multimodel ensemble of radiative‐convective equilibrium simulations Article

A. Wing (Allison), L. Stauffer (Catherine), T. Becker (Tobias), K.A. Reed (Kevin), M.-S. Ahn (Min-Seop), N.P. Arnold (Nathan), S. Bony (Sandrine), M. Branson (Mark), G.H. Bryan (George), J.-P. Chaboureau (Jean-Pierre), et al. S.R. de Roode (Stephan), K. Gayatri (Kulkarni), C. Hohenegger (Cathy), I-K. Hu (I-Kuan), F.R. Jansson (Fredrik), T.R. Jones (Todd), M. Khairoutdinov (Marat), D. Kim (Daehyun), Z.K. Martin (Zane), S. Matsugishi (Shuhei), B. Medeiros (Brian), H. Miura (Hiroaki), Y. Moon (Yumin), S.K. Müller (Sebastian), T. Ohno (Tomoki), M. Popp (Max), T. Prabhakaran (Thara), D. Randall (David), R. Rios-Berrios (Rosimar), N. Rochetin (Nicolas), R. Roehrig (Romain), D.M. Romps (David), J.H. Ruppert Jr. (James), M. Satoh (Masaki), L.G. Silvers (Levi), M.S. Singh (Martin), B. Stevens (Bjorn), L. Tomassini (Lorenzo), C.C. van Heerwaarden (Chiel), S. Wang (Shuguang) and M. Zhao (Ming)

Autocrine inhibition of cell motility can drive epithelial branching morphogenesis in the absence of growth Article

E.G. Rens (Lisanne), M.T. Zeegers (Mathé), I. Rabbers (Iraes), A. Szabó (Andras) and R.M.H. Merks (Roeland)

The Portrait of a Lady: Close and distant reading of media gender bias In Proceedings

A.E. van Aggelen (Astrid) and L. Hollink (Laura)

Decorrelation of a class of Gibbs particle processes and asymptotic properties of U-statistics Article

V. Beneš (Viktor), C. Hofer-Temmel (Christoph), G. Last (Günter) and J. Večeřa (Jakub)

Understanding user behavior in digital libraries using the MAGUS session visualization tool In Proceedings

T. Bogaard (Tessel), J. Wielemaker (Jan), L. Hollink (Laura), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Splitting the Interpose PUF: A Novel Modeling Attack Strategy Article

N. Wisiol (Nils), C. Mühl (Christopher), N. Pirnay (Niklas), P.H. Nguyen (Phuong Ha), M. Margraf (Marian), J.-P. Seifert (Jean-Pierre), M.E. van Dijk (Marten) and U. Rührmair (Ulrich)

A Hybrid Stochastic Policy Gradient Algorithm for Reinforcement Learning In Proceedings

N.H. Pham (Nhan), L.M. Nguyen (Lam), D.T. Phan (Dzung), P.H. Nguyen (Phuong Ha), M.E. van Dijk (Marten) and Q. Tran-Dinh (Quoc)

Using Universal Composition to Design and Analyze Secure Complex Hardware Systems In Proceedings

R. Canetti, M.E. van Dijk (Marten), H. Maleki (Hoda), U. Rührmair (Ulrich) and P. Schaumont (Patrick)

Pre-processing a container yard under limited available time Article

B.G. Zweers (Bernard), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Forecasting spatio‑temporal variation in residential burglary with the integrated Laplace approximation framework: Effects of crime generators, street networks, and prior crimes Article

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

Detecting mobility context over smartphones using typing and smartphone engagement patterns In Proceedings

S. Chatterjee (Soumyajit), A. Bhowmik (Adrija), A. Singh (Arun), S. Ghosh (Surjya), B. Mitra (Bivas) and S. Chakraborty (Sandip)

Predicting potential drug targets and repurposable drugs for COVID-19 via a deep generative model for graphs Tech Report

S. Ray (Sumanta), S. Lall (Snehalika), A. Mukhopadhyay (Anirban), S. Bandyopadhyay (Sanghamitra) and A. Schönhuth (Alexander)

Clustering patterns connecting COVID-19 dynamics and Human mobility using optimal transport Tech Report

F. Nielsen (Frank), G. Marti (Gautier), S. Ray (Sumanta) and S. Pyne (Saumyadipta)

Transition from Social Vulnerability to Resiliency vis-à-vis COVID-19 Article

S. Pyne (Saumyadipta), S. Ray (Sumanta), Gurewitsch (R.) and Aruru (M.)

CODC: A Copula-based model to identify differential coexpression Article

S. Ray (Sumanta), S. Lall (Snehalika) and S. Bandyopadhyay (Sanghamitra)

Testing biodiversity using inhomogeneous summary statistics Tech Report

M. de Jongh (Maike) and M.N.M. van Lieshout (Marie-Colette)

Smoothed analysis of the simplex method Book Chapter

D.N. Dadush (Daniel) and S. Huiberts (Sophie)

The RHOSSA campaign: Multi-resolution monitoring of the seasonal evolution of the structure and mechanical stability of an alpine snowpack Article

N. Calonne (Neige), B. Richter (Bettina), H. Löwe (Henning), C. Cetti (Cecilia), J.A. ter Schure (Judith), A. Van Herwijnen (Alec), C. Fierz (Charles), M. Jaggi (Matthias) and M. Schneebeli (Martin)

Statistical disclosure control when publishing on thematic maps In Proceedings

D. Hut (Douwe), J. Goseling (Jasper), M.N.M. van Lieshout (Marie-Colette), P.-P. de Wolf (Peter-Paul) and E. de Jonge (Edwin)

Fairness in Power Flow Network Congestion Management with Outer Matching and Principal Notions of Fair Division In Proceedings

B. Hekkelman (Brinn) and J.A. La Poutré (Han)

Agent Interactions and Mechanisms in Markets with Uncertainties: Electricity Markets in Renewable Energy Systems Dissertation

G. Methenitis (Georgios)

Conditions for superdecoherence Tech Report

J.J. Kattemölle (Joris) and J. van Wezel (Jasper)

IT na corona: dip in wetenschappelijk informatica-onderzoek - AG Connect 20-06-27 Magazine Article

Wees niet bang om AI te gebruiken Magazine Article

M. (Martijn) Kleppe and J.R. van Ossenbruggen (Jacco)

DuckDB 0.1.9 Preview Release Replication Package

Raasveldt (Mark) and Mühleisen (Hannes)

Integrating analytics with relational databases Dissertation

M. Raasveldt (Mark)

Purely functional GLL parsing Article

L.T. van Binsbergen (Thomas), E. Scott (Elizabeth) and A. Johnstone (Adrian)

Real-time tomographic reconstruction Dissertation

J. Buurlage (Jan-Willem)

Parlement en wetenschap : factsheet, tot stand gekomen in het kader van de samenwerking tussen de Tweede Kamer, de KNAW, NWO, VSNU en de Jonge Akademie Miscellaneous

J.C.M. Baeten (Jos)

String Sanitization Under Edit Distance In Proceedings

G. Bernardini (Giulia), G. Loukides (Grigorios), S. Pissis (Solon), M.J.M. Sweering (Michelle), H. Chen (Huiping), N. Pisanti (Nadia) and L. Stougie (Leen)

Coronavirus newsletter Miscellaneous

Towards Improving Emotion Self-report Collection using Self-reflection In Proceedings

S. Ghosh (Surjya), B. Mitra (Bivas) and P. De (Pradipta)

Designing Real-time, Continuous Emotion Annotation Techniques for 360° VR Videos In Proceedings

X. Xue (Tong), S. Ghosh (Surjya), G. Ding, A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

Design and application of gene-pool optimal mixing evolutionary algorithms for genetic programming Dissertation

M. Virgolin (Marco)

NPM MonetDB Software

H.F. Mühleisen (Hannes)

Bstats Software

A. Ly (Alexander)

Safestats Software

A. Ly (Alexander)

Fsst Software

P.A. Boncz (Peter), V. Leis (Viktor) and T. Neumann (Thomas)

Jdbccts Software

H.F. Mühleisen (Hannes)

Minimizing bed occupancy variance by scheduling patients under uncertainty Article

A. van den Broek d'Obrenan, A. Ridder, D. Roubos and L. Stougie (Leen)

PyRMLSeg Software

N.R. Viganò (Nicola)

Informed Bayesian t-Tests Article

Q. F. Gronau (Quentin), A. Ly (Alexander) and E.-J. Wagenmakers (Eric-Jan)

Strain-aware assembly of genomes from mixed samples using flow variation graphs In Proceedings

J.A. Baaijens (Jasmijn), L. Stougie (Leen) and A. Schönhuth (Alexander)