Engaging End-Users in the Collaborative Development of Domain-Speci c Modelling Languages

International audienceDomain-Speci c Modelling Languages (DSMLs) are high-level languages specially designed to perform tasks in a particular domain. When developing DSMLs, the participation of end-users is normally limited to providing domain knowledge and testing the resulting language prototypes. Language developers, which are perhaps not domain experts, are therefore in control of the language development and evolution. This may cause misinterpretations which hamper the development process and the quality of the DSML. Thus, it would be bene cial to promote a more active participation of end-users in the development process of DSMLs. While current DSML workbenches are mono-user and designed for technical experts, we present a process and tool support for the example-driven, collaborative construction of DSMLs in order to engage end-users in the creation of their own languages

Quantum optical coherence tomography with dispersion cancellation

We propose a new technique, called quantum optical coherence tomography (QOCT), for carrying out tomographic measurements with dispersion-cancelled resolution. The technique can also be used to extract the frequency-dependent refractive index of the medium. QOCT makes use of a two-photon interferometer in which a swept delay permits a coincidence interferogram to be traced. The technique bears a resemblance to classical optical coherence tomography (OCT). However, it makes use of a nonclassical entangled twin-photon light source that permits measurements to be made at depths greater than those accessible via OCT, which suffers from the deleterious effects of sample dispersion. Aside from the dispersion cancellation, QOCT offers higher sensitivity than OCT as well as an enhancement of resolution by a factor of 2 for the same source bandwidth. QOCT and OCT are compared using an idealized sample.Comment: 19 pages, 4 figure

Combinatorial Markov chains on linear extensions

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids.Comment: 35 pages, more examples of promotion, rephrased the main theorems in terms of discrete time Markov chain

From QFT to DCC

A quantum field theoretical model for the dynamics of the disoriented chiral condensate is presented. A unified approach to relate the quantum field theory directly to the formation, decay and signals of the DCC and its evolution is taken. We use a background field analysis of the O(4) sigma model keeping one-loop quantum corrections (quadratic order in the fluctuations). An evolution of the quantum fluctuations in an external, expanding metric which simulates the expansion of the plasma, is carried out. We examine, in detail, the amplification of the low momentum pion modes with two competing effects, the expansion rate of the plasma and the transition rate of the vacuum configuration from a metastable state into a stable state.We show the effect of DCC formation on the multiplicity distributions and the Bose-Einstein correlations.Comment: 34 pages, 10 figure

VERTIGO (VERtical Transport In the Global Ocean) : a study of particle sources and flux attenuation in the North Pacific

Author Posting. © Elsevier B.V., 2008. This is the author's version of the work. It is posted here by permission of Elsevier B.V. for personal use, not for redistribution. The definitive version was published in Deep Sea Research Part II: Topical Studies in Oceanography 55 (2008): 1522-1539, doi:10.1016/j.dsr2.2008.04.024.The VERtical Transport In the Global Ocean (VERTIGO) study examined particle sources and fluxes through the ocean’s “twilight zone” (defined here as depths below the euphotic zone to 1000 m). Interdisciplinary process studies were conducted at contrasting sites off Hawaii (ALOHA) and in the NW Pacific (K2) during 3 week occupations in 2004 and 2005, respectively. We examine in this overview paper the contrasting physical, chemical and biological settings and how these conditions impact the source characteristics of the sinking material and the transport efficiency through the twilight zone. A major finding in VERTIGO is the considerably lower transfer efficiency (Teff) of particulate organic carbon (POC), POC flux 500 / 150 m, at ALOHA (20%) vs. K2 (50%). This efficiency is higher in the diatom-dominated setting at K2 where silica-rich particles dominate the flux at the end of a diatom bloom, and where zooplankton and their pellets are larger. At K2, the drawdown of macronutrients is used to assess export and suggests that shallow remineralization above our 150 m trap is significant, especially for N relative to Si. We explore here also surface export ratios (POC flux/primary production) and possible reasons why this ratio is higher at K2, especially during the first trap deployment. When we compare the 500 m fluxes to deep moored traps, both sites lose about half of the sinking POC by >4000 m, but this comparison is limited in that fluxes at depth may have both a local and distant component. Certainly, the greatest difference in particle flux attenuation is in the mesopelagic, and we highlight other VERTIGO papers that provide a more detailed examination of the particle sources, flux and processes that attenuate the flux of sinking particles. Ultimately, we contend that at least three types of processes need to be considered: heterotrophic degradation of sinking particles, zooplankton migration and surface feeding, and lateral sources of suspended and sinking materials. We have evidence that all of these processes impacted the net attenuation of particle flux vs. depth measured in VERTIGO and would therefore need to be considered and quantified in order to understand the magnitude and efficiency of the ocean’s biological pump.Funding for VERTIGO was provided primarily by research grants from the US National Science Foundation Programs in Chemical and Biological Oceanography (KOB, CHL, MWS, DKS, DAS). Additional US and non-US grants included: US Department of Energy, Office of Science, Biological and Environmental Research Program (JKBB); the Gordon and Betty Moore Foundation (DMK); the Australian Cooperative Research Centre program and Australian Antarctic Division (TWT); Chinese NSFC and MOST programs (NZJ); Research Foundation Flanders and Vrije Universiteit Brussel (FD, ME); JAMSTEC (MCH); New Zealand Public Good Science Foundation (PWB); and internal WHOI sources and a contribution from the John Aure and Cathryn Ann Hansen Buesseler Foundation (KOB)

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters