Publications from 2023

Improved quantum boosting In Proceedings

A. Izdebski (Adam) and R.M. de Wolf (Ronald)

Tight bounds for quantum phase estimation and related problems In Proceedings

N.S. Mande (Nikhil) and R.M. de Wolf (Ronald)

(No) Quantum space-time tradeoff for USTCON In Proceedings

S.M.G. Apers (Simon), S. Jeffery (Stacey), G. Pass (Galina) and M. Walter (Michael)

Local minimization of prediction errors drives learning of invariant object representations in a generative network model of visual perception Article

M. Brucklacher (Matthias), S.M. Bohte (Sander), J.F. Mejias (Jorge) and C. Pennartz (Cyriel)

Parallel pushdown automata and commutative context-free grammars in bisimulation semantics In Proceedings

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

Time-resolved reconstruction of motion, force, and stiffness using Spectro-Dynamic MRI Article

M.H.C. van Riel (Max), T. van Leeuwen (Tristan), C.A.T. van den Berg (Cornelis) and A. Sbrizzi (Alessandro)

Streamer discharges and their interaction with dielectrics : a computational study Dissertation

X. Li (Xiaoran)

Double-pulse streamer simulations for varying interpulse times in air Article

H. Malla (Hemaditya), A. Martinez (Andy), U. Ebert (Ute) and H.J. Teunissen (Jannis)

Polynomial optimization: matrix factorization ranks, portfolio selection, and queueing theory Dissertation

J.A.J. Steenkamp (Andries)

HaploKit /DiseaseCapsule Software|Data

X. Luo (Vincent)

Does the Dual-Sieve attack on Learning with Errors even work? In Proceedings

L. Ducas (Léo) and L.N. Pulles (Ludo)

Finding short integer solutions when the modulus Is small In Proceedings

L. Ducas (Léo), T. Espitau (Thomas) and E.W. Postlethwaite (Eamonn Walter)

Fixing and mechanizing the security proof of Fiat-Shamir with Aborts and Dilithium In Proceedings

M. Barbosa (Manuel), Barthe, G. (Gilles), C. Doczkal (Christian), J.W. Don (Jelle), S. Fehr (Serge), B. Grégoire (Benjamin), Y.H. Huang (Yu-Hsuan), A. Hülsing (Andreas), Y. Lee (Yi) and X. Wu (Xiaodi)

Distinguishing between canonical and non-canonical tRNA genes reveals that Thermococcaceae adhere to the standard archaeal tRNA gene set Dataset

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

An end-member modeling approach (EMMA) to pseudo-Thellier paleointensity data Article

L. van Grinsven (Liz), T. van Leeuwen (Tristan) and L.V. de Groot (Lennart)

monikagrewal /End2EndLandmarks Software|Data

M. Grewal (Monika)

marcovirgolin /robust-counterfactuals Software|Data

M. Virgolin (Marco)

cwi-dis /VR2Gather Software|Data

A.J. Jansen (Jack), I. Reimat (Ignacio), S. Subramanyam (Shishir) and A. Singla (Ashutosh)

vrozen /ScriptButler Software|Data

R.A. van Rozen (Riemer)

Multiparty session typing in Java, deductively (Artifact) Software

J. Bouma (Jelle), C.P.T. de Gouw (Stijn) and S.-S.T.Q. Jongmans (Sung)

Data set for (binary) text classification, involving spoken utterances and written text Dataset

M. Wahde (Mattias), M.L. Della Vedova (Marco), M. Virgolin (Marco) and M. Suvanto (Minerva)

Mechanisms of human dynamic object recognition revealed by sequential deep neural networks Software|Data

L.K.A. Sörensen (Lynn), S.M. Bohte (Sander), H.A. Slagter (Heleen) and H.S. Scholte (Steven)

CAOS: A reusable scala web animator of operational semantics (Software Artefact) Software

J.M.P. Proença (Jose) and L.J. Edixhoven (Luc)

urbanslug /junctions Software|Data

W.P. Zuba (Wiktor), M.N. Mwaniki (Moses Njagi), S. Pissis (Solon) and M.J.M. Sweering (Michelle)

nmucke /DT-for-WDN-leak-localization Software|Data

N.T. Mücke (Nikolaj)

JAndriesJ /ju-cp-rank Software|Data

J.A.J. Steenkamp (Andries)

cwida /FastLanes Software|Data

A. Afroozeh (Azim)

ArkadiyD /MO-PBT Software|Data

A. Dushatskiy (Arkadiy)

Numerical simulations for "Shadow estimation of gate-set properties from random sequences" Software|Data

J. Kitzinger

ldbc /ldbc_snb_datagen_spark Software|Data

G. Szárnyas (Gábor)

mbkiss /2DeteCTcodes Software|Data

M.B. Kiss (Maximilian), H.H. Der Sarkissian (Henri) and F. Lucka (Felix)

Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning" Software

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

Simulation study for the comparison of power flow models for a line distribution network with stochastic load demands In Proceedings

Christianen, M. (Mark), M. Vlasiou (Maria) and A.P. Zwart (Bert)

Simplified modeling of MITM attacks for block ciphers: New (quantum) attacks Article

A.C. Schrottenloher (André) and M.M.J. Stevens (Marc)

The logic of separation logic: Models and proofs In Proceedings

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

On the quantum security of HAWK In Proceedings

S. Fehr (Serge) and Y.H. Huang (Yu-Hsuan)

CWI Self-evaluation 2017-2022 Book

Round and bipartize for vertex cover approximation In Proceedings

D. Kashaev (Danish) and G. Schäfer (Guido)

Turing and Van Gogh walk into a bar : a computational approach to suicide research Dissertation

G.A. Berkelmans (Guus)

Artist profiling using micro-CT scanning of a Rijksmuseum terracotta sculpture Article

D. Sero (Dzemila), I. Garachon (Isabelle), E. Hermens (Erma) and K.J. Batenburg (Joost)

Non-adaptive measurement-based quantum computation on IBM Q Article

J. Mackeprang (Jelena), D. Bhatti (Daniel) and S. Barz (Stefanie)

3D characterization of the structural transformation undergone by Cu@Ag Core-Shell Nanoparticles following CO2 reduction reaction Article

D. Arenas Esteban (Daniel), L. Pacquets (Lien), D. Choukroun (Daniel), S. Hoekx (Saskia), A.A. Kadu (Ajinkya), J. Schalck (Jonathan), N. Daems (Nick), T. Breugelmans (Tom) and S. Bals (Sara)

Universal reverse information projections and optimal e-statistics In Proceedings

P. Harremoës (Peter), T.D. Lardy (Tyron) and P.D. Grünwald (Peter)

Constructing phylogenetic networks via cherry picking and machine learning Article

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

Maximal degenerate palindromes with gaps and mismatches Article

M. Alzamel (Mai), C. Hampson (Christopher), C.S. Iliopoulos (Costas), Z. Lim (Zara), S. Pissis (Solon), D. Vlachakis (Dimitrios) and S. Watts (Steven)

Topology-Hiding Communication from minimal assumptions Article

M. Ball (Marshall), E. Boyle (Elette), R. Cohen (Ran), L.M. Kohl (Lisa), T. Malkin (Tal), P. Meyer (Pierre) and T. Moran (Tal)

Scheduling problems in the service industry : theory and applications Dissertation

I.I. van Heuven van Staereling (Irving)

BRExIt: On opponent modelling in expert iteration Tech Report

D. Hernandez (Daniel), H.J.S. Baier (Hendrik) and M. Kaisers (Michael)

BRExIt: On opponent modelling in expert iteration In Proceedings

Hernandez, D. (Daniel), H.J.S. Baier (Hendrik) and M. Kaisers (Michael)

Estimation of temperature homogeneity in MEMS-based heating nanochips via quantitative HAADF-STEM tomography Article

Q. Chen (Qiongyang), A. Skorikov (Alexander), J.E.S. van der Hoeven (Jessi), A. van Blaaderen (Alfons), W. Albrecht (Wiebke), H.H. Pérez-Garza (Hugo) and S. Bals (Sara)

Seedability: Optimizing alignment parameters for sensitive sequence comparison Article

L.A.K. Ayad (Lorraine), R. Chikhi (Rayan) and S. Pissis (Solon)

Optimizing sparse fermionic Hamiltonians Article

Y. Herasymenko (Yaroslav), M.E. Stroeks (Maarten), J. Helsen (Jonas) and B.M. Terhal (Barbara)

Orthogonal schedules in single round robin tournaments Article

R. Lambers (Roel), J. Briët (Jop), V. Patel (Viresh), F. Spieksma (Frits) and M.A. Yıldız (Mehmet Akif)

Optimal decision rules for marked point process models Tech Report

M.N.M. van Lieshout (Marie-Colette)

2DeteCTcodes Software

M.B. Kiss (Maximilian), H.H. Der Sarkissian (Henri) and F. Lucka (Felix)

2DeteCT - A large 2D expandable, trainable, experimental Computed Tomography dataset for machine learning Article

M.B. Kiss (Maximilian), S.B. Coban (Sophia), K.J. Batenburg (Joost), T. van Leeuwen (Tristan) and F. Lucka (Felix)

A joint Python/C++ library for efficient yet accessible Black-Box and Gray-Box Optimization with GOMEA In Proceedings

P.A. Bouter (Anton) and P.A.N. Bosman (Peter)

