Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Cultures within culture: Unity and diversity of two generations of employees in state-owned enterprises

This study adopts integration and differentiation perspectives to examine why unity and diversity of organizational cultures emerged as a function of economic reform, and how subcultural differences were reflected in employees' perceptions of cultural practices. Data were gathered from in-depth interviews and a large-scale survey in two large, state-owned enterprises in north-east China. Results indicated that, although all employees were oriented towards a common set of cultural themes, the two generations of employees did not exemplify the themes in the same way. Specifically, unity was illustrated by employees' desire to maintain Harmony and to reduce Inequality. Diversity was revealed by first-generation employees' higher ratings on Loyalty, Security and even Bureaucracy. The findings are discussed in the light of traditional Chinese cultural values, political ideology and the social context. Implications are drawn for organizational cultural theory and research.

Central elements of the elliptic Zn monodromy matrix algebra at roots of unity

The central elements of the algebra of monodromy matrices associated with the Z(n) R-matrix are studied. When the crossing parameter w takes a special rational value w = n/N, where N and n are positive coprime integers, the center is substantially larger than that in the generic case for which the quantum determinant provides the center. In the trigonometric limit, the situation corresponds to the quantum group at roots of unity. This is a higher rank generalization of the recent results by Belavin and Jimbo. (c) 2004 Elsevier B.V. All rights reserved.

Universality of quantum critical dynamics in a planar optical parametric oscillator

We analyze the critical quantum fluctuations in a coherently driven planar optical parametric oscillator. We show that the presence of transverse modes combined with quantum fluctuations changes the behavior of the quantum image critical point. This zero-temperature nonequilibrium quantum system has the same universality class as a finite-temperature magnetic Lifshitz transition.

Marcelian charm in nursing practice: The unity of agape and eros as the foundation of an ethic of care

Abstract In the nursing literature, a number of qualities are associated with loving care. Reference is made to, among other things, humility, attentiveness, responsibility and duty, compassion, and tenderness. The author attempts to show that charm, in the Marcelian sense, also plays a central role. It is argued that the moral foundation of charm is a unity of agape and eros. An impartial giving of the self for others is clearly of fundamental importance in an ethic of care. Including charm in the discussion points to the fact that eros also plays a crucial role. Eros produces a passion for people and for life. It is a physical and spiritual energy that animates a person in all facets of her life, including her caring work.

Kidosaki redux: Trans-cultural trans-location

This paper concerns a collaborative experiment in architectural design teaching and thinking developed during a workshop held at The University of Queensland in 2000. The programme explored the possibilities and the consequences of relocating location-specific architecture to a different context - a 'Trans-Cultural Trans-Location'. The project involved the careful study by Australia-based students of a house designed for a Japanese family in a dense part of Tokyo by the eminent Japanese architect Tadao Ando, and the subsequent translocation of the ideas that underlay the building to a suburban location in Brisbane, for a theoretical equivalent Australian family. This experimental project examined the universality of architectural concepts, their appreciation and the pedagogical setting. The project raised questions of: - How well do students from one culture comprehend architecture designed specifically for another – which are the areas of misunderstanding and understanding? - How can students transpose architectural ideas from one social and physical context to one that is almost entirely the opposite? - What are the limits of collaboration and exchange in design teaching and how do they reveal similarities, inconsistencies and the unexpected in the aims of the teacher and of the student? These questions suggest that in order to comprehend a design, we must understand the culture within which it originated, and that we must understand the cultures within which we work in order to design. This paper is written in two parts. The first part establishes a framework for discussing the contrast of the cultural settings studied. The second part considers the nature, conduct and results of the Studio Workshop itself.

Relative dispersions of intra-albumin transit times across rat and elasmobranch perfused livers, and implications for intra- and inter-species scaling of hepatic clearance using microsomal data

It is recognized that vascular dispersion in the liver is a determinant of high first-pass extraction of solutes by that organ. Such dispersion is also required for translation of in-vitro microsomal activity into in-vivo predictions of hepatic extraction for any solute. We therefore investigated the relative dispersion of albumin transit times (CV2) in the livers of adult and weanling rats and in elasmobranch livers. The mean and normalized variance of the hepatic transit time distribution of albumin was estimated using parametric non-linear regression (with a correction for catheter influence) after an impulse (bolus) input of labelled albumin into a single-pass liver perfusion. The mean +/- s.e. of CV2 for albumin determined in each of the liver groups were 0.85 +/- 0.20 (n = 12), 1.48 +/- 0.33 (n = 7) and 0.90 +/- 0.18 (n = 4) for the livers of adult and weanling rats and elasmobranch livers, respectively. These CV2 are comparable with that reported previously for the dog and suggest that the CV2 Of the liver is of a similar order of magnitude irrespective of the age and morphological development of the species. It might, therefore, be justified, in the absence of other information, to predict the hepatic clearances and availabilities of highly extracted solutes by scaling within and between species livers using hepatic elimination models such as the dispersion model with a CV2 of approximately unity.

Chaotic dynamics of cold atoms in far-off-resonant donut beams

We describe the classical two-dimensional nonlinear dynamics of cold atoms in far-off-resonant donut beams. We show that chaotic dynamics exists there for charge greater than unity, when the intensity of the beam is periodically modulated. The two-dimensional distributions of atoms in the (x,y) plant for charge 2 are simulated. We show that the atoms will accumulate on several ring regions when the system enters a regime of global chaos. [S1063-651X(99)03903-3].

Phase diagram of a Heisenberg spin-Peierls model with quantum phonons

Using a new version of the density-matrix renormalization group we determine the phase diagram of a model of an antiferromagnetic Heisenberg spin chain where the spins interact with quantum phonons. A quantum phase transition from a gapless spin-fluid state to a gapped dimerized phase occurs at a nonzero value of the spin-phonon coupling. The transition is in the same universality class as that of a frustrated spin chain, to which the model maps in the diabatic limit. We argue that realistic modeling of known spin-Peierls materials should include the effects of quantum phonons.

Effect of disorder on quantum phase transitions in anisotropic XY spin chains in a transverse field

We present some exact results for the effect of disorder on the critical properties of an anisotropic XY spin chain in a transverse held. The continuum limit of the corresponding fermion model is taken and in various cases results in a Dirac equation with a random mass. Exact analytic techniques can then be used to evaluate the density of states and the localization length. In the presence of disorder the ferromagnetic-paramagnetic or Ising transition of the model is in the same universality class as the random transverse field Ising model solved by Fisher using a real-space renormalization-group decimation technique (RSRGDT). If there is only randomness in the anisotropy of the magnetic exchange then the anisotropy transition (from a ferromagnet in the x direction to a ferromagnet in the y direction) is also in this universality class. However, if there is randomness in the isotropic part of the exchange or in the transverse held then in a nonzero transverse field the anisotropy transition is destroyed by the disorder. We show that in the Griffiths' phase near the Ising transition that the ground-state energy has an essential singularity. The results obtained for the dynamical critical exponent, typical correlation length, and for the temperature dependence of the specific heat near the Ising transition agree with the results of the RSRODT and numerical work. [S0163-1829(99)07125-8].