Safe Specification of Operator Precedence Rules

International audienceIn this paper we present an approach to specifying opera- tor precedence based on declarative disambiguation constructs and an implementation mechanism based on grammar rewriting. We identify a problem with existing generalized context-free parsing and disambigua- tion technology: generating a correct parser for a language such as OCaml using declarative precedence specification is not possible without resorting to some manual grammar transformation. Our approach provides a fully declarative solution to operator precedence specification for context-free grammars, is independent of any parsing technology, and is safe in that it guarantees that the language of the resulting grammar will be the same as the language of the specification grammar. We evaluate our new approach by specifying the precedence rules from the OCaml reference manual against the highly ambiguous reference grammar and validate the output of our generated parser

Educational change in Scotland: Policy, context and biography

The poor success rate of policy for curriculum change has been widely noted in the educational change literature. Part of the problem lies in the complexity of schools, as policymakers have proven unable to micromanage the multifarious range of factors that impact upon the implementation of policy. This paper draws upon empirical data from a local authority-led initiative to implement Scotland’s new national curriculum. It offers a set of conceptual tools derived from critical realism (particularly the work of Margaret Archer), which offer significant potential in allowing us to develop greater understanding of the complexities of educational change. Archer’s social theory developed as a means of explaining change and continuity in social settings. As schools and other educational institutions are complex social organisations, critical realism offers us epistemological tools for tracking the ebbs and flows of change cycles over time, presenting the means for mapping the multifarious networks and assemblages that form their basis

Personal identity (de)formation among lifestyle travellers: A double-edged sword?

This article explores the personal identity work of lifestyle travellers – individuals for whom extended leisure travel is a preferred lifestyle that they return to repeatedly. Qualitative findings from in-depth semi-structured interviews with lifestyle travellers in northern India and southern Thailand are interpreted in light of theories on identity formation in late modernity that position identity as problematic. It is suggested that extended leisure travel can provide exposure to varied cultural praxes that may contribute to a sense of social saturation. Whilst a minority of the respondents embraced a saturation of personal identity in the subjective formation of a cosmopolitan cultural identity, several of the respondents were paradoxically left with more identity questions than answers as the result of their travels

Emergence of Skyrme crystal in Gross-Neveu and 't Hooft models at finite density

