4,148 research outputs found

    A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

    Get PDF
    A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

    Prevalence and Correlates of HIV and Hepatitis C Virus Infections and Risk Behaviors among Malaysian Fishermen

    Get PDF
    Fishermen in Southeast Asia have been found to be highly vulnerable to HIV, with research evidence highlighting the role of sexual risk behaviors. This study aims to estimate the rate of HIV as well as hepatitis C virus (HCV) infections among Malaysian fishermen, and the risky sexual and injection drug use behaviors that may contribute to these infections. The study also includes an assessment of socio-demographic, occupational and behavioral correlates of testing positive for HIV or HCV, and socio-demographic and occupational correlates of risk behaviors. The study had a cross-sectional design and recruited 406 fishermen through respondent-driven sampling (RDS). Participants self-completed a questionnaire and provided biological specimens for HIV and HCV testing. We conducted and compared results of analyses of both unweighted data and data weighted with the Respondent-Driven Sampling Analysis Tool (RDSAT). Of the participating fishermen, 12.4% were HIV positive and 48.6% had HCV infection. Contrary to expectations and findings from previous research, most fishermen (77.1%) were not sexually active. More than a third had a history of injection drug use, which often occurred during fishing trips on commercial vessels and during longer stays at sea. Of the fishermen who injected drugs, 42.5% reported unsafe injection practices in the past month. Reporting a history of injection drug use increased the odds of testing HIV positive by more than 6 times (AOR = 6.22, 95% CIs [2.74, 14.13]). Most fishermen who injected drugs tested positive for HCV. HCV infection was significantly associated with injection drug use, being older than 25 years, working on a commercial vessel and spending four or more days at sea per fishing trip. There is an urgent need to strengthen current harm reduction and drug treatment programs for Malaysian fishermen who inject drugs, especially among fishermen who work on commercial vessels and engage in deep-sea fishing

    Metropolitan Social Environments and Pre-HAART/HAART Era Changes in Mortality Rates (per 10,000 Adult Residents) among Injection Drug Users Living with AIDS

    Get PDF
    Background Among the largest US metropolitan areas, trends in mortality rates for injection drug users (IDUs) with AIDS vary substantially. Ecosocial, risk environment and dialectical theories suggest many metropolitan areas characteristics that might drive this variation. We assess metropolitan area characteristics associated with decline in mortality rates among IDUs living with AIDS (per 10,000 adult MSA residents) after highly active antiretroviral therapy (HAART) was developed. Methods This is an ecological cohort study of 86 large US metropolitan areas from 1993–2006. The proportional rate of decline in mortality among IDUs diagnosed with AIDS (as a proportion of adult residents) from 1993–1995 to 2004–2006 was the outcome of interest. This rate of decline was modeled as a function of MSA-level variables suggested by ecosocial, risk environment and dialectical theories. In multiple regression analyses, we used 1993–1995 mortality rates to (partially) control for pre-HAART epidemic history and study how other independent variables affected the outcomes. Results In multivariable models, pre-HAART to HAART era increases in ‘hard drug’ arrest rates and higher pre-HAART income inequality were associated with lower relative declines in mortality rates. Pre-HAART per capita health expenditure and drug abuse treatment rates, and pre- to HAART-era increases in HIV counseling and testing rates, were weakly associated with greater decline in AIDS mortality. Conclusions Mortality among IDUs living with AIDS might be decreased by reducing metropolitan income inequality, increasing public health expenditures, and perhaps increasing drug abuse treatment and HIV testing services. Given prior evidence that drug-related arrest rates are associated with higher HIV prevalence rates among IDUs and do not seem to decrease IDU population prevalence, changes in laws and policing practices to reduce such arrests while still protecting public order should be considered

    Polarization Studies of Comet C/2000 WM1 (LINEAR)

    Full text link
    Linear polarization observations were carried out on comet C/2000 WM1 with the 1.2m telescope at Mt. Abu Observatory during November 2001 and March 2002. The observations in November were at low phase angle (<~22\degr) when the polarization is negative and where the data for most of the comets are rather meager. The observations during March were made when the phase angle was ∟\sim 47\degr. Observations were conducted through the IHW narrow band and BVR broad band filters. Based on these polarization observations we infer that the comet C/2000 WM1 belongs to high polarization class i.e. the dusty comet family.Comment: 7 pages, 3 figures, accepted for publication in Astron. & Astrop

    Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy

    Get PDF
    Background A reliable system for grading operative difficulty of laparoscopic cholecystectomy would standardise description of findings and reporting of outcomes. The aim of this study was to validate a difficulty grading system (Nassar scale), testing its applicability and consistency in two large prospective datasets. Methods Patient and disease-related variables and 30-day outcomes were identified in two prospective cholecystectomy databases: the multi-centre prospective cohort of 8820 patients from the recent CholeS Study and the single-surgeon series containing 4089 patients. Operative data and patient outcomes were correlated with Nassar operative difficultly scale, using Kendall’s tau for dichotomous variables, or Jonckheere–Terpstra tests for continuous variables. A ROC curve analysis was performed, to quantify the predictive accuracy of the scale for each outcome, with continuous outcomes dichotomised, prior to analysis. Results A higher operative difficulty grade was consistently associated with worse outcomes for the patients in both the reference and CholeS cohorts. The median length of stay increased from 0 to 4 days, and the 30-day complication rate from 7.6 to 24.4% as the difficulty grade increased from 1 to 4/5 (both p < 0.001). In the CholeS cohort, a higher difficulty grade was found to be most strongly associated with conversion to open and 30-day mortality (AUROC = 0.903, 0.822, respectively). On multivariable analysis, the Nassar operative difficultly scale was found to be a significant independent predictor of operative duration, conversion to open surgery, 30-day complications and 30-day reintervention (all p < 0.001). Conclusion We have shown that an operative difficulty scale can standardise the description of operative findings by multiple grades of surgeons to facilitate audit, training assessment and research. It provides a tool for reporting operative findings, disease severity and technical difficulty and can be utilised in future research to reliably compare outcomes according to case mix and intra-operative difficulty

    Search for the standard model Higgs boson in the H to ZZ to 2l 2nu channel in pp collisions at sqrt(s) = 7 TeV

    Get PDF
    A search for the standard model Higgs boson in the H to ZZ to 2l 2nu decay channel, where l = e or mu, in pp collisions at a center-of-mass energy of 7 TeV is presented. The data were collected at the LHC, with the CMS detector, and correspond to an integrated luminosity of 4.6 inverse femtobarns. No significant excess is observed above the background expectation, and upper limits are set on the Higgs boson production cross section. The presence of the standard model Higgs boson with a mass in the 270-440 GeV range is excluded at 95% confidence level.Comment: Submitted to JHE
    • …
    corecore