Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Protocol compliance in a multicentric phase III trial investigating scheduled adaptive radiotherapy and dose painting in head and neck cancer2024 Radiotherapy and Oncology article Physics and Astronomy Advanced Radiotherapy Techniques Open access
Anna Liza M.P. de Leeuw, J. Giralt, Yungan Tao, Sergi Benavente, Thanh-Vân France Nguyen, Frank J P Hoebers, +12 more
0citations -
Toward a comprehensive exploration of flavored dark matter models2026 Repository KITopen (Karlsruhe Institute of Technology) article Physics and Astronomy Dark Matter and Cosmic Phenomena Open access
Benedetta Belfatto, Monika Blanke, Jan Heisig, Michael Kramer, Lena Rathmann, Felix Wilsch
0citations -
PS-AAS: Portfolio Selection for Automated Algorithm Selection in Black-Box Optimization - Reproducibility Repository2023 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Metaheuristic Optimization Algorithms Research Open access
Ana Kostovska, Gjorgjina Cenikj, Diederick Vermetten, Anja Jankovič, Ana Nikolikj, Urban Škvorc, +3 more
0citations -
Improved Acromegaly Patient Satisfaction With Oral Octreotide Capsules Compared With Injectable Somatostatin Receptor Ligands in the MPOWERED Trial2021 Journal of the Endocrine Society article Medicine Pituitary Gland Disorders and Treatments Open access
Murray B. Gordon, Maria Fleseriu, Akexander V Dreval, Yulia G. Pokramovich, Irina Arkad'evna Bondar', Elena Isaeva, +13 more
2citations -
A Feasibility Study of Navigating Emotional States Using Real-Time Representational Similarity Analysis fMRI Neurofeedback2026 International Journal of Neural Systems article Neuroscience EEG and Brain-Computer Interfaces Open access
Xuelei Wang, Assunta Ciarlo, Michael Lührs, Alexander Atanasyan, David Böken, Jürgen Roßmann, +9 more
1citations -
Toward navigating emotional states using real-time representational similarity analysis fMRI neurofeedback - a feasibility study2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience EEG and Brain-Computer Interfaces Open access
Assunta Ciarlo, Michael Lührs, Alexander Atanasyan, David Böken, Jürgen Roßmann, Michael Schluse, +7 more
0citations -
Bryne: sustainable prototyping of finite element models - Software release2025 Zenodo (CERN European Organization for Nuclear Research) software Engineering Advanced Numerical Methods in Computational Mathematics Open access
Benjamin Terschanski, Robert Klöfkorn, Andreas Dedner, Julia Kowalski
1citations