This paper proposes a Bayesian method to set tolerance or specification limits on one or more responses and obtain optimal values for a set of controllable factors. The existence of such controllable factors (or parameters) that can be manipulated by the process engineer and that affect the responses is assumed. The dependence between the controllable factors and the responses is assumed to be ...

In 1996, Pulak and Al-Sultan presented a rectifying inspection plan for determining the optimum process mean. However, they did not consider the quality cost for the product within the specification limits and did not point out whether the non-conforming items in the sample of accepted lot is replaced or eliminated from the lot. In this paper, we propose a modified Pulak and Al-Sultan’s model w...

AIM To examine the current status of standardization of endodontic irrigation needles produced by different manufacturers. METHODOLOGY Measurements of needle internal and external diameter were conducted under scanning electron microscopy and stereoscopic microscopy to determine the incidence and degree of deviation from ISO 9,626:1991 and ISO 9,626:1991/Amd 1:2001 specification. RESULTS No...

The Object Management Group (OMG) extends standard CORBA specification to handle fault tolerance mechanisms. This extension led to the definition of a new standard: FT-CORBA, which introduces new concepts like IOGR (Interoperable Object Group Reference), and offers new programmable interfaces. The introduction of the IOGR limits the interactions with the legacy applications. Moreover, the defin...

We give a precise characterization for when the models of the tensor product of sketches are structurally isomorphic to the models of either sketch in the models of the other. For each base category K call the just mentioned property (sketch) K-multilinearity. Say that two sketches are K-compatible with respect to base category K just in case in each K-model, the limits for each limit specifica...

The two-level logic approach (2LL) to reasoning about computational specifications, as implemented by the Abella theorem prover, represents derivations of a specification language as an inductive definition in a reasoning logic. This approach has traditionally been formulated with the specification and reasoning logics having the same type system, and only the formulas being translated. However...

Computing systems have undergone several inflexion points - while Moore's law guided the semiconductor industry to cram more and transistors logic into same volume, limits of instruction-level parallelism (ILP) end Dennard's scaling drove towards multi-core chips. We now entered era domain-specific architectures for new workloads like AI ML. These trends continue, arguably with other limits, al...

This paper provides within-group estimators for fixed effects quantile models. We apply the quantile coupling transformation to well approximate fixed effects quantile models by fixed effects Gaussian models. Our estimators enjoy three advantages: (1) fixed effects are eliminated by within-group estimators, so that ours is computationally fast without involving the increasing Hessian matrix wit...

Purpose: The present study was set out to investigate the effect of test repetition within biological variation perspective by addressing reanalyzing an individual sample on total variation. This also demonstrated what extent a laboratory result reflects homeostatic set-point. Methods: values were determined for different coefficients analytical (CVA) corresponding optimum (CVA = 0.25 x CVI), d...