1,006 research outputs found

    MintHint: Automated Synthesis of Repair Hints

    Full text link
    Being able to automatically repair programs is an extremely challenging task. In this paper, we present MintHint, a novel technique for program repair that is a departure from most of today's approaches. Instead of trying to fully automate program repair, which is often an unachievable goal, MintHint performs statistical correlation analysis to identify expressions that are likely to occur in the repaired code and generates, using pattern-matching based synthesis, repair hints from these expressions. Intuitively, these hints suggest how to rectify a faulty statement and help developers find a complete, actual repair. MintHint can address a variety of common faults, including incorrect, spurious, and missing expressions. We present a user study that shows that developers' productivity can improve manyfold with the use of repair hints generated by MintHint -- compared to having only traditional fault localization information. We also apply MintHint to several faults of a widely used Unix utility program to further assess the effectiveness of the approach. Our results show that MintHint performs well even in situations where (1) the repair space searched does not contain the exact repair, and (2) the operational specification obtained from the test cases for repair is incomplete or even imprecise

    Spatio-temporal patterns in the Hantavirus infection

    Get PDF
    We present a model of the infection of Hantavirus in deer mouse, Peromyscus maniculatus, based on biological observations of the system in the North American Southwest. The results of the analysis shed light on relevant observations of the biological system, such as the sporadical disappearance of the infection, and the existence of foci or ``refugia'' that perform as reservoirs of the virus when environmental conditions are less than optimal.Comment: 6 pages, 5 inlined figures, RevTeX 4 forma

    Making Things Right: Nurses' Experiences with Workplace Bullying—A Grounded Theory

    Get PDF
    While bullying in the healthcare workplace has been recognized internationally, there is still a culture of silence in many institutions in the United States, perpetuating underreporting and insufficient and unproven interventions. The deliberate, repetitive, and aggressive behaviors of bullying can cause psychological and/or physical harm among professionals, disrupt nursing care, and threaten patient safety and quality outcomes. Much of the literature focuses on categories of bullying behaviors and nurse responses. This qualitative study reports on the experiences of nurses confronting workplace bullying. We collected data from the narratives of 99 nurses who completed an open-ended question embedded in an online survey in 2007. A constructivist grounded theory approach was used to analyze the data and shape a theory of how nurses make things right when confronted with bullying. In a four-step process, nurses place bullying in context, assess the situation, take action, and judge the outcomes of their actions. While many nurses do engage in a number of effective yet untested strategies, two additional concerns remain: inadequate support among nursing colleagues and silence and inaction by nurse administrators. Qualitative inquiry has the potential to guide researchers to a greater understanding of the complexities of bullying in the workplace

    The risk of synoptic-scale Arctic cyclones to shipping

    Get PDF
    The risk posed by Arctic cyclones to ships has seldom been quantified due to the lack of publicly available historical Arctic ship track data. This study investigates Arctic ship tracks derived from automatic identification system (AIS) transponders from September 2009 to December 2016. These are analysed with historical synoptic-scale cyclone tracks derived from ERA-5 reanalysis data and reports of past Arctic shipping incidents. We determine the number of ship tracks that intersected with intense Arctic cyclones tracks and how many of these intersections resulted in a reported shipping incident. The number of ships operating in the Arctic has increased year-on-year from 2010 to 2016. The highest density of ships occurs year-round in the Barents Sea. Trans-Arctic shipping transits via the Northern Sea Route and the Northwest Passage are limited to summer and autumn months, when sea ice extent has retreated sufficiently from the coastlines. Ship track density along these trans-Arctic routes is far less than the thousands of ships travelling in the Barents Sea year-round. Between 2010 and 2016, 158 Arctic shipping incidents were reported, but only 6 % of these reported incidents occurred following the passage of an intense Arctic cyclone. Arctic cyclones with significant wave heights greater than 6 m are found to frequently intersect ships, but only 0.1 % of these intersections resulted in a reported shipping incident. Results from this study indicate that ships are frequently impacted by Arctic cyclones, but cyclones were not a dominant cause of reported Arctic shipping incidents between 2010 and 2016. This suggests that ships are resilient to the rough sea conditions that past Arctic cyclones have caused, therefore mitigating and reducing risk.</p

    Characterizing IS Development Projects

    Get PDF

    The effects of childbirth on the pelvic-floor

    Get PDF
    Basically, vaginal delivery is associated with the risk of pelvic floor damage. The pelvic floor sequelae of childbirth includes anal incontinence, urinary incontinence and pelvic organ prolapse. Pathophysiology, incidence and risk factors for the development of the respective problems are reviewed. Where possible, recommendations for reducing the risk of pelvic floor damage are given
    corecore