Multiple osteochondromas of the antlers and cranium in a free-ranging white-tailed deer (Odocoileus virginianus)

This paper reports a case of multiple osteochondromas affecting the antlers and the left zygomatic bone of a free-ranging adult white-tailed buck (Odocoileus virginianus) from Georgia, USA. Along with a few postcranial bones, the antlered cranium of the individual was found in a severely weathered condition and devoid of any soft tissue. The antlers exhibited five pedunculated exostoses that were composed of cancellous bone and, in their peripheral portions, also mineralized cartilage. The largest of the exostoses, located on the right antler, had a maximum circumference of 55 cm. The exostosis arising from the zygomatic bone was broad-based and much smaller than the exophytic outgrowths on the antlers. Diagnosis of the exostoses as osteochondromas was based on their overall morphology, the normal bone structure in their stalk regions, and the continuity of their spongiosa and cortex with the respective components of the parent bones. Antleromas, i.e., pathological outgrowths developing on antlers as a result of insufficient androgen production, were excluded in the differential diagnosis, based on (1) the apparent maturity and, except for the tumors, normal shape of the antlers and (2) the fact that exostosis formation had also affected the zygomatic bone. Previously only a single case of solitary osteochondroma of an antler has been described in the scientific literature. The case presented here is the first report of multiple osteochondromas in a deer. As antlers are regularly collected as trophies, and huge numbers of them are critically inspected each year, the fact that thus far only two cases of antler osteochondromas have been reported suggests that these tumors are very rare

Contactless Remote Induction of Shear Waves in Soft Tissues Using a Transcranial Magnetic Stimulation Device

This study presents the first observation of shear wave induced remotely within soft tissues. It was performed through the combination of a transcranial magnetic stimulation device and a permanent magnet. A physical model based on Maxwell and Navier equations was developed. Experiments were performed on a cryogel phantom and a chicken breast sample. Using an ultrafast ultrasound scanner, shear waves of respective amplitude of 5 and 0.5 micrometers were observed. Experimental and numerical results were in good agreement. This study constitutes the framework of an alternative shear wave elastography method

Assessing optimal target populations for influenza vaccination programmes: an evidence synthesis and modelling study.

BACKGROUND: Influenza vaccine policies that maximise health benefit through efficient use of limited resources are needed. Generally, influenza vaccination programmes have targeted individuals 65 y and over and those at risk, according to World Health Organization recommendations. We developed methods to synthesise the multiplicity of surveillance datasets in order to evaluate how changing target populations in the seasonal vaccination programme would affect infection rate and mortality. METHODS AND FINDINGS: Using a contemporary evidence-synthesis approach, we use virological, clinical, epidemiological, and behavioural data to develop an age- and risk-stratified transmission model that reproduces the strain-specific behaviour of influenza over 14 seasons in England and Wales, having accounted for the vaccination uptake over this period. We estimate the reduction in infections and deaths achieved by the historical programme compared with no vaccination, and the reduction had different policies been in place over the period. We find that the current programme has averted 0.39 (95% credible interval 0.34-0.45) infections per dose of vaccine and 1.74 (1.16-3.02) deaths per 1,000 doses. Targeting transmitters by extending the current programme to 5-16-y-old children would increase the efficiency of the total programme, resulting in an overall reduction of 0.70 (0.52-0.81) infections per dose and 1.95 (1.28-3.39) deaths per 1,000 doses. In comparison, choosing the next group most at risk (50-64-y-olds) would prevent only 0.43 (0.35-0.52) infections per dose and 1.77 (1.15-3.14) deaths per 1,000 doses. CONCLUSIONS: This study proposes a framework to integrate influenza surveillance data into transmission models. Application to data from England and Wales confirms the role of children as key infection spreaders. The most efficient use of vaccine to reduce overall influenza morbidity and mortality is thus to target children in addition to older adults. Please see later in the article for the Editors' Summary

A Systematic Approach to Canonicity in the Classical Sequent Calculus

International audienceThe sequent calculus is often criticized for requiring proofs to contain large amounts of low-level syntactic details that can obscure the essence of a given proof. Because each inference rule introduces only a single connective, sequent proofs can separate closely related steps---such as instantiating a block of quantifiers---by irrelevant noise. Moreover, the sequential nature of sequent proofs forces proof steps that are syntactically non-interfering and permutable to nevertheless be written in some arbitrary order. The sequent calculus thus lacks a notion of canonicity: proofs that should be considered essentially the same may not have a common syntactic form. To fix this problem, many researchers have proposed replacing the sequent calculus with proof structures that are more parallel or geometric. Proof-nets, matings, and atomic flows are examples of such revolutionary formalisms. We propose, instead, an evolutionary approach to recover canonicity within the sequent calculus, which we illustrate for classical first-order logic. The essential element of our approach is the use of a multi-focused sequent calculus as the means of abstracting away the details from classical cut-free sequent proofs. We show that, among the multi-focused proofs, the maximally multi-focused proofs that make the foci as parallel as possible are canonical. Moreover, such proofs are isomorphic to expansion proofs---a well known, minimalistic, and parallel generalization of Herbrand disjunctions---for classical first-order logic. This technique is a systematic way to recover the desired essence of any sequent proof without abandoning the sequent calculus