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.     

Strength of brittle materials in moderately corrosive environments

The strengths of four brittle materials―cordierite glass ceramic, fused silica, silicon, and polycrystalline alumina were measured after exposure to weakly corrosive water and moderately corrosive buffered HF (BHF) solution. Exposure to water did not alter the strengths in subsequent inert strength tests and decreased the strengths in reactive strength tests. Exposure to BHF increased the strengths in both tests, but only after an incubation exposure time. Prior to the incubation time, the BHF had the same effect as water, suggesting that the bond rupture kinetics were unaffected. Examination of strength‐controlling indentation flaws after the incubation time showed clear corrosive effects on the flaw geometry indicative of reductions in the indentation residual stress fields. The implication is that moderately corrosive environments increase the strength or lifetime of a brittle component by reducing the crack driving force via flaw alteration and do not, as perhaps expected, decrease the strength or lifetime through enhanced chemical reactivity.     

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.