Many important classes of bugs result from invrdid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these bugs cannot be detected efficiently at compile-time, since detailed cross-procedural analyses would be required to determine the relevant assumptions. In this work, we introduce annotations to make certain assumptions explicit at interface points. An efficient static cheeking tool that exploits these annotations can deteet a broad class of errors including misuses of null pointers, uses of dead storage, memory leaks, and dangerous aliasing. This technique has been used successfully to fix memory management problems in a large program,
Global interest and investment in the search for an HIV cure has increased. Research has focused on what experts refer to as a sterilizing or eradicating cure, where HIV is eliminated from the body, and on what is often called a functional cure, where HIV remains, kept durably suppressed in the absence of antiretroviral treatment and therapy (ART). Many believe that a functional cure is likely to be found first. HIV cure studies will require active participation by people living with HIV (PLWHIV). Their desires and perceptions will be important to effectively recruit study participants and for the uptake of any future strategy that demonstrates safety and efficacy. The perspectives of PLWHIV are essential to advancing HIV cure research, and they should be taken into consideration as biomedical research advances. We conducted 10 focus groups in four U.S. cities, eliciting perspectives of PLWHIV on HIV cure and cure research. Most participants conceived of a cure as eradicating, and felt favorably toward it. In addition to the physical benefits of a potential cure, participants valued the possible de-stigmatization related to no longer living with HIV, liberation from concerns about transmitting HIV, and freedom from the burden of daily medication. Many participants did not regard a functional cure as an improvement over controlling HIV through ART, were distrustful about viral rebound potential, and noted concerns about medical complications and accompanying psychological distress. Some felt that the risks of HIV cure research were not worth taking. Many were skeptical about science's ability to eliminate HIV from the body.
Portable chest X-radiography has no added predictive value in identifying patients who should be evaluated further for VAPI. This supports the elimination of findings on chest X-radiography as defining characteristics of VAP, which accords with the U.S. Centers for Disease Control and Prevention's recent definition of VAP as but one of a number of types of ventilator-associated pulmonary infection (VAPI).
In the established climate, evaporation dominates eastern England’s water regime, taking it near to desiccation in dry summers. Now, hotter drier summers are predicted – even more evaporation, coupled with less rainfall. If true, the reduction in summer water will be very large – far more than all abstractions put together, even by the 2020s. Thereafter, summer droughts will intensify and spread westwards, threatening river flows, agriculture and natural vegetation. In particular, irrigation need will escalate, with no summer water to meet it – a climate change impact that is being underperceived. This paper explores the scale of the issues and the adaptation options. It demonstrates synergy between the interests of agriculture and of water supply and calls for integrated strategic planning, with reservoirs and reuse high on the adaptation agenda.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.