Modular, higher order cardinality analysis in theory and practice

Since the mid '80s, compiler writers for functional languages (especially lazy ones) have been writing papers about identifying and exploiting thunks and lambdas that are used only once. However, it has proved difficult to achieve both power and simplicity in practice. In this paper, we describe a new, modular analysis for a higher order language, which is both simple and effective. We prove the analysis sound with respect to a standard call-by-need semantics, and present measurements of its use in a full-scale, state-of-the-art optimising compiler. The analysis finds many single-entry thunks and one-shot lambdas and enables a number of program optimisations. This paper extends our preceding conference publication (Sergey et al. 2014 Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014). ACM, pp. 335–348) with proofs, expanded report on evaluation and a detailed examination of the factors causing the loss of precision in the analysis

Lost in the City? - A Scoping Review of 5G Enabled Location-Based Urban Scenarios

5G mobile network technologies and scenarios with the associated innovations receive growing interest among academics and practitioners. Current literature on 5G technologies discusses several scenarios and specific chances and challenges. However, 5G literature is fragmented and not systematically reviewed. We conducted a scoping review on 5G applications in urban scenarios. We reviewed 1,394 papers and identified 20 studies about urban logistics and emergency indoor localization. Our review accumulates current academic knowledge on these scenarios and identifies six further research directions in four research fields. It reveals several further research opportunities, e.g., regarding trust and privacy concerns. We review and discuss 5G literature for academics and practitioners, contribute towards more tailored 5G research and reflect on cost- efficient 5G applications in urban scenarios

Evidence for an elevated aspartate pKa in the active site of human aromatase

Aromatase (CYP19A1), the enzyme that converts androgens to estrogens, is of significant mechanistic and therapeutic interest. Crystal structures and computational studies of this enzyme shed light on the critical role of Asp(309) in substrate binding and catalysis. These studies predicted an elevated pK(a) for Asp(309) and proposed that protonation of this residue was required for function. In this study, UV-visible absorption, circular dichroism, resonance Raman spectroscopy, and enzyme kinetics were used to study the impact of pH on aromatase structure and androstenedione binding. Spectroscopic studies demonstrate that androstenedione binding is pH-dependent, whereas, in contrast, the D309N mutant retains its ability to bind to androstenedione across the entire pH range studied. Neither pH nor mutation perturbed the secondary structure or heme environment. The origin of the observed pH dependence was further narrowed to the protonation equilibria of Asp(309) with a parallel set of spectroscopic studies using exemestane and anastrozole. Because exemestane interacts with Asp(309) based on its co-crystal structure with the enzyme, its binding is pH-dependent. Aromatase binding to anastrozole is pH-independent, consistent with the hypothesis that this ligand exploits a distinct set of interactions in the active site. In summary, we assign the apparent pK(a) of 8.2 observed for androstenedione binding to the side chain of Asp(309). To our knowledge, this work represents the first experimental assignment of a pK(a) value to a residue in a cytochrome P450. This value is in agreement with theoretical calculations (7.7–8.1) despite the reliance of the computational methods on the conformational snapshots provided by crystal structures

CELL-TO-CELL INTERACTION IN THE IMMUNE RESPONSE : VII. REQUIREMENT FOR DIFFERENTIATION OF THYMUS-DERIVED CELLS

