On minimizing deterministic tree automata

We present two algorithms for minimizing deterministic frontier-to-root tree automata (dfrtas) and compare them with their string counterparts. The presentation is incremental, starting out from definitions of minimality of automata and state equivalence, in the style of earlier algorithm taxonomies by the authors. The first algorithm is the classical one, initially presented by Brainerd in the 1960s and presented (sometimes imprecisely) in standard texts on tree language theory ever since. The second algorithm is completely new. This algorithm, essentially representing the generalization to ranked trees of the string algorithm presented by Watson and Daciuk, incrementally minimizes a dfrta. As a result, intermediate results of the algorithm can be used to reduce the initial automaton’s size. This makes the algorithm useful in situations where running time is restricted (for example, in real-time applications). We also briefly sketch how a concurrent specification of the algorithm in CSP can be obtained from an existing specification for the dfa case

On minimizing deterministic tree automata

We present two algorithms for minimizing deterministic frontier-to-root tree automata (dfrtas) and compare them with their string counterparts. The presentation is incremental, starting out from definitions of minimality of automata and state equivalence, in the style of earlier algorithm taxonomies by the authors. The first algorithm is the classical one, initially presented by Brainerd in the 1960s and presented (sometimes imprecisely) in standard texts on tree language theory ever since. The second algorithm is completely new. This algorithm, essentially representing the generalization to ranked trees of the string algorithm presented by Watson and Daciuk, incrementally minimizes a dfrta. As a result, intermediate results of the algorithm can be used to reduce the initial automaton’s size. This makes the algorithm useful in situations where running time is restricted (for example, in real-time applications). We also briefly sketch how a concurrent specification of the algorithm in CSP can be obtained from an existing specification for the dfa case

Assessing ECG signal quality indices to discriminate ECGs with artefacts from pathologically different arrhythmic ECGs

False and non-actionable alarms in critical care can be reduced by developing algorithms which assess the trueness of an arrhythmia alarm from a bedside monitor. Computational approaches that automatically identify artefacts in ECG signals are an important branch of physiological signal processing which tries to address this issue. Signal quality indices (SQIs) derived considering differences between artefacts which occur in ECG signals and normal QRS morphology have the potential to discriminate pathologically different arrhythmic ECG segments as artefacts. Using ECG signals from the PhysioNet/Computing in Cardiology Challenge 2015 training set, we studied previously reported ECG SQIs in the scientific literature to differentiate ECG segments with artefacts from arrhythmic ECG segments. We found that the ability of SQIs to discriminate between ECG artefacts and arrhythmic ECG varies based on arrhythmia type since the pathology of each arrhythmic ECG waveform is different. Therefore, to reduce the risk of SQIs classifying arrhythmic events as noise it is important to validate and test SQIs with databases that include arrhythmias. Arrhythmia specific SQIs may also minimize the risk of misclassifying arrhythmic events as noise

Electrocardiographic biomarkers for detection of drug-induced late sodium current block

Background Drugs that prolong the heart rate corrected QT interval (QTc) on the electrocardiogram (ECG) by blocking the hERG potassium channel and also block inward currents (late sodium or L-type calcium) are not associated with torsade de pointes (e.g. ranolazine and verapamil). Thus, identifying ECG signs of late sodium current block could aid in the determination of proarrhythmic risk for new drugs. A new cardiac safety paradigm for drug development (the ''CiPA'' initiative) will involve the preclinical assessment of multiple human cardiac ion channels and ECG biomarkers are needed to determine if there are unexpected ion channel effects in humans. Methods and Results In this study we assess the ability of eight ECG morphology biomarkers to detect late sodium current block in the presence of QTc prolongation by analyzing a clinical trial where a selective hERG potassium channel blocker (dofetilide) was administered alone and then in combination with two late sodium current blockers (lidocaine and mexiletine). We demonstrate that late sodium current block has the greatest effect on the heart-rate corrected JTpeak interval (J-Tpeakc), followed by QTc and then T-wave flatness. Furthermore, J-Tpeakc is the only biomarker that improves detection of the presence of late sodium current block compared to using QTc alone (AUC: 0.83 vs. 0.72 respectively, p<0.001). Conclusions Analysis of the J-Tpeakc interval can differentiate drug-induced multichannel block involving the late sodium current from selective hERG potassium channel block. Future methodologies assessing drug effects on cardiac ion channel currents on the ECG should use J-Tpeakc to detect the presence of late sodium current block

