The order of stages in a multistage game is often interpreted by looking at earlier stages as involving more long term decisions. For the purpose of making this interpretation precise, the notion of a delay supergame of a bounded multistage game is introduced. A multistage game is bounded if the length of play has an upper bound. A delay supergame is played over many periods. Decisions on all s...

Trace analysis plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Recent research efforts bring empirical evidence that execution traces are frequently comprised of many meaningful trace slices merged together, each slice corresponding to instances of relevant parameters. For example, a Java program creating...

We demonstrate theoretically and experimentally compensation for positive Kerr phase shifts with negative phases generated by cascade quadratic processes. Experiments show correction of small-scale self-focusing and whole-beam self-focusing in the spatial domain and self-phase modulation in the temporal domain.

Statistical process control methods for monitoring processes with univariate ormultivariate measurements are used widely when the quality variables fit to known probabilitydistributions. Some processes, however, are better characterized by a profile or a function of qualityvariables. For each profile, it is assumed that a collection of data on the response variable along withthe values of the c...

We consider changepoint detection in a process in which the observed points are profiles: large sets of functionally related points (x, y). Few changepoint detection methods have been proposed that don’t rely in some capacity on the assumption that the observational errors are normally distributed. In this paper, a nonparametric distribution-free wavelet method is proposed for monitoring for ch...

Managing any sort of processes is often a difficult task that requires a lot of responsibility most of the time. Due to the growing complexity of existing systems (from local all the way up to global), ordinary regulation procedures that should “maintain” the systems within normal parameters are having more and more difficulties when meeting new demands. This is applicable in all areas of human...