We study two-dimensional, large $N$ field theoretic models (Gross-Neveu model, 't Hooft model) at finite baryon density near the chiral limit. The same mechanism which leads to massless baryons in these models induces a breakdown of translational invariance at any finite density. In the chiral limit baryonic matter is characterized by a spatially varying chiral angle with a wave number depending only on the density. For small bare quark masses a sine-Gordon kink chain is obtained which may be regarded as simplest realization of the Skyrme crystal for nuclear matter. Characteristic differences between confining and non-confining models are pointed out.Comment: 27 pages, 11 figures, added reference, corrected sig

OSSMETER: Automated measurement and analysis of open source software

International audienceDeciding whether an open source software (OSS) meets the requiredstandards for adoption in terms of quality, maturity, activity of development anduser support is not a straightforward process. It involves analysing various sourcesof information, including the project’s source code repositories, communicationchannels, and bug tracking systems. OSSMETER extends state-of-the-art techniquesin the field of automated analysis and measurement of open-source software(OSS), and develops a platform that supports decision makers in the processof discovering, comparing, assessing and monitoring the health, quality, impactand activity of opensource software. To achieve this, OSSMETER computestrustworthy quality indicators by performing advanced analysis and integrationof information from diverse sources including the project metadata, source coderepositories, communication channels and bug tracking systems of OSS projects

Reducing conflict-related employee strain: The benefits of an internal locus of control and a problem-solving conflict management strategy

Workplace conflict is a potent stressor, but most previous research has focused on its effect on productivity and performance rather than on individual well-being. This paper examines the moderating roles of an individual's internal locus of control and a problem-solving conflict management strategy. In the cross-sectional study, among 774 health care workers in the Netherlands, employees' internal locus of control did moderate the relationship between experienced conflict at work and psychological strain, which was measured using a 13-item Dutch adaptation of the Occupational Stress Indicator. In addition, this moderation was mediated by the active conflict management strategy of problem solving; people with a more internal locus of control use a problem-solving conflict management strategy more often and, as a result, experience less psychological strain in cases of workplace conflict. Implications for conflict theory, for future research, and for practice are discussed

The delta-function-kicked rotor: Momentum diffusion and the quantum-classical boundary

We investigate the quantum-classical transition in the delta-kicked rotor and the attainment of the classical limit in terms of measurement-induced state-localization. It is possible to study the transition by fixing the environmentally induced disturbance at a sufficiently small value, and examining the dynamics as the system is made more macroscopic. When the system action is relatively small, the dynamics is quantum mechanical and when the system action is sufficiently large there is a transition to classical behavior. The dynamics of the rotor in the region of transition, characterized by the late-time momentum diffusion coefficient, can be strikingly different from both the purely quantum and classical results. Remarkably, the early time diffusive behavior of the quantum system, even when different from its classical counterpart, is stabilized by the continuous measurement process. This shows that such measurements can succeed in extracting essentially quantum effects. The transition regime studied in this paper is accessible in ongoing experiments.Comment: 8 pages, 4 figures, revtex4 (revised version contains much more introductory material

Test of a theoretical equation of state for elemental solids and liquids

We propose a means for constructing highly accurate equations of state (EOS) for elemental solids and liquids essentially from first principles, based upon a particular decomposition of the underlying condensed matter Hamiltonian for the nuclei and electrons. We also point out that at low pressures the neglect of anharmonic and electron-phonon terms, both contained in this formalism, results in errors of less than 5% in the thermal parts of the thermodynamic functions. Then we explicitly display the forms of the remaining terms in the EOS, commenting on the use of experiment and electronic structure theory to evaluate them. We also construct an EOS for Aluminum and compare the resulting Hugoniot with data up to 5 Mbar, both to illustrate our method and to see whether the approximation of neglecting anharmonicity et al. remains viable to such high pressures. We find a level of agreement with experiment that is consistent with the low-pressure results.Comment: Minor revisions for consistency with published versio

Soil cover plants on water erosion control in the South of Minas Gerais

Water erosion is responsible for soil, water, carbon and nutrient losses, turning into the most important type of degradation of Brazilian soils. This study aimed to evaluate the influence of three cover plants under two tillage systems on water erosion control in an Argisol at south of Minas Gerais state, Brazil. The cover plants utilized in the study were pigeon pea, jack bean and millet, under contour seeding and downslope tillage. Experimental plots of 4 x 12 m, with 9% slope, under natural rainfall were used for the quantification of losses of soil, water, nutrients, and organic matter. One experimental plot was kept without plant cover (reference). Higher erosivity was observed in December and January, although a great quantity of erosive rainfall was detected during the whole raining period. Contour seeding provided a greater reduction of water erosion than downslope tillage, as expected. The jack bean under contour seeding revealed the lowest values of soil, water, nutrients and organic matter losses

Cytochemical techniques and energy-filtering transmission electron microscopy applied to the study of parasitic protozoa

The study of parasitic protozoa plays a major role in cell biology, biochemistry and molecular biology. Numerous cytochemical techniques have been developed in order to unequivocally identify the nature of subcellular compartments. Enzyme and immuno-cytochemistry allow the detection of, respectively, enzymatic activity products and antigens in particular sites within the cell. Energy-filtering transmission electron microscopy permits the detection of specific elements within such compartments. These approaches are particularly useful for studies employing antimicrobial agents where cellular compartments may be destroyed or remarkably altered and thus hardly identified by standard methods of observation. In this regard cytochemical and spectroscopic techniques provide valuable data allowing the determination of the mechanisms of action of such compounds