Comprehensive T wave Morphology Assessment in a Randomized Clinical Study of Dofetilide, Quinidine, Ranolazine, and Verapamil

Background Congenital long QT syndrome type 2 (abnormal hERG potassium channel) patients can develop flat, asymmetric, and notched T waves. Similar observations have been made with a limited number of hERG-blocking drugs. However, it is not known how additional calcium or late sodium block, that can decrease torsade risk, affects T wave morphology. Methods and Results Twenty-two healthy subjects received a single dose of a pure hERG blocker (dofetilide) and 3 drugs that also block calcium or sodium (quinidine, ranolazine, and verapamil) as part of a 5-period, placebo-controlled cross-over trial. At pre-dose and 15 time-points post-dose, ECGs and plasma drug concentration were assessed. Patch clamp experiments were performed to assess block of hERG, calcium (L-type) and late sodium currents for each drug. Pure hERG block (dofetilide) and strong hERG block with lesser calcium and late sodium block (quinidine) caused substantial T wave morphology changes (P<0.001). Strong late sodium current and hERG block (ranolazine) still caused T wave morphology changes (P<0.01). Strong calcium and hERG block (verapamil) did not cause T wave morphology changes. At equivalent QTc prolongation, multichannel blockers (quinidine and ranolazine) caused equal or greater T wave morphology changes compared with pure hERG block (dofetilide). Conclusions T wave morphology changes are directly related to amount of hERG block; however, with quinidine and ranolazine, multichannel block did not prevent T wave morphology changes. A combined approach of assessing multiple ion channels, along with ECG intervals and T wave morphology may provide the greatest insight into drug-ion channel interactions and torsade de pointes risk

Cross-Correlation of the Cosmic Microwave Background with the 2MASS Galaxy Survey: Signatures of Dark Energy, Hot Gas, and Point Sources

We cross-correlate the Cosmic Microwave Background (CMB) temperature anisotropies observed by the Wilkinson Microwave Anisotropy Probe (WMAP) with the projected distribution of extended sources in the Two Micron All Sky Survey (2MASS). By modelling the theoretical expectation for this signal, we extract the signatures of dark energy (Integrated Sachs-Wolfe effect;ISW), hot gas (thermal Sunyaev-Zeldovich effect;thermal SZ), and microwave point sources in the cross-correlation. Our strongest signal is the thermal SZ, at the 3.1-3.7 \sigma level, which is consistent with the theoretical prediction based on observations of X-ray clusters. We also see the ISW signal at the 2.5 \sigma level, which is consistent with the expected value for the concordance LCDM cosmology, and is an independent signature of the presence of dark energy in the universe. Finally, we see the signature of microwave point sources at the 2.7 \sigma level.Comment: 35 pages (preprint format), 8 figures. In addition to minor revisions based on referee's comments, after correcting for a bug in the code, the SZ detection is consistent with the X-ray observations. Accepeted for publication in Physical Review

Cosmological parameters from SDSS and WMAP

