Publications from 2020

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)

Improvements in Quantum SDP-Solving with Applications In Proceedings

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

Experimental Demonstration of Quantum Fully Homomorphic Encryption with Application in a Two-Party Secure Protocol Article

W.K. Tham, H. Ferretti (Hugo), K. Bonsma-Fisher (Kent), A. Brodutch (Aharon), B.C. Sanders (Barry), A.M. Steinberg (Aephraim) and S. Jeffery (Stacey)

Adaptive main-memory indexing for high-performance point-polygon joins In Proceedings

A. Kipf (Andreas), H. Lang (Harald), V.N. Pandey (Varun), R.A. Persa (Raul Alexandru), C. Anneser (Christoph), E.T. Zacharatou (Eleni Tzirita), H. Doraiswamy (Harish), P.A. Boncz (Peter), T. Neumann (Thomas) and A. Kemper (Alfons)

Sticky Brownian rounding and its applications to constraint satisfaction problems In Proceedings

S. Abbasi-Zadeh (Sepehr), N. Bansal (Nikhil), G. Guruganesh (Guru), A. Nikolov (Aleksandar), R. Schwartz (Roy) and M. Singh (Mohit)

Discourje: Runtime verification of communication protocols in clojure In Proceedings

R. Hamers (Ruben) and S.-S.T.Q. Jongmans (Sung)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types In Proceedings

S.-S.T.Q. Jongmans (Sung) and N. Yoshida (Nobuko)

Algorithms for Flows over Time with Scheduling Costs In Proceedings

D. Frascaria (Dario) and N.K. Olver (Neil)

Determining Electric Fields in Thunderclouds With the Radiotelescope LOFAR Article

T.N.G. Trinh (Gia), O. Scholten, S. Buitink, U. Ebert (Ute), B.M. Hare, P.R. Krehbiel, H. Leijnse, A. Bonardi, A. Corstanje, H. Falcke, et al. T. Huege, J.R. Hörandel (Jörg), G.K. Krampah, P. Mitra, K. Mulrey, A. Nelles, H. Pandya, J.P. Rachen, L. Rossetto, C. Rutjes (Casper), S. ter Veen (Sander) and T. Winchen

Emergency response networks: dynamic dispatching and relocation of resources Dissertation

D. Usanov (Dmitrii)

Octree-mg Software

H.J. Teunissen (Jannis)

Afivo-streamer Software

H.J. Teunissen (Jannis)

MPI-AMRVAC: A parallel adaptive mesh refinement framework Software

H.J. Teunissen (Jannis)

MPI-AMRVAC: A parallel, grid-adaptive PDE toolkit Tech Report

R. Keppens (Rony), H.J. Teunissen (Jannis), C. Xia (Chun) and O. Porth (Oliver)

Fatigue design load calculations of the offshore NREL 5 MW benchmark turbine using quadrature rule techniques Article

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

Exact algorithms for maximum transitive subgraph problem In Proceedings

S. Chakraborty (Sourav) and N. Jha (Nitesh)

Measuring Tool Bias and Improving Data Quality for Digital Humanities Research Dissertation

M.C. Traub (Myriam)

MPI-AMRVAC: A parallel, grid-adaptive PDE toolkit Article

R. Keppens (Rony), H.J. Teunissen (Jannis), C. Xia (Chun) and O. Porth (Oliver)

Characterizing streamer branching in N2-O2 mixtures by 2D peak-finding Article

Y. Li (Yuan), S. Dijcks (Siebe), G. Sun (Guangyu), J. Wen (Jiaye), Y. Xu, Y. () (Yaoyu), G.J. Zhang (Guanjun), U. Ebert (Ute) and S. Nijdam (Sander)

Combining Networks Using Cherry Picking Sequences In Proceedings

R. Janssen (Remie), M.E.L. Jones (Mark) and Y. Murakami (Yukihiro)

On the nature of cooperative scheduling in active objects In Proceedings

V.N. Serbanescu (Vlad) and F.S. de Boer (Frank)

A color-based objective quality metric for point cloud contents Software

I. Viola (Irene)

A tutorial on conducting and interpreting a bayesian ANOVA in JASP Tutoriel pour réaliser et interpréter une analyse de variance bayésienne dans JASP Article