Model-based evolutionary algorithms In Proceedings

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

Dr Ambiguity Software

J.J. Vinju (Jurgen)

Expensive optimization with model-based evolutionary algorithms applied to medical image segmentation using deep learning Dissertation

A. Dushatskiy (Arkadiy)

Iterated elimination of weakly dominated strategies in well-founded games In Proceedings

K.R. Apt (Krzysztof) and S.E. Simon (Sunil)

Multi-objective population based training In Proceedings

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

Quantitative modeling of streamer discharge branching in air Article

Z. Wang (Zhen), S. Dijcks (Siebe), Y. Guo (Yihao), M. van der Leegte (Martijn), A.B. Sun (Anbang), U. Ebert (Ute), S. Nijdam (Sander) and H.J. Teunissen (Jannis)

Quantum algorithm for path-edge sampling In Proceedings

S. Jeffery (Stacey), S. Kimmel (Shelby) and A. Piedrafita Postigo (Álvaro)

Shadow estimation of gate-set properties from random sequences Article

J. Helsen (Jonas), M. Ioannou, J. Kitzinger, E. Onorati, A.H. Werner, J. Eisert (Jens) and I. Roth (Ingo)

Quantum motif clustering Article

C.W. Cade (Chris), F.S. Labib (Farrokh) and I.A. Niesen (Ido)

A solution to the multidimensional additive homological equation Article

A.F. Ber (Aleksei), M.J. Borst (Matthijs), S.J. Borst (Sander) and F.A. Sukochev (Fedor)

Fiat–Shamir transformation of multi-round interactive proofs (extended version) Article

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

The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space In Proceedings

G. Szárnyas (Gábor), B. Bebee (Brad), A. Birler (Altan), A. Deutsch (Alin), G. Fletcher (George), H.A. Gabb (Henry), D. Gosnell (Denise), A. Green (Alastair), Guo, Zhihui, K.W. Hare (Keith), et al. Hidders, Jan, A. Iosup (Alexandru), A. Kiryakov (Atanas), T. Kovatchev (Tomas), X. Li (Xinsheng), L. Libkin (Leonid), H. Lin (Heng), X. Luo (Xiaojian), A.P. Pérez (Arnau Prat), Püroja, David, S. Qi (Shipeng), O. van Rest (Oskar), B.A. Steer (Benjamin), D. Szakállas (David), B. Tong (Bing), J. Waudby (Jack), M. Wu (Mingxi), B. Yang (Bin), W. Yu (Wenyuan), C. Zhang (Chen), Zhang, Jason, Y. Zhou (Yan) and P.A. Boncz (Peter)

The LDBC Social Network Benchmark Interactive workload v2: A transactional graph query benchmark with deep delete operations In Proceedings

D.A. Püroja (David), J. Waudby (Jack), P.A. Boncz (Peter) and G. Szárnyas (Gábor)

Improving data minimization through decentralized data architectures In Proceedings

I. Battiston (Ilaria) and P.A. Boncz (Peter)

DuckPGQ: Bringing SQL/PGQ to DuckDB In Proceedings

D.L.J, ten Wolde (Daniël), P.A. Boncz (Peter) and G. Szárnyas (Gábor)

These rows are made for sorting and that's just what we'll do In Proceedings

L.N. Kuiper (Laurens) and H.F. Mühleisen (Hannes)

Designing with biosignals: Challenges, opportunities, and future directions for integrating physiological signals in human-computer interaction In Proceedings

E.R. Stepanova (Ekaterina), J. Desnoyers-Stewart (John), A. Kitson (Alexandra), B.E. Riecke (Bernhard), A.N. Antle (Alissa), A. El Ali (Abdallah), J. Frey (Jeremy), V. Tsaknaki (Vasiliki) and N. Howell (Noura)

Morea: A GPU-accelerated evolutionary algorithm for multi-objective deformable registration of 3d medical images In Proceedings

G. Andreadis (Georgios), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

Message from the Chairs Preface

Chen, L. (Lei), S. Manegold (Stefan), S. Mehrotra (Sharad) and C. Li (Chen)

Oven: Safe and live communication protocols in Scala, using synthetic behavioural type analysis In Proceedings

F. Ferreira (Francisco) and S.-S.T.Q. Jongmans (Sung)

SPA: Economical and workload-driven indexing for data analytics in the cloud In Proceedings

P.A. Boncz (Peter), Y. Chronis (Yannis), J. Finis (Jan), S. Halfpap (Stefan), V. Leis (Viktor), T. Neumann (Thomas), Nica, A. (Anisoara), C. Sauer (Caetano), Stolze, K. (Knut) and M. Zukowski (Marcin)

Mini-Batching, Gradient-Clipping, first-versus second-order: What works in Gradient-Based coefficient optimisation for Symbolic Regression' In Proceedings

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

