Cargando…

On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis

Considering the current pandemic, caused by the spreading of the novel Coronavirus disease, there is the urgent need for methods to quickly and automatically diagnose infection. To assist pathologists and radiologists in the detection of the novel coronavirus, in this paper we propose a two-tiered m...

Descripción completa

Detalles Bibliográficos
Autores principales: Santone, Antonella, Belfiore, Maria Paola, Mercaldo, Francesco, Varriano, Giulia, Brunese, Luca
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7917767/
https://www.ncbi.nlm.nih.gov/pubmed/33673394
http://dx.doi.org/10.3390/diagnostics11020293
_version_ 1783657773107511296
author Santone, Antonella
Belfiore, Maria Paola
Mercaldo, Francesco
Varriano, Giulia
Brunese, Luca
author_facet Santone, Antonella
Belfiore, Maria Paola
Mercaldo, Francesco
Varriano, Giulia
Brunese, Luca
author_sort Santone, Antonella
collection PubMed
description Considering the current pandemic, caused by the spreading of the novel Coronavirus disease, there is the urgent need for methods to quickly and automatically diagnose infection. To assist pathologists and radiologists in the detection of the novel coronavirus, in this paper we propose a two-tiered method, based on formal methods (to the best of authors knowledge never previously introduced in this context), aimed to (i) detect whether the patient lungs are healthy or present a generic pulmonary infection; (ii) in the case of the previous tier, a generic pulmonary disease is detected to identify whether the patient under analysis is affected by the novel Coronavirus disease. The proposed approach relies on the extraction of radiomic features from medical images and on the generation of a formal model that can be automatically checked using the model checking technique. We perform an experimental analysis using a set of computed tomography medical images obtained by the authors, achieving an accuracy of higher than 81% in disease detection.
format Online
Article
Text
id pubmed-7917767
institution National Center for Biotechnology Information
language English
publishDate 2021
publisher MDPI
record_format MEDLINE/PubMed
spelling pubmed-79177672021-03-02 On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis Santone, Antonella Belfiore, Maria Paola Mercaldo, Francesco Varriano, Giulia Brunese, Luca Diagnostics (Basel) Article Considering the current pandemic, caused by the spreading of the novel Coronavirus disease, there is the urgent need for methods to quickly and automatically diagnose infection. To assist pathologists and radiologists in the detection of the novel coronavirus, in this paper we propose a two-tiered method, based on formal methods (to the best of authors knowledge never previously introduced in this context), aimed to (i) detect whether the patient lungs are healthy or present a generic pulmonary infection; (ii) in the case of the previous tier, a generic pulmonary disease is detected to identify whether the patient under analysis is affected by the novel Coronavirus disease. The proposed approach relies on the extraction of radiomic features from medical images and on the generation of a formal model that can be automatically checked using the model checking technique. We perform an experimental analysis using a set of computed tomography medical images obtained by the authors, achieving an accuracy of higher than 81% in disease detection. MDPI 2021-02-12 /pmc/articles/PMC7917767/ /pubmed/33673394 http://dx.doi.org/10.3390/diagnostics11020293 Text en © 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
spellingShingle Article
Santone, Antonella
Belfiore, Maria Paola
Mercaldo, Francesco
Varriano, Giulia
Brunese, Luca
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title_full On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title_fullStr On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title_full_unstemmed On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title_short On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
title_sort on the adoption of radiomics and formal methods for covid-19 coronavirus diagnosis
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7917767/
https://www.ncbi.nlm.nih.gov/pubmed/33673394
http://dx.doi.org/10.3390/diagnostics11020293
work_keys_str_mv AT santoneantonella ontheadoptionofradiomicsandformalmethodsforcovid19coronavirusdiagnosis
AT belfioremariapaola ontheadoptionofradiomicsandformalmethodsforcovid19coronavirusdiagnosis
AT mercaldofrancesco ontheadoptionofradiomicsandformalmethodsforcovid19coronavirusdiagnosis
AT varrianogiulia ontheadoptionofradiomicsandformalmethodsforcovid19coronavirusdiagnosis
AT bruneseluca ontheadoptionofradiomicsandformalmethodsforcovid19coronavirusdiagnosis