Document - Innovating Medical Image Analysis via Spatial Logics

2019

Contribution to book Open Access

Innovating Medical Image Analysis via Spatial Logics

Belmonte G., Ciancia V., Latella D., Massink M.

Medical imaging Spatial model checking Closure Spaces Spatial logics

Current computer-assisted medical imaging for the planning of radiotherapy requires high-level mathematical and computational skills. These are often paired with the case-by-case integration of highly specialised technologies. The lack of modularity at the right level of abstraction in this field hinders research, collaboration and transfer of expertise among medical physicists, engineers and technicians. The longer term aim of the introduction of spatial logics and spatial model checking in medical imaging is to provide an open platform introducing declarative medical image analysis. This will provide domain experts with a convenient and very concise way to specify contouring and segmentation operations, grounded on the solid mathematical foundations of Topological Spatial Logics. We show preliminary results, obtained using the spatial model checker VoxLogicA, for the automatic identification of specific brain tissues in a healthy brain and we discuss a selection of challenges for spatial model checking for medical imaging.

Source: From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M.H.; Fantechi A.; Semini L. (eds.), pp. 85–109. Berlin: Springer, 2019

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:407785,
	title = {Innovating Medical Image Analysis via Spatial Logics},
	author = {Belmonte G. and Ciancia V. and Latella D. and Massink M.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-030-30985-5_7},
	booktitle = {From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M.H.; Fantechi A.; Semini L. (eds.), pp. 85–109. Berlin: Springer, 2019},
	year = {2019}
}