We reduce the problem of proving the convergence of a randomized self-stabilizing algorithm under k-bounded policies to the convergence of the same algorithm under a specific policy. As a consequence, all k-bounded schedules are equivalent : a given algorithm is self-stabilizing under one of them if and only if it is self-stabilizing under any of them.

This paper deals with quadratic stabilization of discrete-time multiple-input (MI) systems by means of quantized static feedback. We consider the minimization of quantization density, which is still an open problem for MI systems. Our first contribution in this regard is to partially derive the structure that a quantizer that minimizes density for a MI system should have. The second and main co...

The old idea of segmented macroeconomics of the financial sector competing with the real economy is replaced by a new model, which manifests strong interaction, integration and co-evolution by circular causation relations between the monetary sector and the real economy with the bridging function of finance and financial instruments. The Money, Finance, Spending and Real Economy (MFSRE) model e...

Objective: Thoracic trauma may be a life-threatening condition. Flail chest is a severe chest injury with high mortality rates. Surgery is not frequently performed and, in Literature, data are controversial. The authors report their experience in the treatment of flail chest by an extracortical internal-external stabilization technique with Kirshner’s wires (K-wires). <...

a number of countries, including Australia, over the past decade. The adoption of a framework that focuses explicitly on inflation reflects the growing realization that the major contribution that monetary policy can make to economic growth and welfare in the long run is the maintenance of a low and stable inflation rate. Empirical evidence confirms the detrimental effects of higher inflation o...

Steel slag has become a promising supplementary cementitious material for soft soil stabilization. However, there is lack of research on the integrated assessment cement–steel-slag-stabilized soils (SCSs) from performance, environmental, and economic perspectives. In this study, an ontology framework sustainable evaluation SCSs was developed based life cycle (LCA) approach, which combined knowl...

conclusions the trunk stabilization exercises are more effective than conventional back care exercises in the rehabilitation of patients with chronic lbp. results the results of the study demonstrated significant improvements in abdominal muscle endurance and reduction in vas and modq score of both groups (p = 0.001). the trunk stabilization exercise group showed greater gains in abdominal musc...

We show that, contrary to common belief, Dijkstra’s K-state mutual exclusion algorithm on a ring also stabilizes when the number K of states per process is one less than the number N + 1 of processes in the ring. We formalize the algorithm and verify the proof in PVS, based on Qadeer and Shankar’s work. We show that K = N is sharp by giving a counter-example for K = N − 1. ACM CCS