Experiments were designed to test the possibility that thymus-derived (T) cells cooperate with nonthymus derived (B) cells in antibody responses by acting as passive carriers of antigen. Thoracic duct lymphocytes (TDL) from fowl γG-tolerant mice were incubated in vitro with fowl anti-mouse lymphocyte globulin (FALG), which was shown not to be immunosuppressive in mice. On transfer into adult thymectomized, irradiated, and marrow protected (TxBM) hosts together with a control antigen, horse RBC, a response to horse RBC but not to fowl γG was obtained. By contrast, TxBM recipients of nontolerant, FALG-coated TDL responded to both antigens and the antibody-forming cells were shown to be derived from the host, not from the injected TDL. These findings suggested that, under the conditions of the experiment, triggering of unprimed B cells in the spleens of TxBM hosts was not achieved with antigen-coated tolerant lymphocytes. Another model utilized the ability of B cells to bind antibody-antigen complexes. Spleen cells from TxBM mice, incubated in vitro with anti-fowl γG-fowl γG·NIP, were injected with or without normal TDL (a source of T cells) into irradiated hosts. Only mice given both cell types could produce an anti-NIP antibody response. In a further experiment, spleen cells from HGG·NIP-primed mice were injected together with NIP-coated B cells (prepared as above) into irradiated hosts. A substantial anti-NIP antibody response occurred. If, however, the T cells in the spleens of HGG·NIP-primed mice were eliminated by treatment with anti-θ serum and complement, the NIP response was abolished. It was concluded that antigen-coated B cells could not substitute for T cells either in the primary or secondary response. Treatment of T cells from unprimed or primed mice with mitomycin C impaired their capacity to collaborate with B cells on transfer into irradiated hosts. Taken together these findings suggest that before collaboration can take place T cells must be activated by antigen to differentiate and in so doing may produce some factor essential for triggering of B cells

Nonsteroidal anti-inflammatory drug use and Alzheimer's disease risk: the MIRAGE Study

BACKGROUND: Nonsteroidal anti-inflammatory drugs (NSAID) use may protect against Alzheimer's disease (AD) risk. We sought examine the association between NSAID use and risk of AD, and potential effect modification by APOE-ε4 carrier status and ethnicity. METHODS: The MIRAGE Study is a multi-center family study of genetic and environmental risk factors for AD. Subjects comprised 691 AD patients (probands) and 973 family members enrolled at 15 research centers between 1996 and 2002. The primary independent and dependent variables were prior NSAID use and AD case status, respectively. We stratified the dataset in order to evaluate whether the association between NSAID use and AD was similar in APOE-ε4 carriers and non-carriers. Ethnicity was similarly examined as an effect modifier. RESULTS: NSAID use was less frequent in cases compared to controls in the overall sample (adjusted OR = 0.64; 95% CI = 0.38–1.05). The benefit of NSAID use appeared more pronounced among APOE-ε4 carriers (adjusted OR = 0.49; 95% CI = 0.24–0.98) compared to non-carriers, although this association was not statistically significant. The pattern of association was similar in Caucasian and African Americans. CONCLUSIONS: NSAID use is inversely associated with AD and may be modified by APOE genotype. Prospective studies and clinical trials of sufficient power to detect effect modification by APOE-ε4 carrier status are needed

Apolipoprotein B is a novel marker for early tau pathology in Alzheimer's disease

INTRODUCTION: We examine the role of brain apolipoprotein B (apoB) as a putative marker of early tau pathology and cognitive decline. METHODS: Cerebrospinal fluid (CSF) samples from cognitively normal and Alzheimer's disease (AD) participants were collected to measure protein levels of apoB and AD biomarkers amyloid beta (Aβ), t-tau and p-tau, as well as synaptic markers GAP43, SYNAPTOTAGMIN-1, synaptosome associated protein 25 (SNAP-25), and NEUROGRANIN. CSF apoB levels were contrasted with positron emission tomography (PET) scan measures of Aβ (18F-NAV4694) and Tau (flortaucipir) along with cognitive assessment alterations over 6 to 8 years. RESULTS: CSF apoB levels were elevated in AD participants and correlated with t-tau, p-tau, and the four synaptic markers in pre-symptomatic individuals. In the latter, CSF apoB levels correlated with PET flortaucipir-binding in entorhinal, parahippocampal, and fusiform regions. Baseline CSF apoB levels were associated with longitudinal visuospatial cognitive decline. DISCUSSION: CSF apoB markedly associates with early tau dysregulation in asymptomatic subjects and identifies at-risk individuals predisposed to develop visuospatial cognitive decline over time

RIXS observation of bond-directional nearest-neighbor excitations in the Kitaev material Na2_2IrO3_3

