Publications from 2023

On Homomorphic Secret Sharing from polynomialmodulus LWE In Proceedings
May 2023 
A fast wavefield reconstruction inversion solution in the frequency domain Article
Geophysics, 88(3), R257R267.April 2023 
Beam filtration for objecttailored Xray CT of multimaterial cultural heritage objects Article
Heritage ScienceJune 2023 
Multiparty session typing in Java, deductively In Proceedings
April 2023 
March 2023

Hull attacks on the lattice isomorphism problem In Proceedings
May 2023 
Oblivious Transfer with constant computational overhead In Proceedings
April 2023 
Fundamentals of data science : a new outlook Dissertation
StochasticsJune 2023 
Streamer discharges : steady propagation and interaction with trace gases Dissertation
Multiscale DynamicsJune 2023 
Quantitative 3D investigation of nanoparticle assemblies by volumetric segmentation of electron tomography data sets Article
Journal of Physical Chemistry C, 127(20), 97259734.May 2023 
Biobjective optimization of organ properties for the simulation of intracavitary brachytherapy applicator placement in cervical cancer In Proceedings
April 2023 
May 2023

June 2023

A datadriven approach to solving a 1D inverse scattering problem Article
AIP Advances, 065310.1065310.9.June 2023 
Modelling novelty detection in the thalamocortical loop Article
PLoS Computational Biology, 19(5), e1009616.1e1009616.35.May 2023 
A note on Marchenkolinearised full waveform inversion for imaging Article
Geophysical Journal International, 234(1), 228242.July 2023 
Forecasting call and chat volumes at online helplines for mental health Article
BMC Public Health, 23(1)May 2023 
Bayesian network analysis of antidepressant treatment trajectories Article
Nature Scientific Reports, 13(1)May 2023 
Spectral imaging and tomographic reconstruction methods for industrial applications Dissertation
Computational ImagingMay 2023 
March 2023

Mitigating the limited view problem in photoacoustic tomography for a planar detection geometry by regularised iterative reconstruction Article
IEEE Transactions on Medical ImagingJanuary 2023 
Convolutions, transformers, and their ensembles for the segmentation of organs at risk in radiation treatment of cervical cancer In Proceedings
April 2023 
The one hundred year web In Proceedings
April 2023 
A Knowledge Graph of contentious terminology for inclusive representation of cultural heritage SoftwareData
March 2023 
Comparison of neural closure models for discretised PDEs Article
Computers & Mathematics with Applications, 94107.August 2023 
Integrating ADTs in KeY and their application to historybased reasoning about collection Article
Formal Methods in System DesignMay 2023 
A Knowledge Graph of contentious terminology for inclusive representation of cultural heritage In Proceedings
May 2023 
byincwi/sFPTT: Training SNN via FPTT SoftwareData
January 2023 
The optimal inputindependent baseline for binary classification: The Dutch Draw Article
Statistica NeerlandicaApril 2023 
April 2023

An interpretable method for automated classification of spoken transcripts and written text Article
Evolutionary IntelligenceMay 2023 
GOMEA Software
January 2023 
Accurate online training of dynamical spiking neural networks through Forward Propagation Through Time Article
Nature Machine IntelligenceMay 2023 
Compressed Σprotocol theory Dissertation
CryptologyJune 2023 
Choreographic programming of isolated transactions In Proceedings
April 2023 
Using metadata to understand search behavior in digital libraries Dissertation
CWI managementMay 2023 
A scalinginvariant algorithm for linear programming whose running time depends only on the constraint matrix Article
Mathematical ProgrammingApril 2023 
Discovery of novel CSF biomarkers to predict progression in dementia using machine learning Article
Nature Scientific Reports, 13(1), 6531.16531.13.April 2023 
VR2Gather: A collaborative social VR system for adaptive multiparty realtime communication Article
IEEE MultiMedia, 113.April 2023 
Group synchrony for emotion recognition using physiological signals Article
IEEE Transactions on Affective Computing, 112.January 2023 
Adjoint operators enable fast and amortized machine learning based Bayesian uncertainty quantification In Proceedings
April 2023 
Twoblock substitutions and morphic words Article
Advances in Applied Mathematics, 102536.1102536.8.July 2023 
Emerging business models in local energy markets: A systematic review of peertopeer, community selfconsumption, and transactive energy models Article
Renewable and Sustainable Energy ReviewsJune 2023 
Generalizing DPSGD with shuffling and batch clipping Article
CoRR absMarch 2023 
March 2023

mzeegers/ADJUST: ADJUST v1.0.2 SoftwareData
April 2023 
TREVERSE: TRialandError lightweight secure reVERSE authentication with simulatable PUFs Article
IEEE Transactions on Dependable and Secure Computing, 19(1), 419437.February 2023 
March 2023

