LNCS

Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with n states and m transitions, we show that each of the classical quantitative objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for each objective on MDPs, where κ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms outperform existing well-established methods by one or more orders of magnitude

Second order QCD corrections to inclusive semileptonic b \to Xc l \bar \nu_l decays with massless and massive lepton

We extend previous computations of the second order QCD corrections to semileptonic b \to c inclusive transitions, to the case where the charged lepton in the final state is massive. This allows accurate description of b \to c \tau \bar \nu_\tau decays. We review techniques used in the computation of O(\alpha_s^2) corrections to inclusive semileptonic b \to c transitions and present extensive numerical studies of O(\alpha_s^2) QCD corrections to b \to c l \bar \nu_l decays, for l =e, \tau.Comment: 30 pages, 4 figures, 5 table

On the Integrand-Reduction Method for Two-Loop Scattering Amplitudes

We propose a first implementation of the integrand-reduction method for two-loop scattering amplitudes. We show that the residues of the amplitudes on multi-particle cuts are polynomials in the irreducible scalar products involving the loop momenta, and that the reduction of the amplitudes in terms of master integrals can be realized through polynomial fitting of the integrand, without any apriori knowledge of the integral basis. We discuss how the polynomial shapes of the residues determine the basis of master integrals appearing in the final result. We present a four-dimensional constructive algorithm that we apply to planar and non-planar contributions to the 4- and 5-point MHV amplitudes in N=4 SYM. The technique hereby discussed extends the well-established analogous method holding for one-loop amplitudes, and can be considered a preliminary study towards the systematic reduction at the integrand-level of two-loop amplitudes in any gauge theory, suitable for their automated semianalytic evaluation.Comment: 26 pages, 11 figure

Response to Mechanical Stress Is Mediated by the TRPA Channel Painless in the Drosophila Heart

Mechanotransduction modulates cellular functions as diverse as migration, proliferation, differentiation, and apoptosis. It is crucial for organ development and homeostasis and leads to pathologies when defective. However, despite considerable efforts made in the past, the molecular basis of mechanotransduction remains poorly understood. Here, we have investigated the genetic basis of mechanotransduction in Drosophila. We show that the fly heart senses and responds to mechanical forces by regulating cardiac activity. In particular, pauses in heart activity are observed under acute mechanical constraints in vivo. We further confirm by a variety of in situ tests that these cardiac arrests constitute the biological force-induced response. In order to identify molecular components of the mechanotransduction pathway, we carried out a genetic screen based on the dependence of cardiac activity upon mechanical constraints and identified Painless, a TRPA channel. We observe a clear absence of in vivo cardiac arrest following inactivation of painless and further demonstrate that painless is autonomously required in the heart to mediate the response to mechanical stress. Furthermore, direct activation of Painless is sufficient to produce pauses in heartbeat, mimicking the pressure-induced response. Painless thus constitutes part of a mechanosensitive pathway that adjusts cardiac muscle activity to mechanical constraints. This constitutes the first in vivo demonstration that a TRPA channel can mediate cardiac mechanotransduction. Furthermore, by establishing a high-throughput system to identify the molecular players involved in mechanotransduction in the cardiovascular system, our study paves the way for understanding the mechanisms underlying a mechanotransduction pathway

Learning genetic epistasis using Bayesian network scoring criteria

<p>Abstract</p> <p>Background</p> <p>Gene-gene epistatic interactions likely play an important role in the genetic basis of many common diseases. Recently, machine-learning and data mining methods have been developed for learning epistatic relationships from data. A well-known combinatorial method that has been successfully applied for detecting epistasis is <it>Multifactor Dimensionality Reduction </it>(MDR). Jiang et al. created a combinatorial epistasis learning method called <it>BNMBL </it>to learn Bayesian network (BN) epistatic models. They compared BNMBL to MDR using simulated data sets. Each of these data sets was generated from a model that associates two SNPs with a disease and includes 18 unrelated SNPs. For each data set, BNMBL and MDR were used to score all 2-SNP models, and BNMBL learned significantly more correct models. In real data sets, we ordinarily do not know the number of SNPs that influence phenotype. BNMBL may not perform as well if we also scored models containing more than two SNPs. Furthermore, a number of other BN scoring criteria have been developed. They may detect epistatic interactions even better than BNMBL.</p> <p>Although BNs are a promising tool for learning epistatic relationships from data, we cannot confidently use them in this domain until we determine which scoring criteria work best or even well when we try learning the correct model without knowledge of the number of SNPs in that model.</p> <p>Results</p> <p>We evaluated the performance of 22 BN scoring criteria using 28,000 simulated data sets and a real Alzheimer's GWAS data set. Our results were surprising in that the Bayesian scoring criterion with large values of a hyperparameter called α performed best. This score performed better than other BN scoring criteria and MDR at <it>recall </it>using simulated data sets, at detecting the hardest-to-detect models using simulated data sets, and at substantiating previous results using the real Alzheimer's data set.</p> <p>Conclusions</p> <p>We conclude that representing epistatic interactions using BN models and scoring them using a BN scoring criterion holds promise for identifying epistatic genetic variants in data. In particular, the Bayesian scoring criterion with large values of a hyperparameter α appears more promising than a number of alternatives.</p

Precise measurement of the W-boson mass with the CDF II detector

We have measured the W-boson mass MW using data corresponding to 2.2/fb of integrated luminosity collected in proton-antiproton collisions at 1.96 TeV with the CDF II detector at the Fermilab Tevatron collider. Samples consisting of 470126 W->enu candidates and 624708 W->munu candidates yield the measurement MW = 80387 +- 12 (stat) +- 15 (syst) = 80387 +- 19 MeV. This is the most precise measurement of the W-boson mass to date and significantly exceeds the precision of all previous measurements combined

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