Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Vitamin D status in chronic fatigue syndrome/myalgic encephalomyelitis: a cohort study from the North-West of England

Objective Severe vitamin D deficiency is a recognised cause of skeletal muscle fatigue and myopathy. The aim of this study was to examine whether chronic fatigue syndrome/myalgic encephalomyelitis (CFS/ME) is associated with altered circulating vitamin D metabolites. Design Cohort study. Setting UK university hospital, recruiting from April 2014 to April 2015. Participants Ninety-two patients with CFS/ME and 94 age-matched healthy controls (HCs). Main outcome measures The presence of a significant association between CFS/ME, fatigue and vitamin D measures. Results No evidence of a deficiency in serum total 25(OH) vitamin D (25(OH)D2 and 25(OH)D3 metabolites) was evident in individuals with CFS/ME. Liquid chromatography tandem mass spectrometry (LC–MS/MS) analysis revealed that total 25(OH)D was significantly higher (p=0.001) in serum of patients with CFS/ME compared with HCs (60.2 and 47.3 nmol/L, respectively). Analysis of food/ supplement diaries with WinDiets revealed that the higher total 25(OH) vitamin D concentrations observed in the CFS/ ME group were associated with increased vitamin D intake through use of supplements compared with the control group. Analysis of Chalder Fatigue Questionnaire data revealed no association between perceived fatigue and vitamin D levels. Conclusions Low serum concentrations of total 25(OH) D do not appear to b

Interacting Supernovae: Types IIn and Ibn

Supernovae (SNe) that show evidence of strong shock interaction between their ejecta and pre-existing, slower circumstellar material (CSM) constitute an interesting, diverse, and still poorly understood category of explosive transients. The chief reason that they are extremely interesting is because they tell us that in a subset of stellar deaths, the progenitor star may become wildly unstable in the years, decades, or centuries before explosion. This is something that has not been included in standard stellar evolution models, but may significantly change the end product and yield of that evolution, and complicates our attempts to map SNe to their progenitors. Another reason they are interesting is because CSM interaction is an efficient engine for making bright transients, allowing super-luminous transients to arise from normal SN explosion energies, and allowing transients of normal SN luminosities to arise from sub-energetic explosions or low radioactivity yield. CSM interaction shrouds the fast ejecta in bright shock emission, obscuring our normal view of the underlying explosion, and the radiation hydrodynamics of the interaction is challenging to model. The CSM interaction may also be highly non-spherical, perhaps linked to binary interaction in the progenitor system. In some cases, these complications make it difficult to definitively tell the difference between a core-collapse or thermonuclear explosion, or to discern between a non-terminal eruption, failed SN, or weak SN. Efforts to uncover the physical parameters of individual events and connections to possible progenitor stars make this a rapidly evolving topic that continues to challenge paradigms of stellar evolution.Comment: Final draft of a chapter in the "SN Handbook". Accepted. 25 pages, 3 fig

Quantum Acoustics with Surface Acoustic Waves

It has recently been demonstrated that surface acoustic waves (SAWs) can interact with superconducting qubits at the quantum level. SAW resonators in the GHz frequency range have also been found to have low loss at temperatures compatible with superconducting quantum circuits. These advances open up new possibilities to use the phonon degree of freedom to carry quantum information. In this paper, we give a description of the basic SAW components needed to develop quantum circuits, where propagating or localized SAW-phonons are used both to study basic physics and to manipulate quantum information. Using phonons instead of photons offers new possibilities which make these quantum acoustic circuits very interesting. We discuss general considerations for SAW experiments at the quantum level and describe experiments both with SAW resonators and with interaction between SAWs and a qubit. We also discuss several potential future developments.Comment: 14 pages, 12 figure

Cisplatin-induced emesis: systematic review and meta-analysis of the ferret model and the effects of 5-HT3 receptor antagonists

PURPOSE: The ferret cisplatin emesis model has been used for ~30 years and enabled identification of clinically used anti-emetics. We provide an objective assessment of this model including efficacy of 5-HT(3) receptor antagonists to assess its translational validity. METHODS: A systematic review identified available evidence and was used to perform meta-analyses. RESULTS: Of 182 potentially relevant publications, 115 reported cisplatin-induced emesis in ferrets and 68 were included in the analysis. The majority (n = 53) used a 10 mg kg(−1) dose to induce acute emesis, which peaked after 2 h. More recent studies (n = 11) also used 5 mg kg(−1), which induced a biphasic response peaking at 12 h and 48 h. Overall, 5-HT(3) receptor antagonists reduced cisplatin (5 mg kg(−1)) emesis by 68% (45–91%) during the acute phase (day 1) and by 67% (48–86%) and 53% (38–68%, all P < 0.001), during the delayed phase (days 2, 3). In an analysis focused on the acute phase, the efficacy of ondansetron was dependent on the dosage and observation period but not on the dose of cisplatin. CONCLUSION: Our analysis enabled novel findings to be extracted from the literature including factors which may impact on the applicability of preclinical results to humans. It reveals that the efficacy of ondansetron is similar against low and high doses of cisplatin. Additionally, we showed that 5-HT(3) receptor antagonists have a similar efficacy during acute and delayed emesis, which provides a novel insight into the pharmacology of delayed emesis in the ferret

