Articolo in rivista, 2019, ENG

VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis

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

AOUS, Siena, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy

Glioblastomas are among the most common malignant intracranial tumours. Neuroimaging protocols are used before and after treatment to evaluate its effect and to monitor the evolution of the disease. In clinical studies and routine treatment, magnetic resonance images (MRI) are evaluated, largely manually, and based on qualitative criteria such as the presence of hyper-intense tissue in the image. VoxLogicA is an image analysis tool, designed to perform tasks such as identifying brain tumours in 3D magneto-resonance scans. The aim is to have a system that is portable, predictable and reproducible, and requires minimal computing expertise to operate.

ERCIM news 118 , pp. 12–13

Keywords

Glioblastoma, Segmentazione, MRI, Spatial Logic, Spatial model-checking

CNR authors

Massink Mieke, Latella Diego, Ciancia Vincenzo

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"