Facilitatory non-invasive brain stimulation in older adults: the effect of stimulation type and duration on the induction of motor cortex plasticity.

Despite holding significant promise for counteracting the deleterious effects of ageing on cognitive and motor function, little is known of the effects of facilitatory non-invasive brain stimulation (NBS) techniques on corticospinal excitability (CSE) in older adults. Thirty-three older adults (≥60 years) participated in four NBS sessions on separate days, receiving 10- and 20-min anodal transcranial direct current stimulation (atDCS), and 300 and 600 pulses of intermittent theta burst stimulation (iTBS) over the left M1. Motor-evoked potentials measured in the contralateral hand served as a measure of CSE before and for 30 min following each NBS intervention. At the group level, generalized post-stimulation CSE increases were observed (p < 0.001) with no significant differences between the two durations of each stimulation type (atDCS: p = 0.5; iTBS: p = 0.9). For individuals exhibiting overall facilitatory change to atDCS ('responders', n = 10), 20-min atDCS resulted in longer lasting CSE facilitation than 10 min. No such difference was observed between the two iTBS protocols. Considerable variability was observed inter-individually, where 52-58 % of the cohort exhibited the expected facilitation after each of the NBS protocols-as well as intra-individually, where 45-48 % of the cohort maintained consistent post-stimulation responses across the varying durations and types of stimulation. In conclusion, as shown previously in young adults, older adults demonstrate substantial variability in response to different facilitatory NBS protocols. Studies to assess the intra-individual reliability of these protocols are critical to progress towards translation of appropriate protocols (i.e. those that elicit the greatest response for each individual) into clinical practice

OXA β-lactamases

The OXA β-lactamases were among the earliest β-lactamases detected; however, these molecular class D β-lactamases were originally relatively rare and always plasmid mediated. They had a substrate profile limited to the penicillins, but some became able to confer resistance to cephalosporins. From the 1980s onwards, isolates of Acinetobacter baumannii that were resistant to the carbapenems emerged, manifested by plasmid-encoded β-lactamases (OXA-23, OXA-40, and OXA-58) categorized as OXA enzymes because of their sequence similarity to earlier OXA β-lactamases. It was soon found that every A. baumannii strain possessed a chromosomally encoded OXA β-lactamase (OXA-51-like), some of which could confer resistance to carbapenems when the genetic environment around the gene promoted its expression. Similarly, Acinetobacter species closely related to A. baumannii also possessed their own chromosomally encoded OXA β-lactamases; some could be transferred to A. baumannii, and they formed the basis of transferable carbapenem resistance in this species. In some cases, the carbapenem-resistant OXA β-lactamases (OXA-48) have migrated into the Enterobacteriaceae and are becoming a significant cause of carbapenem resistance. The emergence of OXA enzymes that can confer resistance to carbapenems, particularly in A. baumannii, has transformed these β-lactamases from a minor hindrance into a major problem set to demote the clinical efficacy of the carbapenems

Automating Deductive Verification for Weak-Memory Programs

Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio

Human helminth therapy to treat inflammatory disorders - where do we stand?

Parasitic helminths have evolved together with the mammalian immune system over many millennia and as such they have become remarkably efficient modulators in order to promote their own survival. Their ability to alter and/or suppress immune responses could be beneficial to the host by helping control excessive inflammatory responses and animal models and pre-clinical trials have all suggested a beneficial effect of helminth infections on inflammatory bowel conditions, MS, asthma and atopy. Thus, helminth therapy has been suggested as a possible treatment method for autoimmune and other inflammatory disorders in humans

Low intensity transcranial magnetic stimulation modulates skilled motor learning in adult mice

Repetitive transcranial magnetic stimulation (rTMS) is commonly used to modulate cortical plasticity in clinical and non-clinical populations. Clinically, rTMS is delivered to targeted regions of the cortex at high intensities (>1 T). We have previously shown that even at low intensities, rTMS induces structural and molecular plasticity in the rodent cortex. To determine whether low intensity rTMS (LI-rTMS) alters behavioural performance, daily intermittent theta burst LI-rTMS (120 mT) or sham was delivered as a priming or consolidating stimulus to mice completing 10 consecutive days of skilled reaching training. Relative to sham, priming LI-rTMS (before each training session), increased skill accuracy (~9%) but did not alter the rate of learning over time. In contrast, consolidating LI-rTMS (after each training session), resulted in a small increase in the rate of learning (an additional ~1.6% each day) but did not alter the daily skill accuracy. Changes in behaviour with LI-rTMS were not accompanied with long lasting changes in brain-derived neurotrophic factor (BDNF) expression or in the expression of plasticity markers at excitatory and inhibitory synapses for either priming or consolidation groups. These results suggest that LI-rTMS can alter specific aspects of skilled motor learning in a manner dependent on the timing of intervention

