Shrinking a large dataset to identify variables associated with increased risk of Plasmodium falciparum infection in Western Kenya

Large datasets are often not amenable to analysis using traditional single-step approaches. Here, our general objective was to apply imputation techniques, principal component analysis (PCA), elastic net and generalized linear models to a large dataset in a systematic approach to extract the most meaningful predictors for a health outcome. We extracted predictors for Plasmodium falciparum infection, from a large covariate dataset while facing limited numbers of observations, using data from the People, Animals, and their Zoonoses (PAZ) project to demonstrate these techniques: data collected from 415 homesteads in western Kenya, contained over 1500 variables that describe the health, environment, and social factors of the humans, livestock, and the homesteads in which they reside. The wide, sparse dataset was simplified to 42 predictors of P. falciparum malaria infection and wealth rankings were produced for all homesteads. The 42 predictors make biological sense and are supported by previous studies. This systematic data-mining approach we used would make many large datasets more manageable and informative for decision-making processes and health policy prioritization

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

W boson polarization measurement in the ttbar dilepton channel using the CDF II Detector

We present a measurement of $W$ boson polarization in top-quark decays in $t\bar{t}$ events with decays to dilepton final states using $5.1 {\rm fb^{-1}}$ of integrated luminosity in $p\bar{p}$ collisions collected by the CDF II detector at the Tevatron. A simultaneous measurement of the fractions of longitudinal ($f_0$) and right-handed ($f_+$) $W$ bosons yields the results $f_0 = 0.71 ^{+0.18}_{-0.17} {\rm (stat)} \pm 0.06 {\rm (syst)}$ and $f_+ = -0.07 \pm 0.09 {\rm (stat)} \pm 0.03 {\rm (syst)}$. Combining this measurement with our previous result based on single lepton final states, we obtain $f_0 = 0.84 \pm 0.09 {\rm (stat)} \pm 0.05 {\rm (syst)}$ and $f_{+} = -0.16 \pm 0.05 {\rm (stat)} \pm 0.04 {\rm (syst)}$. The results are consistent with standard model expectation.Comment: Published in Phys. Lett.

Measurement of the Bs Lifetime in Fully and Partially Reconstructed Bs -> Ds- (phi pi-)X Decays in pbar-p Collisions at sqrt(s) = 1.96 TeV

We present a measurement of the Bs lifetime in fully and partially reconstructed Bs -> Ds(phi pi)X decays in 1.3 fb-1 of pbar-p collisions at sqrt(s) = 1.96 TeV collected by the CDF II detector at the Fermilab Tevatron. We measure tau(Bs) = 1.518 +/- 0.041 (stat.) +/- 0.027 (syst.) ps. The ratio of this result and the world average B0 lifetime yields tau(Bs)/tau(B0) = 0.99 +/-0.03, which is in agreement with recent theoretical predictions.Comment: submitted to Phys. Rev. Let

Observation of the Y(4140)Y(4140) structure in the J/ψ ϕJ/\psi\,\phi Mass Spectrum in B±→J/ψ ϕKB^\pm\to J/\psi\,\phi K cays

The observation of the $Y(4140)$ structure in $B^\pm\rightarrow J/\psi\,\phi K^\pm$ decays produced in $\bar{p} p$ collisions at \sqrt{s}=1.96~\TeV is reported with a statistical significance greater than 5 standard deviations. A fit to the $J/\psi\,\phi$ mass spectrum is performed assuming the presence of a Breit-Wigner resonance. The fit yields a signal of $19^{+6}_{-5}$ resonance events, and resonance mass and width of 4143.4^{+2.9}_{-3.0}(\mathrm{stat})\pm0.6(\mathrm{syst})~\MeVcc and 15.3^{+10.4}_{-6.1}(\mathrm{stat})\pm2.5(\mathrm{syst})~\MeVcc respectively. The parameters of this resonance-like structure are consistent with values reported from an earlier CDF analysis.Comment: 7 pages, 2 figures, submited to Phys. Rev. Let

Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation

. This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of distinct symbolic memory locations accessed. The behavioral model provides a conservative approximation of the replaced memory array, while allowing the address and control inputs of the memory to accept symbolic ternary values. Memory state is represented by a list of entries encoding the sequence of updates of symbolic addresses with symbolic data. The list interacts with the rest of the circuit by means of a software interface developed as part of the symbolic simulation engine. This memory model was incorporated into our verification tool based on Symbolic Trajectory Evaluation. Experimental results show that the new model significantly outperforms the transistor level memory model when verifying a simple pipelined d..

EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations

The property of Positive Equality [2] dramatically speeds up validity checking of formulas in the logic of Equality with Uninterpreted Functions and Memories (EUFM) [4]. The logic expresses correctness of high-level microprocessors. We presen

Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors

A system of conservative transformation rules is presented for abstracting memories whose forwarding logic interacts with stalling conditions for preserving the memory semantics in microprocessors with in-order execution. Microprocessor correctness is expressed in the logic of Equality with Uninterpreted Functions and Memories (EUFM) [6]. Memory reads and writes are abstracted as arbitrary uninterpreted functions in such a way that the forwarding property of the memory semantics---that a read returns the data most recently written to an equal write address---is satisfied completely only when exactly the same pair of one read and one write address is compared for equality in the stalling logic. These transformations are applied entirely automatically by a tool for formal verification of microprocessors, based on EUFM, the Burch and Dill flushing technique [6], and the properties of Positive Equality [3]. An order of magnitude reduction is achieved in the number of e ij Boolean variables [9] that encode the equality comparisons of register identifiers in the correctness formulas for single-issue pipelined and dual-issue superscalar microprocessors with multicycle functional units, exceptions, and branch prediction. That results in up to 40 reduction in the CPU time for the formal verification of the dual-issue superscalar microprocessors