The impact of asynchrony on parallel model-based EAs In Proceedings

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

A simple method for convex optimization in the oracle model Article

D.N. Dadush (Daniel), C. Hojny (Christopher), S. Huiberts (Sophie) and S. Weltge (Stefan)

Semidefinite approximations for bicliques and biindependent pairs Tech Report

M. Laurent (Monique), S.C. Polak (Sven) and L.F. Vargas (Luis)

A theoretical framework for the analysis of Physical Unclonable Function interfaces and Its relation to the Random Oracle Model Article

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

Gaussian Mixture Identifiability from degree-6 moments Software

F.A. Taveira Blomenhofer (Filipe Alexander)

Code and files for: Unique powers-of-forms decompositions from simple Gram spectrahedra Software

F.A. Taveira Blomenhofer (Filipe Alexander)

Dataset of CT scans, slice photographs, and visual browning scores of 120 'Kanzi' apples Dataset

D.E. Schut (Dirk), A.K. Trull (Anna) and M. Couvée (Michiel)

Improved hardness results for the guided local Hamiltonian problem In Proceedings

C.W. Cade (Chris), M.J. Folkertsma (Marten), S. Gharibian (Sevag), R. Hayakawa (Ryu), F. Le Gall (François), T. Morimae (Tomoyuki) and J.R. Weggemans (Jordi)

Evaluation of point cloud features for no-reference visual quality assessment In Proceedings

G.M. Smitskamp (Gwennan), I. Viola (Irene) and P.S. César Garcia (Pablo Santiago)

Convergence of the number of period sets in strings In Proceedings

E. Rivals (Eric), M.J.M. Sweering (Michelle) and P. Wang (Pengfei)

Corrigendum to “Emerging business models in local energy markets: A systematic review of peer-to-peer, community self-consumption, and transactive energy models” [Renew Sustain Energy Rev 179 (2023) 113273](S1364032123001296)(10.1016/j.rser.2023.113273) Article

J.M. Schwidtal (Jan Marc), P. Piccini, M. Troncia, R. Chitchyan (Ruzanna), M. Montakhabi (Mehdi), C. Francis (Christina), A. Gorbatcheva (Anna), T. Capper (Timothy), M.A. Mustafa (Mustafa), M. Andoni (Merlinda), et al. V. Robu (Valentin), M. Bahloul (Mohamed), I.J. Scott (Ian), T. Mbavarira (Tanaka), J.M. Espana (Juan Manuel) and L. Kiesling (Lynne)

Text indexing for long patterns: Anchors are all you need Article

L.A.K. Ayad (Lorraine), G. Loukides (Grigorios) and S. Pissis (Solon)

The FastLanes compression layout: Decoding >100 billion integers per second with scalar code Article

A. Afroozeh (Azim) and P.A. Boncz (Peter)

Copositive matrices, sums of squares and the stability number of a graph Tech Report

L.F. Vargas (Luis) and M. Laurent (Monique)

Linear-time computation of cyclic roots and cyclic covers of a string In Proceedings

C.S. Iliopoulos (Costas), T. Kociumaka (Tomasz), J. Radoszewski (Jakub), W. Rytter (Wojciech), T. Waleń (Tomasz) and W.P. Zuba (Wiktor)

AI-ready data in space science and solar physics: problems, mitigation and action plan Article

B. Poduval (Bala), R.L. McPherron, R. Walker, M.D. Himes, K.M. Pitman, A.R. Azari, C. Shneider (Carl), A.J. Tiwari (Ajay), S. Kapali, G. Bruno, et al. M.K. Georgoulis, O. Verkhoglyadova, Borovsky, J.E., G. Lapenta, Liu, J., T. Alberti, P. Wintoft and S. Wing

Active pairwise distance learning for efficient labeling of large datasets by human experts Article

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

Comparing elastic-degenerate strings: Algorithms, lower bounds, and applications In Proceedings

E.A.D. Gabory (Esteban), N. Pisanti (Nadia), J. Radoszewski (Jakub), W.P. Zuba (Wiktor), M.N. Mwaniki (Moses Njagi), S. Pissis (Solon) and M.J.M. Sweering (Michelle)

Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report Article

J. Denkers (Jasper), M. Brunner (Marvin), L. van Gool (Louis), J.J. Vinju (Jurgen), A. Zaidman (Andy) and E. Visser

Suffix-prefix queries on a dictionary In Proceedings

G. Loukides (Grigorios), S. Pissis (Solon), S.V. Thankachan (Sharma) and W.P. Zuba (Wiktor)

Sharpness and well-conditioning of nonsmooth convex formulations in statistical signal recovery Tech Report

L. Ding (Lijun) and A.L. Wang (Alex Liheng)