Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT.

Introduction: Acute pancreatitis (AP) is a common disease, and several scores aim to assess its prognosis. Our study aims to automatically recognize mild AP from computed tomography (CT) images in patients with acute abdominal pain but uncertain diagnosis from clinical and serological data through Radiomic model based on formal methods (FMs).

Methods: We retrospectively reviewed the CT scans acquired with Dual Source 256-slice CT scanner (Somatom Definition Flash; Siemens Healthineers, Erlangen, Germany) of 80 patients admitted to the radiology unit of Antonio Cardarelli hospital (Naples) with acute abdominal pain. Patients were divided into 2 groups: 40 underwent showed a healthy pancreatic gland, and 40 affected by four different grades (CTSI 0, 1, 2, 3) of mild pancreatitis at CT without clear clinical presentation or biochemical findings. Segmentation was manually performed. Radiologists identified 6 patients with a high expression of diseases (CTSI 3) to formulate a formal property (Rule) to detect AP in the testing set automatically. Once the rule was formulated, and Model Checker classified 70 patients into "healthy" or "unhealthy".

Results: The model achieved: accuracy 81%, precision 78% and recall 81%. Combining FMs results with radiologists agreement, and applying the mode in clinical practice, the global accuracy would have been 100%.

Conclusions: Our model was reliable to automatically detect mild AP at primary diagnosis even in uncertain presentation and it will be tested prospectively in clinical practice.