This paper presents two additional strategies to reduce simulation time for Bayesian based stopping rules in VHDL model verification. The first is that a semi-random variable is defined and the data staying in the semi-random variable range are skipped when stopping rule is running, and a turning point that can partition a random variable into a semi-random and a genuine random variable is chos...

The optimal stopping problem of maximizing the probability of stopping on the last success of a finite sequence of independent Bernoulli trials has been studied by Hill and Krengel (1992), Hsiau and Yang (2000) and Bruss (2000). The optimal stopping rule of Bruss stops when the sum of the odds of future successes is less than one. This Sum-the-Odds Theorem is extended in several ways. First, an...

We consider the minimax quickest detection problem of an unobservable time of change in the rate of an inhomogeneous Poisson process. We seek a stopping rule that minimizes the robust Lorden criterion, formulated in terms of the number of events until detection, both for the worst-case delay and the false alarm constraint. In the Wiener case, such a problem has been solved using the so-called c...

Rapidly stopping action engages a network in the brain including the right presupplementary motor area (preSMA), the right inferior frontal gyrus, and the basal ganglia. Yet the functional role of these different regions within the overall network still remains unclear. Here we focused on the role of the right preSMA in behavioral stopping. We hypothesized that the underlying neurocognitive fun...

Mounting evidence that long asbestos fibers (e.g. >20 or even 40 μm) pose the greatest cancer risk underscores the need for accurate measurement of concentrations of such fibers. These fiber lengths are of the same order of magnitude as the size of openings in the grids (typically ≈90 μm per side) used to analyze asbestos samples by transmission electron microscopy. This means that a substantia...