Publications from 2022

Reasoning About Invariant Properties of Object-oriented Programs-dynamic frames: Proof files Software

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

Cyber-physical agent framework in Maude Software

B. Lion (Benjamin)

ST4MP Software|Data

S.-S.T.Q. Jongmans (Sung) and J.M.P. Proença (Jose)

CamDavidsonPilon / lifelines Software|Data

DALES - Dutch Atmospheric Large Eddy Simulation Software|Data

S. Arabas (Sylwester), S. Axelsen (Simon), J. Attema (Jisk), C. Beets, S.J. Boeing, M. de Bruine (Marco), J. Chylik (Jan), H. Cuijpers (Hans), J. van der Dussen (Johan), C.C. van Heerwaarden (Chiel), et al. T. Heus (Thijs), F.R. Jansson (Fredrik), H.J.J. Jonker (Harm), A. Moene (Arnold), H. Ouwersloot (Huug), G. van den Oord (Gijs), S.R. de Roode (Stephan), R. Neggers (Roel), X. Pedruzo (Xabier), A.P. Siebesma (Pier), M. Sikma (Martin), B. van Stratum (Bart), J. Vila (Jordi) and M. van Zanten (Margreet)

New perspective on the convergence to a global solution of finite-sum optimization In Proceedings

L. M. Nguyen (Lam), T.H. Tran (Trang) and M.E. van Dijk (Marten)

Log-optimal anytime-valid E-values Article

W.M. Koolen-Wijkstra (Wouter) and P.D. Grünwald (Peter)

Testing exchangeability: Fork-convexity, supermartingales and e-processes Article

A. Ramdas (Aadytia), J. Ruf (Johannes), M. Larsson (Martin) and W.M. Koolen-Wijkstra (Wouter)

Code for paper ALL-IN meta-analysis: breathing life into living systematic reviews Software|Data

J.A. ter Schure (Judith)

Real-time classification of LIDAR data using discrete-time Recurrent Spiking Neural Networks Software|Data

A.-D. Vicol (Anca-Diana)

A computational study of accelerating, steady and fading negative streamers in ambient air Dataset

B. Guo (Baohong), X. Li (Xiaoran), U. Ebert (Ute) and H.J. Teunissen (Jannis)

Probabilistic prediction of Dst storms 1-to-3 days ahead using Full-Disk SoHO Images Software|Data

A. Hu (Andong), C. Shneider (Carl), A.J. Tiwari (Ajay) and E. Camporeale (Enrico)

A computational study of steady and stagnating positive streamers in N2-O2 mixtures Dataset

X. Li (Xiaoran), B. Guo (Baohong), A.B. Sun (Anbang), U. Ebert (Ute) and H.J. Teunissen (Jannis)

assessments-ontology Software|Data

D. Ceolin (Davide), D. van Kuppevelt (Dafne) and J. Qi (Ji)

FAReviews Software|Data

D. Ceolin (Davide)

CPM2022 Software

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

A hybrid extension of the uncrowded-hypervolume based multi-objective optimization Software|Data

D.M.F. Ha (Damy), T.M. Deist (Timo) and P.A.N. Bosman (Peter)

CGP-GOMEA Software|Data

J. Harrison (Joe), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

ENCAS Software|Data

A. Chebykin (Aleksandr), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

HybridML Software|Data

G. Bernardini (Giulia), L.J.J. van Iersel (Leo), E. Julien (Esther) and L. Stougie (Leen)

Source data used in the manuscript "VeChat: Correcting errors in noisy long reads using variation graphs" Software|Data

X. Luo (Vincent), X. Kang (Xiongbin) and A. Schönhuth (Alexander)

Solving multi-structured problems by introducing linkage kernels into GOMEA - Source Code Software|Data

A. Guijt (Arthur), D. Thierens (Dirk), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

BDGL overhead Software

L. Ducas (Léo)

MITM-MILP Software

A.C. Schrottenloher (André)

safestats: Safe Anytime-Valid Inference Software

R.J. Turner (Rosanne), A. Ly (Alexander), M.F. Pérez (Muriel), J.A. ter Schure (Judith) and P.D. Grünwald (Peter)

Gradient descent-type methods: Background and simple unified convergence analysis Book Chapter

Q. Tran-Dinh (Quoc) and M.E. van Dijk (Marten)

A theoretical framework for the analysis of physical unclonable function interfaces and its relation to the random oracle model Tech Report

