this study was carried out in the winter of the year 2007 in a dairy herd at the vicinity of tehran (eslamshahr). measurements were performed on 18 holstein cows during first-lactation. five holstein dairy cattle were randomly selected and clinically studied, too. length of the claw’s dorsal flexure was measured with a ruler and also the hooves trimmed in the toe vertically for measuring of the...

BACKGROUND To report a placenta percreta in a 7-week gestational rudimentary noncommunicating uterine horn pregnancy. METHODS A 28-year-old woman with no complaints presented with a rudimentary uterine horn pregnancy at 7-weeks gestation. The diagnosis was suspected by ultrasonography and diagnosed by laparoscopy. Laparoscopic excision of the rudimentary uterine horn and ipsilateral salpingec...

Cutaneous horn is characterized by the accumulation of abnormal keratinized material and may occur in association with a variety of benign, premalignant, and malignant cutaneous lesions. Cutaneous horn occurs very rarely in association with soft-tissue neoplasias. A cutaneous horn located on the toe was completely removed by excision in a 78-year-old male patient. Macroscopic examination reveal...

A case of laparoscopic excision of non-communicating rudimentary horn. The anatomical features of this case were unique. A 19-year-old nulligravida presented with severe dysmenorrhea and primary infertility. Hysterosalpingogram revealed a left uterine horn that had a solitary patent tube. Magnetic resonance imaging showed a left unicornuate uterus continuous with the cervix and the vagina, and ...

In this paper we first define a reduction Æ that transforms an instance of Regular-SAT into a satisfiability equivalent instance Æ of SAT. The reduction Æ has interesting properties: (i) the size of Æ is linear in the size of , (ii) Æ transforms regular Horn formulas into Horn formulas, and (iii) Æ transforms regular 2-CNF formulas into 2-CNF formulas. Second, we describe a new satisfiability t...

Following the recent trend of studying the theory of belief revision under the Horn fragment of propositional logic this paper develops a fully characterised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourrón et al., 1985]. This Horn contraction extends the partial meet Horn contraction studied in [Delgrande and Wassermann, 2010] ...

A cutaneous horn is a uncommon and rare lesion. It is a conical projection of hyperkeratotic epidermis. Vary from a few milimeters to a several centimeters in length. The cutaneous horn is a clinical diagnosis and different histologic lesions have been documented at the base of the keratin mound. We presented a 77 years old female with a large "horn" of 3 years duration, arising from her forehe...

In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic systemL P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit latticevalued Horn generalized clause are given in L P(X). Then, the α-resolution o...

In two series of experiments, two D6 morulae were surgically transferred either to each uterine horn of recipient ewes or to the same horn. When embryos were transferred to each side, the percentages of lambs born were not significantly different (68 and 62.5% respectively) whether the corpora lutea of recipient ewes were on each ovary or on the same ovary (in this case, embryos were transferre...