Publications from 2022
-
Reasoning About Invariant Properties of Object-oriented Programs-dynamic frames: Proof files Software
February 2022 -
May 2022
-
ST4MP Software|Data
January 2022 -
CamDavidsonPilon / lifelines Software|Data
January 2022 -
DALES - Dutch Atmospheric Large Eddy Simulation Software|Data
January 2022 -
October 2022
-
Log-optimal anytime-valid E-values Article
International Journal of Approximate Reasoning, 69-82.February 2022 -
Testing exchangeability: Fork-convexity, supermartingales and e-processes Article
International Journal of Approximate Reasoning, 83-109.February 2022 -
April 2022
-
Real-time classification of LIDAR data using discrete-time Recurrent Spiking Neural Networks Software|Data
January 2022 -
July 2022
-
March 2022
-
January 2022
-
assessments-ontology Software|Data
January 2022 -
FAReviews Software|Data
January 2022 -
CPM2022 Software
June 2022 -
January 2022
-
CGP-GOMEA Software|Data
January 2022 -
ENCAS Software|Data
January 2022 -
HybridML Software|Data
August 2022 -
Source data used in the manuscript "VeChat: Correcting errors in noisy long reads using variation graphs" Software|Data
September 2022 -
Solving multi-structured problems by introducing linkage kernels into GOMEA - Source Code Software|Data
January 2022 -
BDGL overhead Software
January 2022 -
MITM-MILP Software
January 2022 -
November 2022
-
December 2022
-
November 2022
-
November 2022
-
February 2022
-
November 2022
-
cwi-swat/rebel-runtime-lib: Zenodo release Software|Data
March 2022 -
Toric eigenvalue methods for solving sparse polynomial systems Article
Mathematical Computation, 2397-2429.June 2022 -
Landau discriminants Article
Journal of High Energy PhysicsAugust 2022 -
Landau discriminants Tech Report
July 2022 -
March 2022
-
The algebraic degree of coupled oscillators Tech Report
August 2022 -
Vector spaces of generalized Euler integrals Tech Report
August 2022 -
Solving polynomial equations and applications Tech Report
October 2022 -
Gibbs manifolds Tech Report
November 2022 -
August 2022
-
March 2022
-
Singular value decomposition for time series analysis with applications to smart energy systems Dissertation
Intelligent and autonomous systemsDecember 2022 -
August 2022
-
Towards gradual multiparty session typing In Proceedings
September 2022 -
Performance modeling for call centers providing online mental health support Article
International Journal on Advances in Life Sciences, 120-129.January 2022 -
Detecting novel application layer cybervariants using supervised learning Article
International Journal on Advances in Security, 75-85.January 2022 -
January 2022
-
Interior point methods are not worse than Simplex In Proceedings
October 2022 -
Technical perspective: The 'art' of automatic benchmark extraction Letter To Editor
November 2022 -
July 2022
-
December 2022
-
June 2022
-
Reservoir computing for temporal data classification using a dynamic solid electrolyte ZnO thin film transistor Article
Frontiers in Electronics, 3(2022)April 2022 -
Understanding and Designing Avatar Biosignal Visualizations for Social Virtual Reality Entertainment Online Video
April 2022 -
Exploring Emotion Responses toward Pedestrian Crossing Actions for Designing In-vehicle Empathic Interfaces Online Video
April 2022 -
Digital Proxemics: Designing Social and Collaborative Interaction in Virtual Environments Online Video
April 2022 -
January 2022
-
Analysis of 3D elemental distribution in nanomaterials: Towards higher throughput and dose efficiency Article
Journal of Microscopy, 289(3), 157-163.January 2022 -
Adaptive versus static multi-oracle algorithms, and quantum security of a split-key PRF In Proceedings
December 2022 -
Symposium on Human-Centered Multimedia to celebrate Pablo Cesar’s Professorship Appointment Blogpost
April 2022 -
January 2022
-
Ixampl: an implementation of ixml Software|Data
October 2022 -
November 2022
-
October 2022
-
IXR '22: 1st Workshop on Interactive eXtended Reality In Proceedings
October 2022 -
Sensitivity analysis and Bayesian calibration of a dynamic wind farm control model: FLORIDyn Article
Journal of Physics: Conference SeriesJanuary 2022 -
Energy-consistent formulation of the pressure-free two-fluid model Article
International Journal for Numerical Methods in FluidsDecember 2022 -
October 2022
-
Efficient numerical approximation of a non-regular Fokker–Planck equation associated with first-passage time distributions Article
BIT : Numerical Mathematics, 1355-1382.December 2022 -
De geheimen achter De Nachtwacht onthuld met technologie - BNR Eyeopeners - 07-04-2022 Magazine Article
April 2022 -
Hoe gaat de quantummechanica de wereld veranderen? - Verrukkelijke Wetenschap, aflevering 29 - 01-12-2022 Magazine Article
December 2022 -
Stochastic models for unresolved scales in ocean flows Dissertation
Scientific ComputingDecember 2022 -
Human-centered multimedia: Making remote togetherness possible Inaugural Lecture
May 2022 -
December 2022
-
November 2022
-
Discretize first, filter next – a new closure model approach In Proceedings
November 2022 -
October 2022
-
October 2022
-
Variational quantum eigensolver for the Heisenberg antiferromagnet on the kagome lattice Article
Physical Review B: Condensed Matter and Materials Physics, 106(21)December 2022 -
General stabilizer approach for constructing highly entangled graph states Article
Physical Review A: Atomic, Molecular and Optical Physics, 106(6)December 2022 -
Rond de Linde bijlage - Edsger Wybe Dijkstra - 22-12-2022 Magazine Article
December 2022 -
Asymptotic analysis of Emden–Fowler type equation with an application to power flow models Article
Indagationes MathematicaeDecember 2022 -
December 2022
-
Fiat-Shamir transformation of multi-round interactive proofs In Proceedings
December 2022 -
Vector commitments over rings and compressed Σ-protocols In Proceedings
December 2022 -
August 2022
-
June 2022
-
May 2022
-
July 2022
-
March 2022
-
Quantum speedup for graph sparsification, cut approximation, and Laplacian solving Article
SIAM Journal on Computing, 51(6), 1703-1742.December 2022 -
Transparent and Explainable Information Quality Prediction Magazine Article
April 2022 -
Elastic-degenerate string matching via fast matrix multiplication Article
SIAM Journal on Computing, 51(3), 549-576.May 2022 -
Average-case verification of the quantum Fourier transform enables worst-case phase estimation Article
Quantum, 872.1-872.18.December 2022 -
Avi Wigderson’s work and influence Article
Nieuw Archief voor Wiskunde, 5(23), 31-34.March 2022 -
Luckiness in multiscale online learning In Proceedings
November 2022 -
Energy-conserving formulation of the two-fluid model for incompressible two-phase flow in channels and pipes Article
Computers & FluidsAugust 2022 -
December 2022
-
October 2022