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

Dual-probe decoherence microscopy: Probing pockets of coherence in a decohering environment

We study the use of a pair of qubits as a decoherence probe of a non-trivial environment. This dual-probe configuration is modelled by three two-level-systems which are coupled in a chain in which the middle system represents an environmental two-level-system (TLS). This TLS resides within the environment of the qubits and therefore its coupling to perturbing fluctuations (i.e. its decoherence) is assumed much stronger than the decoherence acting on the probe qubits. We study the evolution of such a tripartite system including the appearance of a decoherence-free state (dark state) and non-Markovian behaviour. We find that all parameters of this TLS can be obtained from measurements of one of the probe qubits. Furthermore we show the advantages of two qubits in probing environments and the new dynamics imposed by a TLS which couples to two qubits at once.Comment: 29 pages, 10 figure

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Cultivation-Independent Analysis of the Bacterial Community Associated With the Calcareous Sponge Clathrina clathrus and Isolation of Poriferisphaera corsica Gen. Nov., Sp. Nov., Belonging to the Barely Studied Class Phycisphaerae in the Phylum Planctomycetes

Marine ecosystems serve as global carbon sinks and nutrient source or breeding ground for aquatic animals. Sponges are ancient parts of these important ecosystems and can be found in caves, the deep-sea, clear waters, or more turbid environments. Here, we studied the bacterial community composition of the calcareous sponge Clathrina clathrus sampled close to the island Corsica in the Mediterranean Sea with an emphasis on planctomycetes. We show that the phylum Planctomycetes accounts for 9% of the C. clathrus-associated bacterial community, a 5-fold enrichment compared to the surrounding seawater. Indeed, the use of C. clathrus as a yet untapped source of novel planctomycetal strains led to the isolation of strain KS4T. The strain represents a novel genus and species within the class Phycisphaerae in the phylum Planctomycetes and displays interesting cell biological features, such as formation of outer membrane vesicles and an unexpected mode of cell division

Star Clusters in the Tidal Tails of Interacting Galaxies: Cluster Populations Across a Variety of Tail Environments

We have searched for compact stellar structures within 17 tidal tails in 13 different interacting galaxies using F606W- and F814W- band images from the Wide Field Planetary Camera 2 (WFPC2) on the Hubble Space Telescope (HST). The sample of tidal tails includes a diverse population of optical properties, merging galaxy mass ratios, HI content, and ages. Combining our tail sample with Knierman et al. (2003), we find evidence of star clusters formed in situ with Mv < -8.5 and V-I < 2.0 in 10 of 23 tidal tails; we are able to identify cluster candidates to Mv = -6.5 in the closest tails. Three tails offer clear examples of "beads on a string" star formation morphology in V-I color maps. Two tails present both tidal dwarf galaxy (TDG) candidates and cluster candidates. Statistical diagnostics indicate that clusters in tidal tails may be drawn from the same power-law luminosity functions (with logarithmic slopes ~ -2 - -2.5) found in quiescent spiral galaxies and the interiors of interacting systems. We find that the tail regions with the largest number of observable clusters are relatively young (< 250 Myr old) and bright (V < 24 mag arcsec^(-2)), probably attributed to the strong bursts of star formation in interacting systems soon after periapse. Otherwise, we find no statistical difference between cluster-rich and cluster-poor tails in terms of many observable characteristics, though this analysis suffers from complex, unresolved gas dynamics and projection effects.Comment: Accepted for publication in the Astrophysical Journal. 27 pages, 8 figure

Heat treatment significantly increases the sharpness of silcrete stone tools

Humans were regularly heat-treating stone tool raw materials as early as 130,000 years ago. The late Middle Stone Age (MSA) and Late Stone Age (LSA) of South Africa's Western Cape region provides some of the earliest and most pervasive archaeological evidence for this behaviour. While archaeologists are beginning to understand the flaking implications of raw material heat treatment, its potential functional benefits remain unanswered. Using silcrete from the Western Cape region, we investigate the impact of heat treatment on stone tool cutting performance. We quantify the sharpness of silcrete in its natural, unheated form, before comparing it with silcrete heated in three different conditions. Results show that heat-treated silcrete can be significantly sharper than unheated alternatives, with cutting forces halving and energy requirements reducing by approximately two-thirds. The data suggest that silcrete may have been heat treated during the South African MSA and LSA to increase the sharpness and performance of stone cutting edges. This early example of material engineering has implications for understanding Stone Age populations’ technological capabilities, inventiveness and raw material choices. We predict that heat-treatment behaviours in other prehistoric and ethnographic contexts may also be linked to increases in edge sharpness and concerns about functional performance

