[Serological and clinical proof of freedom from Equine Infectious Anemia (EIA) in imported and domestic horses in Switzerland]

Since 1991, no cases of Equine Infectious Anemia (EIA) have been reported in Switzerland. Risk factors for introduction of the virus into Switzerland are still present or have even increased as frequent inapparent infections, large numbers of imported horses, (since 2003) absence of compulsory testing prior to importation, EIA cases in surrounding Europe, possible illegal importation of horses, frequent short-term stays, poor knowledge of the disease among horse owners and even veterinarians. The aim of this study was to provide evidence of freedom from EIA in imported and domestic horses in Switzerland. The serum samples from 434 horses imported since 2003 as well as from 232 domestic horses fifteen years of age or older (since older horses have naturally had a longer time of being exposed to the risk of infection) were analysed using a commercially available ELISA test. All samples were seronegative, indicating that the maximum possible prevalence that could have been missed with this sample was 0.5% (95% confidence).

Effect of hay dust extract and cyathostomin antigen stimulation on cytokine expression by PBMC in horses with recurrent airway obstruction

Equine recurrent airway obstruction (RAO) is an inflammatory, obstructive airway disease induced by exposure of susceptible horses to inhaled organic dust particles. The immunological process underlying RAO is still unclear. Previous studies have shown that RAO is linked to the Interleukin-4 receptor (IL-4R) gene in one Warmblood family (F1), but not in another (F2). It has also been shown that in F1, but not in F2, RAO is associated with resistance against parasites, suggesting that this association may have an immuno-genetic basis. Therefore, we hypothesized that the T helper (h)1/Th2/regulatory (Treg) cytokine profiles of RAO-associated antigen- and parasite-antigen-stimulated peripheral blood mononuclear cells (PBMC) differ between RAO-affected and healthy horses depending on their genetic background. In our study, PBMC from 17 RAO-affected and 14 healthy control horses of F1 and F2 were stimulated for 24h with antigens relevant to RAO [hay dust extract (HDE), Aspergillus fumigatus extract (AFE) and lipopolysaccharids (LPS)]; cyathostomin extract (CE) and recombinant cyathostomin antigen (RCA) or with concanavalin A (ConA). Total mRNA levels of IL-4, IL-4R, IL-13, interferon (INF)-γ and IL-10 were examined by qRT-PCR. Stimulation with either HDE or RCA resulted in significant differences in IL-4R mRNA levels between RAO-affected and control horses in F1, but not in F2. For IL-10 mRNA expression, a significant difference between RAO-affected and control horses in F1 but not in F2 was observed only following stimulation with HDE. In contrast to HDE, stimulation with CE resulted in a significant difference of IL-10 mRNA expression level between RAO-affected horses of F2 and healthy horses of F1. No significant differences were detected upon stimulation with any of the other challenge agents. These findings indicate that the immunological response, specifically IL-4R expression, in response to hay dust and cyathostomin antigens, differs between RAO-affected and healthy horses depending on their genetic background. This study shows that analysis of PBMC reveals systemic changes associated with RAO and helps to elucidate immunological pathways involved in this disease.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Geochemical and isotopic characterization of the Bodélé Depression dust source and implications for transatlantic dust transport to the Amazon Basin

The Bodélé Depression (Chad) in the central Sahara/Sahel region of Northern Africa is the most important source of mineral dust to the atmosphere globally. The Bodélé Depression is purportedly the largest source of Saharan dust reaching the Amazon Basin by transatlantic transport. Here, we have undertaken a comprehensive study of surface sediments from the Bodélé Depression and dust deposits (Chad, Niger) in order to characterize geochemically and isotopically (Sr, Nd and Pb isotopes) this dust source, and evaluate its importance in present and past African dust records. We similarly analyzed sedimentary deposits from the Amazonian lowlands in order to assess postulated accumulation of African mineral dust in the Amazon Basin, as well as its possible impact in fertilizing the Amazon rainforest. Our results identify distinct sources of different ages and provenance in the Bodélé Depression versus the Amazon Basin, effectively ruling out an origin for the Amazonian deposits, such as the Belterra Clay Layer, by long-term deposition of Bodélé Depression material. Similarly, no evidence for contributions from other potential source areas is provided by existing isotope data (Sr, Nd) on Saharan dusts. Instead, the composition of these Amazonian deposits is entirely consistent with derivation from in-situ weathering and erosion of the Precambrian Amazonian craton, with little, if any, Andean contribution. In the Amazon Basin, the mass accumulation rate of eolian dust is only around one-third of the vertical erosion rate in shield areas, suggesting that Saharan dust is “consumed” by tropical weathering, contributing nutrients and stimulating plant growth, but never accumulates as such in the Amazon Basin. The chemical and isotope compositions found in the Bodélé Depression are varied at the local scale, and have contrasting signatures in the “silica-rich” dry lake-bed sediments and in the “calcium-rich” mixed diatomites and surrounding sand material. This unexpected finding implies that the Bodélé Depression material is not “pre-mixed” at the source to provide a homogeneous source of dust. Rather, different isotope signatures can be emitted depending on subtle vagaries of dust-producing events. Our characterization of the Bodélé Depression components indicate that the Bodélé “calcium-rich” component, identified here, is most likely released via eolian processes of sand grain saltation and abrasion and may be significant in the overall global budget of dusts carried out by the Harmattan low-level jet during the winter.