Publications from 2023
-
On Homomorphic Secret Sharing from polynomial-modulus LWE In Proceedings
May 2023 -
A fast wavefield reconstruction inversion solution in the frequency domain Article
Geophysics, 88(3), R257-R267.April 2023 -
Beam filtration for object-tailored X-ray CT of multi-material 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), 9725-9734.May 2023 -
Bi-objective optimization of organ properties for the simulation of intracavitary brachytherapy applicator placement in cervical cancer In Proceedings
April 2023 -
May 2023
-
June 2023
-
A data-driven approach to solving a 1D inverse scattering problem Article
AIP Advances, 065310.1-065310.9.June 2023 -
Modelling novelty detection in the thalamocortical loop Article
PLoS Computational Biology, 19(5), e1009616.1-e1009616.35.May 2023 -
A note on Marchenko-linearised full waveform inversion for imaging Article
Geophysical Journal International, 234(1), 228-242.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 Software|Data
March 2023 -
Comparison of neural closure models for discretised PDEs Article
Computers & Mathematics with Applications, 94-107.August 2023 -
Integrating ADTs in KeY and their application to history-based 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 -
byin-cwi/sFPTT: Training SNN via FPTT Software|Data
January 2023 -
The optimal input-independent 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 scaling-invariant 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.1-6531.13.April 2023 -
VR2Gather: A collaborative social VR system for adaptive multi-party real-time communication Article
IEEE MultiMedia, 1-13.April 2023 -
Group synchrony for emotion recognition using physiological signals Article
IEEE Transactions on Affective Computing, 1-12.January 2023 -
Adjoint operators enable fast and amortized machine learning based Bayesian uncertainty quantification In Proceedings
April 2023 -
Two-block substitutions and morphic words Article
Advances in Applied Mathematics, 102536.1-102536.8.July 2023 -
Emerging business models in local energy markets: A systematic review of peer-to-peer, community self-consumption, and transactive energy models Article
Renewable and Sustainable Energy ReviewsJune 2023 -
Generalizing DP-SGD with shuffling and batch clipping Article
CoRR absMarch 2023 -
March 2023
-
mzeegers/ADJUST: ADJUST v1.0.2 Software|Data
April 2023 -
TREVERSE: TRial-and-Error lightweight secure reVERSE authentication with simulatable PUFs Article
IEEE Transactions on Dependable and Secure Computing, 19(1), 419-437.February 2023 -
March 2023
-
Exact anytime-valid 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 -
Multi-objective learning using HV maximization In Proceedings
March 2023 -
Simple and rigorous proof method for the security of practical Quantum Key Distribution in the Single-Qubit regime using mismatched basis measurements Article
Quantum Reports, 5(1), 52-77.January 2023 -
The e-posterior 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 bottom-up with top-down 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 -
Nanopublication-based semantic publishing and reviewing: A field study with formalization papers Article
PeerJ Computer Science, e1159.1-e1159.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 ultra-high 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.1-014007.27.February 2023 -
Real-time 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), 187-189.March 2023 -
Pushdown automata and context-free grammars in bisimulation semantics Article
Logical Methods in Computer Science, 19(1), 15:1-15:32.March 2023 -
February 2023
-
Predicting the prevalence of complex genetic diseases from individual genotype profiles using capsule networks Article
Nature Machine Intelligence, 114-125.February 2023 -
January 2023
-
A computational study on the energy efficiency of species production by single-pulse streamers in air Article
Plasma Sources Science and Technology, 32(2)February 2023 -
Jaccard Median for ego-network segmentation In Proceedings
February 2023 -
Lattice cryptography, from cryptanalysis to new foundations Dissertation
CryptologyFebruary 2023 -
The Berkelmans-Pries 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), 138-142.January 2023 -
Bidirectional String Anchors for Improved Text Indexing and Top-Ƙ Similarity Search Article
IEEE Transactions on Knowledge and Data EngineeringJanuary 2023 -
CT-based data generation for foreign object detection on a single X-ray projection Article
Nature Scientific Reports, 13(1)February 2023 -
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
BrachytherapyJanuary 2023 -
On the deep active-subspace method Article
SIAM/ASA Jounal on Uncertainty Quantification, 11(1), 62-90.February 2023 -
On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Article
RNA Biology, 20(1), 48-58.February 2023 -
Quantum multivariate estimation and span program algorithms Dissertation
Algorithms and ComplexityFebruary 2023 -
Optimal mixing evolutionary algorithms for large-scale real-valued optimization Dissertation
Evolutionary IntelligenceFebruary 2023