Publications from 2023

On Homomorphic Secret Sharing from polynomial-modulus LWE In Proceedings

T. Attema (Thomas), P Capitao (Pedro) and L.M. Kohl (Lisa)

A fast wavefield reconstruction inversion solution in the frequency domain Article

Y. Lin (Yuzhao), T. van Leeuwen (Tristan), H. Liu (Huaishan) and L. Xing (Lei)

Beam filtration for object-tailored X-ray CT of multi-material cultural heritage objects Article

M.B. Kiss (Maximilian), F.G. Bossema (Francien), P.J.C. van Laar (Paul), S. Meijer (Suzan), F. Lucka (Felix), T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)

Multiparty session typing in Java, deductively In Proceedings

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

Banking on Domain Knowledge for Faster Transactions Blogpost

T.M. Soethout (Tim)

Hull attacks on the lattice isomorphism problem In Proceedings

L. Ducas (Léo) and S. Gibbons (Shane)

Oblivious Transfer with constant computational overhead In Proceedings

E. Boyle (Elette), G. Couteau (Geoffroy), N. Gilboa (Niv), Y. Ishai (Yuval), L.M. Kohl (Lisa), N.A. Resch (Nicolas) and P. Scholl (Peter)

Fundamentals of data science : a new outlook Dissertation

J. Pries (Joris)

Streamer discharges : steady propagation and interaction with trace gases Dissertation

H.L. Francisco (Hani)

Quantitative 3D investigation of nanoparticle assemblies by volumetric segmentation of electron tomography data sets Article

S. Kavak (Safiyye), A.A. Kadu (Ajinkya), N. Claes (Nathalie), Sánchez-Iglesias, A. (Ana), L.M. Liz-Marzán, K.J. Batenburg (Joost) and S. Bals (Sara)

Bi-objective optimization of organ properties for the simulation of intracavitary brachytherapy applicator placement in cervical cancer In Proceedings

C.J. Rodriguez (Cedric), S.M. de Boer (Stephanie), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

The Jeffreys–Lindley paradox: an exchange Review

Gray, J. (Jeremy), J.L. Cherry (Joshua), E.-J. Wagenmakers (Eric-Jan) and A. Ly (Alexander)

An algebra for interaction of cyber-physical components Dissertation

B. Lion (Benjamin)

A data-driven approach to solving a 1D inverse scattering problem Article

T. van Leeuwen (Tristan) and A. Tataris (Andreas)

Modelling novelty detection in the thalamocortical loop Article

C. Han (Chao), G. English (Gwendolyn), H.P. Saal (Hannes), G. Indiveri (Giacomo), A. Gilra (Aditya), W. von der Behrens (Wolfger) and E. Vasilaki (Eleni)

A note on Marchenko-linearised full waveform inversion for imaging Article

L. Diekmann (Leon), I. Vasconcelos (Ivan) and T. van Leeuwen (Tristan)

Forecasting call and chat volumes at online helplines for mental health Article

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

Bayesian network analysis of antidepressant treatment trajectories Article

R.J. Turner (Rosanne), K. Hagoort (Karin), R.J. Meijer (Rosa), F. Coenen (Femke) and F.E. Scheepers (Floortje)

Spectral imaging and tomographic reconstruction methods for industrial applications Dissertation

M.T. Zeegers (Mathé)

Additive combinatorics Additive combinatorics is a relatively new area of mathematics that brings together areas such as combinatorial and analytic number theory, Ramsey theory, harmonic analysis, graph theory, extremal combinatorics, algebraic methods, ergodic theory and probability theory. Other

Mitigating the limited view problem in photoacoustic tomography for a planar detection geometry by regularised iterative reconstruction Article

J. Zhu (Jiaqi), N. Huynh (Nam), O. Ogunlade (Olumide), R. Ansari (Rehman), F. Lucka (Felix), B.T. Cox (Ben) and P. Beard (Paul)

Convolutions, transformers, and their ensembles for the segmentation of organs at risk in radiation treatment of cervical cancer In Proceedings

V. Kostoulas (Vangelis), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

The one hundred year web In Proceedings

S. Pemberton (Steven)

A Knowledge Graph of contentious terminology for inclusive representation of cultural heritage Software|Data

A. Nesterov (Andrei) and J.R. van Ossenbruggen (Jacco)

Comparison of neural closure models for discretised PDEs Article

