A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating them as equational term rewriting systems and considering E-critical pairs and/or termination modulo E. In contrast, our method is based solely on usual critical pairs and it also (partially) works even if the system is not terminating modulo E. We first present confluence criteria for term rewriting systems whose rewrite rules can be partitioned into a terminating part and a possibly non-terminating part. We then give a reduction-preserving completion procedure so that the applicability of the criteria is enhanced. In contrast to the well-known Knuth-Bendix completion procedure which preserves the equivalence relation of the system, our completion procedure preserves the reduction relation of the system, by which confluence of the original system is inferred from that of the completed system

Dirac's hole theory versus quantum field theory

Dirac's hole theory and quantum field theory are usually considered equivalent to each other. For models of a certain type, however, the equivalence may not hold as we discuss in this Letter. This problem is closely related to the validity of the Pauli principle in intermediate states of perturbation theory.Comment: No figure

Magnetoresistivity in a Tilted Magnetic Field in p-Si/SiGe/Si Heterostructures with an Anisotropic g-Factor: Part II

The magnetoresistance components $\rho_{xx}$ and $\rho_{xy}$ were measured in two p-Si/SiGe/Si quantum wells that have an anisotropic g-factor in a tilted magnetic field as a function of temperature, field and tilt angle. Activation energy measurements demonstrate the existence of a ferromagnetic-paramagnetic (F-P) transition for a sample with a hole density of $p$=2$\times10^{11}$\,cm$^{-2}$. This transition is due to crossing of the 0$\uparrow$ and 1$\downarrow$ Landau levels. However, in another sample, with $p$=7.2$\times10^{10}$\,cm$^{-2}$, the 0$\uparrow$ and 1$\downarrow$ Landau levels coincide for angles $\Theta$=0-70$^{\text{o}}$. Only for $\Theta$ > 70$^{\text{o}}$ do the levels start to diverge which, in turn, results in the energy gap opening.Comment: 5 pages, 6 figure

The Dirac Oscillator. A relativistic version of the Jaynes--Cummings model

The dynamics of wave packets in a relativistic Dirac oscillator is compared to that of the Jaynes-Cummings model. The strong spin-orbit coupling of the Dirac oscillator produces the entanglement of the spin with the orbital motion similar to what is observed in the model of quantum optics. The collapses and revivals of the spin which result extend to a relativistic theory our previous findings on nonrelativistic oscillator where they were known under the name of `spin-orbit pendulum'. There are important relativistic effects (lack of periodicity, zitterbewegung, negative energy states). Many of them disappear after a Foldy-Wouthuysen transformation.Comment: LaTeX2e, uses IOP style files (included), 14 pages, 9 separate postscript figure

Purification and Preliminary Crystallographic Analysis of a New Lys49-PLA2 from B. Jararacussu

BjVIII is a new myotoxic Lys49-PLA2 isolated from Bothrops jararacussu venom that exhibits atypical effects on human platelet aggregation. To better understand the mode of action of BjVIII, crystallographic studies were initiated. Two crystal forms were obtained, both containing two molecules in the asymmetric unit (ASU). Synchrotron radiation diffraction data were collected to 2.0 Å resolution and 1.9 Å resolution for crystals belonging to the space group P212121 (a = 48.4 Å, b = 65.3 Å, c = 84.3 Å) and space group P3121 (a = b = 55.7 Å, c = 127.9 Å), respectively. Refinement is currently in progress and the refined structures are expected to shed light on the unusual platelet aggregation activity observed for BjVIII

Culture and Egocentric Perceptions of Fairness in Conflict and Negotiation

In this article, the authors advanced a cultural view of judgment biases in conflict and negotiation. The authors predicted that disputants’ self-serving biases of fairness would be more prevalent in individualistic cultures, such as the United States, in which the self is served by focusing on one’s positive attributes to “stand out” and be better than others, yet would be attenuated in collectivistic cultures, such as Japan, where the self is served by focusing on one’s negative characteristics to “blend in” (S. J. Heine, D. R. Lehman, H. R. Markus, & S. Kitayama, 1999). Four studies that used different methodologies (free recall, scenarios, and a laboratory experiment) supported this notion. Implications for the science and practice of negotiation are discussed

The Pharmacological Effect Of Bothrops Neuwiedii Pauloensis (jararaca-pintada) Snake Venom On Avian Neuromuscular Transmission.

The neuromuscular effects of Bothrops neuwiedii pauloensis (jararaca-pintada) venom were studied on isolated chick biventer cervicis nerve-muscle preparations. Venom concentrations of 5-50 micro g/ml produced an initial inhibition and a secondary increase of indirectly evoked twitches followed by a progressive concentration-dependent and irreversible neuromuscular blockade. At venom concentrations of 1-20 micro g/ml, the responses to 13.4 mM KCl were inhibited whereas those to 110 micro M acetylcholine alone and cumulative concentrations of 1 micro M to 10 mM were unaffected. At venom concentrations higher than 50 micro g/ml, there was pronounced muscle contracture with inhibition of the responses to acetylcholine, KCl and direct stimulation. At 20-24 degrees C, the venom (50 g/ml) produced only partial neuromuscular blockade (30.7 +/- 8.0%, N = 3) after 120 min and the initial inhibition and the secondary increase of the twitch responses caused by the venom were prolonged and pronounced and the response to KCl was unchanged. These results indicate that B.n. pauloensis venom is neurotoxic, acting primarily at presynaptic sites, and that enzyme activity may be involved in this pharmacological action.36617-2