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...
Autores principales: | , , , , |
---|---|
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 |