background and objective: improved and modified automation will require the development of smart process control systems that provide on-line decisions to release patients’ test results based on high analytical quality assurance formula. materials and methods: we collected patients’ test results from 10840 healthy subjects based on 1.96z as truncation limit for 29 common haematochemical analyte...

Abstract: At least three different uses of ontologies have been recognized: as taxonomies, for conceptual schema validation, and as knowledge-intensive specification that can be used as part of an application. Geerts and McCarthy (2001) describe the operational use of the Resource-Event-Agent (REA) enterprise ontology and they discuss the limitations of existing technology that limits its wides...

Thin layer chromatography (TLC) stained with hot acidic p-anisaldehyde, is an interesting, fast, and low-cost technique to monitor main lipid contaminants such as triacylglycerols, diacylglycerols, and monoacylglycerols in biodiesel. These acylglycerols are detectable by the proposed planar chromatographic method, provided the content of the contaminants exceeds the limits recommended by the in...

Sensory and motor noise limits the precision with which we can sense the world and act upon it. Recent research has begun to reveal computational principles by which the central nervous system reduces the sensory uncertainty and movement variability arising from this internal noise. Here we review the role of optimal estimation and sensory filtering in extracting the sensory information require...

Graphical notations such as UML are very popular thanks to their simplicity and their intuitive aspect. Nevertheless their lack of precise semantics limits the possibility of the specification validation. So we propose here to translate some of the UML models into Z and Lustre formal specifications in order to use a theorem prover and a test generator to validate the models. This approach is pr...

In this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate w...

Web-based product configurators are enablers of the concept of mass customization, as they allow customers to transform their perceptions regarding a desired product into a precise product specification. The customer chooses option values within set limits that best match his configuration goal. In this paper we present an approach to extend the traditional product configuration process with a ...

Sensory and motor noise limits the precision with which we can sense the world and act upon it. Recent research has begun to reveal computational principles by which the central nervous system reduces the sensory uncertainty and movement variability arising from this internal noise. Here we review the role of optimal estimation and sensory filtering in extracting the sensory information require...

The fraction nonconforming is a key quality measure used in statistical quality control design in clinical laboratory medicine. The confidence bounds of normal populations of measurements for the fraction nonconforming each of the lower and upper quality specification limits when both the random and the systematic error are unknown can be calculated using the noncentral t-distribution, as it is...

Abstract Transparency has been proposed as a way of handling value-ladenness in machine learning (ML). This article highlights limits to this strategy. I distinguish three kinds transparency: epistemic transparency, retrospective value and prospective transparency. corresponds different approaches transparency ML, including so-called explainable artificial intelligence governance based on discl...