Emprego de índices de compacidade de cachos para variedades viníferas com base em caracteres físico-morfológicos.

A compacidade do cacho é um dos principais fatores determinantes para maior suscetibilidade à doenças. Cachos compactos favorecem condições para o desenvolvimento e maior incidência de fitopatógenos além de influenciar na maturação heterogênea dos cachos afetando a qualidade de uvas para consumo ou processamento. Apesar da importância desta característica o uso do descritor visual qualitativo para determinação da compacidade é bastante controverso, dificultando alguns estudos de base genética que exigem medidas quantitativas. Neste sentido, o objetivo deste estudo foi testar índices de compacidade baseados em caracteres físicomorfológicos do cacho para variedades viníferas

Measurements of fiducial and differential cross sections for Higgs boson production in the diphoton decay channel at s√=8 TeV with ATLAS

Measurements of fiducial and differential cross sections are presented for Higgs boson production in proton-proton collisions at a centre-of-mass energy of s√=8 TeV. The analysis is performed in the H → γγ decay channel using 20.3 fb−1 of data recorded by the ATLAS experiment at the CERN Large Hadron Collider. The signal is extracted using a fit to the diphoton invariant mass spectrum assuming that the width of the resonance is much smaller than the experimental resolution. The signal yields are corrected for the effects of detector inefficiency and resolution. The pp → H → γγ fiducial cross section is measured to be 43.2 ±9.4(stat.) − 2.9 + 3.2 (syst.) ±1.2(lumi)fb for a Higgs boson of mass 125.4GeV decaying to two isolated photons that have transverse momentum greater than 35% and 25% of the diphoton invariant mass and each with absolute pseudorapidity less than 2.37. Four additional fiducial cross sections and two cross-section limits are presented in phase space regions that test the theoretical modelling of different Higgs boson production mechanisms, or are sensitive to physics beyond the Standard Model. Differential cross sections are also presented, as a function of variables related to the diphoton kinematics and the jet activity produced in the Higgs boson events. The observed spectra are statistically limited but broadly in line with the theoretical expectations

Measurement of χ c1 and χ c2 production with s√ = 7 TeV pp collisions at ATLAS

The prompt and non-prompt production cross-sections for the χ c1 and χ c2 charmonium states are measured in pp collisions at s√ = 7 TeV with the ATLAS detector at the LHC using 4.5 fb−1 of integrated luminosity. The χ c states are reconstructed through the radiative decay χ c → J/ψγ (with J/ψ → μ + μ −) where photons are reconstructed from γ → e + e − conversions. The production rate of the χ c2 state relative to the χ c1 state is measured for prompt and non-prompt χ c as a function of J/ψ transverse momentum. The prompt χ c cross-sections are combined with existing measurements of prompt J/ψ production to derive the fraction of prompt J/ψ produced in feed-down from χ c decays. The fractions of χ c1 and χ c2 produced in b-hadron decays are also measured

Search for squarks and gluinos in events with isolated leptons, jets and missing transverse momentum at s√=8 TeV with the ATLAS detector

The results of a search for supersymmetry in final states containing at least one isolated lepton (electron or muon), jets and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. The search is based on proton-proton collision data at a centre-of-mass energy s√=8 TeV collected in 2012, corresponding to an integrated luminosity of 20 fb−1. No significant excess above the Standard Model expectation is observed. Limits are set on supersymmetric particle masses for various supersymmetric models. Depending on the model, the search excludes gluino masses up to 1.32 TeV and squark masses up to 840 GeV. Limits are also set on the parameters of a minimal universal extra dimension model, excluding a compactification radius of 1/R c = 950 GeV for a cut-off scale times radius (ΛR c) of approximately 30