Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Scheduling problems in the service industry : theory and applications Dissertation

Stochastics

I.I. van Heuven van Staereling (Irving)

September 2023
BRExIt: On opponent modelling in expert iteration Tech Report

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

May 2023
BRExIt: On opponent modelling in expert iteration In Proceedings

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

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

Particle and Particle Systems Characterization

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)

September 2023
Seedability: Optimizing alignment parameters for sensitive sequence comparison Article

Bioinformatics Advances, 3(1)

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

August 2023
Optimizing sparse fermionic Hamiltonians Article

Quantum, 1081.1-1081.34.

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

August 2023
Orthogonal schedules in single round robin tournaments Article

Operations Research Letters, 51(5), 528-532.

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

September 2023
Optimal decision rules for marked point process models Tech Report

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

September 2023
2DeteCTcodes Software

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

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

Scientific Data, 576.1-576.12.

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

September 2023
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)

July 2023
Model-based evolutionary algorithms In Proceedings

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

July 2023
Dr Ambiguity Software

J.J. Vinju (Jurgen)

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

Evolutionary Intelligence

A. Dushatskiy (Arkadiy)

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

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

July 2023
Multi-objective population based training In Proceedings

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

July 2023
Quantitative modeling of streamer discharge branching in air Article

Plasma Sources Science and Technology, 32(8)

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)

August 2023
Quantum algorithm for path-edge sampling In Proceedings

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

July 2023
Shadow estimation of gate-set properties from random sequences Article

Nature Communications, 14(1), 5039.1-5039.11.

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

December 2023
Quantum motif clustering Article

Quantum, 1046.1-1046.51.

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

July 2023
A solution to the multidimensional additive homological equation Article

Izvestiya Mathematics, 87(2), 201-251.

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

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

Journal of Cryptology, 36(4), 36.1-36.45.

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

October 2023
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)

August 2023
Improving data minimization through decentralized data architectures In Proceedings

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

August 2023
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)

August 2023
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)

July 2023
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)

July 2023
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)

July 2023
Message from the Chairs Preface

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

July 2023
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)

July 2023
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)

July 2023
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)

July 2023
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)

July 2023
A simple method for convex optimization in the oracle model Article

Mathematical Programming Series B

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

August 2023
Semidefinite approximations for bicliques and biindependent pairs Tech Report

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

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

Journal of Cryptology, 36(4)

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

August 2023
Gaussian Mixture Identifiability from degree-6 moments Software

F.A. Taveira Blomenhofer (Filipe Alexander)

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

F.A. Taveira Blomenhofer (Filipe Alexander)

May 2023
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)

July 2023
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)

July 2023
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)

June 2023
Convergence of the number of period sets in strings In Proceedings

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

July 2023
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

Renewable and Sustainable Energy Reviews

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. L. Kiesling (Lynne)

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

Proceedings of the VLDB Endowment, 16(9), 2117-2131.

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

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

Proceedings of the VLDB Endowment, 16(9), 2132-2144.

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

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

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

March 2023
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)

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

Frontiers in Astronomy and Space Sciences

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. G. Lapenta, Liu, J., T. Alberti, S. Wing

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

Applied Intelligence

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

July 2023
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)

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

Journal of Software : Practice and Experience

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

July 2023
Suffix-prefix queries on a dictionary In Proceedings

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

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

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

July 2023
Estimating the properties of single positive air streamers from measurable parameters Article

Plasma Sources Science and Technology, 32(7)

D.D. Bouwman (Dennis), H.L. Francisco (Hani) and U. Ebert (Ute)

July 2023
Gaussian mixture identifiability from degree 6 moments Tech Report

F.A. Taveira Blomenhofer (Filipe Alexander)

July 2023
Unique powers-of-forms decompositions from simple Gram spectrahedra Tech Report

F.A. Taveira Blomenhofer (Filipe Alexander)

May 2023
Tail asymptotics for the delay in a Brownian fork-join queue Article

Stochastic Processes and their Applications, 99-138.

D. Schol (Dennis), M. Vlasiou (Maria) and A.P. Zwart (Bert)

October 2023
Chemical activity of low altitude (50 km) sprite streamers Article

Journal of Geophysical Research: Atmospheres, 128(14)

A.F. Malagon (Alejandro), F.J. Pérez-Invernón (Francisco) and F.J. Gordillo-Vazquez (Francisco)

July 2023
Safe sequential testing and effect estimation in stratified count data In Proceedings

R.J. Turner (Rosanne) and P.D. Grünwald (Peter)

