This paper addresses resource reclaiming in the con text of non preemptive priority list scheduling for hard real time systems Such scheduling is inherently suscep tible to multiprocessor timing anomalies We present low overhead run time stabilization methods for a gen eral tasking model that allows phantom tasks as a mech anism to model processor external events A family of scheduling algorith...

In this paper, a self-stabilizing algorithm is presented for finding biconnected components of a connected undirected graph on a distributed or network model of computation. The algorithm is resilient to transient faults, therefore, it does not require initialization. The proposed algorithm is based on stabilizing BFS construction and bridge-finding algorithms. Upon termination of these algorit...

A recovery orientation during brief psychiatric hospitalization focuses on improving adjustment and functioning and reducing future psychiatric crises and hospitalizations. Crisis rehabilitative skills training imparts knowledge, understanding, and abilities during a critical period of restabilization. After describing a rehabilitation oriented skills training program that occurs during brief i...

Two integrator backstepping designs are presented for digitally controlled continuous-time plants in special form. The controller designs are based on the Euler approximate discrete-time model of the plant and the obtained control algorithms are novel. The two control laws yield, respectively, semiglobal-practical stabilization and global asymptotic stabilization of the Euler model. Both design...

The paper discusses the causes of failure of inflation stabilization plans. Following a description of stylized facts of inflation stabilization, a model of Balance of Payments crises is presented, highlighting some of the main factors leading to the collapse of stabilizations. Empirical results obtained when estimating a binary probit model over a panel of 34 stabilizations identify real excha...

We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the upper boundary of the domain occupied by the fluid. Due to the deformation of the beam the fluid domain depends on time. We prove that this system is exponentially stabilizable, locally about the null solution, with an...

In this note we discuss dynamical mechanisms for brane stabilization in the brane world context. In particular, we consider supersymmetry preserving brane stabilization, and also brane stabilization accompanied by supersymmetry breaking. These mechanisms are realized in some four dimensional N = 1 supersymmetric orientifold models. For illustrative purposes we consider two explicit orientifold ...

This paper considers the quadratic stabilization problem of multi-input planar switched systems. Based on some basic lemmas, some uniformly quadratic stabilization criteria are established. Furthermore, an example is given to illustrate our results in this

We determined the added enthalpic and entropic contributions of protective osmolytes to the folding of a model peptide into its native beta-hairpin state. In contrast to entropically driven steric "crowding", this study shows that sugars and polyols can act as protective osmolytes by primarily diminishing the unfavourable enthalpic contribution to folding.

We review the mechanism of gaugino condensation in the framework of the d = 10 heterotic string and its d = 11 extension of Horava and Witten. In particular we emphasize the relation between the gaugino condensate and the flux of the antisymmetric tensor fields of higher dimensional supergravity. Its potential role for supersymmetry breakdown and moduli stabilization is investigated.