Accelerated Model Checking of Parametric Markov Chains

Parametric Markov chains occur quite naturally in various applications: they can be used for a conservative analysis of probabilistic systems (no matter how the parameter is chosen, the system works to specification); they can be used to find optimal settings for a parameter; they can be used to visualise the influence of system parameters; and they can be used to make it easy to adjust the analysis for the case that parameters change. Unfortunately, these advancements come at a cost: parametric model checking is---or rather was---often slow. To make the analysis of parametric Markov models scale, we need three ingredients: clever algorithms, the right data structure, and good engineering. Clever algorithms are often the main (or sole) selling point; and we face the trouble that this paper focuses on -- the latter ingredients to efficient model checking. Consequently, our easiest claim to fame is in the speed-up we have often realised when comparing to the state of the art

JNK2 Promotes Endothelial Cell Alignment under Flow

Endothelial cells in straight, unbranched segments of arteries elongate and align in the direction of flow, a feature which is highly correlated with reduced atherosclerosis in these regions. The mitogen-activated protein kinase c-Jun N-terminal kinase (JNK) is activated by flow and is linked to inflammatory gene expression and apoptosis. We previously showed that JNK activation by flow is mediated by integrins and is observed in cells plated on fibronectin but not on collagen or basement membrane proteins. We now show thatJNK2 activation in response to laminar shear stress is biphasic, with an early peak and a later peak. Activated JNK localizes to focal adhesions at the ends of actin stress fibers, correlates with integrin activation and requires integrin binding to the extracellular matrix. Reducing JNK2 activation by siRNA inhibits alignment in response to shear stress. Cells on collagen, where JNK activity is low, align slowly. These data show that an inflammatory pathway facilitates adaptation to laminar flow, thereby revealing an unexpected connection between adaptation and inflammatory pathways

High-Resolution Functional Mapping of the Venezuelan Equine Encephalitis Virus Genome by Insertional Mutagenesis and Massively Parallel Sequencing

We have developed a high-resolution genomic mapping technique that combines transposon-mediated insertional mutagenesis with either capillary electrophoresis or massively parallel sequencing to identify functionally important regions of the Venezuelan equine encephalitis virus (VEEV) genome. We initially used a capillary electrophoresis method to gain insight into the role of the VEEV nonstructural protein 3 (nsP3) in viral replication. We identified several regions in nsP3 that are intolerant to small (15 bp) insertions, and thus are presumably functionally important. We also identified nine separate regions in nsP3 that will tolerate small insertions at low temperatures (30°C), but not at higher temperatures (37°C, and 40°C). Because we found this method to be extremely effective at identifying temperature sensitive (ts) mutations, but limited by capillary electrophoresis capacity, we replaced the capillary electrophoresis with massively parallel sequencing and used the improved method to generate a functional map of the entire VEEV genome. We identified several hundred potential ts mutations throughout the genome and we validated several of the mutations in nsP2, nsP3, E3, E2, E1 and capsid using single-cycle growth curve experiments with virus generated through reverse genetics. We further demonstrated that two of the nsP3 ts mutants were attenuated for virulence in mice but could elicit protective immunity against challenge with wild-type VEEV. The recombinant ts mutants will be valuable tools for further studies of VEEV replication and virulence. Moreover, the method that we developed is applicable for generating such tools for any virus with a robust reverse genetics system

Ambivalent connections: a qualitative study of the care experiences of non-psychotic chronic patients who are perceived as 'difficult' by professionals

Contains fulltext : 90688.pdf (publisher's version ) (Open Access)Background: Little is known about the perspectives of psychiatric patients who are perceived as 'difficult' by clinicians. The aim of this paper is to improve understanding of the connections between patients and professionals from patients' point of view. Methods: A Grounded Theory study using interviews with 21 patients from 12 outpatient departments of three mental health care facilities. Results: Patients reported on their own difficult behaviours and their difficulties with clinicians and services. Explanations varied but could be summarized as a perceived lack of recognition. Recognition referred to being seen as a patient and a person - not just as completely 'ill' or as completely 'healthy'. Also, we found that patients and professionals have very different expectations of one another, which may culminate in a difficult or ambivalent connection. In order to explicate patient's expectations, the patient-clinician contact was described by a stage model that differentiates between three stages of contact development, and three stages of substantial treatment. According to patients, in each stage there is a therapeutic window of optimal clinician behaviour and two wider spaces below and above that may be qualified as 'toxic' behaviour. Possible changes in clinicians' responses to 'difficult' patients were described using this model. Conclusions: The incongruence of patients' and professionals' expectations may result in power struggles that may make professionals perceive patients as 'difficult'. Explication of mutual expectations may be useful in such cases. The presented model gives some directions to clinicians how to do this.11 p

Precision measurement of the top quark mass from dilepton events at CDF II

We report a measurement of the top quark mass, M_t, in the dilepton decay channel of $t\bar{t}\to b\ell'^{+}\nu_{\ell'}\bar{b}\ell^{-}\bar{\nu}_{\ell}$ using an integrated luminosity of 1.0 fb^{-1} of p\bar{p} collisions collected with the CDF II detector. We apply a method that convolutes a leading-order matrix element with detector resolution functions to form event-by-event likelihoods; we have enhanced the leading-order description to describe the effects of initial-state radiation. The joint likelihood is the product of the likelihoods from 78 candidate events in this sample, which yields a measurement of M_{t} = 164.5 \pm 3.9(\textrm{stat.}) \pm 3.9(\textrm{syst.}) \mathrm{GeV}/c^2, the most precise measurement of M_t in the dilepton channel.Comment: 7 pages, 2 figures, version includes changes made prior to publication by journa