April 2023
Copositive matrices, sums of squares and the stability number of a graph Book Chapter

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

October 2023
Matrix factorization ranks via polynomial optimization Tech Report

J.A.J. Steenkamp (Andries)

June 2023
Matrix factorization via polynomial optimization Book Chapter

J.A.J. Steenkamp (Andries)

October 2023
Exploring seismic hazard in the Groningen gas field using adaptive kernel smoothing Article

Mathematical Geosciences

M.N.M. van Lieshout (Marie-Colette) and Z. Baki (Zhuldyzay)

July 2023
Caos: A reusable scala web animator of operational semantics In Proceedings

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

June 2023
Reusable, instant and private payment guarantees for cryptocurrencies In Proceedings

A. Madhusudan (Akash), M. Sedaghat (Mahdi), S.S.K. Tiwari (Samarth), K. Cong (Kelong) and B. Preneel

June 2023
A probabilistic digital twin for leak localization in water distribution networks using generative deep learning Article

Sensors, 23(13)

N.T. Mücke (Nikolaj), P. Pandey (Prerna), S. Jain (Shashi), S.M. Bohte (Sander) and C.W. Oosterlee (Kees)

July 2023
On the representation of the natural numbers by powers of the golden mean Article

Fibonacci Quarterly, 61(2), 105-118.

F.M. Dekking (Michel) and A. van Loon (Ad)

May 2023
From video to hybrid simulator: Exploring affective responses toward non-verbal pedestrian crossing actions using camera and physiological sensors Article

International Journal of Human-Computer Interaction

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

July 2023
Short-term time series forecasting for multi-site municipal solid waste management In Proceedings

E.S. Fokker (Elisabeth), T. H. A. Koch (Thomas) and E.R. Dugundji (Elenna)

March 2023
Hourly forecasting of traffic flow rates using spatial temporal graph neural networks In Proceedings

E.A. Belt (Eline), T. H. A. Koch (Thomas) and E.R. Dugundji (Elenna)

January 2023
Outcome prediction of electroconvulsive therapy for depression Article

Psychiatry Research

Y. van der Does (Yuri), R.J. Turner (Rosanne), M.J.H. Bartels (Miel), K. Hagoort (Karin), A. Metselaar (Aäron), F.E. Scheepers (Floortje), P.D. Grünwald (Peter), M. Somers (Metten) and E. van Dellen (Dellen)

August 2023
Measurement-Driven navigation in Many-Body Hilbert space: Active-Decision steering Article

PRX Quantum, 4(2), 020347-1-020347-21.

Y. Herasymenko (Yaroslav), I. Gornyi (Igor) and Y. Gefen (Yuval)

June 2023
Optimizing low dimensional functions over the integers In Proceedings

D.N. Dadush (Daniel), Léonard, A. (Arthur), L. Rohwedder (Lars) and J. Verschae (José)

May 2023
A nearly optimal randomized algorithm for explorable heap selection In Proceedings

S.J. Borst (Sander), D.N. Dadush (Daniel), S. Huiberts (Sophie) and D. Kashaev (Danish)

May 2023
Search algorithms for automated negotiation in large domains Article

Annals of Mathematics and Artificial Intelligence

T. Koca (Thimjo), D. de Jonge (Dave) and T. Baarslag (Tim)

July 2023
Mechanisms of human dynamic object recognition revealed by sequential deep neural networks Article

PLoS Computational Biology, 19(6)

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

June 2023
Gibbs manifolds Article

Information Geometry

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

July 2023
From approximate to exact integer programming In Proceedings

D.N. Dadush (Daniel), F. Eisenbrand and T. Rothvoss (Thomas)

May 2023
Extending 3-DoF metrics to model user behaviour similarity in 6-DoF immersive applications In Proceedings

S. Rossi (Silvia), I. Viola (Irene), L. Toni (Laura) and P.S. César Garcia (Pablo Santiago)

June 2023
Secure remote attestation with strong key insulation guarantees Article

IEEE Transactions on Computers, 1-12.

D. Gurevin (Deniz), C. Jin (Chenglu), P.H. Nguyen (Phuong Ha), O. Khan (Omer) and M.E. van Dijk (Marten)

June 2023
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks Article

Mathematical Programming

M. Korda (Korda), M. Laurent (Monique), V. Magron (Victor) and J.A.J. Steenkamp (Andries)

July 2023
Are we there yet? Advances in anytime-valid methods for hypothesis testing and prediction Dissertation

