Algorithms for Game Metrics

Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative {\mu}-calculus and related probabilistic logics. We first show that the metrics provide a bound for the difference in long-run average and discounted average behavior across states, indicating that the metrics can be used both in system verification, and in performance evaluation. For turn-based games and MDPs, we provide a polynomial-time algorithm for the computation of the one-step metric distance between states. The algorithm is based on linear programming; it improves on the previous known exponential-time algorithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known algorithms for Markov chains. For the bisimulation kernel of the metric our algorithm works in time O(n^4) for both turn-based games and MDPs; improving the previously best known O(n^9\cdot log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be done via a reduction to the theory of real closed fields, involving a formula with three quantifier alternations, yielding O(|G|^O(|G|^5)) time complexity, improving the previously known reduction, which yielded O(|G|^O(|G|^7)) time complexity. These algorithms can be iterated to approximate the metrics using binary search.Comment: 27 pages. Full version of the paper accepted at FSTTCS 200

Uterine electromyography for discrimination of labor imminence in women with threatened preterm labor under tocolytic treatment

[EN] As one of the main aims of obstetrics is to be able to detect imminent delivery in patients with threatened preterm labor, the techniques currently used in clinical practice have serious limitations in this respect. The electrohysterogram (EHG) has now emerged as an alternative technique, providing relevant information about labor onset when recorded in controlled checkups without administration of tocolytic drugs. The studies published to date mainly focus on EHG-burst analysis and, to a lesser extent, on whole EHG window analysis. The study described here assessed the ability of EHG signals to discriminate imminent labor (The ability of EHG recordings to predict imminent labor (<7days) was analyzed in preterm threatened patients undergoing tocolytic therapies by means of EHG-burst and whole EHG window analysis. The non-linear features were found to have better performance than the temporal and spectral parameters in separating women who delivered in less than 7days from those who did not.Mas-Cabo, J.; Prats-Boluda, G.; Perales Marín, AJ.; Garcia-Casado, J.; Alberola Rubio, J.; Ye Lin, Y. (2019). Uterine electromyography for discrimination of labor imminence in women with threatened preterm labor under tocolytic treatment. Medical & Biological Engineering & Computing. 57:401-411. https://doi.org/10.1007/s11517-018-1888-yS40141157Aboy M, Cuesta-Frau D, Austin D, Micó-Tormos P (2007) Characterization of sample entropy in the context of biomedical signal analysis. Conf Proc IEEE Eng Med Biol Soc:5942–5945. https://doi.org/10.1109/IEMBS.2007.4353701Aboy M, Hornero R, Abásolo D, Álvarez D (2006) Interpretation of the Lempel-Ziv complexity measure in the context of biomedical signal analysis. IEEE Trans Biomed Eng 53:2282–2288. https://doi.org/10.1109/TBME.2006.883696Chkeir A, Fleury MJ, Karlsson B, Hassan M, Marque C (2013) Patterns of electrical activity synchronization in the pregnant rat uterus. Biomed 3:140–144. https://doi.org/10.1016/j.biomed.2013.04.007Crandon AJ (1979) Maternal anxiety and neonatal wellbeing. J Psychosom Res 23:113–115. https://doi.org/10.1016/0022-3999(79)90015-1Devedeux D, Marque C, Mansour S, Germain G, Duchêne J (1993) Uterine electromyography: a critical review. Am J Obstet Gynecol 169:1636–1653. https://doi.org/10.1016/0002-9378(93)90456-SFele-Žorž G, Kavšek G, Novak-Antolič Ž, Jager F (2008) A comparison of various linear and non-linear signal processing techniques to separate uterine EMG records of term and pre-term delivery groups. Med Biol Eng Comput 46:911–922. https://doi.org/10.1007/s11517-008-0350-yFergus P, Cheung P, Hussain A, al-Jumeily D, Dobbins C, Iram S (2013) Prediction of preterm deliveries from EHG signals using machine learning. PLoS One 8:e77154. https://doi.org/10.1371/journal.pone.0077154Garfield RE, Maner WL (2006) Biophysical methods of prediction and prevention of preterm labor: uterine electromyography and cervical light-induced fluorescence—new obstetrical diagnostic techniques. In: Preterm Birth pp 131–144Garfield RE, Maner WL (2007) Physiology and electrical activity of uterine contractions. Semin Cell Dev Biol 18:289–295. https://doi.org/10.1016/j.semcdb.2007.05.004Garfield RE, Maner WL, MacKay LB et al (2005) Comparing uterine electromyography activity of antepartum patients versus term labor patients. Am J Obstet Gynecol 193:23–29. https://doi.org/10.1016/j.ajog.2005.01.050Goldenberg RL, Culhane JF, Iams JD, Romero R (2008) Epidemiology and causes of preterm birth. Lancet 371:75–84. https://doi.org/10.1016/S0140-6736(08)60074-4American College of Obstetricians and Gynecologists and Committee on Practice Bulletins— Obstetrics (2012) Practice bulletin no. 127. Obstet Gynecol 119(6):1308–1317.Hadar E, Biron-Shental T, Gavish O, Raban O, Yogev Y (2015) A comparison between electrical uterine monitor, tocodynamometer and intra uterine pressure catheter for uterine activity in labor. J Matern Neonatal Med 28:1367–1374. https://doi.org/10.3109/14767058.2014.954539Hans P, Dewandre P, Brichant JF, Bonhomme V (2005) Comparative effects of ketamine on Bispectral Index and spectral entropy of the electroencephalogram under sevoflurane anaesthesia. Br J Anaesth 94:336–340. https://doi.org/10.1093/bja/aei047Hassan M, Terrien J, Marque C, Karlsson B (2011) Comparison between approximate entropy, correntropy and time reversibility: application to uterine electromyogram signals. Med Eng Phys 33:980–986. https://doi.org/10.1016/j.medengphy.2011.03.010Hassan M, Terrien J, Muszynski C et al (2013) Better pregnancy monitoring using nonlinear correlation analysis of external uterine electromyography. IEEE Trans Biomed Eng 60:1160–1166. https://doi.org/10.1109/TBME.2012.2229279Horoba K, Jezewski J, Matonia A, Wrobel J, Czabanski R, Jezewski M (2016) Early predicting a risk of preterm labour by analysis of antepartum electrohysterograhic signals. Biocybern Biomed Eng 36:574–583. https://doi.org/10.1016/j.bbe.2016.06.004Lawn JE, Wilczynska-Ketende K, Cousens SN (2006) Estimating the causes of 4 million neonatal deaths in the year 2000. Int J Epidemiol 35:706–718. https://doi.org/10.1093/ije/dyl043Lemancewicz A, Borowska M, Kuć P, Jasińska E, Laudański P, Laudański T, Oczeretko E (2016) Early diagnosis of threatened premature labor by electrohysterographic recordings—the use of digital signal processing. Biocybern Biomed Eng 36:302–307. https://doi.org/10.1016/j.bbe.2015.11.005M L WLM, LR C (2012) Noninvasive uterine electromyography for prediction of preterm delivery. Am J Obstet Gynecol 204:1–20. https://doi.org/10.1016/j.ajog.2010.09.024.NoninvasiveManer WL, Garfield RE (2007) Identification of human term and preterm labor using artificial neural networks on uterine electromyography data. Ann Biomed Eng 35:465–473. https://doi.org/10.1007/s10439-006-9248-8Maner WL, Garfield RE, Maul H, Olson G, Saade G (2003) Predicting term and preterm delivery with transabdominal uterine electromyography. Obstet Gynecol 101:1254–1260. https://doi.org/10.1016/S0029-7844(03)00341-7Marque C, Gondry J (1999) Use of the electrohysterogram signal for characterization of contractions during pregnancy. IEEE Trans Biomed Eng 46:1222–1229Maul H, Maner WL, Olson G, Saade GR, Garfield RE (2004) Non-invasive transabdominal uterine electromyography correlates with the strength of intrauterine pressure and is predictive of labor and delivery. J Matern Fetal Neonatal Med 15:297–301Mischi M, Chen C, Ignatenko T, de Lau H, Ding B, Oei SGG, Rabotti C (2018) Dedicated entropy measures for early assessment of pregnancy progression from single-channel electrohysterography. IEEE Trans Biomed Eng 65:875–884. https://doi.org/10.1109/TBME.2017.2723933Most O, Langer O, Kerner R, Ben David G, Calderon I (2008) Can myometrial electrical activity identify patients in preterm labor? Am J Obstet Gynecol 199:378. https://doi.org/10.1016/j.ajog.2008.08.003Petrou S (2005) The economic consequences of preterm birth during the first 10 years of life. BJOG 112:10–15. https://doi.org/10.1111/j.1471-0528.2005.00577.xRabotti C, Sammali F, Kuijsters N, et al (2015) Analysis of uterine activity in nonpregnant women by electrohysterography: a feasibility study. In: Proc Annu Int Conf IEEE Eng Med Biol Soc EMBS pp 5916–5919Schlembach D, Maner WL, Garfield RE, Maul H (2009) Monitoring the progress of pregnancy and labor using electromyography. Eur J Obstet Gynecol Reprod Biol 144:2–8. https://doi.org/10.1016/j.ejogrb.2009.02.016Sikora J, Matonia A, Czabański R et al (2011) Recognition of premature threatening labour symptoms from bioelectrical uterine activity signals. Arch Perinat Med 17:97–103Vinken MPGC, Rabotti C, Mischi M, van Laar JOEH, Oei SG (2010) Nifedipine-induced changes in the electrohysterogram of preterm contractions: feasibility in clinical practice. Obstet Gynecol Int 2010:325635. https://doi.org/10.1155/2010/325635Vrhovec J, Lebar AM (2012) An uterine electromyographic activity as a measure of labor progression. Appl EMG Clin Sport Med 243–268. doi: https://doi.org/10.5772/25526Vrhovec J, Macek-Lebar A, Rudel D (2007) Evaluating uterine electrohysterogram with entropy. 11th Mediterr Conf Med Biomed Eng Comput 144–147. https://doi.org/10.1007/978-3-540-73044-6_36Ye-Lin Y, Bueno-Barrachina JM, Prats-boluda G, Rodriguez de Sanabria R, Garcia-Casado J (2017) Wireless sensor node for non-invasive high precision electrocardiographic signal acquisition based on a multi-ring electrode. Measurement 97:195–202. https://doi.org/10.1016/J.MEASUREMENT.2016.11.009Ye-Lin Y, Garcia-Casado J, Prats-Boluda G, Alberola-Rubio J, Perales A (2014) Automatic identification of motion artifacts in EHG recording for robust analysis of uterine contractions. Comput Math Methods Med 2014:1–11. https://doi.org/10.1155/2014/470786Zhang XS, Roy RJ, Jensen EW (2001) EEG complexity as a measure of depth of anesthesia for patients. IEEE Trans Biomed Eng 48:1424–1433. https://doi.org/10.1109/10.96660

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV

Improving Knowledge and Attitudes towards Depression: a controlled trial among Chinese medical students

<p>Abstract</p> <p>Background</p> <p>Establishing an evidence-based method of improving knowledge and attitudes concerning depression has been identified as a priority in Chinese medical education. The purpose of this study was to determine whether a self-directed learning strategy as a part of student-centred education improved knowledge of and attitudes towards depression among Chinese medical students.</p> <p>Methods</p> <p>A controlled trial in which 205 medical students were allocated to one of two groups: didactic teaching (DT) group or a combined didactic teaching and self-directed learning (DT/SDL) group. The DT/SDL group continued having a series of learning activities after both groups had a lecture on depression together. Student's knowledge and attitudes were assessed immediately after the activities, one month and six months later.</p> <p>Results</p> <p>The intervention (DT/SDL) group showed substantially greater improvements in recognition of depression as a major health issue and identifying helpful treatments than the DT group. Only the DT/SDL group demonstrated any improvement in attitudes. This improvement was sustained over six months.</p> <p>Conclusions</p> <p>Self-directed learning is an effective education strategy in improving medical students' knowledge of and attitudes towards depression.</p

Search for direct stau production in events with two hadronic tau-leptons in root s=13 TeV pp collisions with the ATLAS detector

A search for the direct production of the supersymmetric partners ofτ-leptons (staus) in final stateswith two hadronically decayingτ-leptons is presented. The analysis uses a dataset of pp collisions corresponding to an integrated luminosity of139fb−1, recorded with the ATLAS detector at the LargeHadron Collider at a center-of-mass energy of 13 TeV. No significant deviation from the expected StandardModel background is observed. Limits are derived in scenarios of direct production of stau pairs with eachstau decaying into the stable lightest neutralino and oneτ-lepton in simplified models where the two staumass eigenstates are degenerate. Stau masses from 120 GeV to 390 GeV are excluded at 95% confidencelevel for a massless lightest neutralino

Search for squarks and gluinos in events with isolated leptons, jets and missing transverse momentum at s√=8 TeV with the ATLAS detector

The results of a search for supersymmetry in final states containing at least one isolated lepton (electron or muon), jets and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. The search is based on proton-proton collision data at a centre-of-mass energy s√=8 TeV collected in 2012, corresponding to an integrated luminosity of 20 fb−1. No significant excess above the Standard Model expectation is observed. Limits are set on supersymmetric particle masses for various supersymmetric models. Depending on the model, the search excludes gluino masses up to 1.32 TeV and squark masses up to 840 GeV. Limits are also set on the parameters of a minimal universal extra dimension model, excluding a compactification radius of 1/R c = 950 GeV for a cut-off scale times radius (ΛR c) of approximately 30

Evidence for the Higgs-boson Yukawa coupling to tau leptons with the ATLAS detector

Results of a search for H → τ τ decays are presented, based on the full set of proton-proton collision data recorded by the ATLAS experiment at the LHC during 2011 and 2012. The data correspond to integrated luminosities of 4.5 fb−1 and 20.3 fb−1 at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV respectively. All combinations of leptonic (τ → `νν¯ with ` = e, µ) and hadronic (τ → hadrons ν) tau decays are considered. An excess of events over the expected background from other Standard Model processes is found with an observed (expected) significance of 4.5 (3.4) standard deviations. This excess provides evidence for the direct coupling of the recently discovered Higgs boson to fermions. The measured signal strength, normalised to the Standard Model expectation, of µ = 1.43 +0.43 −0.37 is consistent with the predicted Yukawa coupling strength in the Standard Model

Measurements of fiducial and differential cross sections for Higgs boson production in the diphoton decay channel at s√=8 TeV with ATLAS

Measurements of fiducial and differential cross sections are presented for Higgs boson production in proton-proton collisions at a centre-of-mass energy of s√=8 TeV. The analysis is performed in the H → γγ decay channel using 20.3 fb−1 of data recorded by the ATLAS experiment at the CERN Large Hadron Collider. The signal is extracted using a fit to the diphoton invariant mass spectrum assuming that the width of the resonance is much smaller than the experimental resolution. The signal yields are corrected for the effects of detector inefficiency and resolution. The pp → H → γγ fiducial cross section is measured to be 43.2 ±9.4(stat.) − 2.9 + 3.2 (syst.) ±1.2(lumi)fb for a Higgs boson of mass 125.4GeV decaying to two isolated photons that have transverse momentum greater than 35% and 25% of the diphoton invariant mass and each with absolute pseudorapidity less than 2.37. Four additional fiducial cross sections and two cross-section limits are presented in phase space regions that test the theoretical modelling of different Higgs boson production mechanisms, or are sensitive to physics beyond the Standard Model. Differential cross sections are also presented, as a function of variables related to the diphoton kinematics and the jet activity produced in the Higgs boson events. The observed spectra are statistically limited but broadly in line with the theoretical expectations

Measurement of the top pair production cross section in 8 TeV proton-proton collisions using kinematic information in the lepton plus jets final state with ATLAS

A measurement is presented of the $t\bar{t}$ inclusive production cross-section in $pp$ collisions at a center-of-mass energy of $\sqrt{s}=8$ TeV using data collected by the ATLAS detector at the CERN Large Hadron Collider. The measurement was performed in the lepton+jets final state using a data set corresponding to an integrated luminosity of 20.3 fb$^{-1}$. The cross-section was obtained using a likelihood discriminant fit and $b$-jet identification was used to improve the signal-to-background ratio. The inclusive $t\bar{t}$ production cross-section was measured to be $260\pm 1{\textrm{(stat.)}} ^{+22}_{-23} {\textrm{(syst.)}}\pm 8{\textrm{(lumi.)}}\pm 4{\mathrm{(beam)}}$ pb assuming a top-quark mass of 172.5 GeV, in good agreement with the theoretical prediction of $253^{+13}_{-15}$ pb. The $t\bar{t}\to (e,\mu)+{\mathrm{jets}}$ production cross-section in the fiducial region determined by the detector acceptance is also reported.Comment: Published version, 19 pages plus author list (35 pages total), 3 figures, 2 tables, all figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/TOPQ-2013-06