Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Noise sensitivity of sub- and supercritically bifurcating patterns with group velocities close to the convective-absolute instability

The influence of small additive noise on structure formation near a forwards and near an inverted bifurcation as described by a cubic and quintic Ginzburg Landau amplitude equation, respectively, is studied numerically for group velocities in the vicinity of the convective-absolute instability where the deterministic front dynamics would empty the system.Comment: 16 pages, 7 Postscript figure

Spin oscillations in transient diffusion of a spin pulse in n-type semiconductor quantum wells

By studying the time and spatial evolution of a pulse of the spin polarization in $n$-type semiconductor quantum wells, we highlight the importance of the off-diagonal spin coherence in spin diffusion and transport. Spin oscillations and spin polarization reverse along the the direction of spin diffusion in the absence of the applied magnetic field are predicted from our investigation.Comment: 5 pages, 4 figures, accepted for publication in PR

Modulation of Localized States in Electroconvection

We report on the effects of temporal modulation of the driving force on a particular class of localized states, known as worms, that have been observed in electroconvection in nematic liquid crystals. The worms consist of the superposition of traveling waves and have been observed to have unique, small widths, but to vary in length. The transition from the pure conduction state to worms occurs via a backward bifurcation. A possible explanation of the formation of the worms has been given in terms of coupled amplitude equations. Because the worms consist of the superposition of traveling waves, temporal modulation of the control parameter is a useful probe of the dynamics of the system. We observe that temporal modulation increases the average length of the worms and stabilizes worms below the transition point in the absence of modulation.Comment: 4 pages, 4 figure

Linear Field Dependence of the Normal-State In-Plane Magnetoresistance of Sr2RuO4

The transverse and longitudinal in-plane magnetoresistances in the normal state of superconducting Sr2RuO4 single crystals have been measured. At low temperatures, both of them were found to be positive with a linear magnetic-field dependence above a threshold field, a result not expected from electronic band theory. We argue that such behavior is a manifestation of a novel coherent state characterized by a spin pseudo gap in the quasi-particle excitation spectrum in Sr2RuO4.Comment: 4 pages + 5 figure

A-dependence of nuclear transparency in quasielastic A(e,e'p) at high Q^2

The A-dependence of the quasielastic A(e,e'p) reaction has been studied at SLAC with H-2, C, Fe, and Au nuclei at momentum transfers Q^2 = 1, 3, 5, and 6.8 (GeV/c)^2. We extract the nuclear transparency T(A,Q^2), a measure of the average probability that the struck proton escapes from the nucleus A without interaction. Several calculations predict a significant increase in T with momentum transfer, a phenomenon known as Color Transparency. No significant rise within errors is seen for any of the nuclei studied.Comment: 5 pages incl. 2 figures, Caltech preprint OAP-73

Self-determined motivation in sport predicts anti-doping motivation and intention: A perspective from the trans-contextual model

Objectives: Motivation in sport has been frequently identified as a key factor of young athletes’ intention of doping in sport, but there has not been any attempt in scrutinizing the motivational mechanism involved. The present study applied the trans-contextual model of motivation to explain the relationship between motivation in a sport context and motivation and the social-cognitive factors (attitude, subjective norm, perceived behavioral control, and intention) from the theory of planned behavior (TPB) in an anti-doping context. Design: A cross-sectional survey was conducted. Methods: Questionnaire data was collected from 410 elite and sub-elite young athletes in Australia (Mean age [17.7 ± 3.9 yr], 55.4% male, Years in sport [9.1 ± 3.2]). We measured the key model variables of study in relation to sport motivation (Behavioral Regulation in Sport Questionnaire), and the motivation (adapted version of the Treatment Self-Regulation Questionnaire) and social cognitive patterns (the theory of planned behavior questionnaire) of doping avoidance. The data was analyzed by variance-based structural equation modeling with bootstrapping of 999 replications. Results: The goodness-of-fit of the hypothesized model was acceptable. The bootstrapped parameter estimates revealed that autonomous motivation and amotivation in sport were positively associated with the corresponding types of motivation for the avoidance of doping. Autonomous motivation, subjective norm, and perceived behavioral control in doping avoidance fully mediated the relationship between autonomous motivation in sport and intention for doping avoidance. Conclusions: The findings support the tenets of the trans-contextual model, and explain how motivation in sport is related to athletes’ motivation and intention with respect to anti-doping behaviors

Measurement of the Proton Spin Structure Function g1p with a Pure Hydrogen Target

A measurement of the proton spin structure function g1p(x,Q^2) in deep-inelastic scattering is presented. The data were taken with the 27.6 GeV longitudinally polarised positron beam at HERA incident on a longitudinally polarised pure hydrogen gas target internal to the storage ring. The kinematic range is 0.021<x<0.85 and 0.8 GeV^2<Q^2<20 GeV^2. The integral Int_{0.021}^{0.85} g1p(x)dx evaluated at Q0^2 of 2.5 GeV^2 is 0.122+/-0.003(stat.)+/-0.010(syst.).Comment: 7 pages, 3 figures, 1 table, RevTeX late

Determination of the Deep Inelastic Contribution to the Generalised Gerasimov-Drell-Hearn Integral for the Proton and Neutron

The virtual photon absorption cross section differences [sigma_1/2-sigma_3/2] for the proton and neutron have been determined from measurements of polarised cross section asymmetries in deep inelastic scattering of 27.5 GeV longitudinally polarised positrons from polarised 1H and 3He internal gas targets. The data were collected in the region above the nucleon resonances in the kinematic range nu < 23.5 GeV and 0.8 GeV**2 < Q**2 < 12 GeV**2. For the proton the contribution to the generalised Gerasimov-Drell-Hearn integral was found to be substantial and must be included for an accurate determination of the full integral. Furthermore the data are consistent with a QCD next-to-leading order fit based on previous deep inelastic scattering data. Therefore higher twist effects do not appear significant.Comment: 6 pages, 3 figures, 1 table, revte