Navigating personal and relational concerns: the quest for equilibrium

The authors' personal-relational equilibrium model suggests that people come to seek equilibrium in their dedication to personal and relational concerns in that these 2 important needs cannot always be gratified simultaneously. The authors proposed that the experience of personal-relational disequilibrium motivates attempts to restore equilibrium and that achieving equilibrium promotes life satisfaction. Four studies revealed good support for the model. In Study 1, a manipulation of anticipated future disequilibrium (vs. equilibrium) as a result of overdedication to either the personal or relational domain caused reduced motivation to address concerns in that domain and increased motivation toward the complementary domain. In Study 2, narratives describing disequilibrium experiences (vs. equilibrium experiences) exhibited increased motivation to restore equilibrium and reduced life satisfaction. In Study 3, diary reports of everyday disequilibrium were associated with increased same-day motivation to restore equilibrium, reduced same-day life satisfaction, and increased next-day dedication of effort to the complementary domain. In Study 4, experiences of disequilibrium predicted reduced well-being 6 months later. Collectively, these findings extend knowledge of how people regulate themselves toward equilibrium in pursuing 2 fundamental human concerns

Estimation of stratospheric input to the Arctic troposphere: 7Be and 10Be in aerosols at Alert, Canada

Concentrations of 7Be and 210Pb in 2 years of weekly high-volume aerosol samples collected at Alert, Northwest Territories, Canada, showed pronounced seasonal variations. We observed a broad winter peak in 210Pb concentration and a spring peak in 7Be. These peaks were similar in magnitude and duration to previously reported results for a number of stations in the Arctic Basin. Beryllium 10 concentrations (determined only during the first year of this study) were well correlated with those of 7Be; the atom ratio 10Be/7Be was nearly constant at 2.2 throughout the year. This relatively high value of 10Be/7Be indicates that the stratosphere must constitute an important source of both Be isotopes in the Arctic troposphere throughout the year. A simple mixing model based on the small seasonal variations of 10Be/7Be indicates an approximately twofold increase of stratospheric influence in the free troposphere in late summer. The spring maxima in concentrations of both Be isotopes at the surface apparently reflect vertical mixing in rather than stratospheric injections into the troposphere. We have merged the results of the Be-based mixing model with weekly O3 soundings to assess Arctic stratospheric impact on the surface O3 budget at Alert. The resulting estimates indicate that stratospheric inputs can account for a maximum of 10-15% of the 03 at the surface in spring and for less during the rest of the year. These estimates are most uncertain during the winter. The combination of Be isotopic measurements and O3 vertical profiles could allow quantification of the contributions of O3 from the Arctic stratosphere and lower latitude regions to the O3 budget in the Arctic troposphere. Although at present the lack of a quantitative understanding of the temporal variation of O3 lifetime in the Arctic troposphere precludes making definitive calculations, qualitative examples of the power of this approach are given

Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure

"The part of me that you bring out": Ideal similarity and the Michelangelo phenomenon

This work examines the Michelangelo phenomenon, an interpersonal model of the means by which people move closer to (vs. further from) their ideal selves. The authors propose that partner similarity--similarity to the ideal self, in particular--plays an important role in this process. Across 4 studies employing diverse designs and measurement techniques, they observed consistent evidence that when partners possess key elements of one another's ideal selves, each person affirms the other by eliciting important aspects of the other's ideals, each person moves closer to his or her ideal self, and couple well-being is enhanced. Partner similarity to the actual self also accounts for unique variance in key elements of this model. The associations of ideal similarity and actual similarity with couple well-being are fully attributable to the Michelangelo process, to partner affirmation and target movement toward the ideal self. The authors also performed auxiliary analyses to rule out several alternative interpretations of these findings

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Minimal size of a barchan dune

Barchans are dunes of high mobility which have a crescent shape and propagate under conditions of unidirectional wind. However, sand dunes only appear above a critical size, which scales with the saturation distance of the sand flux [P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002); B. Andreotti, P. Claudin, and S. Douady, Eur. Phys. J. B {\bf{28,}} 321 (2002); G. Sauermann, K. Kroy, and H. J. Herrmann, Phys. Rev. E {\bf{64,}} 31305 (2001)]. It has been suggested by P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002) that this flux fetch distance is itself constant. Indeed, this could not explain the proto size of barchan dunes, which often occur in coastal areas of high litoral drift, and the scale of dunes on Mars. In the present work, we show from three dimensional calculations of sand transport that the size and the shape of the minimal barchan dune depend on the wind friction speed and the sand flux on the area between dunes in a field. Our results explain the common appearance of barchans a few tens of centimeter high which are observed along coasts. Furthermore, we find that the rate at which grains enter saltation on Mars is one order of magnitude higher than on Earth, and is relevant to correctly obtain the minimal dune size on Mars.Comment: 11 pages, 10 figure

A New Algebraization of the Lame Equation

We develop a new way of writing the Lame Hamiltonian in Lie-algebraic form. This yields, in a natural way, an explicit formula for both the Lame polynomials and the classical non-meromorphic Lame functions in terms of Chebyshev polynomials and of a certain family of weakly orthogonal polynomialsComment: Latex2e with AMS-LaTeX and cite packages; 32 page

Concurrent application of tretinoin (retinoic acid) partially protects against corticosteroid-induced epidermal atrophy

Cutaneous atrophy arising from prolonged use of potent topical corticosteroids has long been a concern. Thus, it would be advantageous to find an agent which protects against atrophy produced by corticosteroids but at the same time does not impair their anti-inflammatory effects. Recent work shows that topical all- trans retinoic acid (tretinoin) prevents skin atrophy in mice treated with topical corticosteroids, but such studies have not been performed in humans. We performed an 8-week clinical, histological and biochemical study to test the ability of tretinoin to enhance efficacy and inhibit atrophogenicity of topical corticosteroids, when used in the treatment of psoriasis. In each of 20 psoriasis patients, one plaque, and its perilesional skin, was treated once daily with betamethasone dipropionate and tretinoin 0 1 , and one plaque, and its perilesional skin, treated with once daily betamethasone dipropionate and tretinoin vehicle. There was no difference in the speed or degree of improvement in plaques treated with either the topical corticosteroid tretinoin combination or with corticosteroid alone. Light microscopy revealed a 19 reduction in epidermal thickness, in corticosteroid-treated perilesional skin, as compared with a slight (1 ) increase in corticosteroid tretinoin-treated perilesional areas (P 0.067). Western blot analysis showed a 55 reduction in procollagen I aminopropeptide in perilesional skin treated with corticosteroid alone, as compared with a 45 reduction in corticosteroid tretinoin-treated perilesional skin. These data indicate that the addition of tretinoin does not impair the efficacy of a topical corticosteroid, in the treatment of psoriasis, and partially ameliorates epidermal atrophy produced by the topical corticosteroid.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75727/1/j.1365-2133.1996.d01-933.x.pd

Calogero-Moser models with noncommutative spin interactions

We construct integrable generalizations of the elliptic Calogero-Sutherland-Moser model of particles with spin, involving noncommutative spin interactions. The spin coupling potential is a modular function and, generically, breaks the global spin symmetry of the model down to a product of U(1) phase symmetries. Previously known models are recovered as special cases.Comment: Version to appear in Phys. Rev. Let