This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may violate the accepted (AGM) postulates. Conversely, in the obvious extension to the AGM approach, Horn revision fun...

OBJECTIVES Glial cell line-derived neurotrophic factor (GDNF) can effectively promote axonal regeneration, limit axonal retraction, and produce a statistically significant improvement in motor recovery after spinal cord injury (SCI). However, the role in primate animals with SCI is not fully cognized. MATERIALS AND METHODS 18 healthy juvenile rhesuses were divided randomly into six groups, ob...

A novel, potential and efficient microwave direct contact hyperthermia applicator referred to as water-loaded box-horn for therapeutic heating of bio-medium is designed and developed at 915 and 2450 MHz. Also, theoretical expressions for fields in bio-medium as produced by a direct contact box-horn applicator have been derived using plane wave spectral technique. The box-horn is a special type ...

BACKGROUND The location of the temporal horn is important to neurosurgeons during procedures such as amygdalohippocampectomy and intraventricular electrode placement for temporal lobe seizure monitoring. However, sometimes the temporal horn is difficult to localize, especially without neuronavigation. The authors aimed to better localize this structure using superficial anatomic landmarks. ME...

The temporal and spatial expression pattern of Fos protein in spinal dorsal horn neurons was examined by immunohistochemistry in rats with chronic constriction injury (CCI) to the sciatic nerve. In normal animals, a few Fos-immunoreactive (-IR) neurons were detected in the dorsal horn of the lumbar spinal cord. Following induction of CCI, a very large number of Fos-IR neurons appeared in the sp...

Partially defined Boolean functions (pdBf) , where are disjoint sets of true and false vectors, generalize total Boolean functions by allowing that the function values on some input vectors are unknown. The main issue with pdBfs is the extension problem, which is deciding, given a pdBf, whether it is interpolated by a function from a given class of total Boolean functions, and computing a formu...

The ultrastructure of the serotonin (5HT) system in the spinal cord of rats was studied by an immunohistochemical peroxidase-antiperoxidase (PAP) method. Under the light microscope, 5HT immunoreactive staining was observed as brown-colored dots in the anterior horn, lateral horn, posterior horn and pericentral canal region. These positively staining dots were probably indicative of 5HT immunore...

Unicornuate uterus with noncommunicating rudimentary horn occurs due to incomplete fusion of mullerian ducts. Pregnancy in this horn is a rare phenomenon usually resulting in rupture during second trimester of pregnancy. Prerupture diagnosis of pregnancy in rudimentary horn with ultrasonography is technically difficult, with sensitivity of 30%. We report a case of ruptured non-communicating rud...

In this paper, quantified Horn formulas with free variables (QHORN∗) are investigated. The main result is that any quantified Horn formula Φ of length |Φ| with free variables, |∀| universal quantifiers and an arbitrary number of existential quantifiers can be transformed into an equivalent formula of length O(|∀| · |Φ|) which contains only existential quantifiers. Moreover, it is shown that qua...