Shewhart, exponentially weighted moving average (EWMA), and cumulative sum (CUSUM) charts are famous statistical tools, to handle special causes and to bring the process back in statistical control. Shewhart charts are useful to detect large shifts, whereas EWMA and CUSUM are more sensitive for small to moderate shifts. In this study, we propose a new control chart, named mixed CUSUM-EWMA chart...

Control charts are used to determine whether or not a manufacturing or business process is in a state of statistical control. Various schemes of the standard (Shewhart) X chart for autocorrelated data at sample sizes of 2 and 3 are developed and compared with the schemes of the same chart for IID data at various process shifts in the process mean. It is clear from the comparison that the in-con...

During the last two decades, many new methods have appeared in statistical process monitoring with synthetic-type control charts being a prominent constituent. These became popular due to their simplicity and proclaimed excellent change point detection performance. Synthetic are nothing more than application of well-known long established runs rules. We show that better performance can be obtai...

Disease monitoring and surveillance play a crucial role in control and eradication programs, as it is important to track implemented strategies in order to reduce and/or eliminate a specific disease. The objectives of this study were to assess the performance of different statistical monitoring methods for endemic disease control program scenarios, and to explore what impact of variation (noise...

We show that the standard normalization-by-evaluation construction for the simply-typed λβη-calculus has a natural counterpart for the untyped λβ-calculus, with the central type-indexed logical relation replaced by a “recursively defined” invariant relation, in the style of Pitts. In fact, the construction can be seen as generalizing a computationaladequacy argument for an untyped, call-by-name...