The termination of rewrite systems for parameter recursion, simple nested recursion and unnested multiple recursion is shown by using monotone interpretations both on the ordinals below the first primitive recursively closed ordinal and on the natural numbers. We show that the resulting derivation lengths are primitive recursive. As a corollary we obtain transparent and illuminating proofs of t...

the objective of this study was to assess the magnitude of the cutaneous leishmaniasis (cl) disease and identification of the causative agent by nested-pcr for current control strategy.this study was carried out as descriptive house-to-house visits in orzoieh district in kerman province, south-east iran, during 2011-2012. a questionnaire was completed for each individual consisting of demograph...

Nested Petri nets have been applied for modeling interaction protocols, mobility, adaptive systems and interorganizational workflows. However, few results have been reported on the use of automated tools for analyzing the behavior of these nets. In this paper we present a general translation from nested Petri nets into PROMELA and explain how some properties of these nets can be studied using S...

The control of a discrete event system is speciied in the CO-COLOG logic control system by use of an extra-logical representation of the control laws in terms of Conditional Control Rules (CCRs); these are condition-action pairs in which the conditions are mutually exclusive and exhaustive formulas in the language (L k) at the instant k, k 0. Such formulas are tested for deducibility from k , t...

background: the incidence of cutaneous leishmaniasis in the city of mehran has risen sharply in recent years because the city borders iraq, which has allowed entrance of different leishmania strains. these strains have different shapes, periods of disease, and healing of lesions. the present study identified and determined cutaneous leishmaniasis species in this region. methods : this cross-sec...

A PCR-based ‘molecular tool box’, based on a region of the ras-related protein gene Ypt 1, was developed for the identification of 15 Phytophthora species that damage forests and trees: P. cactorum , P. cambivora , P. cinnamomi , P. citricola , P. europaea , P. inundata , P. lateralis , P. megasperma , P. nemorosa , P. kernoviae , P. pseudosyringae , P. psychrophila , P. quercina , P. ramorum a...

The concept of need is embedded in economic systems. Since the concept originates in individual psychology, it is not well understood at the organizational level and other higher systemic levels. We address this gap by drawing on research on human needs, on organizations, and on value co-creation in nested human systems. We present a framework that summarizes essentials of well-being, behavior ...

background: zoonotic cutaneous leishmaniasis (zcl) due to leishmania major is increasing in many parts of iran. this disease originally is a disease found in gerbils. leishmania parasites are transmitted by sandflies that live and breed in gerbil burrows. nested pcr amplified leishmania its1-5.8s rrna gene in both main reservoir host “rhombomys opimus” and in the “phlebotomus papatasi” main vec...

Terminological ambiguity and inattention to personal and contextual multilevel systems undermine personality, self, and identity theories. Hierarchical and heterarchical systems theories are used to describe contents and processes existing within and across three interrelated multilevel systems: levels of organization, representation, and integration. Materially nested levels of organization ar...