A Methodology based on Formal Methods for Thermal Ablation Area Detection
Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Vanoli
Abstract
Thermal ablation is the process related to the destruction of tissue by elevated tissue temperatures or depressed tissue temperatures. The machine exploited to perform for this process is named thermal ablator, requiring in input the area of the tissue to be subjected to treatment. In this proposal, with the aim to assist doctors in the process of the detection of the area targeted by the thermal ablator, we propose a methodology based on formal methods considering the representation of medical images in terms of formal and mathematical representations for the detection of the area.
DownloadPaper Citation
in Harvard Style
Brunese L., Mercaldo F., Santone A. and Vanoli G. (2021). A Methodology based on Formal Methods for Thermal Ablation Area Detection.In Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, ISBN 978-989-758-490-9, pages 191-194. DOI: 10.5220/0010394801910194
in Bibtex Style
@conference{bioinformatics21,
author={Luca Brunese and Francesco Mercaldo and Antonella Santone and Giuseppe Vanoli},
title={A Methodology based on Formal Methods for Thermal Ablation Area Detection},
booktitle={Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS,},
year={2021},
pages={191-194},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010394801910194},
isbn={978-989-758-490-9},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS,
TI - A Methodology based on Formal Methods for Thermal Ablation Area Detection
SN - 978-989-758-490-9
AU - Brunese L.
AU - Mercaldo F.
AU - Santone A.
AU - Vanoli G.
PY - 2021
SP - 191
EP - 194
DO - 10.5220/0010394801910194