H.A. Melchers (Hugo), D.T. Crommelin (Daan), B. Koren (Barry), V. Menkovski (Vlado) and B. Sanderse (Benjamin)

Integrating ADTs in KeY and their application to history-based reasoning about collection Article

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

A Knowledge Graph of contentious terminology for inclusive representation of cultural heritage In Proceedings

A. Nesterov (Andrei), L. Hollink (Laura), M. van Erp (Marieke) and J.R. van Ossenbruggen (Jacco)

byin-cwi/sFPTT: Training SNN via FPTT Software|Data

B. Yin (Bojian)

The optimal input-independent baseline for binary classification: The Dutch Draw Article

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

Reflecting on hybrid events: Learning from a year of hybrid experiences In Proceedings

A.A. Ansah (Alberta), A.S. Vivacqua (Adriana), S. Zhong (Sailin), S.C.J. Boll (Susanne), M. Constantinides (Marios), H. Verma (Himanshu), A. El Ali (Abdallah), A. Lushnikova (Alina), H.S. Alavi (Hamed), S. Rintel (Sean), et al. A.L. Kun (Andrew), O. Shaer (Orit), A.L. Cox (Anna), K. Gerling (Kathrin), M. Muller (Michael), V. Rusnak (Vit), L.S. Machado (Leticia Santos) and T. Kosch (Thomas)

An interpretable method for automated classification of spoken transcripts and written text Article

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

GOMEA Software

P.A. Bouter (Anton)

Accurate online training of dynamical spiking neural networks through Forward Propagation Through Time Article

B. Yin (Bojian), F. Corradi (Federico) and S.M. Bohte (Sander)

Compressed Σ-protocol theory Dissertation

T. Attema (Thomas)

Choreographic programming of isolated transactions In Proceedings

T. Smeele (Ton) and S.-S.T.Q. Jongmans (Sung)

Using metadata to understand search behavior in digital libraries Dissertation

T. Bogaard (Tessel)

A scaling-invariant algorithm for linear programming whose running time depends only on the constraint matrix Article

D.N. Dadush (Daniel), S. Huiberts (Sophie), B. Natura (Bento) and L.A. Végh (László)

Discovery of novel CSF biomarkers to predict progression in dementia using machine learning Article

D. Gogishvili (Dea), E.M. Vromen (Eleonora), S. Koppes-den Hertog (Sascha), A.W. Lemstra (Afina), Y.A.L. Pijnenburg (Yolande), P.J. Visser (Pieter Jelle), B.M. Tijms (Betty), M. Del Campo (Marta), S. Abeln (Sanne), C.E. Teunissen (Charlotte), et al. L. Vermunt (Lisa)

VR2Gather: A collaborative social VR system for adaptive multi-party real-time communication Article

I. Viola (Irene), A.J. Jansen (Jack), S. Subramanyam (Shishir), I. Reimat (Ignacio) and P.S. César Garcia (Pablo Santiago)

Group synchrony for emotion recognition using physiological signals Article

P. Bota (Patricia), T. Zhang (Tianyi), A. El Ali (Abdallah), A. Fred (Ana), H.P.D. Silva (Hugo) and P.S. César Garcia (Pablo Santiago)

Adjoint operators enable fast and amortized machine learning based Bayesian uncertainty quantification In Proceedings

R. Orozco (Rafael), A. Siahkoohi (Ali), G. Rizzuti (Gabrio), T. van Leeuwen (Tristan) and F.J. Herrmann (Felix)

Two-block substitutions and morphic words Article

F.M. Dekking (Michel) and M. Keane (Michael)

Emerging business models in local energy markets: A systematic review of peer-to-peer, community self-consumption, and transactive energy models 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)

Generalizing DP-SGD with shuffling and batch clipping Article

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

Quantitative modeling of streamer discharge branching in air Software|Data

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)

mzeegers/ADJUST: ADJUST v1.0.2 Software|Data

A.A. Kadu (Ajinkya) and M.T. Zeegers (Mathé)

TREVERSE: TRial-and-Error lightweight secure reVERSE authentication with simulatable PUFs Article

Y. Gao (Yansong), M.E. van Dijk (Marten), L. Xu (Lei), W. Yang (Wei), S. Nepal (Surya) and D.C. Ranasinghe (Damith)

Considerations on the theory of training models with differential privacy Article

M.E. van Dijk (Marten) and P.H. Nguyen (Phuong Ha)

