We study the problem of determining the frequency of quality control inspections in a tortilla and bread & bakery manufacturer producing pizzas. We first perform statistical analysis of failure data obtained from a real automated pizza production line. Based on this data, we develop a simple model of a quality inspector who visits several such lines and his goal is to allocate the number of his...

This paper explores the benefits and limitations of using a inspector/executor approach for Software Distributed Shared Memory (SDSM) systems. The role of the inspector is to obtain a description of the address space accessed during the execution of parallel loops. The information collected by the inspector will enable the runtime to optimize the movement of shared data that will happen during ...

JPL has developed a small (<5 kg) spacecraft capable of visual inspection of a host vehicle with support from NASA’s Exploration Systems Mission Directorate (ESMD). The Micro-Inspector is designed to have a minimal impact on the host with respect to mass, size, cost, interface, and integration. On orbit, the host provides the separation signal to the Micro-Inspector, ejecting it to autonomously...

The key idea behind Inspector Joins is that during the I/O partitioning phase of a hash-based join, we have the opportunity to look at the actual data itself and then use this knowledge in two ways: (1) to create specialized indexes, specific to the given query on the given data, for optimizing the CPU cache performance of the subsequent join phase of the algorithm, and (2) to decide which join...

SUMMARY Pathway Inspector is an easy-to-use web application helping researchers to find patterns of expression in complex RNAseq experiments. The tool combines two standard approaches for RNAseq analysis: the identification of differentially expressed genes and a topology-based analysis of enriched pathways. Pathway Inspector is equipped with ad hoc interactive graphical interfaces simplifying ...

This paper deals with an inspection game between a single inspector and several independent (potential) violators over a finite-time horizon. In each period, the inspector gets a renewable inspection resource, which cannot be saved and used in future periods. The inspector allocates it to inspect the (potential) violators. Each violator decides in each period whether to violate or not, and inwh...

Inspection problems arise when an inspector has to decide whether an inspectee has behaved legally, i.e., according to a formal agreement. For such a decision the inspector uses a well-defined procedure which is based on observations of random variables and which may or may not be announced to the inspectee. Whereas in the latter case (no announcement) in equilibrium the inspectee will behave i...