In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core, i.e., a maximal Horn theory included in this disjunction. The problems are investigated for different representations of Horn theories, namely for Horn CNFs and characteristic models. While the prob...

Background The role of cerebrovascular damage in Alzheimer’s Disease (AD) has resulted inconsistent findings particularly when analyzing longitudinal data. We introduce WMH shape analysis (WSA) that quantifies white matter hyperintensity (WMH) expansion as the distance from lesion voxels to a region interest boundary. sought examine extent and spatial topography with progression AD. Method Flui...

Objective(s): The present study aims to study the alteration of glutamatergic transmission in the dorsal horn neurons and the effect of gabapentin on oxaliplatin-induced neuropathic pain in rats. Materials and Methods: Oxaliplatin (5 mg/kg) or saline was administered to adult male Sprague-Dawley rats.  Gabapentin (60 mg/kg, IP) or vehicle was injected daily. Mechanical allodynia was assessed us...

Background: Medical image interpolation is recently introduced as a helpful tool to obtain further information via initial available images taken by tomography systems. To do this, deformable image registration algorithms are mainly utilized to perform image interpolation using tomography images.Materials and Methods: In this work, 4DCT thoracic images of five real patients provided by DI...