Designing equivalent semantic models for process creation

Operational and denotational semantic models are designed for languages with process creation, and the relationships between the two semantics are investigated. The presentation is organized in four sections dealing with a uniform and static, a uniform and dynamic, a nonuniform and static, and a nonuniform and dynamic language, respectively. Here uniform/nonuniform refers to a language with uninterpreted/interpreted elementary actions, and static/dynamic to the distinction between languages with a fixed/growing number of parallel processes. The contrast between uniform and nonuniform is reflected in the use of linear time versus branching time models., the latter employing a version of Plotkin's resumptions. The operational semantics make use of Hennessy and Plotkin's transition systems. All models are built on metric structures, and involve continuations in an essential way. The languages studied are abstractions of the parallel object-oriented language POOL for which we have designed separate operational and denotational semantics in earlier work. The paper provides a full analysis of the relationship between the two semantics for these abstractions. Technically, a key role is played by a new operator which is able to decide dynamically whether it should act as sequential or parallel composition

Oxygen Moment Formation and Canting in Li2CuO2

The possibilities of oxygen moment formation and canting in the quasi-1D cuprate Li2CuO2 are investigated using single crystal neutron diffraction at 2 K. The observed magnetic intensities could not be explained without the inclusion of a large ordered oxygen moment of 0.11(1) Bohr magnetons. Least-squares refinement of the magnetic structure of Li2CuO2 in combination with a spin-density Patterson analysis shows that the magnetization densities of the Cu and O atoms are highly aspherical, forming quasi-1D ribbons of localised Cu and O moments. Magnetic structure refinements and low-field magnetization measurements both suggest that the magnetic structure of Li2CuO2 at 2 K may be canted. A possible model for the canted configuration is proposed.Comment: 10 pages, 8 figures (screen resolution

Particle Acceleration in Cosmic Sites - Astrophysics Issues in our Understanding of Cosmic Rays

Laboratory experiments to explore plasma conditions and stimulated particle acceleration can illuminate aspects of the cosmic particle acceleration process. Here we discuss the cosmic-ray candidate source object variety, and what has been learned about their particle-acceleration characteristics. We identify open issues as discussed among astrophysicists. -- The cosmic ray differential intensity spectrum is a rather smooth power-law spectrum, with two kinks at the "knee" (~10^15 eV) and at the "ankle" (~3 10^18 eV). It is unclear if these kinks are related to boundaries between different dominating sources, or rather related to characteristics of cosmic-ray propagation. We believe that Galactic sources dominate up to 10^17 eV or even above, and the extragalactic origin of cosmic rays at highest energies merges rather smoothly with Galactic contributions throughout the 10^15--10^18 eV range. Pulsars and supernova remnants are among the prime candidates for Galactic cosmic-ray production, while nuclei of active galaxies are considered best candidates to produce ultrahigh-energy cosmic rays of extragalactic origin. Acceleration processes are related to shocks from violent ejections of matter from energetic sources such as supernova explosions or matter accretion onto black holes. Details of such acceleration are difficult, as relativistic particles modify the structure of the shock, and simple approximations or perturbation calculations are unsatisfactory. This is where laboratory plasma experiments are expected to contribute, to enlighten the non-linear processes which occur under such conditions.Comment: accepted for publication in EPJD, topical issue on Fundamental physics and ultra-high laser fields. From review talk at "Extreme Light Infrastructure" workshop, Sep 2008. Version-2 May 2009: adjust some wordings and references at EPJD proofs stag

Search for composite and exotic fermions at LEP 2

A search for unstable heavy fermions with the DELPHI detector at LEP is reported. Sequential and non-canonical leptons, as well as excited leptons and quarks, are considered. The data analysed correspond to an integrated luminosity of about 48 pb^{-1} at an e^+e^- centre-of-mass energy of 183 GeV and about 20 pb^{-1} equally shared between the centre-of-mass energies of 172 GeV and 161 GeV. The search for pair-produced new leptons establishes 95% confidence level mass limits in the region between 70 GeV/c^2 and 90 GeV/c^2, depending on the channel. The search for singly produced excited leptons and quarks establishes upper limits on the ratio of the coupling of the excited fermio

Search for charginos in e+e- interactions at sqrt(s) = 189 GeV

An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of-mass energy of 189 GeV. No evidence for a signal was found. The lower mass limits are 4-5 GeV/c^2 higher than those obtained at a centre-of-mass energy of 183 GeV. The (\mu,M_2) MSSM domain excluded by combining the chargino searches with neutralino searches at the Z resonance implies a limit on the mass of the lightest neutralino which, for a heavy sneutrino, is constrained to be above 31.0 GeV/c^2 for tan(beta) \geq 1.Comment: 22 pages, 8 figure

A Human Minor Histocompatibility Antigen Specific for B Cell Acute Lymphoblastic Leukemia

Human minor histocompatibility antigens (mHags) play an important role in the induction of cytotoxic T lymphocyte (CTL) reactivity against leukemia after human histocompatibility leukocyte antigen (HLA)-identical allogeneic bone marrow transplantation (BMT). As most mHags are not leukemia specific but are also expressed by normal tissues, antileukemia reactivity is often associated with life-threatening graft-versus-host disease (GVHD). Here, we describe a novel mHag, HB-1, that elicits donor-derived CTL reactivity in a B cell acute lymphoblastic leukemia (B-ALL) patient treated by HLA-matched BMT. We identified the gene encoding the antigenic peptide recognized by HB-1–specific CTLs. Interestingly, expression of the HB-1 gene was only observed in B-ALL cells and Epstein-Barr virus–transformed B cells. The HB-1 gene–encoded peptide EEKRGSLHVW is recognized by the CTL in association with HLA-B44. Further analysis reveals that a polymorphism in the HB-1 gene generates a single amino acid exchange from His to Tyr at position 8 within this peptide. This amino acid substitution is critical for recognition by HB-1–specific CTLs. The restricted expression of the polymorphic HB-1 Ag by B-ALL cells and the ability to generate HB-1–specific CTLs in vitro using peptide-loaded dendritic cells offer novel opportunities to specifically target the immune system against B-ALL without the risk of evoking GVHD