the metamorphic complexes of south iran (namely sirdjan, hadji-abad and dolat-abad) are conspicuously related to two different cycles of orogeny and metamorphism . these two cycles are distinctly separate and have been mapped as such throughout the hadji - abad area . the older phase is definitely pre-cambrin, whereas the younger is considered to be early - kimmerian .

during a faunistic survey on mites associated with fruit trees in birjand region (south khorasan province) in 2010, specimens of two injurious mites were collected. using literature, specimens were identified and confirmed by dr. o. seeman (australia). as a result, two species, namely schizotetranychus sayedi attiah, 1967 collected from fig, almond, grape, apple and apricot in fodaj, alghorat, ...

In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0  1)  (0  1)  1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We als...

Introduction cute large intestinal obstruction is one of the commonest cause of acute abdomen and abdominal emergencies that is encountered in surgical practice. Conventionally we prefer multistage defunctioning colostomy and resection. This conventional procedure is socially embarrassing, not comfortable for the patient, increase duration of hospital stay and working hour loss. This required a...

In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http: //www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an ...