Exact anytime-valid confidence intervals for contingency tables and beyond Article

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

Modeling and demonstrating the effect of human decisions on the distribution grid In Proceedings

S.C. Doumen (Sjoerd), J. Hönen (Jens), P. Nguyen (Phuong), J.L. Hurink (Johann), A.P. Zwart (Bert) and K. Kok (Koen)

The FastLanes Compression Layout: Decoding >100 billion integers per second with scalar code Tech Report

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

VeyMont: Parallelising verified programs instead of verifying parallel programs In Proceedings

P. van den Bos (Petra) and S.-S.T.Q. Jongmans (Sung)

Het PQC-migratie handboek : Richtlijnen voor het migreren naar post-quantumcryptografie Report

The PQC migration handbook : Guidelines for migrating to post-quantum cryptography Report

Finding the cyclic covers of a string In Proceedings

R. Grossi (Roberto), C.S. Iliopoulos (Costas), J. Jansson (Jesper), Z. Lim (Zara), W.-K. Sung (Wing-Kin) and W.P. Zuba (Wiktor)

The 13th international Automated Negotiating Agent Competition challenges and results In Proceedings

R. Aydoğan (Reyhan), T. Baarslag (Tim), Fujita (Katsuhide), H.H. Hoos (Holger), C.M. Jonker (Catholijn), Y. Mohammad (Yasser) and B.M. Renting (Bram)

Multi-objective learning using HV maximization In Proceedings

T.M. Deist (Timo), M. Grewal (Monika), F.J.W.M. Dankers (Frank), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

Simple and rigorous proof method for the security of practical Quantum Key Distribution in the Single-Qubit regime using mismatched basis measurements Article

M. Boyer (Michel), Brassard, G. (Gilles), N. Godbout (Nicolas), R. Liss (Rotem) and S. Virally (Stéphane)

The e-posterior Article

P.D. Grünwald (Peter)

Eelco Visser as a typographic designer In Proceedings

P. Klint (Paul)

Comparing bottom-up with top-down parsing architectures for the syntax definition formalism from a disambiguation standpoint In Proceedings

J.J. Vinju (Jurgen)

Eelco Visser and IFIP WG 2.16 In Proceedings

T. van der Storm (Tijs)

Semantics engineering with concrete syntax In Proceedings

T. van der Storm (Tijs)

Computation of the confluent hypergeometric function U(a,b,x) and its derivative for positive arguments Article

A. Gil (Amparo), D. Ruiz-Antolin (Diego), J. Segura (Javier) and N.M. Temme (Nico)

Nanopublication-based semantic publishing and reviewing: A field study with formalization papers Article

C.I. Bucur (Cristina-Iulia), T. Kuhn (Tobias), D. Ceolin (Davide) and J.R. van Ossenbruggen (Jacco)

Towards a unified language for card game design In Proceedings

R.A. van Rozen (Riemer), A. Bouwer (Anders) and K. Millenaar (Karel)

ScriptButler serves an empirical study of PuzzleScript : Analyzing the expressive power of a game DSL through source code analysis In Proceedings

C. Julia (Clement) and R.A. van Rozen (Riemer)

Identifying populations at ultra-high risk of suicide using a novel machine learning method Article

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

Comparison of stability regions for a line distribution network with stochastic load demands Article

M.H.M. Christianen, J. Cruise (James), A.J.E.M. Janssen, V. Shneer (Seva), M. Vlasiou (Maria) and A.P. Zwart (Bert)

Chapter 4: Math in the City: Designing a Math Trail for High School Students Book Chapter

F.G. Bossema (Francien), C. Zwetsloot (Charlotte) and I. Smeets (Ionica)

9 × 4 = 6 × 6: Understanding the quantum solution to Euler's problem of 36 officers In Proceedings

K. Zyczkowski, W. Bruzda (Wojciech), G. Rajchel-Mieldzioć (Grzegorz), A. Burchardt (Adam), S.A. Rather (Suhail Ahmad) and A. Lakshminarayan (Arul)

Palidis: Fast discovery of novel insertion sequences Article

V.R. Carr (Victoria), S. Pissis (Solon), P. Mullany (Peter), S. Shoaie (Saeed), D. Gomez-Cabrero (David) and D.L. Moyes (David)

Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article

P. de Bekker (Philippe), S.A. Cremers (Sho), S. Norbu (Sonam), D. Flynn (David) and V. Robu (Valentin)

