316 research outputs found
Flux of Atmospheric Neutrinos
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
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.
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
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
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
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.
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
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
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
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
- …