Stochastic Modeling of Temporal Enhanced Ultrasound: Impact of Temporal Properties on Prostate Cancer Characterization.
Layan NahlawiCaroline GoncalvesFarhad ImaniMena GaedJose A. GomezMadeleine MoussaEli GibsonAaron FensterAaron D. WardPurang AbolmaesumiHagit ShatkayParvin MousaviPublished in: IEEE Trans. Biomed. Eng. (2018)
Keyphrases
- soft tissue
- temporal properties
- transrectal ultrasound
- prostate cancer
- magnetic resonance
- prostate biopsy
- ultrasound guided
- needle insertion
- medical images
- mr images
- model checking
- medical image analysis
- prostate brachytherapy
- formal methods
- possibility theory
- image guided
- computer aided
- magnetic resonance spectroscopy
- prostate segmentation
- image data
- radiation therapy
- software engineering
- anatomical structures
- ultrasound images
- nonmonotonic reasoning
- formal specification
- computer vision