Jump-starting transition? Catalysing grassroots action on climate change

The potential for community-led local sustainability initiatives to play a key role in a transition towards a low-carbon economy has been acknowledged by both policymakers and researchers. To date, such initiatives have predominantly been established through the efforts of volunteers, resulting in a scattered uptake across towns, cities and other communities in the UK and further afield. In a context where local and national Government are increasingly seeking to deliver local action on climate change in partnership with community organisations, is it possible or desirable for Government and other publicly funded bodies to successfully set up these grassroots initiatives “from the outside” where none exist already? This paper describes a project which explored this question through the provision of a 2-year programme of support for local action on climate change in a sub-region of the UK. Community development strategies were employed with a view to establishing new grassroots climate change initiatives in a range of different communities. The results indicate some potential for the strategy to meet with success, with several new groups and small-scale projects being established as a result. However, the short lifespan of many of the organisations set up and the relatively low impact on carbon emission reduction of their activities raises questions about the effectiveness of grassroots initiatives and how support of their activities can be delivered most effectively to maximise impact and improve cost effectiveness.     

Understanding veterinarians’ prescribing decisions on antibiotic dry cow therapy

In the United Kingdom, blanket antibiotic dry cow therapy (BDCT) is commonly prescribed. An alternate strategy is selective dry cow therapy (SDCT) whereby a teat sealant is given instead of an antibiotic to cows with a low probability of infection. Switching from BDCT to SDCT can significantly reduce antibiotic use. The aims of this study were to explore how veterinarians (vets) rationalized their prescribing decisions for mammary treatments at drying off, and the barriers and motivators they perceived to implementing SDCT. Face-to-face interviews were conducted with 20 purposively recruited vets from 6 practices in England, United Kingdom. The data were analyzed qualitatively using an inductive thematic analysis. The majority of participants stated a personal preference for SDCT because it constitutes more responsible antibiotic use. On the majority of farms, the prescribing decision was taken by a senior veterinarian and BDCT was prescribed. Less experienced vets expressed a desire to be more involved in the decision-making process. The first theme, prioritizing responsible antimicrobial prescribing, encapsulated the difficulties vets expressed engaging with farmers, conflicts of interest, and vets’ determination to take action. The second theme, the effect of a vet's experience on their ability to influence farmers, focused on the specific challenges faced by less experienced vets and the importance of vets being both trusted by farmers and being knowledgeable. The third theme, vets’ perceptions about the risk and complexity of implementing SDCT, revealed markedly different levels of concern and fears about adverse outcomes with teat sealants versus antibiotics. The results also showed differences in perceptions about how difficult SDCT is to implement in practice. The last theme, vets’ suggestions for facilitating the introduction of SDCT, was wide ranging and provided useful insight from a veterinary perspective into ways to facilitate SDCT. Initiatives that seek to alter vets’ perceptions of the risks associated with switching to using SDCT are likely to prove useful in facilitating change. Our results also suggest that it is vital for senior vets to take a leading role in facilitating farms to implement SDCT. Less experienced colleagues may benefit from more help from senior vets to gain the trust of farmers and to become involved more quickly in herd-level preventive medicine. Vets must work together and take a united approach to reduce antimicrobial use.     

Temporal property verification as a program analysis task

We describe a reduction from temporal property verification to a program analysis problem. First we present a proof system that, unlike the standard formulation, is more amenable to reasoning about infinite-state systems: disjunction is treated by partitioning, rather than enumerating, the state space and temporal operators are characterized with special sets of states called frontiers. We then describe a transformation that, with the use of procedures and nondeterminism, enables off-the-shelf program analysis tools to naturally perform the reasoning necessary for proving temporal properties (e.g. backtracking, eventuality checking, tree counterexamples for branching-time properties, abstraction refinement, etc.). Using examples drawn from the PostgreSQL database server, Apache web server, and Windows OS kernel, we demonstrate the practical viability of our work.     

Differential effects of air conditioning type on residential endotoxin levels in a semi‐arid climate

Residential endotoxin exposure is associated with protective and pathogenic health outcomes. Evaporative coolers, an energy‐efficient type of air conditioner used in dry climates, are a potential source of indoor endotoxins; however, this association is largely unstudied. We collected settled dust biannually from four locations in homes with evaporative coolers (n=18) and central air conditioners (n=22) in Utah County, Utah (USA), during winter (Jan‐Apr) and summer (Aug‐Sept), 2014. Dust samples (n=281) were analyzed by the Limulus amebocyte lysate test. Housing factors were measured by survey, and indoor temperature and relative humidity measures were collected during both seasons. Endotoxin concentrations (EU/mg) were significantly higher in homes with evaporative coolers from mattress and bedroom floor samples during both seasons. Endotoxin surface loads (EU/m²) were significantly higher in homes with evaporative coolers from mattress and bedroom floor samples during both seasons and in upholstered furniture during winter. For the nine significant season‐by‐location comparisons, EU/mg and EU/m² were approximately three to six times greater in homes using evaporative coolers. A plausible explanation for these findings is that evaporative coolers serve as a reservoir and distribution system for Gram‐negative bacteria or their cell wall components in homes.