We study the strict type assignment for λμ that is presented in [7]. We define a notion of approximants of λμ-terms, show that it generates a semantics, and that for each typeable term there is an approximant that has the same type. We show that this leads to a characterisation via assignable types for all terms that have a head normal form, and to one for all terms that have a normal form, as ...

‎let $g$ be a finite group and $nu(g)$ denote the number of conjugacy classes of non-normal subgroups of $g$‎. ‎in this paper‎, ‎all nilpotent groups $g$ with $nu(g)=3$ are classified‎.

abstract khuzestan province accommodates the largest oil-fields with huge petroleum production in iran. oil spills through transportations, oil pumping station and storage tanks are the cause of frequent contamination in land areas, including crop fields, imposing great damages to soil ecology. thus, oil removal from contaminated soil by advance technologies such as bioremediation seems to be o...

background and aim: auditory p300 is an event-related potential. cognitive factors like attention are involved in the generation of p300. it seems that normative variation of p300 is necessary for clinical purposes. thus, the current study was designed to establish preliminary normative variation of p300 amplitude and latency at fz and cz sites in adults. methods: this cross-sectional study was...

reference curves are useful tools to monitor children’s growth status and can promote growth velocity in infants. in this regard, various parametric and semi-parametric methods are frequently used in the last decades. in the present paper, nonparametric quintile regression method is used as a powerful and applicable methodology to estimate height curves and normal values of height-for-age in ch...

In this paper we survey several aspects related to normal forms of hyperedge replacement grammars. Considering context free hyperedge replacement grammars we introduce, inspired by string grammars, Chomsky Normal Form and Greibach Normal Form. The algorithm of conversion is quite the same with the algorithm for string grammars. The important difference is related to the fact that hyperedge gram...

The log-normal distribution is one of the most common distributions used for modeling skewed and positive data. In recent years, various methods for comparing the means of two independent log-normal distributions have been developed. In this paper a higher-order likelihoodbased method is proposed. The method is applied to two real-life examples and simulation studies are used compare the accura...

it seems that the general applicability of the quantum theory of atoms in molecules (qtaim) oncharacterizing the bonded interactions is still questionable even afier 30 years since its formulation. fordemonstrating the generality of bonding schemes in qta im, ea( isomers were chosen as the modelsystems and the results from molecular charge density analysis and vibrational normal modes werecompa...

enterococci are gram positive and catalase- negative cocci that are found in the gastrointestinal tract of mammals and birds, and are readily isolated from soil, surface and waters. the aim of this study was to discriminate between enterococcus isolates based on repetitive element sequence based –pcr (rep-pcr) with the boxa2r primer and their antibiotics profile. enterococci isolates were obtai...