D. van den Bergh (Don), J. van Doorn (Johnny), M. Marsman (Maarten), T. Draws (Tim), E.-J. Kesteren (Erik-Jan), Derks, K. (Koen), F. Dablander (Fabian), Q. F. Gronau (Quentin), Š. Kucharský (Šimon), A.R.K.N. Gupta (Akash Komarlu Narendra), et al. A. Sarafoglou (Alexandra), J.G. Voelkel (Jan), A. Stefan (Angelika), A. Ly (Alexander), M. Hinne (Max), D. Matzke (Dora) and E.-J. Wagenmakers (Eric-Jan)

Automatic bi-objective parameter tuning for inverse planning of high-dose-rate prostate brachytherapy Article

S.C. Maree (Stef), P.A.N. Bosman (Peter), N. van Wieringen (Niek), Y. Niatsetski (Yury), B.R. Pieters (Bradley), A. Bel (Arjan) and T. Alderliesten (Tanja)

Machine learning for automatic construction of pediatric abdominal phantoms for radiation dose reconstruction In Proceedings

M. Virgolin (Marco), Z. Wang (Ziyuan), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

A color-based objective quality metric for point cloud contents In Proceedings

I. Viola (Irene), S. Subramanyam (Shishir) and P.S. César Garcia (Pablo Santiago)

Radio Emission Reveals Inner Meter-Scale Structure of Negative Lightning Leader Steps Article

B.M. Hare, O. Scholten, J.R. Dwyer (Joseph), U. Ebert (Ute), S. Nijdam (Sander), A. Bonardi, S. Buitink, A. Corstanje, H. Falcke, T. Huege, et al. J.R. Hörandel (Jörg), G.K. Krampah, P. Mitra, K. Mulrey, Neijzen, B. (B.), A. Nelles, Pandya, H. (H.), J.P. Rachen, L. Rossetto, Trinh, T.N.G. (T. N.G.), S. ter Veen (Sander) and T. Winchen

Somite Division and New Boundary Formation by Mechanical Strain Article

B.K.A. Nelemans, (Ben), M. Schmitz (Manuel), H. Tahir (Hannan), R.M.H. Merks (Roeland) and T.H. Smit (Theodoor)

Decreasing diagrams for confluence and commutation Article

J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Overbeek (Roy)

Improved bounds on Fourier entropy and min-entropy In Proceedings

S. Arunachalam (Srinivasan), S. Chakraborty (Sourav), M. Koucky (Michal), N. Saurabh (Nitin) and R.M. de Wolf (Ronald)

Mathematical formulation of quantum circuit design problems in networks of quantum computers Article

R. van Houte, J. Mulderij, T. Attema (Thomas), I. Chiscop and F. Phillipson

Advanced machine learning optimized by the genetic algorithm in ionospheric models using long-term multi-instrument observations Article

W. Li (Wang), Zhao, D. (Dongsheng), C. He (Changyong), A. Hu (Andong) and K. Zhang (Kefei)

Automatic generation of three-dimensional dose reconstruction data for two-dimensional radiotherapy plans for historically treated patients Article

Z. Wang (Ziyuan), M. Virgolin (Marco), P.A.N. Bosman (Peter), K.F. Crama (Koen), B.V. Balgobind (Brian), A. Bel (Arjan) and T. Alderliesten (Tanja)

Uncertainty quantification with dependent inputs: Wind and waves In Proceedings

Eggels, A.W. (Anne W.) and D.T. Crommelin (Daan)

Improvements for drift-diffusion plasma fluid models with explicit time integration Article

H.J. Teunissen (Jannis)

Perturbation analysis of two queues with random time-limited polling In Proceedings

M. Saxena (Mayank), S. Kapodistria (Stella) and R. Núñez Queija (Rudesindo)

Stochastic analysis of energy networks Dissertation

T. Nesti (Tommaso)

Verifying OpenJDK's LinkedList using KeY In Proceedings

H.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)

The median routing problem for simultaneous planning of emergency response and non-emergency jobs Article

D. Huizing (Dylan), G. Schäfer (Guido), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

An SGBM-XVA demonstrator: A scalable Python tool for pricing XVA Article

K.W. Chau (Ki), J. Tang (Jok) and C.W. Oosterlee (Kees)

White-box compression: Learning and exploiting compact table representations In Proceedings

B. Ghita (Bogdan), D. Gomes Tomé (Diego) and P.A. Boncz (Peter)

Demographic risk factors for suicide among youths in the Netherlands Article

G.A. Berkelmans (Guus), R.D. van der Mei (Rob), S. Bhulai (Sandjai), S. Merelle (Saskia) and R. Gilissen (Renske)

BI Platform: Peter Boncz over cloudgebaseerde databases Article

