Evaluating fluid semantics for passive stochastic process algebra cooperation

Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into a fluid model is of direct practical application. We compare different existing styles of fluid model translation of passive cooperation in a stochastic process algebra and show how the previous model can be improved upon significantly. We evaluate the new passive cooperation fluid semantics and show that the first-order fluid model is a good approximation to the dynamics of the underlying continuous-time Markov chain. We show that in a family of possible translations to the fluid model, there is an optimal translation which can be expected to introduce least error. Finally, we use these new techniques to show how the scalability of a passively-cooperating distributed software architecture could be assessed

Fluid semantics for passive stochastic process algebra cooperation

Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into a fluid model is of direct practical application. We compare different existing styles of fluid model translation of passive cooperation in a stochastic process algebra. We explain why the development of a fluid semantics for passive cooperation is not straightforward and we present an alternative definition which more closely matches the underlying discrete model. Finally, we present quantitative comparisons with a previous version of the fluid semantics in which numerical discrepancies can be observed. © 2008 ICST ISBN

Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems

Published versio

The age-metallicity structure of the Milky Way disc using APOGEE

The measurement of the structure of stellar populations in the Milky Way disc places fundamental constraints on models of galaxy formation and evolution. Previously, the disc’s structure has been studied in terms of populations defined geometrically and/or chemically, but a decomposition based on stellar ages provides a more direct connection to the history of the disc, and stronger constraint on theory. Here, we use positions, abundances and ages for 31 244 red giant branch stars from the Sloan Digital Sky Survey (SDSS)-APOGEE survey, spanning 3 < Rgc < 15 kpc, to dissect the disc into mono-age and mono-[Fe/H] populations at low and high [α/Fe]. For each population, with age < 2 Gyr and [Fe/H] < 0.1 dex, we measure the structure and surface-mass density contribution. We find that low [α/Fe] mono-age populations are fit well by a broken exponential, which increases to a peak radius and decreases thereafter. We show that this profile becomes broader with age, interpreted here as a new signal of disc heating and radial migration. High [α/Fe] populations are well fit as single exponentials within the radial range considered, with an average scalelength of 1.9 ± 0.1 kpc. We find that the relative contribution of high to low [α/Fe] populations at R0 is f� = 18 per cent ± 5 per cent; high [α/Fe] contributes most of the mass at old ages, and low [α/Fe] at young ages. The low and high [α/Fe] populations overlap in age at intermediate [Fe/H], although both contribute mass at R0 across the full range of [Fe/H]. The mass-weighted scaleheight hZ distribution is a smoothly declining exponential function. High [α/Fe] populations are thicker than low [α/Fe], and the average hZ increases steadily with age, between 200 and 600 pc

Efficacy of Combined Therapy with Amantadine, Oseltamivir, and Ribavirin In Vivo against Susceptible and Amantadine-Resistant Influenza A Viruses

The limited efficacy of existing antiviral therapies for influenza – coupled with widespread baseline antiviral resistance – highlights the urgent need for more effective therapy. We describe a triple combination antiviral drug (TCAD) regimen composed of amantadine, oseltamivir, and ribavirin that is highly efficacious at reducing mortality and weight loss in mouse models of influenza infection. TCAD therapy was superior to dual and single drug regimens in mice infected with drug-susceptible, low pathogenic A/H5N1 (A/Duck/MN/1525/81) and amantadine-resistant 2009 A/H1N1 influenza (A/California/04/09). Treatment with TCAD afforded >90% survival in mice infected with both viruses, whereas treatment with dual and single drug regimens resulted in 0% to 60% survival. Importantly, amantadine had no activity as monotherapy against the amantadine-resistant virus, but demonstrated dose-dependent protection in combination with oseltamivir and ribavirin, indicative that amantadine's activity had been restored in the context of TCAD therapy. Furthermore, TCAD therapy provided survival benefit when treatment was delayed until 72 hours post-infection, whereas oseltamivir monotherapy was not protective after 24 hours post-infection. These findings demonstrate in vivo efficacy of TCAD therapy and confirm previous reports of the synergy and broad spectrum activity of TCAD therapy against susceptible and resistant influenza strains in vitro

Strong Ultraviolet Pulse From a Newborn Type Ia Supernova

