Composition mechanisms for retrenchment

Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additional predicates for accommodating design data. Composition mechanisms for retrenchment are studied. Vertical, horizontal, dataflow, parallel and fusion compositions are described. Of particular note are the means by which the additional predicates compose. It is argued that all of the compositions introduced are associative, and that they are mutually coherent. Composition of retrenchment with refinement, so important for the smooth interworking of the two techniques, is discussed. Decomposition, allowing finer grained retrenchments to be extracted from a single large grained retrenchment, is also investigated

Stereoisomer libraries: Total synthesis of all 16 stereoisomers of the pine sawfly sex pheromone by a fluorous mixture-synthesis approach

All 16 stereoisomers of the sex pheromone of pine sawfly (3,7,11-trimethylundecanol propanoate ester) have been synthesized on a 10- to 20-mg scale by a split-parallel fluorous mixture-synthesis approach. Spectral data obtained for all 32 compounds (16 alcohols and the corresponding propionates) matched well with published data, thereby validating the fluorous-tag encoding of diastereoisomers. This fluorous-tag encoding method is recommended for the efficient synthesis of multiple stereoisomers for spectroscopic studies, biological tests, or other structure-function relationships

Guided magnonic Michelson interferometer

Magnonics is an emerging field with potential applications in classical and quantum information processing. Freely propagating magnons in two-dimensional media are subject to dispersion, which limits their effective range and utility as information carriers. We show the design of a confining magnonic waveguide created by two surface current carrying wires placed above a spin-sheet, which can be used as a primitive for reconfigurable magnonic circuitry. We theoretically demonstrate the ability of such guides to counter the transverse dispersion of the magnon in a spin-sheet, thus extending the range of the magnon. A design of a magnonic directional coupler and controllable Michelson interferometer is shown, demonstrating its utility for information processing tasks

Measurement of the azimuthal angle dependence of inclusive jet yields in Pb+Pb collisions at √sNN=2.76 TeV with the ATLAS detector

Measurements of the variation of inclusive jet suppression as a function of relative azimuthal angle, Δϕ, with respect to the elliptic event plane provide insight into the path-length dependence of jet quenching. ATLAS has measured the Δϕ dependence of jet yields in 0.14  nb-1 of √sNN=2.76  TeV Pb+Pb collisions at the LHC for jet transverse momenta pT>45  GeV in different collision centrality bins using an underlying event subtraction procedure that accounts for elliptic flow. The variation of the jet yield with Δϕ was characterized by the parameter, v2jet, and the ratio of out-of-plane (Δϕ∼π/2) to in-plane (Δϕ∼0) yields. Nonzero v2jet values were measured in all centrality bins for pT<160  GeV. The jet yields are observed to vary by as much as 20% between in-plane and out-of-plane directions

Measurement of the production cross section of prompt J/ψ mesons in association with a W± boson in pp collisions at p s = 7 TeV with the ATLAS detector

The process pp → W±J/ψ provides a powerful probe of the production mechanism of charmonium in hadronic collisions, and is also sensitive to multiple parton interactions in the colliding protons. Using the 2011 ATLAS dataset of 4.5 fb-1 of p s = 7TeV pp collisions at the LHC, the first observation is made of the production of W± + prompt J/ events in hadronic collisions, using W± → μ and J/ψ → μ+μ-. A yield of 27.4±7.5 -6.5 W± + prompt J/ψ events is observed, with a statistical significance of 5.1. The production rate as a ratio to the inclusive W± boson production rate is measured, and the double parton scattering contribution to the cross section is estimated

Search for direct third-generation squark pair production in final states with missing transverse momentum and two b-jets in √s=8 TeV pp collisions with the ATLAS detector

The results of a search for pair production of supersymmetric partners of the Standard Model third-generation quarks are reported. This search uses 20.1 fb−1 of pp collisions at √s=8 TeV collected by the ATLAS experiment at the Large Hadron Collider. The lightest bottom and top squarks ( b˜1 and t˜1 respectively) are searched for in a final state with large missing transverse momentum and two jets identified as originating from b-quarks. No excess of events above the expected level of Standard Model background is found. The results are used to set upper limits on the visible cross section for processes beyond the Standard Model. Exclusion limits at the 95 % confidence level on the masses of the third-generation squarks are derived in phenomenological supersymmetric R-parity-conserving models in which either the bottom or the top squark is the lightest squark. The b˜1 is assumed to decay via b˜1→b∼χ01 and the t˜1 via t˜1→b∼χ1± , with undetectable products of the subsequent decay of the ∼χ1± due to the small mass splitting between the ∼χ1± and the ∼χ01