Evaluation of alternative mosquito sampling methods for malaria vectors in Lowland South - East Zambia.

Sampling malaria vectors and measuring their biting density is of paramount importance for entomological surveys of malaria transmission. Human landing catch (HLC) has been traditionally regarded as a gold standard method for surveying human exposure to mosquito bites. However, due to the risk of human participant exposure to mosquito-borne parasites and viruses, a variety of alternative, exposure-free trapping methods were compared in lowland, south-east Zambia. Centres for Disease Control and Prevention miniature light trap (CDC-LT), Ifakara Tent Trap model C (ITT-C), resting boxes (RB) and window exit traps (WET) were all compared with HLC using a 3 × 3 Latin Squares design replicated in 4 blocks of 3 houses with long lasting insecticidal nets, half of which were also sprayed with a residual deltamethrin formulation, which was repeated for 10 rounds of 3 nights of rotation each during both the dry and wet seasons. The mean catches of HLC indoor, HLC outdoor, CDC-LT, ITT-C, WET, RB indoor and RB outdoor, were 1.687, 1.004, 3.267, 0.088, 0.004, 0.000 and 0.008 for Anopheles quadriannulatus Theobald respectively, and 7.287, 6.784, 10.958, 5.875, 0.296, 0.158 and 0.458, for An. funestus Giles, respectively. Indoor CDC-LT was more efficient in sampling An. quadriannulatus and An. funestus than HLC indoor (Relative rate [95% Confidence Interval] = 1.873 [1.653, 2.122] and 1.532 [1.441, 1.628], respectively, P < 0.001 for both). ITT-C was the only other alternative which had comparable sensitivity (RR = 0.821 [0.765, 0.881], P < 0.001), relative to HLC indoor other than CDC-LT for sampling An. funestus. While the two most sensitive exposure-free techniques primarily capture host-seeking mosquitoes, both have substantial disadvantages for routine community-based surveillance applications: the CDC-LT requires regular recharging of batteries while the bulkiness of ITT-C makes it difficult to move between sampling locations. RB placed indoors or outdoors and WET had consistently poor sensitivity so it may be useful to evaluate additional alternative methods, such as pyrethrum spray catches and back packer aspirators, for catching resting mosquitoes

Resistance to autosomal dominant Alzheimer's disease in an APOE3 Christchurch homozygote: a case report.

We identified a PSEN1 (presenilin 1) mutation carrier from the world's largest autosomal dominant Alzheimer's disease kindred, who did not develop mild cognitive impairment until her seventies, three decades after the expected age of clinical onset. The individual had two copies of the APOE3 Christchurch (R136S) mutation, unusually high brain amyloid levels and limited tau and neurodegenerative measurements. Our findings have implications for the role of APOE in the pathogenesis, treatment and prevention of Alzheimer's disease

Reduced length of hospital stay in colorectal surgery after implementation of an enhanced recovery protocol.

BACKGROUND: Enhanced recovery after surgery (ERAS) is a multimodal approach to perioperative care that combines a range of interventions to enable early mobilization and feeding after surgery. We investigated the feasibility, clinical effectiveness, and cost savings of an ERAS program at a major U. S. teaching hospital. METHODS: Data were collected from consecutive patients undergoing open or laparoscopic colorectal surgery during 2 time periods, before and after implementation of an ERAS protocol. Data collected included patient demographics, operative, and perioperative surgical and anesthesia data, need for analgesics, complications, inpatient medical costs, and 30-day readmission rates. RESULTS: There were 99 patients in the traditional care group, and 142 in the ERAS group. The median length of stay (LOS) was 5 days in the ERAS group compared with 7 days in the traditional group (P < 0.001). The reduction in LOS was significant for both open procedures (median 6 vs 7 days, P = 0.01), and laparoscopic procedures (4 vs 6 days, P < 0.0001). ERAS patients had fewer urinary tract infections (13% vs 24%, P = 0.03). Readmission rates were lower in ERAS patients (9.8% vs 20.2%, P = 0.02). DISCUSSION: Implementation of an enhanced recovery protocol for colorectal surgery at a tertiary medical center was associated with a significantly reduced LOS and incidence of urinary tract infection. This is consistent with that of other studies in the literature and suggests that enhanced recovery programs could be implemented successfully and should be considered in U.S. hospitals

As-yet-uncultivated oral bacteria: breadth and association with oral and extra-oral diseases

It has been shown that 40&#x2013;60% of the bacteria found in different healthy and diseased oral sites still remain to be grown in vitro, phenotypically characterized, and formally named as species. The possibility exists that these as-yet-uncultivated bacteria play important ecological roles in oral bacterial communities and may participate in the pathogenesis of several oral infectious diseases. There is also a potential for these as-yet-uncultivated oral bacteria to take part in extra-oral infections. For a comprehensive characterization of physiological and pathogenic properties as well as antimicrobial susceptibility of individual bacterial species, strains need to be grown in pure culture. Advances in culturing techniques have allowed the cultivation of several oral bacterial taxa only previously known by a 16S rRNA gene sequence signature, and novel species have been proposed. There is a growing need for developing improved methods to cultivate and characterize the as-yet-uncultivated portion of the oral microbiome so as to unravel its role in health and disease