Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is concerned with efficiency—of computing inferences, of knowledge acquisition, etc. Horn-to-Horn belief revision could be of interest, in particular, as a component of any efficient system requiring large commonsense know...

A new horn with high displacement amplification for ultrasonic welding is developed. The profile of the horn is a nonrational B-spline curve with an open uniform knot vector. The ultrasonic actuation of the horn exploits the first longitudinal displacement mode of the horn. The horn is designed by an optimization scheme and finite element analyses. Performances of the proposed horn have been ev...

Abortion in an attached rndimentary uterine horn, followed by a normal intrauterine pregnancy.  Pregnancy in an rudimentary uterus has been occured in many forms, and up to now about 350 cases have been reported in medical journals. Most of these malforma­tions accompanied with other malformations in urinary tract.  A case of pregnancy and abortion in an attached rudi­mentary uterine horn is ...

Resting cyst and motile thecate cell stages of three heterotrophic Protoperidinium oblongum, Protoperidinium sp < b> and Protoperidinium claudicans were assessed. Cysts were isolated from sediment collected from southeast coast of Iran. Individual live cysts were incubated under optimal conditions for germination. Results showed that Protoperidinium oblongum cysts were pentagonal smooth walled ...

An ultrasonic planar horn with a Bézier profile is developed. The first longitudinal displacement mode of the horn is exploited for high displacement amplification in order to reduce the penetration force required to enter and cut materials. The displacement amplification and stress distribution characteristics of the Bézier horn and the commonly used catenary horn are examined. The penetration...

There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are interdefinable as in the AGM case through the Levi and Harper identities. In this paper, we ...

Pharmacotherapy of neuropathic pain is still challenging. Our earlier work indicated an analgesic effect dimethyl trisulfide (DMTS), which was mediated by somatostatin released from nociceptor nerve endings acting on SST4 receptors. Somatostatin release occurred due to TRPA1 ion channel activation. In the present study, we investigated DMTS in evoked partial ligation sciatic mice. Expression mR...

Resting cyst and motile thecate cell stages of three heterotrophic Protoperidinium oblongum, Protoperidinium sp and Protoperidinium claudicans were assessed. Cysts were isolated from sediment collected from southeast coast of Iran. Individual live cysts were incubated under optimal conditions for germination. Results showed that Protoperidinium oblongum cysts were pentagonal smooth walled and t...