M.E. van Dijk (Marten) and C. Jin (Chenglu)

Game theoretic mixed experts for combinational adversarial machine learning Article

E. Rathbun (Ethan), K. Mahmood (Kaleel), S. Ahmad (Sohaib), C. Ding (Caiwen) and M.E. van Dijk (Marten)

Finite-sum optimization: A new perspective for convergence to a global solution Article

L. M. Nguyen (Lam), T.H. Tran (Trang) and M.E. van Dijk (Marten)

Towards remote verifiable computation without digital secrets In Proceedings

M.E. van Dijk (Marten)

cwi-swat/rebel-runtime-lib: Zenodo release Software|Data

T.M. Soethout (Tim)

Toric eigenvalue methods for solving sparse polynomial systems Article

M.R. Bender (Matias) and S.J.L. Telen (Simon Jo L)

Landau discriminants Article

S. Mizera (Sebastian) and S.J.L. Telen (Simon Jo L)

Landau discriminants Tech Report

S. Mizera (Sebastian) and S.J.L. Telen (Simon Jo L)

Toric eigenvalue methods for solving sparse polynomial systems Tech Report

S.J.L. Telen (Simon Jo L) and M.R. Bender (Matias)

The algebraic degree of coupled oscillators Tech Report

P. Breiding (Paul), M. Michalek (Mateusz), L. Monin (Leonid) and S.J.L. Telen (Simon Jo L)

Vector spaces of generalized Euler integrals Tech Report

D. Agostini (Daniele), C. Fevola (Claudia), A-L. Sattelberger (Anna-Laura) and S.J.L. Telen (Simon Jo L)

Solving polynomial equations and applications Tech Report

S.J.L. Telen (Simon Jo L)

Gibbs manifolds Tech Report

D. Pavlov (Dmitrii), B. Sturmfels and S.J.L. Telen (Simon Jo L)

The Seattle report on database research Review

D. Abadi, A. Ailamaki (Anastasia), D.G. Andersen (David), P. Bailis (Peter), M. Balazinska (Magdalena), P. Bernstein, P.A. Boncz (Peter), S. Chaudhuri (Surajit), A. Cheung (Alvin), A. Doan (Anhai), et al. L. Dong (Luna), M. Franklin, J. Freire, A. Halevy, J. Hellerstein, S. Idreos (Stratos), D. Kossmann (Donald), T. Kraska, S. Krishnamurthy (Sailesh), V. Markl, S. Melnik (Sergey), T. Milo (Tova), C. Mohan, T. Neumann (Thomas), B.C. Ooi (Beng Chin), F. Ozcan (Fatma), J. Patel (Jignesh), A. Pavlo (Andrew), R. Popa (Raluca), R. Ramakrishnan (Raghu), C. Re, M. Stonebraker and D. Suciu (Dan)

The BP Dependency Function: a generic measure of dependence between random variables Tech Report

G.A. Berkelmans (Guus), J. Pries (Joris), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Singular value decomposition for time series analysis with applications to smart energy systems Dissertation

A. Khoshrou (Majid)

On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Tech Report

P.T.S. van der Gulik (Peter), M. Egas (Martijn), K. Kraaijeveld (Ken), N. Dombrowski (Nina), A.T. Groot (Astrid), A. Spang (Anja), W.D. Hoff (Wouter) and J. Gallie (Jenna)

Towards gradual multiparty session typing In Proceedings

S.-S.T.Q. Jongmans (Sung)

Performance modeling for call centers providing online mental health support Article

T.R. de Boer (Tim R.), S. Mérelle (Saskia), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Detecting novel application layer cybervariants using supervised learning Article

E.P. van de Bijl (Etienne), J.G. Klein (Jan), J. Pries (Joris), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

Message from the General Chairs: IEEE BigMM 2022 Preface

D.C.A. Bulterman (Dick), M. Kankanhalli (Mohan), G. Pilato (Giovanni) and P. Sheu (Philip)

Interior point methods are not worse than Simplex In Proceedings

X. Allamigeon (Xavier), D.N. Dadush (Daniel), G. Loho (Georg), B. Natura (Bento) and L.A. Végh (László)

Technical perspective: The 'art' of automatic benchmark extraction Letter To Editor

P.A. Boncz (Peter)

Ethical Self-Disclosing Voice User Interfaces for Delivery of News Online Video

