Events in Property Patterns

A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns enable non-experts to read and write formal specifications for realistic systems and facilitate easy conversion of specifications between formalisms, such as LTL, CTL, QRE. In this paper, we extend the pattern system with events - changes of values of variables in the context of LTL.Comment: 14 pages, 3 figure

A New Species of Giant Sengi or Elephant-Shrew (Genus \u3cem\u3eRhynchocyon\u3c/em\u3e) Highlights the Exceptional Biodiversity of the Udzungwa Mountains of Tanzania

A new species of sengi, or elephant-shrew, is described. It was discovered in the northern Udzungwa Mountains of Tanzania in 2005. Sengis (Order Macroscelidea, super-cohort Afrotheria) include four genera and 15 species of mammals that are endemic to Africa. This discovery is a significant contribution to the systematics of this small order. Based on 49 camera trap images, 40 sightings and five voucher specimens, the new sengi is diurnal and distinguished from the other three species of Rhynchocyon by a grizzled grey face, pale yellow to cream chest and chin, orange-rufous sides, maroon back and jet-black lower rump and thighs. The body weight of the new species is about 700 g, which is 25–50% greater than any other giant sengi. The new Rhynchocyon is only known from two populations that cover about 300 km2 of montane forest. It has an estimated density of 50–80 individuals km−2. This discovery has important implications for the conservation of the high biodiversity that is found in the forests of the Eastern Arc Mountains

Nonthermal radiation mechanisms

In this paper we review the possible radiation mechanisms for the observed non-thermal emission in clusters of galaxies, with a primary focus on the radio and hard X-ray emission. We show that the difficulty with the non-thermal, non-relativistic Bremsstrahlung model for the hard X-ray emission, first pointed out by Petrosian (2001) using a cold target approximation, is somewhat alleviated when one treats the problem more exactly by including the fact that the background plasma particle energies are on average a factor of 10 below the energy of the non-thermal particles. This increases the lifetime of the non-thermal particles, and as a result decreases the extreme energy requirement, but at most by a factor of three. We then review the synchrotron and so-called inverse Compton emission by relativistic electrons, which when compared with observations can constrain the value of the magnetic field and energy of relativistic electrons. This model requires a low value of the magnetic field which is far from the equipartition value. We briefly review the possibilities of gamma-ray emission and prospects for GLAST observations. We also present a toy model of the non-thermal electron spectra that are produced by the acceleration mechanisms discussed in an accompanying paper.Comment: 17 pages, 6 figures, accepted for publication in Space Science Reviews, special issue "Clusters of galaxies: beyond the thermal view", Editor J.S. Kaastra, Chapter 10; work done by an international team at the International Space Science Institute (ISSI), Bern, organised by J.S. Kaastra, A.M. Bykov, S. Schindler & J.A.M. Bleeke

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Ultra-High Energy Cosmic Ray Probes of Large Scale Structure and Magnetic Fields

We study signatures of a structured universe in the multi-pole moments, auto-correlation function, and cluster statistics of ultra-high energy cosmic rays above 10^19 eV. We compare scenarios where the sources are distributed homogeneously or according to the baryon density distribution obtained from a cosmological large scale structure simulation. The influence of extragalactic magnetic fields is studied by comparing the case of negligible fields with fields expected to be produced along large scale shocks with a maximal strength consistent with observations. We confirm that strongly magnetized observers would predict considerable anisotropy on large scales, which is already in conflict with current data. In the best fit scenario only the sources are strongly magnetized, although deflection can still be considerable, of order 20 degrees up to 10^20 eV, and a pronounced GZK cutoff is predicted. We then discuss signatures for future large scale full-sky detectors such as the Pierre Auger and EUSO projects. Auto-correlations are sensitive to the source density only if magnetic fields do not significantly affect propagation. In contrast, for a weakly magnetized observer, degree scale auto-correlations below a certain level indicate magnetized discrete sources. It may be difficult even for next generation experiments to distinguish between structured and unstructured source distributions.Comment: 17 revtex pages, 29 ps figures, published version with minor changes, see http://link.aps.org/abstract/PRD/v70/e04300

Identification of common genetic risk variants for autism spectrum disorder

Autism spectrum disorder (ASD) is a highly heritable and heterogeneous group of neurodevelopmental phenotypes diagnosed in more than 1% of children. Common genetic variants contribute substantially to ASD susceptibility, but to date no individual variants have been robustly associated with ASD. With a marked sample-size increase from a unique Danish population resource, we report a genome-wide association meta-analysis of 18,381 individuals with ASD and 27,969 controls that identified five genome-wide-significant loci. Leveraging GWAS results from three phenotypes with significantly overlapping genetic architectures (schizophrenia, major depression, and educational attainment), we identified seven additional loci shared with other traits at equally strict significance levels. Dissecting the polygenic architecture, we found both quantitative and qualitative polygenic heterogeneity across ASD subtypes. These results highlight biological insights, particularly relating to neuronal function and corticogenesis, and establish that GWAS performed at scale will be much more productive in the near term in ASD.Peer reviewe

Trans-ancestry genome-wide association study identifies 12 genetic loci influencing blood pressure and implicates a role for DNA methylation

We carried out a trans-ancestry genome-wide association and replication study of blood pressure phenotypes among up to 320,251 individuals of East Asian, European and South Asian ancestry. We find genetic variants at 12 new loci to be associated with blood pressure (P = 3.9 &times; 10-11 to 5.0 &times; 10-21). The sentinel blood pressure SNPs are enriched for association with DNA methylation at multiple nearby CpG sites, suggesting that, at some of the loci identified, DNA methylation may lie on the regulatory pathway linking sequence variation to blood pressure. The sentinel SNPs at the 12 new loci point to genes involved in vascular smooth muscle (IGFBP3, KCNK3, PDE3A and PRDM6) and renal (ARHGAP24, OSR1, SLC22A7 and TBX2) function. The new and known genetic variants predict increased left ventricular mass, circulating levels of NT-proBNP, and cardiovascular and all-cause mortality (P = 0.04 to 8.6 &times; 10-6). Our results provide new evidence for the role of DNA methylation in blood pressure regulation

Spin alignment of leading K∗(892)0K^{*}(892)^{0} mesons in hadronic Z0Z^0 decays

Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K ∗ (892) 0 mesons from hadronic Z 0 decays have been measured over the full range of K ∗ 0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x p values above 0.3, with the matrix element ϱ 00 rising to 0.66 ± 0.11 for x p > 0.7. The values of the real part of the off-diagonal element ϱ 1 - 1 are negative at large x p , with a weighted average value of −0.09 ± 0.03 for x p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the q q system from the Z 0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x p range. The K ∗ 0 fragmentation function has also been measured and the total rate determined to be 0.74 ± 0.02 ± 0.02 K ∗ (892) 0 mesons per hadronic Z 0 decay