Spin-orbit coupling locks spin direction and spatial orientation and generates, in semi-classical magnets, a local spin easy-axis and associated ordering. Quantum spin-1/2's defy this fate: rather than spins becoming locally anisotropic, the spin-spin interactions do. Consequently interactions become dependent on the spatial orientation of bonds between spins, prime theoretical examples of which are Kitaev magnets. Bond-directional interactions imply the existence of bond-directional magnetic modes, predicted spin excitations that render crystallographically equivalent bonds magnetically inequivalent, which yet have remained elusive experimentally. Here we show that resonant inelastic x-ray scattering allows us to explicitly probe the bond-directional character of magnetic excitations. To do so, we use a scattering plane spanned by one bond and the corresponding spin component and scan a range of momentum transfer that encompasses multiple Brillouin zones. Applying this approach to Na$_2$IrO$_3$ we establish the different bond-directional characters of magnetic excitations at 10 meV and 45 meV. Combined with the observation of spin-spin correlations that are confined to a single bond, this experimentally validates the Kitaev character of exchange interactions long proposed for this material.Comment: 6 pages, 5 figures, plus 4 pages Supplementary Information (incl. 5 figures

Is telomere length socially patterned? Evidence from the West of Scotland Twenty-07 study

Lower socioeconomic status (SES) is strongly associated with an increased risk of morbidity and premature mortality, but it is not known if the same is true for telomere length, a marker often used to assess biological ageing. The West of Scotland Twenty-07 Study was used to investigate this and consists of three cohorts aged approximately 35 (N = 775), 55 (N = 866) and 75 years (N = 544) at the time of telomere length measurement. Four sets of measurements of SES were investigated: those collected contemporaneously with telomere length assessment, educational markers, SES in childhood and SES over the preceding twenty years. We found mixed evidence for an association between SES and telomere length. In 35-year-olds, many of the education and childhood SES measures were associated with telomere length, i.e. those in poorer circumstances had shorter telomeres, as was intergenerational social mobility, but not accumulated disadvantage. A crude estimate showed that, at the same chronological age, social renters, for example, were nine years (biologically) older than home owners. No consistent associations were apparent in those aged 55 or 75. There is evidence of an association between SES and telomere length, but only in younger adults and most strongly using education and childhood SES measures. These results may reflect that childhood is a sensitive period for telomere attrition. The cohort differences are possibly the result of survival bias suppressing the SES-telomere association; cohort effects with regard different experiences of SES; or telomere possibly being a less effective marker of biological ageing at older ages

Borrelia valaisiana resist complement-mediated killing independently of the recruitment of immune regulators and inactivation of complement components

Spirochetes belonging to the Borrelia (B.) burgdorferi sensu lato complex differ in their resistance to complement-mediated killing, particularly in regard to human serum. In the present study, we elucidate the serum and complement susceptibility of B. valaisiana, a genospecies with the potential to cause Lyme disease in Europe as well as in Asia. Among the investigated isolates, growth of ZWU3 Ny3 was not affected while growth of VS116 and Bv9 was strongly inhibited in the presence of 50% human serum. Analyzing complement activation, complement components C3, C4 and C6 were deposited on the surface of isolates VS116 and Bv9, and similarly the membrane attack complex was formed on their surface. In contrast, no surface-deposited components and no aberrations in cell morphology were detected for serum-resistant ZWU3 Ny3. While further investigating the protective role of bound complement regulators in mediating complement resistance, we discovered that none of the B. valaisiana isolates analyzed bound complement regulators Factor H, Factor H-like protein 1, C4b binding protein or C1 esterase inhibitor. In addition, B. valaisiana also lacked intrinsic proteolytic activity to degrade complement components C3, C3b, C4, C4b, and C5. Taken together, these findings suggest that certain B. valaisiana isolates differ in their capability to resist complement-mediating killing by human serum. The molecular mechanism utilized by B. valaisiana to inhibit bacteriolysis appears not to involve binding of the key host complement regulators of the alternative, classical, and lectin pathways as already known for serum-resistant Lyme disease or relapsing fever borreliae