Publications from 2020

Lattice representations of functions Article

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

Leveraging conditional linkage models in gray-box optimization with the real-valued gene-pool optimal mixing evolutionary algorithm In Proceedings

P.A. Bouter (Anton), S.C. Maree (Stef), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

Identifying Magnetic Reconnection in 2D Hybrid Vlasov Maxwell Simulations with Convolutional Neural Networks Article

A. Hu (Andong), Sisti, M. (M.), Finelli, F. (F.), F. Califano, Dargent, J. (J.), Faganello, M. (M.), E. Camporeale (Enrico) and Teunissen, J. (J.)

Stimulated Raman adiabatic passage-like protocols for amplitude transfer generalize to many bipartite graphs Article

K.L. Groenland (Koen), C. Groenland (Carla) and Kramer, R. (Reinier)

Morphology for grey-scale images Article

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

High Entropy Random Selection Protocols Article

H.M. Buhrman (Harry), M. Christandl (Matthias), Koucký, M. (Michal), Lotker, Z. (Zvi), Patt-Shamir, B. (Boaz) and N.K. Vereshchagin (Nikolay Konstantinovich)

Efficient Protocols for Perfectly Secure Message Transmission with Applications to Secure Network Coding Article

G. Spini (Gabriele) and G. Zémor (Gilles)

IsoXpressor: A Tool to Assess Transcriptional Activity within Isochores Article

L.A.K. Ayad (Lorraine), A.-M. Dourou (Athanasia-Maria), S. Arhondakis (Stilianos) and S. Pissis (Solon)

Discretization Article

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

Bayesian Inference of Quasi-Linear Radial Diffusion Parameters using Van Allen Probes Article

Sarma, R. (Rakesh), M.H. Chandorkar (Mandar), Zhelavskaya, I. (Irina), Shprits, Y. (Yuri), Drozdov, A. (Alexander) and E. Camporeale (Enrico)

Improved algorithms for alternating matrix space isometry: From theory to practice In Proceedings

P.A. Brooksbank (Peter), Y. Li (Yinan), Y. Qiao (Youming) and J.B. Wilson (James)

Quasirandom quantum channels In Proceedings

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

Assessment of sensitivity and accuracy of BEM-based aeroelastic models on wind turbine load predictions In Proceedings

Caboni, M. (M.), Carrion, M. (M.), Rodriguez, C. (C.), Schepers, G. (G.), Boorsma, K. (K.) and B. Sanderse (Benjamin)

Convexity, distance, and connectivity Article

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

Adjunctions, dilations, and erosions Article

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

Operators which are translation invariant Article

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

Dynamic and Internal Longest Common Substring Article

A. Amir (Amihood), P. Charalampopoulos (Panagiotis), S. Pissis (Solon) and J. Radoszewski (Jakub)

Comparing Degenerate Strings Article

M. Alzamel (Mai), 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)

MEEC: First workshop on momentary emotion elicitation and capture In Proceedings

A. El Ali (Abdallah), Perusquía-Hernández, M. (Monica), Denman, P. (Pete), Abdelrahman, Y. (Yomna), Hassib, M. (Mariam), Meschtscherjakov, A. (Alexander), Ferreira, D. (Denzil) and Henze, N. (Niels)

Redesigning query engines for white-box compression In Proceedings

Tomé, D. (Diego) and P.A. Boncz (Peter)

Bi-objective optimization of catheter positions for high-dose-rate prostate brachytherapy Article

M.C. van der Meer (Marjolein), P.A.N. Bosman (Peter), Y. Niatsetski (Yury), T. Alderliesten (Tanja), N. van Wieringen (Niek), B.R. Pieters (Bradley) and A. Bel (Arjan)

Integral Matrix Gram Root and Lattice Gaussian Sampling Without Floats In Proceedings

L. Ducas (Léo), S. Galbraith (Steven), T. Prest and Y. Yu (Yang)

Real-Time Reconstruction of Arbitrary Slices for Quantitative and In Situ 3D Characterization of Nanoparticles Article

Vanrompay, H. (Hans), J. Buurlage (Jan-Willem), D.M. Pelt (Daniël), Kumar, V. (Vished), Zhuo, X. (Xiaolu), Liz-Marzán, L.M. (Luis M.), S. Bals (Sara) and K.J. Batenburg (Joost)

The physics of streamer discharge phenomena Article

S. Nijdam (Sander), H.J. Teunissen (Jannis) and U. Ebert (Ute)

Complete classification of trapping coins for quantum walks on the two-dimensional square lattice Article

Kollár, B. (B.), A.P. Gilyén (András), Tkáčová, I. (I.), Kiss, T. (T.), Jex, I. (I.) and Štefaňák, M. (M.)

A Faster and More Accurate Algorithm for Calculating Population Genetics Statistics Requiring Sums of Stirling Numbers of the First Kind Article

S.L. Chen (Swaine) and N.M. Temme (Nico)

Efficient data structures for range shortest unique substring queries† Article

P. Abedin (Paniz), A. Ganguly (Arnab), S. Pissis (Solon) and S.V. Thankachan (Sharma)

Efficient Verifiable Delay Functions Article

B.P.C. Wesolowski (Benjamin)

A Python interface to the Dutch Atmospheric Large-Eddy Simulation Article

G. van den Oord (Gijs), F.R. Jansson (Fredrik), F.I. Pelupessy (Inti), M. Chertova (Maria), J.H. Grönqvist (Johanna), A.P. Siebesma (Pier) and D.T. Crommelin (Daan)

A non-invasive imaging approach for improved assessments on the construction and the condition of historical knotted-pile carpets Article

A. Serrano (Ana), S. Meijer (Suzan), R.R. van Rijn (Rick), S.B. Coban (Sophia), B. Reissland (Birgit), E. Hermens (Erma), K.J. Batenburg (Joost) and M. van Bommel (Maarten)

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 (Gangyi), 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)

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)