Developpez.com: Une deuxième attaque par collision encore plus puissante que la première fait tomber SHA-1 Article

Programmer: First Ever Dijkstra Fellowship Shared by David Chaum and Guido van Rossum Article

TheRegister: Hash-snag-Security-shamans-shame-SHA-1-standard Article

TheDailySwigCybersecurity: Researchers-demonstrate-practical-break-of-SHA-1-hash-function Article

Science Business: Amsterdam-s-knowledge-institutes-are-investing-1B-in-responsible-AI Article

Release-Peter-Boncz-over-cloudgebaseerde-databases Online Video

Prorail.nl - Slim alarmeren bij incidenten op het spoor Article

Parool- Data-om-het-leven-te-veraangenamen (Nanda Piersma) Article

NewScientist: We-hebben-veel-data-maar-weten-nog-niet-wat-we-ermee-moeten (Nanda Piersma) Article

LienMultimedia -La-realite-virtuelle-isole-t-elle-ou-bien-facilite-t-elle-au-contraire-les-interactions-sociales Article

Heise Online:Unsicherer-Hash-Algorithmus-Forscher-demonstrieren-Angriffe-auf-SHA-1-in-der-Praxis Article

Executive People: Pablo Cesar wint Nederlandse prijs voor ICT onderzoek 2020 Article

Elsevier: grensverleggers in 2020 Tim Baarslag Article

Dutch IT Channel: Pablo Cesar wint Nederlandse prijs voor ICT onderzoek 2020 Article

Computable:Ict-onderzoeker-Pablo-Cesar-wint-50000-euro Article

Developpez.com:Une-deuxième-attaque-par-collision-encore-plus-puissante-que-la-première-fait-tomber-SHA-1 Article

Bits&Chips: CWI's Pablo Cesar awarded 2020 Dutch prize for ICT research Article

BI platform: Peter Boncz over cloudgebaseerde databases Online Video

AG Connect: Pablo Cesar wint Nederlandse prijs voor ICT onderzoek Article

Longest property-preserved common factor: A new string-processing framework Article

L.A.K. Ayad (Lorraine), G. Bernardini (Giulia), R. Grossi (Roberto), C.S. Iliopoulos (Costas), N. Pisanti (Nadia), S. Pissis (Solon) and G. Rosone (Giovanna)

Reverse-safe data structures for text indexing In Proceedings

G. Bernardini (Giulia), H. Chen (Huiping), G. Fici (Gabriele), G. Loukides (Grigorios) and S. Pissis (Solon)

Reducing data-driven dynamical subgrid scale models by physical constraints Article

W.N. Edeling (Wouter) and D.T. Crommelin (Daan)

High-fidelity metaprogramming with separator syntax trees In Proceedings

R.T.A. Aarssen (Rodin) and T. van der Storm (Tijs)

Stochastic turbulence modeling in RANS simulations via multilevel Monte Carlo Article

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

Languages of games and play : automating game design and enabling live programming Dissertation

R.A. van Rozen (Riemer)

Eleven grand challenges in single-cell data science Article

D. Lähnemann (David), J. Köster (Johannes), E. Szczurek (Ewa), D.J. McCarthy (Davis), S.C. Hicks (Stephanie), M.D. Robinson (Mark), C.A. Vallejos (Catalina), K.R. Campbell (Kieran), N. Beerenwinkel (Niko), A. Mahfouz (Ahmed), et al. L. Pinello (Luca), P. Skums (Pavel), A. Stamatakis (Alexandros), C.S.-O. Attolini (Camille Stephan-Otto), S. Aparicio (Samuel), J.A. Baaijens (Jasmijn), M. Balvert (Marleen), B. de Barbanson (Buys), A. Cappuccio (Antonio), G. Corleone (Giacomo), B.E. Dutilh (Bas), M. Florescu (Maria), V. Guryev (Victor), R. Holmer (Rens), K. Jahn (Katharina), T.J. Lobo (Thamar Jessurun), E.M. Keizer (Emma), I. Khatri (Indu), S.M. Kiełbasa (Szymon), J.O. Korbel (Jan), A.M. Kozlov (Alexey), T.-H. Kuo (Tzu-Hao), B.P.F. Lelieveldt (Boudewijn), I.I. Mandoiu (Ion), J.C. Marioni (John), T. Marschall (Tobias), F. Mölder (Felix), A. Niknejad (Amir), L. Raczkowski (Lukasz), M.J.T. Reinders, J. de Ridder (Jeroen), A.-E. Saliba (Antoine-Emmanuel), A. Somarakis (Antonios), O. Stegle (Oliver), F.J. Theis (Fabian), H. Yang (Huan), A. Zelikovsky (Alex), A.C. McHardy (Alice), B.J. Raphael (Benjamin), S.P. Shah (Sohrab) and A. Schönhuth (Alexander)

