The characteristic of software processes, unlike manufacturing ones, is that they have a very high human-centered component and are primarily based on cognitive activities. As so, each time a software process is executed, inputs and outputs may vary, as well as the process performances. This phenomena is better identified in literature with the terminology of “Process Diversity” (IEEE, 2000). G...

Analysis of the restriction endonuclease Hpa 1-beta globin gene linkage has been performed in a predominantly Arab population of North Africa possessing the sickle (beta A) gene is found associated with a 7.6 kilobase) or 7.0 kb Hpa 1 fragment (54/54 assignable beta A genes), whereas the beta S gene is found associated with a 13 kb Hpa 1 fragment (42/42 assignable beta S genes). The results dem...

Control charts are the most popular monitoring tools used to distinguish between special (assignable) and common causes of variation and to detect any changes in processes. The time that a control chart gives an out of control signal is not the real time of change. The actual time of the change is called the change point. Knowing the real time of the change will help and simplify finding the as...

Abstract We consider a version of the pole placement problem for tempered one-sided linear discrete-time time-varying systems. prove sufficient condition assignability nonuniform dichotomy spectrum by feedback. The main result is that assignable if system completely controllable and certain lower asymptotic bound controllability Gramian holds.

This article presents an educational exercise in which statistical process control charts are constructed and used to identify the Steroids Era in American professional baseball. During this period (roughly 1993 until the present), numerous baseball players were alleged or proven to have used banned, performance-enhancing drugs. Also observed during this period was an increase in offensive perf...

Abstract It is essential for manufacturers to consider the interrelation among quality, inventory, and maintenance decisions detect imperfect quality products, keep production system in good operating condition, manage inventory costs. Hence, this paper aims develop an integrated model of planning, engineering, scheduling which expected total cost per time unit minimised by determining sample s...

Locating the assignable causes by use of the abnormal patterns of control chart is a widely used technology for manufacturing quality control. If there are uncertainties about the occurrence degree of abnormal patterns, the diagnosis process is impossible to be carried out. Considering four common abnormal control chart patterns, this paper proposed a characteristic numbers based recognition me...

Using a novel approach, we define a compositional output -based encoding of the λ-calculus with explicit substitution into a variant of the π-calculus with pairing, and show that this encoding preserves full β-reduction (i.e. not just lazy) as well as assignable types. Furthermore, we apply this new approach to the context of sequent calculi (which embody both parameter and context call) by def...

Morphological studies and phylogenetic analyses of DNA sequences from the internal transcribed spacer (ITS) regions of the nuclear ribosomal gene repeat, a partial sequence of RNA polymerase II subunit (rpb2), and a partial sequence of the large exon of tef1 (LEtef1) were used to investigate the taxonomy and systematics of nine Hypocrea species with anamorphs assignable to Trichoderma sect. Hyp...