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.

A methodology based on formal methods for thermal ablation area detection

Brunese L.;Mercaldo F.;Santone A.;Vanoli G. P.
2021

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11695/99482
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact