We illustrate in this paper a compositional and stepwise method for designing programs that o er a potentially unique tolerance to each of their fault-classes. More speci cally, our illustration is a design of a repetitive agreement program that o ers two tolerances: (a) it masks the e ects of Byzantine failures and (b) it is stabilizing in the presence of transient and Byzantine failures.

It is common in econometric applications that several hypothesis tests are carried out at the same time. The problem then becomes how to decide which hypotheses to reject, accounting for the multitude of tests. This paper suggests a stepwise multiple testing procedure which asymptotically controls the familywise error rate at a desired level. Compared to related singlestep methods, the procedur...

Abstract: This paper investigates the problem of global finite-time stabilization by state feedback for a class of stochastic nonlinear systems with low-order nonlinearities, to which the existing control methods are inapplicable. By skillfully adopting the method of adding a power integrator and constructing twice continuous differential Lyapunov functions, a stepwise constructive continuous s...

We consider approximations of a smooth convex body by inscribed and circumscribed convex polytopes as the number of vertices, resp. facets tends to innnity. The measure of deviation used is the diierence of the mean width of the convex body and the approximating polytopes. The following results are obtained. (i) An asymptotic formula for best approximation. (ii) Upper and lower estimates for st...

The eYcacy of individual components of an online course on positive course outcome was examined via stepwise multiple regression analysis. Outcome was measured as the student’s total score on all exams given during the course. The predictors were page hits, discussion posts, and discussion reads. The vast majority of the variance of outcome was accounted for by total page hits. Participation in...

Inflation risk is of high relevance in non-life insurers’ long-tail business and can have a major impact on claims reserving. In this paper, we empirically study claims inflation with focus on automobile liability insurance based on a data set provided by a large German non-life insurance company. The aim is to obtain empirical insight regarding the drivers of claims inflation risk and its impa...

We illustrate how a comparatively new technique, a Tabu search variable selection model [Drezner, Marcoulides and Salhi (1999)], can be applied efficiently within finance when the researcher must select a subset of variables from among the whole set of explanatory variables under consideration. Several types of problems in finance, including corporate and personal bankruptcy prediction, mortgag...

This study identifies and assesses the controls on hydraulic erosion of cohesive riverbanks on a 600-m reach of an urban ephemeral stream with active bank erosion. We examined hydraulic bank erosion by separating estimated bank shear stress into four properties: magnitude, duration, event peak, and variability. The values of these independent variables were used as a bank erosion context at thr...

Fast Parallel Kriging-Based Stepwise Uncertainty Reduction With Application to the Identification of an Excursion Set Clément Chevalier, David Ginsbourger, Julien Bect, Emmanuel Vazquez, Victor Picheny & Yann Richet a Institute of Mathematical Statistics and Actuarial Science University of Bern CH-3012 Bern, Switzerland (; ) b Department of Signal Processing & Electronic Systems Supelec, Gif-su...

To safely evolve a software product line, it is important to have a notion of product line refinement that assures behavior preservation of the original product line products. So in this article we present a language independent theory of product line refinement, establishing refinement properties that justify stepwise and compositional product line evolution.Moreover, we instantiate our theory...