On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Gut microbiota profiles of autism spectrum disorder and attention deficit/hyperactivity disorder:A systematic literature review

Accumulating evidence has implicated an involvement of the gut-brain axis in autism spectrum disorder (ASD) and attention-deficit hyperactivity disorder (ADHD), however with highly diverse results. This systematic review aims to describe and evaluate studies investigating the gut microbiota composition in individuals with ASD or ADHD and to evaluate if variations in gut microbiota are associated with these disorders. Twenty-four articles were identified in a systematic literature search of PubMed and Embase up to July 22, 2019. They consisted of 20 studies investigating ASD and four studies investigating ADHD. For ASD, several studies agreed on an overall difference in β-diversity, although no consistent bacterial variation between all studies was reported. For ADHD, the results were more diverse, with no clear differences observed. Several common characteristics in gut microbiota function were identified for ASD compared to controls. In contrast, highly heterogeneous results were reported for ADHD, and thus the association between gut microbiota composition and ADHD remains unclear. For both disorders, methodological differences hampered the comparison of studies

Bitopic binding mode of an M1 muscarinic acetylcholine receptor agonist associated with adverse clinical trial outcomes

The realisation of the therapeutic potential of targeting the M1 muscarinic acetylcholine receptor (M1 mAChR) for the treatment of cognitive decline in Alzheimer's disease has prompted the discovery of M1 mAChR ligands showing efficacy in alleviating cognitive dysfunction in both rodents and humans. Among these is GSK1034702, described previously as a potent M1 receptor allosteric agonist, which showed pro-cognitive effects in rodents and improved immediate memory in a clinical nicotine withdrawal test but induced significant side-effects. Here we provide evidence using ligand binding, chemical biology and functional assays to establish that rather than the allosteric mechanism claimed, GSK1034702 interacts in a bitopic manner at the M1 mAChR such that it can concomitantly span both the orthosteric and an allosteric binding site. The bitopic nature of GSK1034702 together with the intrinsic agonist activity and a lack of muscarinic receptor subtype selectivity reported here, all likely contribute to the adverse effects of this molecule in clinical trials. We conclude that these properties, whilst imparting beneficial effects on learning and memory, are undesirable in a clinical candidate due to the likelihood of adverse side effects. Rather, our data supports the notion that "pure" positive allosteric modulators showing selectivity for the M1 mAChR with low levels of intrinsic activity would be preferable to provide clinical efficacy with low adverse responses

Studies of plasmonic hot-spot translation by a metal-dielectric layered superlens

We have studied the ability of a lamellar near-field superlens to transfer an enhanced electromagnetic field to the far side of the lens. In this work, we have experimentally and numerically investigated superlensing in the visible range. By using the resonant hot-spot field enhancements from optical nanoantennas as sources, we investigated the translation of these sources to the far side of a layered silver-silica superlens operating in the canalization regime. Using near-field scanning optical microscopy (NSOM), we have observed evidence of superlens-enabled enhanced-field translation at a wavelength of about 680 nm. Specifically, we discuss our recent experimental and simulation results on the translation of hot spots using a silver-silica layered superlens design. We compare the experimental results with our numerical simulations and discuss the perspectives and limitations of our approach

Ocular, bulbar, limb, and cardiopulmonary involvement in oculopharyngeal muscular dystrophy

OBJECTIVES: To assess skeletal muscle weakness and progression as well as the cardiopulmonary involvement in oculopharyngeal muscular dystrophy (OPMD). MATERIALS AND METHODS: Cross-sectional study including symptomatic patients with genetically confirmed OPMD. Patients were assessed by medical history, ptosis, ophthalmoplegia, facial and limb strength, and swallowing capability. Cardiopulmonary function was evaluated using forced expiratory capacity in 1 s (FEV1), electrocardiogram (ECG), Holter monitoring, and echocardiography. RESULTS: We included 13 symptomatic patients (six males, mean age; 64 years (41-80) from 8 families. Ptosis was the first symptom in 8/13 patients followed by limb weakness in the remaining 5 patients Dysphagia was never the presenting symptom. At the time of examination, all affected patients had ptosis or had previously been operated for ptosis, while ophthalmoplegia was found in 9 patients. Dysphagia, tested by cold-water swallowing test, was abnormal in 9 patients (17-116 s, ref <8 s). Six patients could not climb stairs of whom two were wheelchair bound and one used a rollator. Six patients had reduced FEV1 (range 23%-59%). No cardiac involvement was identified. CONCLUSIONS: Limiting limb weakness is common in OPMD and can even be the presenting symptom of the disease. In contrast, dysphagia was not the initial symptom in any of our patients, although it was obligatory for diagnosing OPMD before genetic testing became available. Mild respiratory dysfunction, but no cardiac involvement, was detected