1,893 research outputs found

    Hierarchical models for service-oriented systems

    Get PDF
    We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations. Each domain of interpretation focuses on a particular perspective of the graph hierarchy: the top view (nested boxes) is based on a notion of embedded graphs while the side view (tree hierarchy) is based on gs-graphs. Our algebra can be understood as a high-level language for describing such graphical models, which are well suited for defining graphical representations of service-oriented systems where nesting (e.g. sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects

    An Algebra of Hierarchical Graphs

    Get PDF
    We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects

    A New population of carpet vipers Echis Carinatus from northern Kenya

    Get PDF

    MeV-scale seesaw and leptogenesis

    Get PDF
    We study the type-I seesaw model with three right-handed neutrinos and Majorana masses below the pion mass. In this mass range, the model parameter space is not only strongly constrained by the requirement to explain the light neutrino masses, but also by experimental searches and cosmological considerations. In the existing literature, three disjoint regions of potentially viable parameter space have been identified. In one of them, all heavy neutrinos decay shortly before big bang nucleosynthesis. In the other two regions, one of the heavy neutrinos either decays between BBN and the CMB decoupling or is quasi-stable. We show that previously unaccounted constraints from photodisintegration of nuclei practically rule out all relevant decays that happen between BBN and the CMB decoupling. Quite remarkably, if all heavy neutrinos decay before BBN, the baryon asymmetry of the universe can be quite generically explained by low-scale leptogenesis, i.e. without further tuning in addition to what is needed to avoid experimental and cosmological constraints. This motivates searches for heavy neutrinos in pion decay experiments

    New long-lived particle searches in heavy-ion collisions at the LHC

    Get PDF
    We show that heavy-ion collisions at the LHC provide a promising environment to search for signatures with displaced vertices in well-motivated new physics scenarios. Compared to proton collisions, they offer several advantages: (i) the number of parton level interactions per collision is larger, (ii) there is no pileup, (iii) the lower instantaneous luminosity compared to proton collisions allows one to operate the LHC experiments with very loose triggers, and (iv) there are new production mechanisms that are absent in proton collisions We focus on the third point and show that the modification of the triggers alone can increase the number of observable events by orders of magnitude if the long-lived particles are predominantly produced with low transverse momentum. Our results show that collisions of ions lighter than lead are well motivated from the viewpoint of searches for new physics. We illustrate this for the example of heavy neutrinos in the Neutrino Minimal Standard Model

    analyses from a cross-sectional online survey

    Get PDF
    Objectives Opportunities for men having sex with men (MSM) to meet each other have very much improved by new communication technologies. Meeting venue-based characteristics can impact how many partners are met and how much sexual risk is taken. We analysed the association between physical and virtual venues and the risk for bacterial sexually transmitted infections (bSTIs) among participants in an MSM online survey. Methods Data were collected during 2013/2014 with a survey targeting MSM living in Germany. The impact of the meeting place with the last non-steady anal sex partner on diagnosis with a bSTI in the previous year was analysed using bivariate and multivariate regression analysis, taking into account self-reported HIV status, serostatus communication, condom use, partner number, age and city size. Results The study sample consisted of 8878 respondents (7799 not diagnosed with HIV; 1079 diagnosed with HIV). Meeting partners online was most common (62% HIV−/51% HIV+), followed by sex venues (11% HIV−/25% HIV+); other venues were each reported by 2–6% of the respondents. Venue-dependent proportions reporting bSTIs in the recent year were 2–4 folds higher among men diagnosed with HIV. In multivariate analysis, HIV status was the strongest predictor for bSTIs (OR=5.0; 95% CI 2.8 to 8.7). Compared with meeting partners online, sex (OR 1.6; 95% CI 1.0 to 2.5) and social venues (OR 1.9; 95% CI 1.4 to 2.6) were associated with increased bSTI risk for men not diagnosed with HIV, but the risk when meeting partners by smartphone apps was only of borderline significance (OR 1.5; 95% CI 0.9 to 2.3). For men diagnosed with HIV, bSTI risk increased for sex venues (OR 1.5; 95% CI 1.1 to 2.1), and was lower for non-gay/other venues (OR 0.2; 95% CI 0.1 to 0.5). Conclusions Venues are connected to social-behavioural facets of corresponding sexual encounters, and may be important arenas for differential HIV and STI education, treatment and prevention
    • …