Replicative intermediates of Tomato leaf curl virus and its satellite DNAs

AbstractSeveral plant geminiviruses have been shown recently to utilize both rolling-circle replication (RCR) and recombination-dependent replication (RDR) strategies. A highly specific binding of the viral replication-associated protein (Rep) to its cognate DNA is essential for initiation of viral DNA replication and for the recognition of DNA components of the bipartite geminiviruses of the Begomovirus genus. We have extended the replication analysis to the monopartite Australian Tomato leaf curl virus (ToLCV), its Rep binding deficient mutants, and the satellite DNAs it supports. Analyses of viral DNA by two-dimensional agarose gel electrophoresis after fractionation by single-stranded (ss) DNA-selective cellulose chromatography revealed that DNA intermediates of ToLCV and its mutant were identical. Both RCR and RDR intermediates were identified. New ToLCV DNA forms were observed and characterized as subgenomic topoisomers, heterogeneous open circular double-stranded (ds) DNA, and degradation products. A 1350-nt DNA β satellite associated with the unrelated Cotton leaf curl Multan virus (CLCuMV) was supported by ToLCV and produced intermediates of both RCR and RDR, suggesting that replication strategies of satellites are determined by the helper virus. Replicative intermediates of the 682 nt ToLCV satellite DNA could not be resolved; however, concatemers of up to octamer were detected, together with a field of hybridizing material suggestive of complementary strand replication on heterogeneous circular ssDNA templates

Search for dark matter in events with a hadronically decaying W or Z boson and missing transverse momentum in pp collisions at √s=8 TeV with the ATLAS detector

A search is presented for dark matter pair production in association with a W or Z boson in pp collisions representing 20.3  fb−1 of integrated luminosity at s√=8  TeV using data recorded with the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet with the jet mass consistent with a W or Z boson, and with large missing transverse momentum are analyzed. The data are consistent with the standard model expectations. Limits are set on the mass scale in effective field theories that describe the interaction of dark matter and standard model particles, and on the cross section of Higgs production and decay to invisible particles. In addition, cross section limits on the anomalous production of W or Z bosons with large missing transverse momentum are set in two fiducial regions

Measurement of the electroweak production of dijets in association with a Z-boson and distributions sensitive to vector boson fusion in proton-proton collisions at √s= 8 TeV using the ATLAS detector

Measurements of fiducial cross sections for the electroweak production of two jets in association with a Z-boson are presented. The measurements are performed using 20.3 fb−1 of proton-proton collision data collected at a centre-of-mass energy of s√ = 8 TeV by the ATLAS experiment at the Large Hadron Collider. The electroweak component is extracted by a fit to the dijet invariant mass distribution in a fiducial region chosen to enhance the electroweak contribution over the dominant background in which the jets are produced via the strong interaction. The electroweak cross sections measured in two fiducial regions are in good agreement with the Standard Model expectations and the background-only hypothesis is rejected with significance above the 5σ level. The electroweak process includes the vector boson fusion production of a Z-boson and the data are used to place limits on anomalous triple gauge boson couplings. In addition, measurements of cross sections and differential distributions for inclusive Z-boson-plus-dijet production are performed in five fiducial regions, each with different sensitivity to the electroweak contribution. The results are corrected for detector effects and compared to predictions from the Sherpa and Powheg event generators

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at √s=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1 fb−1 of proton-proton collision data at s√ = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t¯ →tχ¯01 or t¯ →bχ¯±1 →bW(∗)χ¯01, where χ¯01 (χ¯±1) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t¯ →tχ¯01. For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ¯01 masses below 30 GeV. For a branching fraction of 50% to either t¯ →tχ¯01 or t¯ →bχ¯±1, and assuming the χ¯±1 mass to be twice the χ¯01 mass, top squark masses in the range 250–550 GeV are excluded for χ¯01 masses below 60 GeV