Skip to main content

Showing 1–16 of 16 results for author: Prokop, M

Searching in archive cs. Search in all archives.
.
  1. arXiv:2508.04450  [pdf, ps, other

    eess.IV cs.CV

    TotalRegistrator: Towards a Lightweight Foundation Model for CT Image Registration

    Authors: Xuan Loc Pham, Gwendolyn Vuurberg, Marjan Doppen, Joey Roosen, Tip Stille, Thi Quynh Ha, Thuy Duong Quach, Quoc Vu Dang, Manh Ha Luu, Ewoud J. Smit, Hong Son Mai, Mattias Heinrich, Bram van Ginneken, Mathias Prokop, Alessa Hering

    Abstract: Image registration is a fundamental technique in the analysis of longitudinal and multi-phase CT images within clinical practice. However, most existing methods are tailored for single-organ applications, limiting their generalizability to other anatomical regions. This work presents TotalRegistrator, an image registration framework capable of aligning multiple anatomical regions simultaneously us… ▽ More

    Submitted 6 August, 2025; originally announced August 2025.

  2. arXiv:2507.20859  [pdf, ps, other

    cs.CL

    Leveraging Open-Source Large Language Models for Clinical Information Extraction in Resource-Constrained Settings

    Authors: Luc Builtjes, Joeran Bosma, Mathias Prokop, Bram van Ginneken, Alessa Hering

    Abstract: Medical reports contain rich clinical information but are often unstructured and written in domain-specific language, posing challenges for information extraction. While proprietary large language models (LLMs) have shown promise in clinical natural language processing, their lack of transparency and data privacy concerns limit their utility in healthcare. This study therefore evaluates nine open-… ▽ More

    Submitted 28 July, 2025; originally announced July 2025.

    Comments: 34 pages, 5 figures

  3. arXiv:2507.19230  [pdf, ps, other

    eess.IV cs.CV

    Unstable Prompts, Unreliable Segmentations: A Challenge for Longitudinal Lesion Analysis

    Authors: Niels Rocholl, Ewoud Smit, Mathias Prokop, Alessa Hering

    Abstract: Longitudinal lesion analysis is crucial for oncological care, yet automated tools often struggle with temporal consistency. While universal lesion segmentation models have advanced, they are typically designed for single time points. This paper investigates the performance of the ULS23 segmentation model in a longitudinal context. Using a public clinical dataset of baseline and follow-up CT scans,… ▽ More

    Submitted 25 July, 2025; originally announced July 2025.

  4. arXiv:2505.07573  [pdf, other

    cs.CV cs.AI

    Robust Kidney Abnormality Segmentation: A Validation Study of an AI-Based Framework

    Authors: Sarah de Boer, Hartmut Häntze, Kiran Vaidhya Venkadesh, Myrthe A. D. Buser, Gabriel E. Humpire Mamani, Lina Xu, Lisa C. Adams, Jawed Nawabi, Keno K. Bressem, Bram van Ginneken, Mathias Prokop, Alessa Hering

    Abstract: Kidney abnormality segmentation has important potential to enhance the clinical workflow, especially in settings requiring quantitative assessments. Kidney volume could serve as an important biomarker for renal diseases, with changes in volume correlating directly with kidney function. Currently, clinical practice often relies on subjective visual assessment for evaluating kidney size and abnormal… ▽ More

    Submitted 12 May, 2025; originally announced May 2025.

    Comments: 35 pages, 11 figures

  5. arXiv:2503.22281  [pdf, other

    cs.CV

    Divide to Conquer: A Field Decomposition Approach for Multi-Organ Whole-Body CT Image Registration

    Authors: Xuan Loc Pham, Mathias Prokop, Bram van Ginneken, Alessa Hering

    Abstract: Image registration is an essential technique for the analysis of Computed Tomography (CT) images in clinical practice. However, existing methodologies are predominantly tailored to a specific organ of interest and often exhibit lower performance on other organs, thus limiting their generalizability and applicability. Multi-organ registration addresses these limitations, but the simultaneous alignm… ▽ More

    Submitted 28 March, 2025; originally announced March 2025.

  6. arXiv:2501.17496  [pdf, other

    cs.AI eess.SY

    SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

    Authors: Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah

    Abstract: Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. We present our tool SemML, which won this year's LTL realizability tracks of SYNTCOMP, after years of domination by Strix. While both tools are based on the automata-theoretic approach, ours relies heavily on (i) Semantic labell… ▽ More

    Submitted 17 April, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

  7. arXiv:2406.05231  [pdf, other

    eess.IV cs.CV cs.LG

    The ULS23 Challenge: a Baseline Model and Benchmark Dataset for 3D Universal Lesion Segmentation in Computed Tomography

    Authors: M. J. J. de Grauw, E. Th. Scholten, E. J. Smit, M. J. C. M. Rutten, M. Prokop, B. van Ginneken, A. Hering

    Abstract: Size measurements of tumor manifestations on follow-up CT examinations are crucial for evaluating treatment outcomes in cancer patients. Efficient lesion segmentation can speed up these radiological workflows. While numerous benchmarks and challenges address lesion segmentation in specific organs like the liver, kidneys, and lungs, the larger variety of lesion types encountered in clinical practic… ▽ More

    Submitted 21 June, 2024; v1 submitted 7 June, 2024; originally announced June 2024.

  8. arXiv:2405.06463  [pdf, other

    eess.IV cs.CV cs.LG

    MRSegmentator: Multi-Modality Segmentation of 40 Classes in MRI and CT

    Authors: Hartmut Häntze, Lina Xu, Christian J. Mertens, Felix J. Dorfner, Leonhard Donle, Felix Busch, Avan Kader, Sebastian Ziegelmayer, Nadine Bayerl, Nassir Navab, Daniel Rueckert, Julia Schnabel, Hugo JWL Aerts, Daniel Truhn, Fabian Bamberg, Jakob Weiß, Christopher L. Schlett, Steffen Ringhof, Thoralf Niendorf, Tobias Pischon, Hans-Ulrich Kauczor, Tobias Nonnenmacher, Thomas Kröncke, Henry Völzke, Jeanette Schulz-Menger , et al. (7 additional authors not shown)

    Abstract: Purpose: To develop and evaluate a deep learning model for multi-organ segmentation of MRI scans. Materials and Methods: The model was trained on 1,200 manually annotated 3D axial MRI scans from the UK Biobank, 221 in-house MRI scans, and 1228 CT scans from the TotalSegmentator dataset. A human-in-the-loop annotation workflow was employed, leveraging cross-modality transfer learning from an exis… ▽ More

    Submitted 14 November, 2024; v1 submitted 10 May, 2024; originally announced May 2024.

    Comments: 17 pages, 6 figures; updated data; completed co-author info

    ACM Class: J.3

  9. Grover's oracle for the Shortest Vector Problem and its application in hybrid classical-quantum solvers

    Authors: Milos Prokop, Petros Wallden, David Joseph

    Abstract: Finding the shortest vector in a lattice is a problem that is believed to be hard both for classical and quantum computers. Many major post-quantum secure cryptosystems base their security on the hardness of the Shortest Vector Problem (SVP). Finding the best classical, quantum or hybrid classical-quantum algorithms for SVP is necessary to select cryptosystem parameters that offer sufficient level… ▽ More

    Submitted 21 February, 2024; originally announced February 2024.

    Comments: 29 pages, 5 figures

    Journal ref: IEEE Transactions on Quantum Engineering, vol. 6, pp. 1-15 (2025)

  10. arXiv:2311.05032  [pdf, other

    eess.IV cs.AI cs.CV cs.LG

    Transfer learning from a sparsely annotated dataset of 3D medical images

    Authors: Gabriel Efrain Humpire-Mamani, Colin Jacobs, Mathias Prokop, Bram van Ginneken, Nikolas Lessmann

    Abstract: Transfer learning leverages pre-trained model features from a large dataset to save time and resources when training new models for various tasks, potentially enhancing performance. Due to the lack of large datasets in the medical imaging domain, transfer learning from one medical imaging model to other medical imaging models has not been widely explored. This study explores the use of transfer le… ▽ More

    Submitted 8 November, 2023; originally announced November 2023.

  11. arXiv:2309.03383  [pdf, other

    eess.IV cs.CV

    Kidney abnormality segmentation in thorax-abdomen CT scans

    Authors: Gabriel Efrain Humpire Mamani, Nikolas Lessmann, Ernst Th. Scholten, Mathias Prokop, Colin Jacobs, Bram van Ginneken

    Abstract: In this study, we introduce a deep learning approach for segmenting kidney parenchyma and kidney abnormalities to support clinicians in identifying and quantifying renal abnormalities such as cysts, lesions, masses, metastases, and primary tumors. Our end-to-end segmentation method was trained on 215 contrast-enhanced thoracic-abdominal CT scans, with half of these scans containing one or more abn… ▽ More

    Submitted 6 September, 2023; originally announced September 2023.

  12. arXiv:2305.15109  [pdf, ps, other

    cs.AI eess.SY

    Guessing Winning Policies in LTL Synthesis by Semantic Learning

    Authors: Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

    Abstract: We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game's huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several w… ▽ More

    Submitted 24 May, 2023; originally announced May 2023.

  13. Variational quantum solutions to the Shortest Vector Problem

    Authors: Martin R. Albrecht, Miloš Prokop, Yixin Shen, Petros Wallden

    Abstract: A fundamental computational problem is to find a shortest non-zero vector in Euclidean lattices, a problem known as the Shortest Vector Problem (SVP). This problem is believed to be hard even on quantum computers and thus plays a pivotal role in post-quantum cryptography. In this work we explore how (efficiently) Noisy Intermediate Scale Quantum (NISQ) devices may be used to solve SVP. Specificall… ▽ More

    Submitted 23 February, 2023; v1 submitted 14 February, 2022; originally announced February 2022.

    Journal ref: Quantum 7, 933 (2023)

  14. arXiv:2105.01181  [pdf, other

    eess.IV cs.CV cs.LG

    Automated Estimation of Total Lung Volume using Chest Radiographs and Deep Learning

    Authors: Ecem Sogancioglu, Keelin Murphy, Ernst Th. Scholten, Luuk H. Boulogne, Mathias Prokop, Bram van Ginneken

    Abstract: Total lung volume is an important quantitative biomarker and is used for the assessment of restrictive lung diseases. In this study, we investigate the performance of several deep-learning approaches for automated measurement of total lung volume from chest radiographs. 7621 posteroanterior and lateral view chest radiographs (CXR) were collected from patients with chest CT available. Similarly, 92… ▽ More

    Submitted 3 May, 2021; originally announced May 2021.

    Comments: Under review

  15. Validation, comparison, and combination of algorithms for automatic detection of pulmonary nodules in computed tomography images: the LUNA16 challenge

    Authors: Arnaud Arindra Adiyoso Setio, Alberto Traverso, Thomas de Bel, Moira S. N. Berens, Cas van den Bogaard, Piergiorgio Cerello, Hao Chen, Qi Dou, Maria Evelina Fantacci, Bram Geurts, Robbert van der Gugten, Pheng Ann Heng, Bart Jansen, Michael M. J. de Kaste, Valentin Kotov, Jack Yu-Hung Lin, Jeroen T. M. C. Manders, Alexander Sónora-Mengana, Juan Carlos García-Naranjo, Evgenia Papavasileiou, Mathias Prokop, Marco Saletta, Cornelia M Schaefer-Prokop, Ernst T. Scholten, Luuk Scholten , et al. (7 additional authors not shown)

    Abstract: Automatic detection of pulmonary nodules in thoracic computed tomography (CT) scans has been an active area of research for the last two decades. However, there have only been few studies that provide a comparative performance evaluation of different systems on a common database. We have therefore set up the LUNA16 challenge, an objective evaluation framework for automatic nodule detection algorit… ▽ More

    Submitted 15 July, 2017; v1 submitted 23 December, 2016; originally announced December 2016.

  16. Towards automatic pulmonary nodule management in lung cancer screening with deep learning

    Authors: Francesco Ciompi, Kaman Chung, Sarah J. van Riel, Arnaud Arindra Adiyoso Setio, Paul K. Gerke, Colin Jacobs, Ernst Th. Scholten, Cornelia Schaefer-Prokop, Mathilde M. W. Wille, Alfonso Marchiano, Ugo Pastorino, Mathias Prokop, Bram van Ginneken

    Abstract: The introduction of lung cancer screening programs will produce an unprecedented amount of chest CT scans in the near future, which radiologists will have to read in order to decide on a patient follow-up strategy. According to the current guidelines, the workup of screen-detected nodules strongly relies on nodule size and nodule type. In this paper, we present a deep learning system based on mult… ▽ More

    Submitted 23 May, 2017; v1 submitted 28 October, 2016; originally announced October 2016.

    Comments: Published on Scientific Reports

    Journal ref: Sci. Rep. 7, 46479; (2017)