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 .

The analysis of hyperspectral images is an important task in Remote Sensing. Foregoing radiometric calibration results in the assignment of incident electromagnetic radiation to digital numbers and reduces the striping caused by slightly different responses of the pixel detectors. However, due to uncertainties in the calibration some striping remains. This publication presents a new reduction f...

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 soil is one of the most valuable national resources that can be wasted by erosion phenomenon. therefore, prevention of soil erosion is universally considered. erosion is a process by which soil particles are separated from their original context and can be moved to another location. rill erosion is a kind of water erosion in which detachment and movement of soil particles can be af...

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 ...