Skip to main content

Showing 1–3 of 3 results for author: Brunner, E

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

    eess.IV cs.CV

    A study of why we need to reassess full reference image quality assessment with medical images

    Authors: Anna Breger, Ander Biguri, Malena Sabaté Landman, Ian Selby, Nicole Amberg, Elisabeth Brunner, Janek Gröhl, Sepideh Hatamikia, Clemens Karner, Lipeng Ning, Sören Dittmer, Michael Roberts, AIX-COVNET Collaboration, Carola-Bibiane Schönlieb

    Abstract: Image quality assessment (IQA) is not just indispensable in clinical practice to ensure high standards, but also in the development stage of novel algorithms that operate on medical images with reference data. This paper provides a structured and comprehensive collection of examples where the two most common full reference (FR) image quality measures prove to be unsuitable for the assessment of no… ▽ More

    Submitted 29 May, 2024; originally announced May 2024.

  2. arXiv:2311.01574  [pdf

    eess.IV cs.CV cs.LG

    Improving Lesion Segmentation in FDG-18 Whole-Body PET/CT scans using Multilabel approach: AutoPET II challenge

    Authors: Gowtham Krishnan Murugesan, Diana McCrumb, Eric Brunner, Jithendra Kumar, Rahul Soni, Vasily Grigorash, Stephen Moore, Jeff Van Oss

    Abstract: Automatic segmentation of lesions in FDG-18 Whole Body (WB) PET/CT scans using deep learning models is instrumental for determining treatment response, optimizing dosimetry, and advancing theranostic applications in oncology. However, the presence of organs with elevated radiotracer uptake, such as the liver, spleen, brain, and bladder, often leads to challenges, as these regions are often misiden… ▽ More

    Submitted 2 November, 2023; originally announced November 2023.

    Comments: AutoPET II challenge paper

  3. arXiv:1907.03996  [pdf, other

    cs.SE cs.CR cs.PL

    Understanding Counterexamples for Relational Properties with DIbugger

    Authors: Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

    Abstract: Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairness, when one needs to compare multiple related runs of the same software. Verification tools often provide counterexamples consisting of program inputs… ▽ More

    Submitted 9 July, 2019; originally announced July 2019.

    Comments: In Proceedings HCVS/PERR 2019, arXiv:1907.03523

    Journal ref: EPTCS 296, 2019, pp. 6-13