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

Self-stabilizing algorithms are designed to guarantee convergence to some desired stable state from arbitrary initial states arising out of an arbitrarily large number of faults. However, in a well-designed system, the simultaneous occurrence of a large number of faults is rare. It is therefore desirable to design algorithms that are not only self-stabilizing, but also have the ability to recov...

The k-packing problem asks for a subset S of the nodes in a graph such that the distance between any pair of nodes in S is greater than k. This problem has applications to placing facilities in a network. In the current paper we present a self-stabilizing algorithm for computing a maximal k-packing in a general graph. Our algorithm uses a constant number of variables per node. This improves the...

In this paper, the problem of control and stabilization of a bilateral tele-surgery roboticsystem in interaction with an active soft tissue is considered. To the best of the authors’ knowledge, theprevious works did not consider a realistic model for a moving soft tissue like heart tissue in beating heartsurgery. Here, a new model is proposed to indicate significant characteristics of a moving ...

For electro-optical imaging systems, line-of-sight stabilization against different disturbances created by mobile platforms is crucial property. The development of high resolution sensors and the demand in increased operating distances have recently increased the expectations from stabilization loops. For that reason, higher gains and larger bandwidths become necessary. As the stabilization loo...

The transport and deposition properties of nanoparticles with a range of aerodynamic diameters ( 1 nm ≤ d ≤ 150 nm) were studied for the human airways. A finite element code was developed that solved both the Navier-Stokes and advection-diffusion equations monolithically. When modeling nanoparticle transport in the airways, the finite element method becomes unstable, and, in order resolve this ...

in this paper, stabilization conditions and controller design for a class of nonlinear systems are proposed. the proposed method is based on the nonlinear feedback, quadratic lyapunov function and heuristic slack matrices definition. these slack matrices in null products are derived using the properties of the system dynamics. based on the lyapunov stability theorem and sum of squares (sos) dec...