Skip to main content

Showing 1–5 of 5 results for author: Schreiber, A

Searching in archive eess. Search in all archives.
.
  1. arXiv:2308.13304  [pdf, other

    eess.IV cs.CV cs.LG q-bio.QM

    Rapid Artefact Removal and H&E-Stained Tissue Segmentation

    Authors: B. A. Schreiber, J. Denholm, F. Jaeckle, M. J. Arends, K. M. Branson, C. -B. Schönlieb, E. J. Soilleux

    Abstract: We present an innovative method for rapidly segmenting hematoxylin and eosin (H&E)-stained tissue in whole-slide images (WSIs) that eliminates a wide range of undesirable artefacts such as pen marks and scanning artefacts. Our method involves taking a single-channel representation of a lowmagnification RGB overview of the WSI in which the pixel values are bimodally distributed such that H&E-staine… ▽ More

    Submitted 19 December, 2023; v1 submitted 25 August, 2023; originally announced August 2023.

    Comments: 7 pages, 3 figures

  2. arXiv:2109.13407  [pdf, other

    cs.RO eess.SY

    CRANE: a 10 Degree-of-Freedom, Tele-surgical System for Dexterous Manipulation within Imaging Bores

    Authors: Dimitri A. Schreiber, Zhaowei Yu, Hanpeng Jiang, Taylor Henderson, Guosong Li, Julie Yu, Renjie Zhu, Alexander M. Norbash, Michael C. Yip

    Abstract: Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexteri… ▽ More

    Submitted 17 March, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

    Comments: 6+2 pages, 8 figures, ICRA 2022

  3. Anisotropic 3D Multi-Stream CNN for Accurate Prostate Segmentation from Multi-Planar MRI

    Authors: Anneke Meyer, Grzegorz Chlebus, Marko Rak, Daniel Schindele, Martin Schostak, Bram van Ginneken, Andrea Schenk, Hans Meine, Horst K. Hahn, Andreas Schreiber, Christian Hansen

    Abstract: Background and Objective: Accurate and reliable segmentation of the prostate gland in MR images can support the clinical assessment of prostate cancer, as well as the planning and monitoring of focal and loco-regional therapeutic interventions. Despite the availability of multi-planar MR scans due to standardized protocols, the majority of segmentation approaches presented in the literature consid… ▽ More

    Submitted 2 December, 2020; v1 submitted 23 September, 2020; originally announced September 2020.

    Comments: Accepted manuscript in Elsevier Computer Methods and Programs in Biomedicine. Anneke Meyer and Grzegorz Chlebus contributed equally to this work. Sourcecode available at https://github.com/AnnekeMeyer/AnisotropicMultiStreamCNN. Data available at https://doi.org/10.7937/TCIA.2019.DEG7ZG1U

  4. arXiv:2007.03065  [pdf, other

    eess.SY

    A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems

    Authors: Fabio A. Schreiber, Maria Elena Valcher

    Abstract: The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper… ▽ More

    Submitted 6 July, 2020; originally announced July 2020.

  5. arXiv:2005.00373  [pdf, other

    cs.FL eess.SY

    Formal assessment of some properties of Context-Aware Systems

    Authors: Fabio A. Schreiber, Maria Elena Valcher

    Abstract: Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynam… ▽ More

    Submitted 1 May, 2020; originally announced May 2020.