Type Ia supernovae are destructive explosions of carbon oxygen white dwarfs. Although they are used empirically to measure cosmological distances, the nature of their progenitors remains mysterious, One of the leading progenitor models, called the single degenerate channel, hypothesizes that a white dwarf accretes matter from a companion star and the resulting increase in its central pressure and temperature ignites thermonuclear explosion. Here we report observations of strong but declining ultraviolet emission from a Type Ia supernova within four days of its explosion. This emission is consistent with theoretical expectations of collision between material ejected by the supernova and a companion star, and therefore provides evidence that some Type Ia supernovae arise from the single degenerate channel.Comment: Accepted for publication on the 21 May 2015 issue of Natur

Allergic Rhinitis and its Associated Co-Morbidities at Bugando Medical Centre in Northwestern Tanzania; A Prospective Review of 190 Cases.

Allergic rhinitis is one of the commonest atopic diseases which contribute to significant morbidity world wide while its epidemiology in Tanzania remains sparse. There was paucity of information regarding allergic rhinitis in our setting; therefore it was important to conduct this study to describe our experience on allergic rhinitis, associated co-morbidities and treatment outcome in patients attending Bugando Medical Centre. This was descriptive cross-sectional study involving all patients with a clinical diagnosis of allergic rhinitis at Bugando Medical Centre over a three-month period between June 2011 and August 2011. Data was collected using a pre-tested coded questionnaire and analyzed using SPSS statistical computer software version 17.0. A total of 190 patients were studied giving the prevalence of allergic rhinitis 14.7%. The median age of the patients was 8.5 years. The male to female ratio was 1:1. Adenoid hypertrophy, tonsillitis, hypertrophy of inferior turbinate, nasal polyps, otitis media and sinusitis were the most common co-morbidities affecting 92.6% of cases and were the major reason for attending hospital services. Sleep disturbance was common in children with adenoids hypertrophy (χ2 = 28.691, P = 0.000). Allergic conjunctivitis was found in 51.9%. The most common identified triggers were dust, strong perfume odors and cold weather (P < 0.05). Strong perfume odors affect female than males (χ2 = 4.583, P = 0.032). In this study family history of allergic rhinitis was not a significant risk factor (P =0.423). The majority of patients (68.8%) were treated surgically for allergic rhinitis co morbidities. Post operative complication and mortality rates were 2.9% and 1.6% respectively. The overall median duration of hospital stay of in-patients was 3 days (2 - 28 days). Most patients (98.4%) had satisfactory results at discharge. The study shows that allergic rhinitis is common in our settings representing 14.7% of all otorhinolaryngology and commonly affecting children and adolescent. Sufferers seek medical services due to co-morbidities of which combination of surgical and medical treatment was needed. High index of suspicions in diagnosing allergic rhinitis and early treatment is recommended

Scaling Up Towards International Targets for AIDS, Tuberculosis, and Malaria: Contribution of Global Fund-Supported Programs in 2011–2015

OBJECTIVE: The paper projects the contribution to 2011-2015 international targets of three major pandemics by programs in 140 countries funded by the Global Fund to Fight AIDS, Tuberculosis and Malaria, the largest external financier of tuberculosis and malaria programs and a major external funder of HIV programs in low and middle income countries. DESIGN: Estimates, using past trends, for the period 2011-2015 of the number of persons receiving antiretroviral (ARV) treatment, tuberculosis case detection using the internationally approved DOTS strategy, and insecticide-treated nets (ITNs) to be delivered by programs in low and middle income countries supported by the Global Fund compared to international targets established by UNAIDS, Stop TB Partnership, Roll Back Malaria Partnership and the World Health Organisation. RESULTS: Global Fund-supported programs are projected to provide ARV treatment to 5.5-5.8 million people, providing 30%-31% of the 2015 international target. Investments in tuberculosis and malaria control will enable reaching in 2015 60%-63% of the international target for tuberculosis case detection and 30%-35% of the ITN distribution target in sub-Saharan Africa. CONCLUSION: Global Fund investments will substantially contribute to the achievement by 2015 of international targets for HIV, TB and malaria. However, additional large scale international and domestic financing is needed if these targets are to be reached by 2015