A computational model for assessing experts’ trustworthiness Article

G. Primiero (Giuseppe), D. Ceolin (Davide) and F. Doneda (Francesca)

Automatic landmark correspondence detection in medical images with an application to deformable image registration Article

M. Grewal (Monika), J. Wiersma (Jan), H. Westerveld (Henrike), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

Real-time tilt undersampling optimization during electron tomography of beam sensitive samples using golden ratio scanning and RECAST3D Article

T.M. Craig (Timothy), A.A. Kadu (Ajinkya), K.J. Batenburg (Joost) and S. Bals (Sara)

Twisted cohomology and likelihood ideals Tech Report

S. Matsubara-Heo (Saiei-Jaeyeong) and S.J.L. Telen (Simon Jo L)

Likelihood degenerations Article

D. Agostini (Daniele), T. Brysiewicz (Taylor), C. Fevola (Claudia), L. Kühne (Lukas), B. Sturmfels, S.J.L. Telen (Simon Jo L) and T. Lam (Thomas)

CWI’er Van Dijk geëerd om encryptie-onderzoek - Computable - 20-02-2023 Magazine Article

The Thue–Morse sequence in Base 3/2 Article

F.M. Dekking (Michel)

Structural risk minimization for quantum linear classifiers Article

C. Gyurik (Casper), D. van Vreumingen (Dyon) and V. Dunjko (Vedran)

On the complexity of scheduling unrelated parallel machines with limited preemptions Article

J.K. Lenstra (Jan Karel) and N. Vakhania (Nodari)

Pushdown automata and context-free grammars in bisimulation semantics Article

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

Belasting en korting in de trant van Rawls Report

J.M. Anthonisse

Predicting the prevalence of complex genetic diseases from individual genotype profiles using capsule networks Article

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

Going green: Optimizing GPUs for energy efficiency through model-steered auto-tuning In Proceedings

R.A. Schoonhoven (Richard), A.J.P. Veenboer (Bram), B.J.C. van Werkhoven (Ben) and K.J. Batenburg (Joost)

A computational study on the energy efficiency of species production by single-pulse streamers in air Article

B. Guo (Baohong) and H.J. Teunissen (Jannis)

Jaccard Median for ego-network segmentation In Proceedings

H. Zhong (Haodi), G. Loukides (Grigorios), A. Conte (Alessio) and S. Pissis (Solon)

Lattice cryptography, from cryptanalysis to new foundations Dissertation

W.P.J. van Woerden (Wessel)

The Berkelmans-Pries Feature Importance Method: a generic measure of informativeness of features Tech Report

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

Lifting to parity decision trees via Stifling In Proceedings

A. Chattopadhyay (Arkadev), N.S. Mande (Nikhil), S. Sanyal (Swagato) and S. Sherif (Suhail)

Geometric multigrid method for solving Poisson's equation on octree grids with irregular boundaries Article

H.J. Teunissen (Jannis) and F. Schiavello (Francesca)

Digital humanism: The time is now Article

H. Werthner (Hannes), A. Stanger (Allison), V. Schiaffonati (Viola), P. Knees (Peter), L. Hardman (Lynda) and C. Ghezzi (Carlo)

Bidirectional String Anchors for Improved Text Indexing and Top-Ƙ Similarity Search Article

G. Loukides (Grigorios), S. Pissis (Solon) and M.J.M. Sweering (Michelle)

CT-based data generation for foreign object detection on a single X-ray projection Article

V. Andriiashen (Vladyslav), R. van Liere (Robert), T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)

Towards artificial intelligence-based automated treatment planning in clinical practice: A prospective study of the first clinical experiences in high-dose-rate prostate brachytherapy Article

D.L.J. Barten (Danique), B.R. Pieters (Bradley), P.A. Bouter (Anton), M.C. van der Meer (Marjolein), S.C. Maree (Stef), K.A. Hinnen (Karel), H. Westerveld (Henrike), P.A.N. Bosman (Peter), T. Alderliesten (Tanja), N. van Wieringen (Niek), et al. A. Bel (Arjan)

On the deep active-subspace method Article

W.N. Edeling (Wouter)

On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Article

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)

Quantum multivariate estimation and span program algorithms Dissertation

A.J. Cornelissen (Arjan)

Optimal mixing evolutionary algorithms for large-scale real-valued optimization Dissertation

P.A. Bouter (Anton)