We investigate computational models with stabilizing properties. Such models include e.g. the partially synchronous model [Dwork et al. 1988], where after some unknown global stabilization time the system complies to bounds on computing speeds and message delays, or the asynchronous model augmented with unreliable failure detectors [Chandra et al. 1996], where after some unknown global stabiliz...

Two separate bodies of literature on stabilization give radically different results, yet these contradictions do not appear to have attracted any attention until now. The first arises from the neoclassical theory of stabilization and predicts that beneficial stabilization will always attract positive supply response. The second arises from the work of Newbery and Stiglitz and predicts 'perverse...

A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explicit exception handler of backward recovery. Mutual exclusion is fundamental in the area of distributed computing, by serializing the accesses to a common shared resource. All existing probabilistic self-stabilizing mutual...

In this paper we present a self-stabilizing algorithm for the intruder problem. The problem can be formulated as follows: an enemy unit, or intruder, is trying to sneak through a field patrolled by an arbitrary number of friendly autonomous (i.e. robotic) units. These units must reach the intruder and block it by surrounding it. Our solution to this problem, provided as an algorithm for the aut...

In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the clock synchronization by intercepting messages, replaying intercepted messages (after the adversary’s choice of delay), and capturing nodes (i.e., revealing their secret keys and impersonating them). We present the first self-stabili...

This paper presents the first deterministic selfstabilizing network orientation algorithms. We present three protocols for arbitrary and asynchronous networks. All the protocols set up a chordal sense of direction in the network. The protocols are self-stabilizing, meaning that starting from an arbitrary state, the protocols are guaranteed to reach a state, in which all edge labels (assigned to...

We study the supergravity hybrid inflation model of Ref. [1] in the presence of a modulus field. The η-problem is solved by a shift symmetry for the inflaton, which protects the inflaton mass even in the presence of the modulus field. Inflation is (nearly) unaffected by moduli stabilization, provided the scale of supersymmetry breaking in the post-inflation vacuum is small. Therefore the model ...

We estimate the impacts of various types of government payments to U.S. agriculture on different components of farm household consumption. Using 2003 to 2005 data from the Agricultural Resource Management Survey (ARMS), we show that marginal rates of consumption differ by consumption category and income source, including different types of farm program payments. The results suggest that farm ho...

when the orbital altitude of a small satellite is near-earth, passive stabilization can be considered. the purpose of this paper is to combine the passive gravity gradient and aerodynamic stabilization methods together so that all the three axes stabilizations can be obtained. in this regard, the set of nonlinear equations of motion will be solved numerically with specified initial condition. t...