An automatic radiomic-based approach for disease localization: A pilot study on COVID-19.

Radiomics is an innovative field in Personalized Medicine to help medical specialists in diagnosis and prognosis. Mainly, the application of Radiomics to medical images requires the definition and delimitation of the Region Of Interest (ROI) on the medical image to extract radiomic features. The aim of this preliminary study is to define an approach that automatically detects the specific areas indicative of a particular disease and examines them to minimize diagnostic errors associated with false positives and false negatives. This approach aims to create a nxn grid on the DICOM image sequence and each cell in the matrix is associated with a region from which radiomic features can be extracted. The proposed procedure uses the Model Checking technique and produces as output the medical diagnosis of the patient, i.e., whether the patient under analysis is affected or not by a specific disease. Furthermore, the matrix-based method also localizes where appears the disease marks. To evaluate the performance of the proposed methodology, a case study on COVID-19 disease is used. Both results on disease identification and localization seem very promising. Furthermore, this proposed approach yields better results compared to methods based on the extraction of features using the whole image as a single ROI, as evidenced by improvements in Accuracy and especially Recall. Our approach supports the advancement of knowledge, interoperability and trust in the software tool, fostering collaboration among doctors, staff and Radiomics.

Increasing differential diagnosis between lipoma and liposarcoma through radiomics: a narrative review.

Soft tissue sarcomas (STSs) are rare, heterogeneous, and very often asymptomatic diseases. Their diagnosis is fundamental, as is the identification of the degree of malignancy, which may be high, medium, or low. The Italian Medical Oncology Association and European Society of Medical Oncology (ESMO) guidelines recommend magnetic resonance imaging (MRI) because the clinical examination is typically ineffective. The diagnosis of these rare diseases with artificial intelligence (AI) techniques presents reduced datasets and therefore less robust methods. However, the combination of AI techniques with radiomics may be a new angle in diagnosing rare diseases such as STSs. Results obtained are promising within the literature, not only for the performance but also for the explicability of the data. In fact, one can make tumor classification, site localization, and prediction of the risk of developing metastasis. Thanks to the synergy between computer scientists and radiologists, linking numerical features to radiological evidence with excellent performance could be a new step forward for the diagnosis of rare diseases.

Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods.

Objective: Soft-tissue sarcomas (STSs) of the extremities are a group of malignancies arising from the mesenchymal cells that may develop distant metastases or local recurrence. In this article, we propose a novel methodology aimed to predict metastases and recurrence risk in patients with these malignancies by evaluating magnetic resonance radiomic features that will be formally verified through formal logic models. Materials and Methods: This is a retrospective study based on a public dataset evaluating MRI scans T2-weighted fat-saturated or short tau inversion recovery and patients having "metastases/local recurrence" (group B) or "no metastases/no local recurrence" (group A) as clinical outcomes. Once radiomic features are extracted, they are included in formal models, on which is automatically verified the logic property written by a radiologist and his computer scientists coworkers. Results: Evaluating the Formal Methods efficacy in predicting distant metastases/local recurrence in STSs (group A vs group B), our methodology showed a sensitivity and specificity of 0.81 and 0.67, respectively; this suggests that radiomics and formal verification may be useful in predicting future metastases or local recurrence development in soft tissue sarcoma. Discussion: Authors discussed about the literature to consider Formal Methods as a valid alternative to other Artificial Intelligence techniques. Conclusions: An innovative and noninvasive rigourous methodology can be significant in predicting local recurrence and metastases development in STSs. Future works can be the assessment on multicentric studies to extract objective disease information, enriching the connection between the radiomic quantitative analysis and the radiological clinical evidences.

Explainability of radiomics through formal methods.

BACKGROUND AND OBJECTIVE: Artificial Intelligence has proven to be effective in radiomics. The main problem in using Artificial Intelligence is that researchers and practitioners are not able to know how the predictions are generated. This is currently an open issue because results' explainability is advantageous in understanding the reasoning behind the model, both for patients than for implementing a feedback mechanism for medical specialists using decision support systems. METHODS: Addressing transparency issues related to the Artificial Intelligence field, the innovative technique of Formal methods use a mathematical logic reasoning to produce an automatic, quick and reliable diagnosis. In this paper we analyze results given by the adoption of Formal methods for the diagnosis of the Coronavirus disease: specifically, we want to analyse and understand, in a more medical way, the meaning of some radiomic features to connect them with clinical or radiological evidences. RESULTS: In particular, the usage of Formal methods allows the authors to do statistical analysis on the feature value distributions, to do pattern recognition on disease models, to generalize the model of a disease and to reach high performances of results and interpretation of them. A further step for explainability can be accounted by the localization and selection of the most important slices in a multi-slice approach. CONCLUSIONS: In conclusion, we confirmed the clinical significance of some First order features as Skewness and Kurtosis. On the other hand, we suggest to decline the use of the Minimum feature because of its intrinsic connection with the Computational Tomography exam of the lung.

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 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.

Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study.

BACKGROUND: Liver metastases are a leading cause of cancer-associated deaths in patients affected by colorectal cancer (CRC). The multidisciplinary strategy to treat CRC is more effective when the radiological diagnosis is accurate and early. Despite the evolving technologies in radiological accuracy, the radiological diagnosis of Colorectal Cancer Liver Metastases (CRCLM) is still a key point. The aim of our study was to define a new patient representation different by Artificial Intelligence models, using Formal Methods (FMs), to help clinicians to predict the presence of liver metastasis when still undetectable using the standard protocols. METHODS: We retrospectively reviewed from 2013 to 2020 the CT scan of nine patients affected by CRC who would develop liver lesions within 4 months and 8 years. Seven patients developed liver metastases after primary staging before any liver surgery, and two patients were enrolled after R0 liver resection. Twenty-one patients were enrolled as the case control group (CCG). Regions of Interest (ROIs) were identified through manual segmentation on the medical images including only liver parenchyma and eventual benign lesions, avoiding major vessels and biliary ducts. Our predictive model was built based on formally verified radiomic features. RESULTS: The precision of our methods is 100%, scheduling patients as positive only if they will be affected by CRCLM, showing a 93.3% overall accuracy. Recall was 77.8%. CONCLUSION: FMs can provide an effective early detection of CRCLM before clinical diagnosis only through non-invasive radiomic features even in very heterogeneous and small clinical samples.