System analysis and robustness

Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyberphysical systems needs to blend discrete mathematics, which is suitable for modeling digital components, with continuous mathematics, used for modeling physical components. This blending of continuous and discrete creates challenges that are absent when the discrete or the continuous setting are considered in isolation. We consider robustness, that is, the ability of an analysis of a model to cope with small amounts of imprecision in the model. Formally, we identify analyses with monotonic maps between complete lattices (a mathematical framework used for abstract interpretation and static analysis) and define robustness for monotonic maps between complete lattices of closed subsets of a metric space.</p

Attention-dependent modulation of cortical taste circuits revealed by granger causality with signal-dependent noise

We show, for the first time, that in cortical areas, for example the insular, orbitofrontal, and lateral prefrontal cortex, there is signal-dependent noise in the fMRI blood-oxygen level dependent (BOLD) time series, with the variance of the noise increasing approximately linearly with the square of the signal. Classical Granger causal models are based on autoregressive models with time invariant covariance structure, and thus do not take this signal-dependent noise into account. To address this limitation, here we describe a Granger causal model with signal-dependent noise, and a novel, likelihood ratio test for causal inferences. We apply this approach to the data from an fMRI study to investigate the source of the top-down attentional control of taste intensity and taste pleasantness processing. The Granger causality with signal-dependent noise analysis reveals effects not identified by classical Granger causal analysis. In particular, there is a top-down effect from the posterior lateral prefrontal cortex to the insular taste cortex during attention to intensity but not to pleasantness, and there is a top-down effect from the anterior and posterior lateral prefrontal cortex to the orbitofrontal cortex during attention to pleasantness but not to intensity. In addition, there is stronger forward effective connectivity from the insular taste cortex to the orbitofrontal cortex during attention to pleasantness than during attention to intensity. These findings indicate the importance of explicitly modeling signal-dependent noise in functional neuroimaging, and reveal some of the processes involved in a biased activation theory of selective attention

Pars plana vitrectomy for diabetic macular edema. Internal limiting membrane delamination vs posterior hyaloid removal. A prospective randomized trial

To access publisher full text version of this article. Please click on the hyperlink in Additional Links field.BACKGROUND: Diabetes mellitus, as well as subsequent ocular complications such as cystoid macular edema (CME), are of fundametal socio-economic relevance. Therefore, we evaluated the influence of internal limiting membrane (ILM) removal on longterm morphological and functional outcome in patients with diabetes mellitus (DM) type 2 and chronic CME without evident vitreomacular traction. METHOD: Forty eyes with attached posterior hyaloid were included in this prospective trial and randomized intraoperatively. Prior focal (n = 31) or panretinal (n = 25) laser coagulation was permitted. Group I (n = 19 patients) underwent surgical induction of posterior vitreous detachment (PVD), group II (n = 20 patients) PVD and removal of the ILM. Eleven patients with detached posterior hyaloid (group III) were not randomized, and ILM removal was performed. One eye had to be excluded from further analysis. Examinations included ETDRS best-corrected visual acuity (BCVA), fluorescein angiography (FLA) and OCT at baseline, 3 and 6 months postoperatively. Main outcome measure was BCVA at 6 months, secondary was foveal thickness. RESULTS: Mean BCVA over 6 months remained unchanged in 85% of patients of group II, and decreased in 53% of patients of group I. Results were not statistically significant different [group I: mean decrease log MAR 95% CI (0.06; 0.32), group II: (-0.02; 0.11)]. OCT revealed a significantly greater reduction of foveal thickness following PVD with ILM removal [group I: mean change: 95% CI (-208.95 μm; -78.05 μm), group II: (-80.90 μm: +59.17 μm)]. CONCLUSION: Vitrectomy, PVD with or without ILM removal does not improve vision in patients with DM type 2 and cystoid diabetic macular edema without evident vitreoretinal traction. ILM delamination shows improved morphological results, and appears to be beneficial in eyes with preexisting PVD

Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA

Correlations between charged particles in deep inelastic ep scattering have been studied in the Breit frame with the ZEUS detector at HERA using an integrated luminosity of 6.4 pb-1. Short-range correlations are analysed in terms of the angular separation between current-region particles within a cone centred around the virtual photon axis. Long-range correlations between the current and target regions have also been measured. The data support predictions for the scaling behaviour of the angular correlations at high Q2 and for anti-correlations between the current and target regions over a large range in Q2 and in the Bjorken scaling variable x. Analytic QCD calculations and Monte Carlo models correctly describe the trends of the data at high Q2, but show quantitative discrepancies. The data show differences between the correlations in deep inelastic scattering and e+e- annihilation.Comment: 26 pages including 10 figures (submitted to Eur. J. Phys. C

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

<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

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

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

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

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

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

Search for R-parity-violating supersymmetry in events with four or more leptons in sqrt(s) =7 TeV pp collisions with the ATLAS detector

A search for new phenomena in final states with four or more leptons (electrons or muons) is presented. The analysis is based on 4.7 fb−1 of $\sqrt{s}=7\;\mathrm{TeV}$ proton-proton collisions delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in two signal regions: one that requires moderate values of missing transverse momentum and another that requires large effective mass. The results are interpreted in a simplified model of R-parity-violating supersymmetry in which a 95% CL exclusion region is set for charged wino masses up to 540 GeV. In an R-parity-violating MSUGRA/CMSSM model, values of m 1/2 up to 820 GeV are excluded for 10 < tan β < 40