497 research outputs found

    Formal Specification and Testing of a Management Architecture

    Get PDF
    The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

    White privilege, empathy and alterity in higher education : Teaching about race and racism in the sociology of PE and sport

    Get PDF
    In this chapter we provide a reflexive account on personal experiences teaching in HE in order to consider the extent to which our status as white HE practitioners reinforces and/or undermines white privilege in HE. As lecturers teaching within the discipline of sociology in physical education (PE) and sport contexts, we question whether our delivery of lectures on race and racism effectively challenges racialised discourses and encourages social action within our field. Despite the fact that the undergraduate programmes we work on incorporate lectures on race and ethnicity as a crucial part of the curriculum, these sessions have rarely been delivered by black and minority ethnic (BME) academics. We therefore consider whether our practice can provide a critical pedagogic voice, or if it simply provides a platform for white academics to unconsciously reinforce the institutional whiteness of HE. In particular, we reflect upon the possibility for white academics to empathise with the racialised social experiences of BME students in our cohorts, and the potential risk that our practice simply offers tokenistic discussion of race which reinforce the current forms of inequality and white privilege, whilst violating the alterity of our students

    The Light Stop Scenario from Gauge Mediation

    Full text link
    In this paper we embed the light stop scenario, a MSSM framework which explains the baryon asymmetry of the universe through a strong first order electroweak phase transition, in a top-down approach. The required low energy spectrum consists in the light SM-like Higgs, the right-handed stop, the gauginos and the Higgsinos while the remaining scalars are heavy. This spectrum is naturally driven by renormalization group evolution starting from a heavy scalar spectrum at high energies. The latter is obtained through a supersymmetry-breaking mix of gauge mediation, which provides the scalars masses by new gauge interactions, and gravity mediation, which generates gaugino and Higgsino masses. This supersymmetry breaking also explains the \mu\ and B_\mu\ parameters necessary for electroweak breaking and predicts small tri-linear mixing terms A_t in agreement with electroweak baryogenesis requirements. The minimal embedding predicts a Higgs mass around its experimental lower bound and by a small extension higher masses m_H\lesssim 127 GeV can be accommodated.Comment: 20 pages, 3 figures; v2: changes in the conventions; v3: more details on the Higgs mass prediction, version published in JHE

    Structure of the shutdown state of myosin-2

    Get PDF
    Myosin-2 is essential for processes as diverse as cell division and muscle contraction. Dephosphorylation of its regulatory light chain promotes an inactive, ‘shutdown’ state with the filament-forming tail folded onto the two heads1, which prevents filament formation and inactivates the motors2. The mechanism by which this happens is unclear. Here we report a cryo-electron microscopy structure of shutdown smooth muscle myosin with a resolution of 6 Å in the head region. A pseudo-atomic model, obtained by flexible fitting of crystal structures into the density and molecular dynamics simulations, describes interaction interfaces at the atomic level. The N-terminal extension of one regulatory light chain interacts with the tail, and the other with the partner head, revealing how the regulatory light chains stabilize the shutdown state in different ways and how their phosphorylation would allow myosin activation. Additional interactions between the three segments of the coiled coil, the motor domains and the light chains stabilize the shutdown molecule. The structure of the lever in each head is competent to generate force upon activation. This shutdown structure is relevant to all isoforms of myosin-2 and provides a framework for understanding their disease-causing mutations

    Energy loss in a strongly coupled anisotropic plasma

    Full text link
    We study the energy loss of a rotating infinitely massive quark moving, at constant velocity, through an anisotropic strongly-coupled N=4 plasma from holography. It is shown that, similar to the isotropic plasma, the energy loss of the rotating quark is due to either the drag force or radiation with a continuous crossover from drag-dominated regime to the radiation dominated regime. We find that the anisotropy has a significant effect on the energy loss of the heavy quark, specially in the crossover regime. We argue that the energy loss due to radiation in anisotropic media is less than the isotropic case. Interestingly this is similar to analogous calculations for the energy loss in weakly coupled anisotropic plasma.Comment: 26+1 pages, 10 figures, typos fixe

    Evaluation of Antigens for Development of a Serological Test for Human African Trypanosomiasis

    Get PDF
    BACKGROUND: Control and elimination of human African trypanosomiasis (HAT) can be accelerated through the use of diagnostic tests that are more accurate and easier to deploy. The goal of this work was to evaluate the immuno-reactivity of antigens and identify candidates to be considered for development of a simple serological test for the detection of Trypanosoma brucei gambiense or T. b. rhodesiense infections, ideally both. METHODOLOGY/PRINCIPAL FINDINGS: The reactivity of 35 antigens was independently evaluated by slot blot and ELISA against sera from both T. b. gambiense and T. b. rhodesiense infected patients and controls. The antigens that were most reactive by both tests to T. b. gambiense sera were the membrane proteins VSG LiTat 1.3, VSG LiTat 1.5 and ISG64. Reactivity to T. b. rhodesiense sera was highest with VSG LiTat 1.3, VSG LiTat 1.5 and SRA, although much lower than with T. b. gambiense samples. The reactivity of all possible combinations of antigens was also calculated. When the slot blot results of 2 antigens were paired, a VSG LiTat 1.3- ISG75 combination performed best on T. b. gambiense sera, while a VSG LiTat 1.3-VSG LiTat 1.5 combination was the most reactive using ELISA. A combination of SRA and either VSG LiTat 1.3 or VSG LiTat 1.5 had the highest reactivity on T. b. rhodesiense sera according to slot blot, while in ELISA, pairing SRA with either GM6 or VSG LiTat 1.3 yielded the best results. CONCLUSIONS: This study identified antigens that were highly reactive to T. b. gambiense sera, which could be considered for developing a serological test for gambiense HAT, either individually or in combination. Antigens with potential for inclusion in a test for T. b. rhodesiense HAT were also identified, but because their reactivity was comparatively lower, a search for additional antigens would be required before developing a test for this form of the disease.Support was provided by Bill & Melinda Gates Foundation (http://www.gatesfoundation.org/), grant 39524 (JMN); National Institutes of Health (https://www.nih.gov/), grant 2R37AI034432 (MAP); National Institute of Allergy and Infectious Diseases (https://www.niaid.nih.gov/), grants AI035739 and AI056866 (JB); Wellcome Trust (https://wellcome.ac.uk/), grant 101842 (MF); The Sandler Foundation to University of California (JMK); Agence nationale de la recherche (http://www.agence-nationale-recherche.fr/), grant ANR-11-LABX-0024 (DRR); Wellcome Trust Centre for Molecular Parasitology (http://www.gla.ac.uk/researchinstitutes/iii/wtcmp/), grant 104111/Z/14/Z (MPB, RMC and JCM). The funders provided support in the form of salaries for authors JMN, SB, AA, GM, MR, MAP, JB, MF, JMK, DRR, MPB, RMC and JCM, but did not have any additional role in the study design, data collection and analysis, decision to publish, or preparation of the manuscript. HW is an employee of MicroCoat Biotechnologie GmbH. This company was contracted by FIND to evaluate the reactivity of the antigens by slot blot and ELISA against sera. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript

    Comparative HPLC-MSn analysis of canine and human meibomian lipidomes: many similarities, a few differences

    Get PDF
    The aim of this study was to evaluate the lipidome of meibomian gland secretions in canines (cMGS) – a common pet and laboratory animal – and to compare it with that of human MGS (hMGS), to determine whether canines could be used as a valid experimental animal model in studies of the biochemistry and physiology of the human ocular surface in general, and of the Meibomian glands in particular. The MGS of both species were evaluated using HPLC in combination with atmospheric pressure chemical ionization ion trap mass spectrometry. The main lipid classes found in cMGS were very long chain cholesteryl esters, wax esters, (O-acyl)-omega-hydroxy fatty acids (OAHFA), and cholesteryl esters of OAHFA. The lipidomes of cMGS and hMGS were found to be qualitatively similar, which implies similar biosynthetic and biodegradation pathways in canines and humans. However, some quantitative differences between the two were observed
    • …
    corecore