We measure cosmological parameters using the three-dimensional power spectrum P(k) from over 200,000 galaxies in the Sloan Digital Sky Survey (SDSS) in combination with WMAP and other data. Our results are consistent with a ``vanilla'' flat adiabatic Lambda-CDM model without tilt (n=1), running tilt, tensor modes or massive neutrinos. Adding SDSS information more than halves the WMAP-only error bars on some parameters, tightening 1 sigma constraints on the Hubble parameter from h~0.74+0.18-0.07 to h~0.70+0.04-0.03, on the matter density from Omega_m~0.25+/-0.10 to Omega_m~0.30+/-0.04 (1 sigma) and on neutrino masses from <11 eV to <0.6 eV (95%). SDSS helps even more when dropping prior assumptions about curvature, neutrinos, tensor modes and the equation of state. Our results are in substantial agreement with the joint analysis of WMAP and the 2dF Galaxy Redshift Survey, which is an impressive consistency check with independent redshift survey data and analysis techniques. In this paper, we place particular emphasis on clarifying the physical origin of the constraints, i.e., what we do and do not know when using different data sets and prior assumptions. For instance, dropping the assumption that space is perfectly flat, the WMAP-only constraint on the measured age of the Universe tightens from t0~16.3+2.3-1.8 Gyr to t0~14.1+1.0-0.9 Gyr by adding SDSS and SN Ia data. Including tensors, running tilt, neutrino mass and equation of state in the list of free parameters, many constraints are still quite weak, but future cosmological measurements from SDSS and other sources should allow these to be substantially tightened.Comment: Minor revisions to match accepted PRD version. SDSS data and ppt figures available at http://www.hep.upenn.edu/~max/sdsspars.htm

Calibrating and adjusting expectations in life: A grounded theory on how elderly persons with somatic health problems maintain control and balance in life and optimize well-being

Aim: This study aims at exploring the main concern for elderly individuals with somatic health problems and what they do to manage this. Method: In total, 14 individuals (mean&#x200A;=&#x200A;74.2 years; range&#x200A;=&#x200A;68&#x2013;86 years) of both gender including hospitalized and outpatient persons participated in the study. Open interviews were conducted and analyzed according to grounded theory, an inductive theory-generating method. Results: The main concern for the elderly individuals with somatic health problems was identified as their striving to maintain control and balance in life. The analysis ended up in a substantive theory explaining how elderly individuals with somatic disease were calibrating and adjusting their expectations in life in order to adapt to their reduced energy level, health problems, and aging. By adjusting the expectations to their actual abilities, the elderly can maintain a sense of that they still have the control over their lives and create stability. The ongoing adjustment process is facilitated by different strategies and result despite lower expectations in subjective well-being. The facilitating strategies are utilizing the network of important others, enjoying cultural heritage, being occupied with interests, having a mission to fulfill, improving the situation by limiting boundaries and, finally, creating meaning in everyday life. Conclusion: The main concern of the elderly with somatic health problems was to maintain control and balance in life. The emerging theory explains how elderly people with somatic health problems calibrate their expectations of life in order to adjust to reduced energy, health problems, and aging. This process is facilitated by different strategies and result despite lower expectation in subjective well-being

Measurement of the Charged Multiplicities in b, c and Light Quark Events from Z0 Decays

Average charged multiplicities have been measured separately in $b$, $c$ and light quark ($u,d,s$) events from $Z^0$ decays measured in the SLD experiment. Impact parameters of charged tracks were used to select enriched samples of $b$ and light quark events, and reconstructed charmed mesons were used to select $c$ quark events. We measured the charged multiplicities: $\bar{n}_{uds} = 20.21 \pm 0.10 (\rm{stat.})\pm 0.22(\rm{syst.})$, $\bar{n}_{c} = 21.28 \pm 0.46(\rm{stat.}) ^{+0.41}_{-0.36}(\rm{syst.})$ $\bar{n}_{b} = 23.14 \pm 0.10(\rm{stat.}) ^{+0.38}_{-0.37}(\rm{syst.})$, from which we derived the differences between the total average charged multiplicities of $c$ or $b$ quark events and light quark events: $\Delta \bar{n}_c = 1.07 \pm 0.47(\rm{stat.})^{+0.36}_{-0.30}(\rm{syst.})$ and $\Delta \bar{n}_b = 2.93 \pm 0.14(\rm{stat.})^{+0.30}_{-0.29}(\rm{syst.})$. We compared these measurements with those at lower center-of-mass energies and with perturbative QCD predictions. These combined results are in agreement with the QCD expectations and disfavor the hypothesis of flavor-independent fragmentation.Comment: 19 pages LaTex, 4 EPS figures, to appear in Physics Letters

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results