-
batchgenerators - a python framework for data augmentation2020 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Medical Image Segmentation Techniques Open access
Fabian Isensee, Paul F. Jäger, Jakob Wasserthal, David Zimmerer, Jens Petersen, Simon Köhl, +7 more
59citations -
filter_functions: A package for efficient numerical calculation of generalized filter functions to describe the effect of noise on quantum gate operations1citations
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
1citations -
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Johana Chen, Bas van Stein, Robert Cabri, Thomas Bäck, Anna V. Kononova
1citations