Synthesis of a natural proline-rich cyclopolypeptide - rolloamide A [8] was carried out by coupling of tri- and tetrapeptide units Boc-Phe-Pro-Val-OMe and Boc-Pro-Leu-Pro-Ile-OMe after proper deprotection at carboxyl and amino terminals using carbodiimide chemistry in alkaline environment followed by cyclization of linear heptapeptide segment in the presence of base. The structure of synthesize...

large areas of iran are under the influence of wind erosion thus it is important that we recognize three zones ofremoval, transportation and deposition. the deposition zone is very important due to more damages and tangibleeffects. in this study we try to obtain a comprehensive idea to persian desert with use of laboratory facilities, remotesensing, gis and field surveying. we survey 28 ergs in...

the objective of this study was to evaluate the presence of perchloroethylene (pce) and trichloroethylene (tce) in dry cleaning shops in tehran, iran. pce and tce are two most prevalent solvents in dry-leaning shops. air and effluent samples were collected in october to december 2011 from 10 dry-cleaning shops. analyses were performed by head-space gas chromatography technique. gas chromatograp...

The chemistry of group-5 transition metals, namely vanadium, niobium, and tantalum supported by thiolate ligand framework, has been described. Special emphasis given to the electronic structural properties binuclear complexes metals exhibiting interesting coordination modes chelating ligands. mild thermolysis [(CH2S2)4B]Na5 with [Cp*VCl2]3 afforded divanadium trithiocarbonate complex, [(Cp*V)2(...

We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Ω-rule.

In many simulation applications, the target system may change its structure unpredictably. The simulation model should adjust in time, to follow the evolving of the target system. In this paper we put forward a new definition of system to accommodate the dynamic structural change, and classify the structural change of system, include change in components, relationships among components and inte...

Recommended by Brigitte Forster-Heinlein For λ > −1 and μ ≥ 0, we consider a liner operator I μ λ on the class A of analytic functions in the unit disk defined by the convolution f μ −1 * fz, where f μ 1 − μz 2 F 1 a, b, c; z μzz 2 F 1 a, b, c; z , and introduce a certain new subclass of A using this operator. Several interesting properties of these classes are obtained.

‎In the classical group theory there is‎ an open question‎: ‎Is every torsion free n-Engel group (for n ≥ 4)‎, nilpotent?‎. ‎To answer the question‎, ‎Traustason‎ [11] showed that with some additional conditions all‎ ‎4-Engel groups are locally nilpotent‎. ‎Here‎, ‎we gave some partial‎ answer to this question on Engel fuzzy subgroups‎. ‎We show that if μ is a normal 4-Engel fuzzy‎ subgroup of ...

In this paper, we give a simple proof of Mirzakhani's recursion formula of Weil-Petersson volumes of moduli spaces of curves using the Witten-Kontsevich theorem. We also briefly describe a very general recursive phenomenon in the intersection theory of moduli spaces of curves. In particular, we present several new recursion formulas for higher degree κ classes.