The Haemers bound of noncommutative graphs Tech Report

S.J. Gribling (Sander) and Y. Li (Yinan)

Heavy-traffic limits for Discriminatory Processor Sharing models with joint batch arrivals Article

P. Vis (Petra), R. Bekker (Rene), R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

Impact of thermospheric mass density on the orbit prediction of LEO satellites Article

C. He (Changyong), Y. Yang (Yang), B. Carter (Brett), K. Zhang (Kefei), A. Hu (Andong), W. Li (Wang), F. Deleflie (Florent), R. Norman (Robert) and S. Wu (Suqin)

Atomic super-resolution tomography Tech Report

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

Reducing Waste with Meta-Analysis/Replications: Why We Must and Can Do Better than All-or-Nothing Statistics Presentation

J.A. ter Schure (Judith)

Statistical Testing as Gambling Lecture

J.A. ter Schure (Judith)

Bayesian rank-based hypothesis testing for the rank sum test, the signed rank test, and Spearman's ρ Article

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

Short-term production scheduling with non-triangular sequence-dependent setup times and shifting production bottlenecks Article

J. Berkhout (Joost), E.J.E.M. Pauwels (Eric), R.D. van der Mei (Rob), J. Stolze (Jan) and Broersen, S. (Siem)

Asymptotic Gilbert-Varshamov bound on frequency hopping sequences Article

X. Niu (Xianhua), C. Xing (Chaoping) and C. Yuan (Chen)

Distributional property testing in a quantum world In Proceedings

A.P. Gilyén (András) and T. Li (Tongyang)

Non-interactive Cryptographic timestamping through based on Verifiable Delay Functions In Proceedings

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

Improved convergence analysis of Lasserre’s measure-based upper bounds for polynomial minimization on compact sets Article

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

Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere Article

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

Data Management for Data Science - Towards Embedded Analytics In Proceedings

M. Raasveldt (Mark) and H.F. Mühleisen (Hannes)

Efficient simulation of random states and random unitaries In Proceedings

G. Alagic (Gorjan), C. Majenz (Christian) and A. Russell (Alexander)

Quantum-secure message authentication via blind-unforgeability In Proceedings

G. Alagic (Gorjan), C. Majenz (Christian), A. Russell (Alexander) and F. Song

Secure Multi-party Quantum Computation with a Dishonest Majority In Proceedings

Y.M. Dulek (Yfke), A. Grilo (Alex), S. Jeffery (Stacey), C. Majenz (Christian) and C. Schaffner (Christian)

Span programs and quantum space complexity In Proceedings

S. Jeffery (Stacey)

Quantum and stochastic processes Dissertation

T.R. Bannink (Tom)

MOOMIN - Mathematical explOration of 'Omics data on a MetabolIc Network. Article

T. Pusa (Taneli), M. Galvão Ferrarini (Mariana), R. Andrade (Ricardo), A. Mary (Arnaud), A. Marchetti Spaccamela (Alberto), L. Stougie (Leen) and M.-F. Sagot (Marie-France)

A quantum view on convex optimization Dissertation

J.T.S. van Apeldoorn (Joran)

On the complexity of solving a decision problem with flow-depending costs: The case of the IJsselmeer dikes Article

A. Abiad (Aida), S.J. Gribling (Sander), D.J.P. Lahaye (Domenico), M. Mnich (Matthias), G. Regts (Guus), L. Vena (Lluis), G. Verweij (Gerard) and P.J. Zwaneveld (Peter)

Special issue on best papers of VLDB 2017 Editorial

P.A. Boncz (Peter) and K. Salem (Kenneth)

On explaining machine learning models by evolving crucial and compact features Article

M. Virgolin (Marco), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

On the discrepancy of random low degree set systems In Proceedings

N. Bansal (Nikhil) and R. Meka (Raghu)

Convex optimization using quantum oracles Article

J.T.S. van Apeldoorn (Joran), A.P. Gilyén (András), S.J. Gribling (Sander) and R.M. de Wolf (Ronald)

A novel approach to meta-analysis testing under heterogeneity Lecture

J.A. ter Schure (Judith)