We study the π-calculus, enriched with pairing, and define a notion of type assignment that uses the type constructor →. We encode the terms of the calculus X into this variant of π, and show that all reduction (cut -elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen’s calculu LK, this implies that all proofs in LK have a representation in π...

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

As manufacturing quality has become a decisive factor in global market competition, statistical quality techniques such as Statistical Process Control (SPC) are widely used in industry. With advances in information, sensing, and data collection technology, large volumes of data are routinely available in processes employing Automatic Process Control (APC) and Engineering Process Control (EPC). ...

We are facing the exhaustion of newly assignable IPv4 addresses. Unfortunately, IPv6 is not yet deployed widely enough to fully replace IPv4, and it is unrealistic to expect that this is going to change before we run out of IPv4 addresses. Letting hosts seamlessly communicate in an IPv4world without assigning a unique globally routable IPv4 address to each of them is a challenging problem, for ...

The Snyderphonics Manta controller is a USB touch controller for music and video. It features 48 capacitive touch sensors, arranged in a hexagonal grid, with bi-color LEDs that are programmable from the computer. The sensors send continuous data proportional to surface area touched, and a velocitydetection algorithm has been implemented to estimate attack velocity based on this touch data. In a...

The structures of tyropeptins A and B, new proteasome inhibitors produced by Kitasatospora sp. MK993-dF2, were determined by analysis of various NMR experiments. The 1H and 13C NMR of tyropeptins were complicated due to the presence of an aldehyde group. Therefore, tyropeptins were converted to their alcohols by sodium borohydride. These alcohol derivatives gave assignable NMR spectra. The ster...

We report the kinetic analysis of free radicals on fungal spores of Penicillium digitatum interacted with atomic oxygen generated plasma electric discharge using real time in situ electron spin resonance (ESR) measurements. We have obtained information that the ESR signal from the spores was observed and preliminarily assignable to semiquinone radical with a g-value of around 2.004 and a line w...

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

Sometimes the quality of a process or product is described by a functional relationship between a response variable and one or more explanatory variables referred to as profile. In most researches in this area the response variable is assumed to be normally distributed; however, occasionally in certain applications, the normality assumption is violated. In these cases the Generalized Linear Mod...

Important vertebrate fossil remains were collected in the Pohang Basin South Korea for many decades, but only few have been described up to now. Here, three deep-sea shark teeth are described, which most likely derived from Duho Formation (middle Miocene) near City, Korea. One of is identified as belonging genus Mitsukurina, while others assignable Dalatias. None these taxa previously reported ...