506 research outputs found

    Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

    Get PDF
    In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

    Emerging pharmacotherapy of tinnitus

    Get PDF
    Tinnitus, the perception of sound in the absence of an auditory stimulus, is perceived by about 1 in 10 adults, and for at least 1 in 100, tinnitus severely affects their quality of life. Because tinnitus is frequently associated with irritability, agitation, stress, insomnia, anxiety and depression, the social and economic burdens of tinnitus can be enormous. No curative treatments are available. However, tinnitus symptoms can be alleviated to some extent. The most widespread management therapies consist of auditory stimulation and cognitive behavioral treatment, aiming at improving habituation and coping strategies. Available clinical trials vary in methodological rigor and have been performed for a considerable number of different drugs. None of the investigated drugs have demonstrated providing replicable long-term reduction of tinnitus impact in the majority of patients in excess of placebo effects. Accordingly, there are no FDA or European Medicines Agency approved drugs for the treatment of tinnitus. However, in spite of the lack of evidence, a large variety of different compounds are prescribed off-label. Therefore, more effective pharmacotherapies for this huge and still growing market are desperately needed and even a drug that produces only a small but significant effect would have an enormous therapeutic impact. This review describes current and emerging pharmacotherapies with current difficulties and limitations. In addition, it provides an estimate of the tinnitus market. Finally, it describes recent advances in the tinnitus field which may help overcome obstacles faced in the pharmacological treatment of tinnitus. These include incomplete knowledge of tinnitus pathophysiology, lack of well-established animal models, heterogeneity of different forms of tinnitus, difficulties in tinnitus assessment and outcome measurement and variability in clinical trial methodology. © 2009 Informa UK Ltd.Fil: Langguth, Berthold. Universitat Regensburg; AlemaniaFil: Salvi, Richard. State University of New York; Estados UnidosFil: Elgoyhen, Ana Belen. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; Argentin

    MiRNA Control of Vegetative Phase Change in Trees

    Get PDF
    After germination, plants enter juvenile vegetative phase and then transition to an adult vegetative phase before producing reproductive structures. The character and timing of the juvenile-to-adult transition vary widely between species. In annual plants, this transition occurs soon after germination and usually involves relatively minor morphological changes, whereas in trees and other perennial woody plants it occurs after months or years and can involve major changes in shoot architecture. Whether this transition is controlled by the same mechanism in annual and perennial plants is unknown. In the annual forb Arabidopsis thaliana and in maize (Zea mays), vegetative phase change is controlled by the sequential activity of microRNAs miR156 and miR172. miR156 is highly abundant in seedlings and decreases during the juvenile-to-adult transition, while miR172 has an opposite expression pattern. We observed similar changes in the expression of these genes in woody species with highly differentiated, well-characterized juvenile and adult phases (Acacia confusa, Acacia colei, Eucalyptus globulus, Hedera helix, Quercus acutissima), as well as in the tree Populus x canadensis, where vegetative phase change is marked by relatively minor changes in leaf morphology and internode length. Overexpression of miR156 in transgenic P. x canadensis reduced the expression of miR156-targeted SPL genes and miR172, and it drastically prolonged the juvenile phase. Our results indicate that miR156 is an evolutionarily conserved regulator of vegetative phase change in both annual herbaceous plants and perennial trees

    Transient reduction of tinnitus intensity is marked by concomitant reductions of delta band power

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Tinnitus is an auditory phantom phenomenon characterized by the sensation of sounds without objectively identifiable sound sources. To date, its causes are not well understood. Previous research found altered patterns of spontaneous brain activity in chronic tinnitus sufferers compared to healthy controls, yet it is unknown whether these abnormal oscillatory patterns are causally related to the tinnitus sensation. Partial support for this notion comes from a neurofeedback approach developed by our group, in which significant reductions in tinnitus loudness could be achieved in patients who successfully normalized their patterns of spontaneous brain activity. The current work attempts to complement these studies by scrutinizing how modulations of tinnitus intensity alter ongoing oscillatory activity.</p> <p>Results</p> <p>In the present study the relation between tinnitus sensation and spontaneous brain activity was investigated using residual inhibition (RI) to reduce tinnitus intensity and source-space projected magnetencephalographic (MEG) data to index brain activity. RI is the sustained reduction (criteria: 50% for at least 30 s) in tinnitus loudness after cessation of a tonal tinnitus masker. A pilot study (n = 38) identified 10 patients who showed RI. A significant reduction of power in the delta (1.3–4.0 Hz) frequency band was observed in temporal regions during RI (p ≤ 0.001).</p> <p>Conclusion</p> <p>The current results suggest that changes of tinnitus intensity induced by RI are mediated by alterations in the pathological patterns of spontaneous brain activity, specifically a reduction of delta activity. Delta activity is a characteristic oscillatory activity generated by deafferented/deprived neuronal networks. This implies that RI effects might reflect the transient reestablishment of balance between excitatory and inhibitory neuronal assemblies, via reafferentation, that have been perturbed (in most tinnitus individuals) by hearing damage. As enhancements have been reported in the delta frequency band for tinnitus at rest, this result conforms to our assumption that a normalization of oscillatory properties of cortical networks is a prerequisite for attenuating the tinnitus sensation. For RI to have therapeutic significance however, this normalization would have to be stabilized.</p

    Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

    Get PDF
    The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

    Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

    Get PDF
    The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

    Observation of associated near-side and away-side long-range correlations in √sNN=5.02  TeV proton-lead collisions with the ATLAS detector

    Get PDF
    Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

    Neural Correlates of Visual Motion Prediction

    Get PDF
    Predicting the trajectories of moving objects in our surroundings is important for many life scenarios, such as driving, walking, reaching, hunting and combat. We determined human subjects’ performance and task-related brain activity in a motion trajectory prediction task. The task required spatial and motion working memory as well as the ability to extrapolate motion information in time to predict future object locations. We showed that the neural circuits associated with motion prediction included frontal, parietal and insular cortex, as well as the thalamus and the visual cortex. Interestingly, deactivation of many of these regions seemed to be more closely related to task performance. The differential activity during motion prediction vs. direct observation was also correlated with task performance. The neural networks involved in our visual motion prediction task are significantly different from those that underlie visual motion memory and imagery. Our results set the stage for the examination of the effects of deficiencies in these networks, such as those caused by aging and mental disorders, on visual motion prediction and its consequences on mobility related daily activities

    Auditory Resting-State Network Connectivity in Tinnitus: A Functional MRI Study

    Get PDF
    The underlying functional neuroanatomy of tinnitus remains poorly understood. Few studies have focused on functional cerebral connectivity changes in tinnitus patients. The aim of this study was to test if functional MRI “resting-state” connectivity patterns in auditory network differ between tinnitus patients and normal controls. Thirteen chronic tinnitus subjects and fifteen age-matched healthy controls were studied on a 3 tesla MRI. Connectivity was investigated using independent component analysis and an automated component selection approach taking into account the spatial and temporal properties of each component. Connectivity in extra-auditory regions such as brainstem, basal ganglia/NAc, cerebellum, parahippocampal, right prefrontal, parietal, and sensorimotor areas was found to be increased in tinnitus subjects. The right primary auditory cortex, left prefrontal, left fusiform gyrus, and bilateral occipital regions showed a decreased connectivity in tinnitus. These results show that there is a modification of cortical and subcortical functional connectivity in tinnitus encompassing attentional, mnemonic, and emotional networks. Our data corroborate the hypothesized implication of non-auditory regions in tinnitus physiopathology and suggest that various regions of the brain seem involved in the persistent awareness of the phenomenon as well as in the development of the associated distress leading to disabling chronic tinnitus
    corecore