Cross Section Measurements of High-pTp_T Dilepton Final-State Processes Using a Global Fitting Method

We present a new method for studying high-$p_T$ dilepton events ($e^{\pm}e^{\mp}$, $\mu^{\pm}\mu^{\mp}$, $e^{\pm}\mu^{\mp}$) and simultaneously extracting the production cross sections of $p\bar{p} \to t\bar{t}$, $p\bar{p} \to W^+W^-$, and p\bar{p} \to \ztt at a center-of-mass energy of $\sqrt{s} = 1.96$ TeV. We perform a likelihood fit to the dilepton data in a parameter space defined by the missing transverse energy and the number of jets in the event. Our results, which use $360 {\rm pb^{-1}}$ of data recorded with the CDF II detector at the Fermilab Tevatron Collider, are $\sigma(t\bar{t}) = 8.5_{-2.2}^{+2.7}$ pb, $\sigma(W^+W^-) = 16.3^{+5.2}_{-4.4}$ pb, and \sigma(\ztt) =291^{+50}_{-46} pb.Comment: 20 pages, 2 figures, to be submitted to PRD-R

Measurement of the Ratios of Branching Fractions B(Bs -> Ds pi pi pi) / B(Bd -> Dd pi pi pi) and B(Bs -> Ds pi) / B(Bd -> Dd pi)

Using 355 pb^-1 of data collected by the CDF II detector in \ppbar collisions at sqrt{s} = 1.96 TeV at the Fermilab Tevatron, we study the fully reconstructed hadronic decays B -> D pi and B -> D pi pi pi. We present the first measurement of the ratio of branching fractions B(Bs -> Ds pi pi pi) / B(Bd -> Dd pi pi pi) = 1.05 pm 0.10 (stat) pm 0.22 (syst). We also update our measurement of B(Bs -> Ds pi) / B(Bd -> Dd pi) to 1.13 pm 0.08 (stat) pm 0.23 (syst) improving the statistical uncertainty by more than a factor of two. We find B(Bs -> Ds pi) = [3.8 pm 0.3 (stat) pm 1.3 (syst)] \times 10^{-3} and B(Bs -> Ds pi pi pi) = [8.4 pm 0.8 (stat) pm 3.2 (syst)] \times 10^{-3}.Comment: 7 pages, 2 figure

Top Quark Mass Measurement from Dilepton Events at CDF II with the Matrix-Element Method

We describe a measurement of the top quark mass using events with two charged leptons collected by the CDF II detector from $p\bar{p}$ collisions with $\sqrt s = 1.96$ TeV at the Fermilab Tevatron. The likelihood in top mass is calculated for each event by convoluting the leading order matrix element describing $q\bar{q} \to t\bar{t} \to b\ell\nu_{\ell}\bar{b}\ell'\nu_{\ell'}$ with detector resolution functions. The presence of background events in the data sample is modeled using similar calculations involving the matrix elements for major background processes. In a data sample with integrated luminosity of 340 pb$^{-1}$, we observe 33 candidate events and measure $M_{top} = 165.2 \pm 6.1(\textrm{stat.}) \pm 3.4(\textrm{syst.}) \mathrm{~GeV}/c^2.$ This measurement represents the first application of this method to events with two charged leptons and is the most precise single measurement of the top quark mass in this channel.Comment: 21 pages, 14 figure

Search for New Physics in Lepton + Photon + X Events with L=305 pb-1 of ppbar Collisions at roots=1.96 TeV

We present results of a search for anomalous production of events containing a charged lepton (either electron or muon) and a photon, both with high transverse momentum, accompanied by additional signatures, X, including missing transverse energy (MET) and additional leptons and photons. We use the same kinematic selection criteria as in a previous CDF search, but with a substantially larger data set, 305 pb-1, a ppbar collision energy of 1.96 TeV, and the upgraded CDF II detector. We find 42 Lepton+Photon+MET events versus a standard model expectation of 37.3 +- 5.4 events. The level of excess observed in Run I, 16 events with an expectation of 7.6 +- 0.7 events (corresponding to a 2.7 sigma effect), is not supported by the new data. In the signature of Multi-Lepton+Photon+X we observe 31 events versus an expectation of 23.0 +- 2.7 events. In this sample we find no events with an extra photon or MET and so find no events like the one ee+gg+MET event observed in Run I.Comment: 7 pages, 3 figures, 1 table. Accepted to PR

Measurement of the Lambda_b Lifetime in Lambda_b --> J/psi Lambda0 in p-pbar Collisions at sqrt(s)=1.96 TeV

We report a measurement of the Lambda_b lifetime in the exclusive decay Lambda_b --> J/psi Lambda0 in p-pbar collisions at sqrt(s) = 1.96 TeV using an integrated luminosity of 1.0 fb^{-1} of data collected by the CDF II detector at the Fermilab Tevatron. Using fully reconstructed decays, we measure tau(Lambda_b) = 1.593 ^{+0.083}_{-0.078} (stat.) +- 0.033 (syst.) ps. This is the single most precise measurement of tau(Lambda_b) and is 3.2 sigma higher than the current world average.Comment: 7 Pages, 2 Figures, 1 Table. Submitted to Phys. Rev. Let