Exact anytimevalid confidence intervals for contingency tables and beyond Article
Statistics and Probability LettersJuly 2023 
March 2023

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

March 2023

March 2023

Finding the cyclic covers of a string In Proceedings
March 2023 
The 13th international Automated Negotiating Agent Competition challenges and results In Proceedings
March 2023 
Multiobjective learning using HV maximization In Proceedings
March 2023 
Simple and rigorous proof method for the security of practical Quantum Key Distribution in the SingleQubit regime using mismatched basis measurements Article
Quantum Reports, 5(1), 5277.January 2023 
The eposterior Article
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences, 381(2247)May 2023 
Eelco Visser as a typographic designer In Proceedings
March 2023 
Comparing bottomup with topdown parsing architectures for the syntax definition formalism from a disambiguation standpoint In Proceedings
March 2023 
Eelco Visser and IFIP WG 2.16 In Proceedings
March 2023 
Semantics engineering with concrete syntax In Proceedings
March 2023 
Computation of the confluent hypergeometric function U(a,b,x) and its derivative for positive arguments Article
Numerical AlgorithmsMarch 2023 
Nanopublicationbased semantic publishing and reviewing: A field study with formalization papers Article
PeerJ Computer Science, e1159.1e1159.30.February 2023 
Towards a unified language for card game design In Proceedings
April 2023 
ScriptButler serves an empirical study of PuzzleScript : Analyzing the expressive power of a game DSL through source code analysis In Proceedings
April 2023 
Identifying populations at ultrahigh risk of suicide using a novel machine learning method Article
Comprehensive PsychiatryMay 2023 
Comparison of stability regions for a line distribution network with stochastic load demands Article
Queueing SystemsMarch 2023 
January 2023

January 2023

Palidis: Fast discovery of novel insertion sequences Article
Microbial genomics, 9(3)March 2023 
Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article
Energies, 16(5)March 2023 
A computational model for assessing experts’ trustworthiness Article
Journal of Experimental & Theoretical Artificial IntelligenceMarch 2023 
Automatic landmark correspondence detection in medical images with an application to deformable image registration Article
Journal of Medical Imaging, 10(1), 014007.1014007.27.February 2023 
Realtime tilt undersampling optimization during electron tomography of beam sensitive samples using golden ratio scanning and RECAST3D Article
NanoscaleFebruary 2023 
Twisted cohomology and likelihood ideals Tech Report
January 2023 
Likelihood degenerations Article
Advances in MathematicsFebruary 2023 
February 2023

The Thue–Morse sequence in Base 3/2 Article
Journal of Integer Sequences, 26(2)February 2023 
Structural risk minimization for quantum linear classifiers Article
QuantumJanuary 2023 
On the complexity of scheduling unrelated parallel machines with limited preemptions Article
Operations Research Letters, 51(2), 187189.March 2023 
Pushdown automata and contextfree grammars in bisimulation semantics Article
Logical Methods in Computer Science, 19(1), 15:115:32.March 2023 
February 2023

Predicting the prevalence of complex genetic diseases from individual genotype profiles using capsule networks Article
Nature Machine Intelligence, 114125.February 2023 
January 2023

A computational study on the energy efficiency of species production by singlepulse streamers in air Article
Plasma Sources Science and Technology, 32(2)February 2023 
Jaccard Median for egonetwork segmentation In Proceedings
February 2023 
Lattice cryptography, from cryptanalysis to new foundations Dissertation
CryptologyFebruary 2023 
The BerkelmansPries Feature Importance Method: a generic measure of informativeness of features Tech Report
January 2023 
Lifting to parity decision trees via Stifling In Proceedings
February 2023 
Geometric multigrid method for solving Poisson's equation on octree grids with irregular boundaries Article
Computer Physics CommunicationsJanuary 2023 
Digital humanism: The time is now Article
Computer, 56(1), 138142.January 2023 
Bidirectional String Anchors for Improved Text Indexing and TopƘ Similarity Search Article
IEEE Transactions on Knowledge and Data EngineeringJanuary 2023 
CTbased data generation for foreign object detection on a single Xray projection Article
Nature Scientific Reports, 13(1)February 2023 
Towards artificial intelligencebased automated treatment planning in clinical practice: A prospective study of the first clinical experiences in highdoserate prostate brachytherapy Article
BrachytherapyJanuary 2023 
On the deep activesubspace method Article
SIAM/ASA Jounal on Uncertainty Quantification, 11(1), 6290.February 2023 
On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Article
RNA Biology, 20(1), 4858.February 2023 
Quantum multivariate estimation and span program algorithms Dissertation
Algorithms and ComplexityFebruary 2023 
Optimal mixing evolutionary algorithms for largescale realvalued optimization Dissertation
Evolutionary IntelligenceFebruary 2023