Towards personalized prostate cancer therapy using delta-reachability analysis.
Bing LiuSoonho KongSicun GaoPaolo ZulianiEdmund M. ClarkePublished in: HSCC (2015)
Keyphrases
- prostate cancer
- reachability analysis
- disease progression
- markov decision processes
- model checking
- radiation dose
- timed automata
- computer aided
- mr images
- image guided
- incremental algorithms
- deformable registration
- cancer detection
- prostate segmentation
- medical image analysis
- state space
- ultrasound guided
- data mining
- magnetic resonance spectroscopy
- cancer patients
- radiation therapy
- medical data
- magnetic resonance images
- medical images
- image processing
- machine learning