Machine Learning

M.F. Pérez Ortiz (Muriel)

July 2023
OFraMP: a fragment-based tool to facilitate the parametrization of large molecules Article

Journal of Computer-Aided Molecular Design, 357-371.

M. Stroet (Martin), B. Caron (Bertrand), M.S. Engler (Martin), J.M. van der Woning (Jimi), A. Kauffmann (Aude), van Dijk, M. (Marc), M. El-Kebir (Mohammed), K.M. Visscher (Koen), J. Holownia (Josef), C. Macfarlane (Callum), et al. G.W. Klau (Gunnar)

June 2023
Randomized versus deterministic decision tree size In Proceedings

A. Chattopadhyay (Arkadev), Y. Dahiya (Yogeshi), N.S. Mande (Nikhil), J. Radhakrishnan (Jaikumar) and S. Sanyal (Swagato)

June 2023
A recursive theta body for hypergraphs Article

Combinatorica

D. Castro-Silva (Davi), F.M. de Oliveira Filho (Fernando Mario), L.F.H. Slot (Lucas) and F. Vallentin (Frank)

June 2023
Smoothing codes and lattices: Systematic study and new bounds Article

IEEE Transactions on Information Theory

T. Debris-Alazard (Thomas), L. Ducas (Léo), N.A. Resch (Nicolas) and J.-P. Tillich (Jean-Pierre)

May 2023
Anytime-Valid tests of conditional independence under model-X Article

Journal of the American Statistical Association

P.D. Grünwald (Peter), A. Henzi (Alexander) and T.D. Lardy (Tyron)

June 2023
Multidimensional quantum walks In Proceedings

S. Jeffery (Stacey) and S.A. Zur (Sebastian)

June 2023
Responsive FLEXibility: A smart local energy system Article

Renewable and Sustainable Energy Reviews

B. Couraud (Benoit), M. Andoni (Merlinda), V. Robu (Valentin), S. Norbu (Sonam), S. Chen (Si) and D. Flynn (David)

August 2023
Evidential calibration of confidence intervals Article

American Statistician, 1-11.

S. Pawel (Samuel), A. Ly (Alexander) and E.-J. Wagenmakers (Eric-Jan)

June 2023
Improving the effectiveness and efficiency of web-based search tasks for policy workers Article

Information, 14(7)

T. Schoegje (Thomas), A.P. de Vries (Arjen), L. Hardman (Lynda) and T. Pieters (Toine)

June 2023
On the Tightness of the Moment Accountant for DP-SGD Tech Report

M.E. van Dijk (Marten), N. V. Nguyen (Nhuong), T. N. Nguyen (Toan), L. M. Nguyen (Lam) and P.H. Nguyen (Phuong Ha)

May 2023
usethesource/salix-core: v0.1.0-RC2 Software

T. van der Storm (Tijs)

June 2023
usethesource/salix-contrib: v0.1.0-RC2 Software

T. van der Storm (Tijs)

June 2023
cwi-swat/rascal-git: v0.1.10 Software

M.A. Hills (Mark) and J.J. Vinju (Jurgen)

June 2023
An alternative simulation approach for surface flashover in a vacuum using a 1D2V continuum and kinetic model Article

Journal of Physics D: Applied Physics, 56(36)

G. Sun (Guangyu), R.-H. Lian (Ru-Hui), S. Zhang (Shu), X. Yang (Xiong), M.F. Abbas (Muhammad Farasat), C. Wang (Chao), B. Guo (Baohong), B.-P. Song (Bai-Peng) and G.J. Zhang (Guanjun)

June 2023
Avoiding hospital admissions and delayed transfers of care by improved access to intermediate care: A simulation study Article

Journal of the American Medical Directors Association, 24(7), 945-950.e4.

R. Arntzen (Rebekka), J.H. van den Besselaar (Judith), R. Bekker (Rene), B.M. Buurman (Bianca) and R.D. van der Mei (Rob)

July 2023
Simultaneous single-qubit driving of semiconductor spin qubits at the fault-tolerant threshold Article

Nature Communications

W.I.L. Lawrie, M. Rimbach-Russ, F. van Riggelen, N.W. Hendrickx, S.L. de Snoo, A. Sammak, G. Scappucci, J. Helsen (Jonas) and Veldhorst, M. (M.)

June 2023
Geometrical sets with forbidden configurations Article

Forum of Mathematics, Sigma, 11(e44), 1-45.

D. Castro-Silva (Davi)

June 2023

Next

Available Years