Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Identifying Boosted Objects with N-subjettiness

We introduce a new jet shape -- N-subjettiness -- designed to identify boosted hadronically-decaying objects like electroweak bosons and top quarks. Combined with a jet invariant mass cut, N-subjettiness is an effective discriminating variable for tagging boosted objects and rejecting the background of QCD jets with large invariant mass. In efficiency studies of boosted W bosons and top quarks, we find tagging efficiencies of 30% are achievable with fake rates of 1%. We also consider the discovery potential for new heavy resonances that decay to pairs of boosted objects, and find significant improvements are possible using N-subjettiness. In this way, N-subjettiness combines the advantages of jet shapes with the discriminating power seen in previous jet substructure algorithms.Comment: 26 pages, 26 figures, 2 tables; v2: references added; v3: discussion of results extende

Performance of the LHCb vertex locator

The Vertex Locator (VELO) is a silicon microstrip detector that surrounds the proton-proton interaction region in the LHCb experiment. The performance of the detector during the first years of its physics operation is reviewed. The system is operated in vacuum, uses a bi-phase CO2 cooling system, and the sensors are moved to 7 mm from the LHC beam for physics data taking. The performance and stability of these characteristic features of the detector are described, and details of the material budget are given. The calibration of the timing and the data processing algorithms that are implemented in FPGAs are described. The system performance is fully characterised. The sensors have a signal to noise ratio of approximately 20 and a best hit resolution of 4 μm is achieved at the optimal track angle. The typical detector occupancy for minimum bias events in standard operating conditions in 2011 is around 0.5%, and the detector has less than 1% of faulty strips. The proximity of the detector to the beam means that the inner regions of the n+-on-n sensors have undergone space-charge sign inversion due to radiation damage. The VELO performance parameters that drive the experiment's physics sensitivity are also given. The track finding efficiency of the VELO is typically above 98% and the modules have been aligned to a precision of 1 μm for translations in the plane transverse to the beam. A primary vertex resolution of 13 μm in the transverse plane and 71 μm along the beam axis is achieved for vertices with 25 tracks. An impact parameter resolution of less than 35 μm is achieved for particles with transverse momentum greater than 1 GeV/c

Precision luminosity measurements at LHCb

Measuring cross-sections at the LHC requires the luminosity to be determined accurately at each centre-of-mass energy √s. In this paper results are reported from the luminosity calibrations carried out at the LHC interaction point 8 with the LHCb detector for √s = 2.76, 7 and 8 TeV (proton-proton collisions) and for √sNN = 5 TeV (proton-lead collisions). Both the "van der Meer scan" and "beam-gas imaging" luminosity calibration methods were employed. It is observed that the beam density profile cannot always be described by a function that is factorizable in the two transverse coordinates. The introduction of a two-dimensional description of the beams improves significantly the consistency of the results. For proton-proton interactions at √s = 8 TeV a relative precision of the luminosity calibration of 1.47% is obtained using van der Meer scans and 1.43% using beam-gas imaging, resulting in a combined precision of 1.12%. Applying the calibration to the full data set determines the luminosity with a precision of 1.16%. This represents the most precise luminosity measurement achieved so far at a bunched-beam hadron collider

Risk‐taking increases under boredom

We examined if boredom is associated with risk‐taking. Although this association has frequently been postulated, it has rarely been tested, and the evidence has thus far been rather indirect and speculative. We conducted three studies to test this association more systematically. In Study 1, people high in boredom proneness reported greater risk‐taking across financial, ethical, recreational, and health or safety domains. In Study 2, over a series of risky decisions, risk‐taking increased in tandem with state boredom. Consistently, in Study 3, people who felt more bored were more likely to choose risky gambles. Furthermore, while dispositional self‐control predicted lower risk‐taking, state boredom nullified this association, suggesting that elevated risk‐taking might be attributed the erosion of self‐control under boredom. Our findings establish via direct empirical tests that boredom is associated with making riskier decisions

Supersymmetry in the shadow of photini

Additional neutral gauge fermions -- "photini" -- arise in string compactifications as superpartners of U(1) gauge fields. Unlike their vector counterparts, the photini can acquire weak-scale masses from soft SUSY breaking and lead to observable signatures at the LHC through mass mixing with the bino. In this work we investigate the collider consequences of adding photini to the neutralino sector of the MSSM. Relatively large mixing of one or more photini with the bino can lead to prompt decays of the lightest ordinary supersymmetric particle; these extra cascades transfer most of the energy of SUSY decay chains into Standard Model particles, diminishing the power of missing energy as an experimental handle for signal discrimination. We demonstrate that the missing energy in SUSY events with photini is reduced dramatically for supersymmetric spectra with MSSM neutralinos near the weak scale, and study the effects on limits set by the leading hadronic SUSY searches at ATLAS and CMS. We find that in the presence of even one light photino the limits on squark masses from hadronic searches can be reduced by 400 GeV, with comparable (though more modest) reduction of gluino mass limits. We also consider potential discovery channels such as dilepton and multilepton searches, which remain sensitive to SUSY spectra with photini and can provide an unexpected route to the discovery of supersymmetry. Although presented in the context of photini, our results apply in general to theories in which additional light neutral fermions mix with MSSM gauginos.Comment: 23 pages, 8 figures, references adde

Partners and others: Social provisions and loneliness among married Dutch men and women in the second half of life.

Contains fulltext : 55911.pdf (publisher's version ) (Closed access)The main goal of this article was to test whether the perceived availability of social provisions within and outside marriage in a representative Dutch sample of men and women in late adulthood would differ from findings from similar studies in the United States. We predicted that there would be more similarity between married men and women in self-reported social relationships, social provisions, and loneliness in the more feminine culture of The Netherlands than is often reported in research from the United States, where the dominant culture is more masculine. Data are from the Dutch Aging survey that involved a representative sample of 983 people between the ages of 40 and 85. As predicted, we found similarity between men and women in the size and composition of core networks, the provision of emotional support to and from the partner, and in the provision of instrumental support to others. Contrary to our hypothesis, women exchanged more emotional support with friends, children, and other family and identified these persons more often as companions in leisure activities. Despite the women’s greater reported involvement in other relationships, these men were not lonelier than were women. For both men and women, social provisions from close relationships beyond the partner relation contributed to alleviating loneliness.22 p

Improved performance of the LHCb Outer Tracker in LHC Run 2

The LHCb Outer Tracker is a gaseous detector covering an area of $5\times 6 m^2$ with 12 double layers of straw tubes. The performance of the detector is presented based on data of the LHC Run 2 running period from 2015 and 2016. Occupancies and operational experience for data collected in $p p$, pPb and PbPb collisions are described. An updated study of the ageing effects is presented showing no signs of gain deterioration or other radiation damage effects. In addition several improvements with respect to LHC Run 1 data taking are introduced. A novel real-time calibration of the time-alignment of the detector and the alignment of the single monolayers composing detector modules are presented, improving the drift-time and position resolution of the detector by 20\%. Finally, a potential use of the improved resolution for the timing of charged tracks is described, showing the possibility to identify low-momentum hadrons with their time-of-flight.Comment: 29 pages, 20 figures, minor changes to match the published versio