316 research outputs found

    Flux of Atmospheric Neutrinos

    Get PDF
    Atmospheric neutrinos produced by cosmic-ray interactions in the atmosphere are of interest for several reasons. As a beam for studies of neutrino oscillations they cover a range of parameter space hitherto unexplored by accelerator neutrino beams. The atmospheric neutrinos also constitute an important background and calibration beam for neutrino astronomy and for the search for proton decay and other rare processes. Here we review the literature on calculations of atmospheric neutrinos over the full range of energy, but with particular attention to the aspects important for neutrino oscillations. Our goal is to assess how well the properties of atmospheric neutrinos are known at present.Comment: 68 pages, 26 figures. With permission from the Annual Review of Nuclear & Particle Science. Final version of this material is scheduled to appear in the Annual Review of Nuclear & Particle Science Vol. 52, to be published in December 2002 by Annual Reviews (http://annualreviews.org

    Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

    Get PDF
    In this article, we present an overview of recent combinations of deductive program verification and automatic test generation on the one hand and static analysis on the other hand, with the goal of checking noninterference. Noninterference is the non-functional property that certain confidential information cannot leak to certain public output, i.e., the confidentiality of that information is always preserved. We define the noninterference properties that are checked along with the individual approaches that we use in different combinations. In one use case, our framework for checking noninterference employs deductive verification to automatically generate tests for noninterference violations with an improved test coverage. In another use case, the framework provides two combinations of deductive verification with static analysis based on system dependence graphs to prove noninterference, thereby reducing the effort for deductive verification

    Sensory processing patterns, coping strategies, and quality of life among patients with unipolar and bipolar disorders.

    Get PDF
    OBJECTIVE: To compare sensory processing, coping strategies, and quality of life (QoL) in unipolar and bipolar patients; to examine correlations between sensory processing and QoL; and to investigate the relative contribution of sociodemographic characteristics, sensory processing, and coping strategies to the prediction of QoL. METHODS: Two hundred sixty-seven participants, aged 16-85 years (53.6+/-15.7), of whom 157 had a diagnosis of unipolar major depressive disorder and 110 had bipolar disorder type I and type II, completed the Adolescent/Adult Sensory Profile, Coping Orientations to Problems Experienced, and 12-item Short-Form Health Survey version 2. The two groups were compared with multivariate analyses. RESULTS: The unipolar and bipolar groups did not differ concerning sensory processing, coping strategies, or QoL. Sensory processing patterns correlated with QoL independently of mediation by coping strategies. Correlations between low registration, sensory sensitivity, sensation avoidance, and reduced QoL were found more frequently in unipolar patients than bipolar patients. Higher physical QoL was mainly predicted by lower age and lower sensory sensitivity, whereas higher mental QoL was mainly predicted by coping strategies. CONCLUSION: While age may predict physical QoL, coping strategies predict mental QoL. Future studies should further investigate the impact of sensory processing and coping strategies on patients' QoL in order to enhance adaptive and functional behaviors related to affective disturbances

    Lump-Sum Bonus Satisfaction: Testing the Construct Validity of a New Pay Satisfaction Dimension

    Get PDF
    There are both practical and theoretical reasons to measure lump-sum bonus satisfaction. The practical need for such a measure stems from its increased use as a component in modern compensation practices. Based on the means of administering and allocating lump-sum bonuses, a theoretical case can be built suggesting that lump-sum bonus satisfaction constitutes a separate component of pay satisfaction fitting into the Pay Satisfaction Questionaire\u27s (PSQ) theoretical framework. We develop 4 questions that complement the PSQ, and use a series of techniques to test the convergent and discriminant validity of the measure. Empirical evidence shows that bonus-related items are more related to the lump-sum bonus satisfaction measure than other PSQ dimensions. We also demonstrate that the dimension of lump-sum bonus satisfaction has a substantive relationship with attitudinal variables beyond that provided by pay level variables and the PSQ. The development of this measure should foster greater accuracy when assessing pay satisfaction levels and the effects of lump-sum bonus pay policies

    Effective Rheology of Bubbles Moving in a Capillary Tube

    Full text link
    We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

    An Allograft Glioma Model Reveals the Dependence of Aquaporin-4 Expression on the Brain Microenvironment

    Get PDF
    Aquaporin-4 (AQP4), the main water channel of the brain, is highly expressed in animal glioma and human glioblastoma in situ. In contrast, most cultivated glioma cell lines don’t express AQP4, and primary cell cultures of human glioblastoma lose it during the first passages. Accordingly, in C6 cells and RG2 cells, two glioma cell lines of the rat, and in SMA mouse glioma cell lines, we found no AQP4 expression. We confirmed an AQP4 loss in primary human glioblastoma cell cultures after a few passages. RG-2 glioma cells if grafted into the brain developed AQP4 expression. This led us consider the possibility of AQP4 expression depends on brain microenvironment. In previous studies, we observed that the typical morphological conformation of AQP4 as orthogonal arrays of particles (OAP) depended on the extracellular matrix component agrin. In this study, we showed for the first time implanted AQP4 negative glioma cells in animal brain or flank to express AQP4 specifically in the intracerebral gliomas but neither in the extracranial nor in the flank gliomas. AQP4 expression in intracerebral gliomas went along with an OAP loss, compared to normal brain tissue. AQP4 staining in vivo normally is polarized in the astrocytic endfoot membranes at the glia limitans superficialis and perivascularis, but in C6 and RG2 tumors the AQP4 staining is redistributed over the whole glioma cell as in human glioblastoma. In contrast, primary rat or mouse astrocytes in culture did not lose their ability to express AQP4, and they were able to form few OAPs

    NeuroGrid: recording action potentials from the surface of the brain.

    Get PDF
    Recording from neural networks at the resolution of action potentials is critical for understanding how information is processed in the brain. Here, we address this challenge by developing an organic material-based, ultraconformable, biocompatible and scalable neural interface array (the 'NeuroGrid') that can record both local field potentials(LFPs) and action potentials from superficial cortical neurons without penetrating the brain surface. Spikes with features of interneurons and pyramidal cells were simultaneously acquired by multiple neighboring electrodes of the NeuroGrid, allowing for the isolation of putative single neurons in rats. Spiking activity demonstrated consistent phase modulation by ongoing brain oscillations and was stable in recordings exceeding 1 week's duration. We also recorded LFP-modulated spiking activity intraoperatively in patients undergoing epilepsy surgery. The NeuroGrid constitutes an effective method for large-scale, stable recording of neuronal spikes in concert with local population synaptic activity, enhancing comprehension of neural processes across spatiotemporal scales and potentially facilitating diagnosis and therapy for brain disorders

    An empirical examination of the factor structure of compassion

    Get PDF
    Compassion has long been regarded as a core part of our humanity by contemplative traditions, and in recent years, it has received growing research interest. Following a recent review of existing conceptualisations, compassion has been defined as consisting of the following five elements: 1) recognising suffering, 2) understanding the universality of suffering in human experience, 3) feeling moved by the person suffering and emotionally connecting with their distress, 4) tolerating uncomfortable feelings aroused (e.g., fear, distress) so that we remain open to and accepting of the person suffering, and 5) acting or being motivated to act to alleviate suffering. As a prerequisite to developing a high quality compassion measure and furthering research in this field, the current study empirically investigated the factor structure of the five-element definition using a combination of existing and newly generated self-report items. This study consisted of three stages: a systematic consultation with experts to review items from existing self-report measures of compassion and generate additional items (Stage 1), exploratory factor analysis of items gathered from Stage 1 to identify the underlying structure of compassion (Stage 2), and confirmatory factor analysis to validate the identified factor structure (Stage 3). Findings showed preliminary empirical support for a five-factor structure of compassion consistent with the five-element definition. However, findings indicated that the ‘tolerating’ factor may be problematic and not a core aspect of compassion. This possibility requires further empirical testing. Limitations with items from included measures lead us to recommend against using these items collectively to assess compassion. Instead, we call for the development of a new self-report measure of compassion, using the five-element definition to guide item generation. We recommend including newly generated ‘tolerating’ items in the initial item pool, to determine whether or not factor-level issues are resolved once item-level issues are addressed

    Metformin and the gastrointestinal tract

    Get PDF
    Metformin is an effective agent with a good safety profile that is widely used as a first-line treatment for type 2 diabetes, yet its mechanisms of action and variability in terms of efficacy and side effects remain poorly understood. Although the liver is recognised as a major site of metformin pharmacodynamics, recent evidence also implicates the gut as an important site of action. Metformin has a number of actions within the gut. It increases intestinal glucose uptake and lactate production, increases GLP-1 concentrations and the bile acid pool within the intestine, and alters the microbiome. A novel delayed-release preparation of metformin has recently been shown to improve glycaemic control to a similar extent to immediate-release metformin, but with less systemic exposure. We believe that metformin response and tolerance is intrinsically linked with the gut. This review examines the passage of metformin through the gut, and how this can affect the efficacy of metformin treatment in the individual, and contribute to the side effects associated with metformin intolerance

    DNA Adenine Methylation Is Required to Replicate Both Vibrio cholerae Chromosomes Once per Cell Cycle

    Get PDF
    DNA adenine methylation is widely used to control many DNA transactions, including replication. In Escherichia coli, methylation serves to silence newly synthesized (hemimethylated) sister origins. SeqA, a protein that binds to hemimethylated DNA, mediates the silencing, and this is necessary to restrict replication to once per cell cycle. The methylation, however, is not essential for replication initiation per se but appeared so when the origins (oriI and oriII) of the two Vibrio cholerae chromosomes were used to drive plasmid replication in E. coli. Here we show that, as in the case of E. coli, methylation is not essential for oriI when it drives chromosomal replication and is needed for once-per-cell-cycle replication in a SeqA-dependent fashion. We found that oriII also needs SeqA for once-per-cell-cycle replication and, additionally, full methylation for efficient initiator binding. The requirement for initiator binding might suffice to make methylation an essential function in V. cholerae. The structure of oriII suggests that it originated from a plasmid, but unlike plasmids, oriII makes use of methylation for once-per-cell-cycle replication, the norm for chromosomal but not plasmid replication
    corecore