S. Rao (Shruti), V.D.C. Resendez (Valeria), A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

HAWK: Module LIP makes lattice signatures fast, compact and simple In Proceedings

L. Ducas (Léo), E.W. Postlethwaite (Eamonn Walter), L.N. Pulles (Ludo) and W.P.J. van Woerden (Wessel)

The Fundamentals of Heavy Tails Properties, Emergence and Estimation Book

J. Nair (Jayakrishnan), A. Wierman (Adam) and A.P. Zwart (Bert)

Reservoir computing for temporal data classification using a dynamic solid electrolyte ZnO thin film transistor Article

A. Gaurav (Ankit), X. Song (Xiaoyao), S. Manhas (Sanjeev), A. Gilra (Aditya), E. Vasilaki (Eleni), P. Roy (Partha) and M.M. De Souza (Maria Merlyne)

Understanding and Designing Avatar Biosignal Visualizations for Social Virtual Reality Entertainment Online Video

S. Lee (Sueyoon), A. El Ali (Abdallah), M.W.A. Wijntjes (Maarten) and P.S. César Garcia (Pablo Santiago)

Exploring Emotion Responses toward Pedestrian Crossing Actions for Designing In-vehicle Empathic Interfaces Online Video

S. Ghosh (Surjya), G. Pons Rodriguez (Gerard), S. Rao (Shruti), A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

Digital Proxemics: Designing Social and Collaborative Interaction in Virtual Environments Online Video

J. R. Williamson (Julie), J. O'Hagan (Joseph), J.A. Guerra-Gomez (John Alexis), J.H. Williamson (John), P.S. César Garcia (Pablo Santiago) and D.A. Shamma (Ayman)

Human-Centered Multimedia: making remote togetherness possible Blogpost

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

Analysis of 3D elemental distribution in nanomaterials: Towards higher throughput and dose efficiency Article

A. Skorikov (Alexander), K.J. Batenburg (Joost) and S. Bals (Sara)

Adaptive versus static multi-oracle algorithms, and quantum security of a split-key PRF In Proceedings

J.W. Don (Jelle), S. Fehr (Serge) and Y.H. Huang (Yu-Hsuan)

Symposium on Human-Centered Multimedia to celebrate Pablo Cesar’s Professorship Appointment Blogpost

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

Development of the Co-creation Space in the Second Year Blogpost

A. Striner (Alina)

Ixampl: an implementation of ixml Software|Data

S. Pemberton (Steven)

Advanced ixml Hands On, at Declarative Amsterdam, Amsterdam, NL, 7 November Presentation

S. Pemberton (Steven)

The future is already here, just not very evenly distributed : presentation at Science Park Open Day, Science Park, Amsterdam. 1 October, 2022 Presentation

S. Pemberton (Steven)

IXR '22: 1st Workshop on Interactive eXtended Reality In Proceedings

I. Viola (Irene), H. Amirpour (Hadi) and M. Torres Vega (Maria)

Sensitivity analysis and Bayesian calibration of a dynamic wind farm control model: FLORIDyn Article

V.V. Dighe (Vinit), M. Becker (Marcus), T. Göçmen (Tuhfe), B. Sanderse (Benjamin) and J.-W. van Wingerden (Jan-Willem)

Energy-consistent formulation of the pressure-free two-fluid model Article

J.F.H. Buist (Jurriaan), B. Sanderse (Benjamin), S. Dubinkina (Svetlana), C.W. Oosterlee (Kees) and R.A.W.M. Henkes

A multidisciplinary perspective on COVID-19 exit strategies Tech Report

F. Dablander (Fabian), T. Blanken (Tessa), C. Tanis (Charlotte), R. Breed (Rosa), L.E. Coffeng (Luc), D.T. Crommelin (Daan), W.N. Edeling (Wouter), P. Gautier (Pieter), B. de Graaf (Beatrice), F. Gugole (Federica), et al. F. van Harreveld (Frenk), D. Jager (Dewi), L. Jensen (Lotte), R. Knoeff (Rina), M. van der Linde (Melle), B. Sanderse (Benjamin), A. de Ruijter (Anniek), S.J. de Vlas (Sake), C. Santing (Catrien), A.P. Zwart (Bert), J.A.P. Heesterbeek (Hans) and D. Borsboom (Denny)

Efficient numerical approximation of a non-regular Fokker–Planck equation associated with first-passage time distributions Article

