We study the Λμ-calculus, extended with explicit substitution, and define a compositional output-based translation into a variant of the π-calculus with pairing. We show that this translation preserves single-step explicit head reduction with respect to contextual equivalence. We use this result to show operational soundness for head reduction, adequacy, and operational completeness. Using a no...

A new species of primitive tuskless burrowing mayflies (Ephemeroptera: Palpotarsa: Behningiidae), Behningia baei, new species, is described from larvae taken in Thailand. The new species is differentiated from congeners primarily by its labial palps, labrum, and base of the mid legs. It is the first species of the genus Behningia, and only the second species of the family Behningiidae, to be ta...

Most of the inventory control models assume that quality defect never happens, which means production process is perfect. However, in real manufacturing processes, the production process starts its operation in the in-control state; but after a period of time, shifts to the out-of-control state because of occurrence of some disturbances. In this paper, in order to approach the model to real man...

Statistically constrained economic design for profiles usually refers to the selection of some parameters such as the sample size, sampling interval, smoothing constant, and control limit for minimizing the total implementation cost while the designed profiles demonstrate a proper statistical performance. In this paper, the Lorenzen-Vance function is first used to model the implementation...

Maternally transmitted reproductive parasites such as Wolbachia and Cardinium can drastically reshape reproduction in their hosts. Beyond skewing sex ratios towards females, these microbes can also cause cytoplasmic incompatibility. Wolbachia probably infects two thirds of insects, but far less is known about the occurrence or action of other bacteria with potentially similar effects. In contra...

In social networks, a role assignment is such that individuals play the same role, if they relate in way to other playing counterpart roles. As simple graph models network rises decision problem called r -Role Assignment whether it exists an of distinct roles vertices graph. This known be NP-complete for any fixed ? 2. The Cartesian product graphs one most studied operation on and has numerous ...

Extended Abstract In many situations, the quality of a process can be characterized by a single continuous random variable, which is usually assumed to follow a normal distribution. However, it is increasingly common for processes to be characterized by several, usually correlated, variables. (Kim and Reynolds 2005) Multivariate control charts are widely used to monitor industrial processes (Ma...