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

Working memory effects in speeded RSVP tasks

The present paper examines the effects of memory contents and memory load in rapid serial visual presentation (RSVP) speeded tasks, trying to explain previous inconsistent results. We used a one target (Experiment 1) and a two-target (Experiment 2) RSVP task with a concurrent memory load of one or four items, in a dual-task paradigm. A relation between material in working memory and the target in the RSVP impaired the identification of the target. In Experiments 3 and 4, the single task was to determine whether any information in memory matched the target in the RSVP, while varying the memory load. A match was detected faster than a non-match, although only when there was some distance between targets in the RSVP (Experiment 4). The results suggest that memory contents automatically capture attention, slowing processing when the memory contents are irrelevant to the task, and speeding processing when they are relevant.Spain. Ministerio de Educación, Cultura y Deporte (José Castillejo Grant

Working memory effects in speeded RSVP tasks

The author may only post his/her version provided acknowledgement is given to the original source of publication and a link is inserted to the published article on Springer's website. The link must be provided by inserting the DOI number of the article in the following sentence: “The final publication is available at Springer via http://dx.doi.org/[insert DOI]”The present paper examines the effects of memory contents and memory load in rapid serial visual presentation (RSVP) speeded tasks, trying to explain previous inconsistent results. We used a one target (Experiment 1) and a two-target (Experiment 2) RSVP task with a concurrent memory load of one or four items, in a dual-task paradigm. A relation between material in working memory and the target in the RSVP impaired the identification of the target. In Experiments 3 and 4, the single task was to determine whether any information in memory matched the target in the RSVP, while varying the memory load. A match was detected faster than a non-match, although only when there was some distance between targets in the RSVP (Experiment 4). The results suggest that memory contents automatically capture attention, slowing processing when the memory contents are irrelevant to the task, and speeding processing when they are relevant.Data collection was made possible thanks to the financed research project by the ‘‘Ministerio de Ciencia e Innovación. Plan Nacional I+D+i 2008–2011. Ref. PSI2010-20175’’. This work was also supported by MH47432

Search for direct production of charginos, neutralinos and sleptons in final states with two leptons and missing transverse momentum in pp collisions at √s = 8TeV with the ATLAS detector

Searches for the electroweak production of charginos, neutralinos and sleptons in final states characterized by the presence of two leptons (electrons and muons) and missing transverse momentum are performed using 20.3 fb−1 of proton-proton collision data at s√ = 8 TeV recorded with the ATLAS experiment at the Large Hadron Collider. No significant excess beyond Standard Model expectations is observed. Limits are set on the masses of the lightest chargino, next-to-lightest neutralino and sleptons for different lightest-neutralino mass hypotheses in simplified models. Results are also interpreted in various scenarios of the phenomenological Minimal Supersymmetric Standard Model

Uncoupled evolution of the Polycomb system and deep origin of non-canonical PRC1

Polycomb group proteins, as part of the Polycomb repressive complexes, are essential in gene repression through chromatin compaction by canonical PRC1, mono-ubiquitylation of histone H2A by non-canonical PRC1 and tri-methylation of histone H3K27 by PRC2. Despite prevalent models emphasizing tight functional coupling between PRC1 and PRC2, it remains unclear whether this paradigm indeed reflects the evolution and functioning of these complexes. Here, we conduct a comprehensive analysis of the presence or absence of cPRC1, nPRC1 and PRC2 across the entire eukaryotic tree of life, and find that both complexes were present in the Last Eukaryotic Common Ancestor (LECA). Strikingly, ~42% of organisms contain only PRC1 or PRC2, showing that their evolution since LECA is largely uncoupled. The identification of ncPRC1-defining subunits in unicellular relatives of animals and fungi suggests ncPRC1 originated before cPRC1, and we propose a scenario for the evolution of cPRC1 from ncPRC1. Together, our results suggest that crosstalk between these complexes is a secondary development in evolution.</p

The VLT-FLAMES Tarantula Survey X: Evidence for a bimodal distribution of rotational velocities for the single early B-type stars

Aims: Projected rotational velocities (\vsini) have been estimated for 334 targets in the VLT-FLAMES Tarantula survey that do not manifest significant radial velocity variations and are not supergiants. They have spectral types from approximately O9.5 to B3. The estimates have been analysed to infer the underlying rotational velocity distribution, which is critical for understanding the evolution of massive stars. Methods: Projected rotational velocities were deduced from the Fourier transforms of spectral lines, with upper limits also being obtained from profile fitting. For the narrower lined stars, metal and non-diffuse helium lines were adopted, and for the broader lined stars, both non-diffuse and diffuse helium lines; the estimates obtained using the different sets of lines are in good agreement. The uncertainty in the mean estimates is typically 4% for most targets. The iterative deconvolution procedure of Lucy has been used to deduce the probability density distribution of the rotational velocities. Results: Projected rotational velocities range up to approximately 450 \kms and show a bi-modal structure. This is also present in the inferred rotational velocity distribution with 25% of the sample having $0\leq$\ve$\leq$100\,\kms and the high velocity component having \ve$\sim 250$\,\kms. There is no evidence from the spatial and radial velocity distributions of the two components that they represent either field and cluster populations or different episodes of star formation. Be-type stars have also been identified. Conclusions: The bi-modal rotational velocity distribution in our sample resembles that found for late-B and early-A type stars. While magnetic braking appears to be a possible mechanism for producing the low-velocity component, we can not rule out alternative explanations.Comment: to be publisged in A&