Patent Human Infections with the Whipworm, Trichuris trichiura, Are Not Associated with Alterations in the Faecal Microbiota

Background: The soil-transmitted helminth (STH), Trichuris trichiura colonises the human large intestine where it may modify inflammatory responses, an effect possibly mediated through alterations in the intestinal microbiota. We hypothesised that patent T. trichiura infections would be associated with altered faecal microbiota and that anthelmintic treatment would induce a microbiota resembling more closely that observed in uninfected individuals. Materials and Methods: School children in Ecuador were screened for STH infections and allocated to 3 groups: uninfected, T. trichiura only, and mixed infections with T. trichiura and Ascaris lumbricoides. A sample of uninfected children and those with T. trichiura infections only were given anthelmintic treatment. Bacterial community profiles in faecal samples were studied by 454 pyrosequencing of 16 S rRNA genes. Results: Microbiota analyses of faeces were done for 97 children: 30 were uninfected, 17 were infected with T. trichiura, and 50 with T. trichiura and A. lumbricoides. Post-treatment samples were analyzed for 14 children initially infected with T. trichiura alone and for 21 uninfected children. Treatment resulted in 100% cure of STH infections. Comparisons of the microbiota at different taxonomic levels showed no statistically significant differences in composition between uninfected children and those with T. trichiura infections. We observed a decreased proportional abundance of a few bacterial genera from the Clostridia class of Firmicutes and a reduced bacterial diversity among children with mixed infections compared to the other two groups, indicating a possible specific effect of A. lumbricoides infection. Anthelmintic treatment of children with T. trichiura did not alter faecal microbiota composition. Discussion: Our data indicate that patent human infections with T. trichiura may have no effect on faecal microbiota but that A. lumbricoides colonisation might be associated with a disturbed microbiota. Our results also catalogue the microbiota of rural Ecuadorians and indicate differences with individuals from more urban industrialised societies

Symptoms after Ingestion of Pig Whipworm Trichuris suis Eggs in a Randomized Placebo-Controlled Double-Blind Clinical Trial

Symptoms after human infection with the helminth Trichuris suis have not previously been described. Exposure to helminths has been suggested as immune therapy against allergy and autoimmune diseases. We randomized adults with allergic rhinitis to ingest a dose of 2500 T. suis eggs or placebo every 21 days for 168 days (total 8 doses) in a double-blind clinical trial. In a previous publication, we reported a lack of efficacy and a high prevalence of adverse gastrointestinal reactions. The aim of the present study was to present a detailed description of the adverse event data and post-hoc analyses of gastrointestinal reactions. Adverse events and severity (mild, moderate, severe) were recorded daily by subjects, classified by organ using MedDRA 10.0, and event rates compared between subjects on T. suis treatment vs. subjects on placebo. T. suis-specific serum IgG antibodies were measured by a fluoroenzymeimmunoassay (Phadia ApS). During 163 days complete follow-up, subjects ingesting T. suis eggs (N = 49) had a three to 19-fold higher rate of events (median duration, 2 days) with gastrointestinal reactions (moderate to severe flatulence, diarrhea, and upper abdominal pain) compared with placebo subjects (N = 47). The highest incidence of affected subjects was seen from the first few days and until day 42 (3rd dose): 63% vs. 29% for placebo; day 163: 76% vs. 49% for placebo. Seroprevalences increased concurrently in the T. suis group: Day 59, 50%; day 90, 91%; day 170, 93%. The combined duration of episodes with onset before day 42 was ≤14 days in 80% of affected subjects. Age, gender, total IgE, and recent intestinal symptoms at baseline did not predict gastrointestinal side effects. In conclusion, during the first 2 months, repeated ingestions of 2500 T. suis eggs caused frequent gastrointestinal reactions lasting up to 14 days, whereas 4 months further treatment mainly provoked a subclinical stimulation

Demography and disorders of German Shepherd Dogs under primary veterinarycare in the UK

The German Shepherd Dog (GSD) has been widely used for a variety of working roles. However, concerns for the health and welfare of the GSD have been widely aired and there is evidence that breed numbers are now in decline in the UK. Accurate demographic and disorder data could assist with breeding and clinical prioritisation. The VetCompassTM Programme collects clinical data on dogs under primary veterinary care in the UK. This study included all VetCompassTM dogs under veterinary care during 2013. Demographic, mortality and clinical diagnosis data on GSDs were extracted and reported

Border Terriers under primary veterinary care in England: demography and disorders

The Border Terrier is a working terrier type that is generally considered to be a relatively healthy and hardy breed. This study aimed to characterise the demography and common disorders of Border Terriers receiving veterinary care in England using de-identified electronic patient record data within the VetCompass™ Programme