U. Böhm (Udo), S. Cox (Sonja), G. Gantner (Gregor) and R. Stevenson (Rob)

De geheimen achter De Nachtwacht onthuld met technologie - BNR Eyeopeners - 07-04-2022 Magazine Article

Hoe gaat de quantummechanica de wereld veranderen? - Verrukkelijke Wetenschap, aflevering 29 - 01-12-2022 Magazine Article

Stochastic models for unresolved scales in ocean flows Dissertation

N. Verheul (Nick)

Human-centered multimedia: Making remote togetherness possible Inaugural Lecture

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

No pressure? Energy-consistent ROMs for the incompressible Navier-Stokes equations with time-dependent boundary conditions Tech Report

H.K.E. Rosenberger (Henrik) and B. Sanderse (Benjamin)

Momentum-conserving ROMs for the incompressible Navier-Stokes equations In Proceedings

H.K.E. Rosenberger (Henrik) and B. Sanderse (Benjamin)

Discretize first, filter next – a new closure model approach In Proceedings

S.D. Agdestein (Syver) and B. Sanderse (Benjamin)

An OSSS-type inequality for uniformly drawn subsets of fixed size Tech Report

J. van den Berg (Rob)

A 2D forest fire process beyond the critical time Tech Report

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

Variational quantum eigensolver for the Heisenberg antiferromagnet on the kagome lattice Article

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

General stabilizer approach for constructing highly entangled graph states Article

Z. Raissi (Zahra), A. Burchardt (Adam) and E. Barnes (Edwin)

Rond de Linde bijlage - Edsger Wybe Dijkstra - 22-12-2022 Magazine Article

Asymptotic analysis of Emden–Fowler type equation with an application to power flow models Article

M.H.M. Christianen, A.J.E.M. Janssen, M. Vlasiou (Maria) and A.P. Zwart (Bert)

Improved quantum query upper bounds based on classical decision trees In Proceedings

Cornelissen, A. (Arjan), N.S. Mande (Nikhil) and S. Patro (Subhasree)

Fiat-Shamir transformation of multi-round interactive proofs In Proceedings

T. Attema (Thomas), S. Fehr (Serge) and M. Klooss (Michael)

Vector commitments over rings and compressed Σ-protocols In Proceedings

T. Attema (Thomas), I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and D. Escudero (Daniel)

Fotoboek bij het pensioen van Jos van der Werf, 11.08.2022 Book

Fotoboek bij het afscheid van Arjen de Rijke, 30.06.2022 Book

Fotoboek bij het afscheid van Chris Wesseling, 31.05.2022 Book

Fotoboek bij het pensioen van Lieke Schultze, 17.07.2022 Book

Quantum algorithms and lower bounds for linear regression with norm constraints In Proceedings

Y. Chen (Yanlin) and R.M. de Wolf (Ronald)

Quantum speedup for graph sparsification, cut approximation, and Laplacian solving Article

S.M.G. Apers (Simon) and R.M. de Wolf (Ronald)

Transparent and Explainable Information Quality Prediction Magazine Article

D. Ceolin (Davide)

Elastic-degenerate string matching via fast matrix multiplication Article

G. Bernardini (Giulia), P. Gawrychowski (Paweł), N. Pisanti (Nadia), S. Pissis (Solon) and G. Rosone (Giovanna)

Average-case verification of the quantum Fourier transform enables worst-case phase estimation Article

N. Linden (Noah) and R.M. de Wolf (Ronald)

Avi Wigderson’s work and influence Article

R.M. de Wolf (Ronald)

Luckiness in multiscale online learning In Proceedings

M.F. Pérez (Muriel) and W.M. Koolen-Wijkstra (Wouter)

Energy-conserving formulation of the two-fluid model for incompressible two-phase flow in channels and pipes Article

J.F.H. Buist (Jurriaan), B. Sanderse (Benjamin), S. Dubinkina (Svetlana), R.A.W.M. Henkes and C.W. Oosterlee (Kees)

Grothendieck inequalities characterize converses to the polynomial method Tech Report

J. Briët (Jop), F. Escudero Gutiérrez (Francisco) and S.J. Gribling (Sander)

A universal error measure for input predictions applied to online graph problems Tech Report

G. Bernardini (Giulia), A. Lindermayr (Alexander), A. Marchetti Spaccamela (Alberto), N. Megow (Nicole), L. Stougie (Leen) and M.J.M. Sweering (Michelle)