Publications from 2023
-
Improved quantum boosting In Proceedings
August 2023 -
August 2023
-
(No) Quantum space-time tradeoff for USTCON In Proceedings
August 2023 -
Local minimization of prediction errors drives learning of invariant object representations in a generative network model of visual perception Article
Frontiers in Computational Neuroscience, 1207361:1-1207361:15.September 2023 -
Parallel pushdown automata and commutative context-free grammars in bisimulation semantics In Proceedings
September 2023 -
Time-resolved reconstruction of motion, force, and stiffness using Spectro-Dynamic MRI Article
IEEE Transactions on Computational Imaging, 917-927.October 2023 -
Streamer discharges and their interaction with dielectrics : a computational study Dissertation
Multiscale DynamicsOctober 2023 -
Double-pulse streamer simulations for varying interpulse times in air Article
Plasma Sources Science and Technology, 32(9)September 2023 -
Polynomial optimization: matrix factorization ranks, portfolio selection, and queueing theory Dissertation
Networks and OptimizationOctober 2023 -
HaploKit /DiseaseCapsule Software|Data
May 2023 -
August 2023
-
Finding short integer solutions when the modulus Is small In Proceedings
August 2023 -
August 2023
-
July 2023
-
An end-member modeling approach (EMMA) to pseudo-Thellier paleointensity data Article
Geophysical Journal International, 235(3), 2707-2715.October 2023 -
monikagrewal /End2EndLandmarks Software|Data
May 2023 -
marcovirgolin /robust-counterfactuals Software|Data
February 2023 -
cwi-dis /VR2Gather Software|Data
September 2023 -
vrozen /ScriptButler Software|Data
March 2023 -
January 2023
-
March 2023
-
Mechanisms of human dynamic object recognition revealed by sequential deep neural networks Software|Data
April 2023 -
May 2023
-
urbanslug /junctions Software|Data
August 2023 -
nmucke /DT-for-WDN-leak-localization Software|Data
March 2023 -
JAndriesJ /ju-cp-rank Software|Data
August 2023 -
cwida /FastLanes Software|Data
June 2023 -
ArkadiyD /MO-PBT Software|Data
September 2023 -
Numerical simulations for "Shadow estimation of gate-set properties from random sequences" Software|Data
May 2023 -
ldbc /ldbc_snb_datagen_spark Software|Data
August 2023 -
mbkiss /2DeteCTcodes Software|Data
September 2023 -
March 2023
-
Simulation study for the comparison of power flow models for a line distribution network with stochastic load demands In Proceedings
February 2023 -
Simplified modeling of MITM attacks for block ciphers: New (quantum) attacks Article
IACR Transactions on Symmetric Cryptology, 2023(3), 146-183.September 2023 -
The logic of separation logic: Models and proofs In Proceedings
September 2023 -
On the quantum security of HAWK In Proceedings
August 2023 -
September 2023
-
Round and bipartize for vertex cover approximation In Proceedings
September 2023 -
Turing and Van Gogh walk into a bar : a computational approach to suicide research Dissertation
StochasticsOctober 2023 -
Artist profiling using micro-CT scanning of a Rijksmuseum terracotta sculpture Article
Science Advances, 9(38), eadg6073:1-eadg6073:13.September 2023 -
Non-adaptive measurement-based quantum computation on IBM Q Article
Nature Scientific Reports, 13(1), 15428:1-15428:9.September 2023 -
3D characterization of the structural transformation undergone by Cu@Ag Core-Shell Nanoparticles following CO2 reduction reaction Article
Chemistry of Materials, 35(17), 6682-6691.August 2023 -
June 2023
-
Constructing phylogenetic networks via cherry picking and machine learning Article
Algorithms for Molecular Biology, 18(1), 13:1-13:28.September 2023 -
Maximal degenerate palindromes with gaps and mismatches Article
Theoretical Computer Science, 114182:1-114182:16.November 2023 -
Topology-Hiding Communication from minimal assumptions Article
Journal of Cryptology, 36(4), 39:1-39:83.September 2023 -
Scheduling problems in the service industry : theory and applications Dissertation
StochasticsSeptember 2023 -
May 2023
-
BRExIt: On opponent modelling in expert iteration In Proceedings
August 2023 -
Estimation of temperature homogeneity in MEMS-based heating nanochips via quantitative HAADF-STEM tomography Article
Particle and Particle Systems Characterization, 2300070:1-2300070:8.September 2023 -
Seedability: Optimizing alignment parameters for sensitive sequence comparison Article
Bioinformatics Advances, 3(1), vbad108:1-vbad108:9.August 2023 -
Optimizing sparse fermionic Hamiltonians Article
Quantum, 1081:1-1081:34.August 2023 -
Orthogonal schedules in single round robin tournaments Article
Operations Research Letters, 51(5), 528-532.September 2023 -
September 2023
-
2DeteCTcodes Software
September 2023 -
2DeteCT - A large 2D expandable, trainable, experimental Computed Tomography dataset for machine learning Article
Scientific Data, 576:1-576:12.September 2023 -
A joint Python/C++ library for efficient yet accessible Black-Box and Gray-Box Optimization with GOMEA In Proceedings
July 2023 -
Model-based evolutionary algorithms In Proceedings
July 2023 -
Dr Ambiguity Software
August 2023 -
Expensive optimization with model-based evolutionary algorithms applied to medical image segmentation using deep learning Dissertation
Evolutionary IntelligenceSeptember 2023 -
July 2023
-
Multi-objective population based training In Proceedings
July 2023 -
Quantitative modeling of streamer discharge branching in air Article
Plasma Sources Science and Technology, 32(8)August 2023 -
Quantum algorithm for path-edge sampling In Proceedings
July 2023 -
Shadow estimation of gate-set properties from random sequences Article
Nature Communications, 14(1), 5039:1-5039:11.December 2023 -
Quantum motif clustering Article
Quantum, 1046.1-1046.51.July 2023 -
A solution to the multidimensional additive homological equation Article
Izvestiya Mathematics, 87(2), 201-251.January 2023 -
Fiat–Shamir transformation of multi-round interactive proofs (extended version) Article
Journal of Cryptology, 36(4), 36:1-36:45.October 2023 -
The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space In Proceedings
August 2023 -
The LDBC Social Network Benchmark Interactive workload v2: A transactional graph query benchmark with deep delete operations In Proceedings
August 2023 -
August 2023
-
DuckPGQ: Bringing SQL/PGQ to DuckDB In Proceedings
August 2023 -
July 2023
-
July 2023
-
Morea: A GPU-accelerated evolutionary algorithm for multi-objective deformable registration of 3d medical images In Proceedings
July 2023 -
Message from the Chairs Preface
July 2023 -
Oven: Safe and live communication protocols in Scala, using synthetic behavioural type analysis In Proceedings
July 2023 -
July 2023
-
July 2023
-
The impact of asynchrony on parallel model-based EAs In Proceedings
July 2023 -
A simple method for convex optimization in the oracle model Article
Mathematical Programming Series BAugust 2023 -
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)August 2023 -
July 2023
-
May 2023
-
July 2023
-
July 2023
-
June 2023
-
Convergence of the number of period sets in strings In Proceedings
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 ReviewsJuly 2023 -
Text indexing for long patterns: Anchors are all you need Article
Proceedings of the VLDB Endowment, 16(9), 2117-2131.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.July 2023 -
March 2023
-
June 2023
-
AI-ready data in space science and solar physics: problems, mitigation and action plan Article
Frontiers in Astronomy and Space SciencesJuly 2023 -
Active pairwise distance learning for efficient labeling of large datasets by human experts Article
Applied IntelligenceJuly 2023 -
June 2023
-
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report Article
Journal of Software : Practice and ExperienceJuly 2023 -
Suffix-prefix queries on a dictionary In Proceedings
June 2023 -
Sharpness and well-conditioning of nonsmooth convex formulations in statistical signal recovery Tech Report
July 2023