Building Better Bit-Blasting for Floating-Point Problems

An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-vectors. Implementing the required encodings is complex, error prone and requires a deep understanding of floating-point hardware. This paper presents SymFPU, a library of encodings that can be included in solvers. It also includes a verification argument for its correctness, and experimental results showing that its use in CVC4 out-performs all previous tools. As well as a significantly improved performance and correctness, it is hoped this will give a simple route to add support for the theory of floating-point

Complexity in the binding of minor groove agents: netropsin has two thermodynamically different DNA binding modes at a single site

Structural results with minor groove binding agents, such as netropsin, have provided detailed, atomic level views of DNA molecular recognition. Solution studies, however, indicate that there is complexity in the binding of minor groove agents to a single site. Netropsin, for example, has two DNA binding enthalpies in isothermal titration calorimetry (ITC) experiments that indicate the compound simultaneously forms two thermodynamically different complexes at a single AATT site. Two proposals for the origin of this unusual observation have been developed: (i) two different bound species of netropsin at single binding sites and (ii) a netropsin induced DNA hairpin to duplex transition. To develop a better understanding of DNA recognition complexity, the two proposals have been tested with several DNAs and the methods of mass spectrometry (MS), polyacrylamide gel electrophoresis (PAGE) and nuclear magnetic resonance spectroscopy in addition to ITC. All of the methods with all of the DNAs investigated clearly shows that netropsin forms two different complexes at AATT sites, and that the proposal for an induced hairpin to duplex transition in this system is incorrect

An integrated workflow for robust alignment and simplified quantitative analysis of NMR spectrometry data

<p>Abstract</p> <p>Background</p> <p>Nuclear magnetic resonance spectroscopy (NMR) is a powerful technique to reveal and compare quantitative metabolic profiles of biological tissues. However, chemical and physical sample variations make the analysis of the data challenging, and typically require the application of a number of preprocessing steps prior to data interpretation. For example, noise reduction, normalization, baseline correction, peak picking, spectrum alignment and statistical analysis are indispensable components in any NMR analysis pipeline.</p> <p>Results</p> <p>We introduce a novel suite of informatics tools for the quantitative analysis of NMR metabolomic profile data. The core of the processing cascade is a novel peak alignment algorithm, called hierarchical Cluster-based Peak Alignment (CluPA). The algorithm aligns a target spectrum to the reference spectrum in a top-down fashion by building a hierarchical cluster tree from peak lists of reference and target spectra and then dividing the spectra into smaller segments based on the most distant clusters of the tree. To reduce the computational time to estimate the spectral misalignment, the method makes use of Fast Fourier Transformation (FFT) cross-correlation. Since the method returns a high-quality alignment, we can propose a simple methodology to study the variability of the NMR spectra. For each aligned NMR data point the ratio of the between-group and within-group sum of squares (BW-ratio) is calculated to quantify the difference in variability between and within predefined groups of NMR spectra. This differential analysis is related to the calculation of the F-statistic or a one-way ANOVA, but without distributional assumptions. Statistical inference based on the BW-ratio is achieved by bootstrapping the null distribution from the experimental data.</p> <p>Conclusions</p> <p>The workflow performance was evaluated using a previously published dataset. Correlation maps, spectral and grey scale plots show clear improvements in comparison to other methods, and the down-to-earth quantitative analysis works well for the CluPA-aligned spectra. The whole workflow is embedded into a modular and statistically sound framework that is implemented as an R package called "speaq" ("spectrum alignment and quantitation"), which is freely available from <url>http://code.google.com/p/speaq/</url>.</p

Measurement of the p-pbar -> Wgamma + X cross section at sqrt(s) = 1.96 TeV and WWgamma anomalous coupling limits

The WWgamma triple gauge boson coupling parameters are studied using p-pbar -> l nu gamma + X (l = e,mu) events at sqrt(s) = 1.96 TeV. The data were collected with the DO detector from an integrated luminosity of 162 pb^{-1} delivered by the Fermilab Tevatron Collider. The cross section times branching fraction for p-pbar -> W(gamma) + X -> l nu gamma + X with E_T^{gamma} > 8 GeV and Delta R_{l gamma} > 0.7 is 14.8 +/- 1.6 (stat) +/- 1.0 (syst) +/- 1.0 (lum) pb. The one-dimensional 95% confidence level limits on anomalous couplings are -0.88 < Delta kappa_{gamma} < 0.96 and -0.20 < lambda_{gamma} < 0.20.Comment: Submitted to Phys. Rev. D Rapid Communication

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt{s} = 1.96 TeV using Kinematic Characteristics of Lepton + Jets Events

We present a measurement of the top quark pair ttbar production cross section in ppbar collisions at a center-of-mass energy of 1.96 TeV using 230 pb**{-1} of data collected by the DO detector at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), large missing transverse energy, and at least four jets, and extract the ttbar content of the sample based on the kinematic characteristics of the events. For a top quark mass of 175 GeV, we measure sigma(ttbar) = 6.7 {+1.4-1.3} (stat) {+1.6- 1.1} (syst) +/-0.4 (lumi) pb, in good agreement with the standard model prediction.Comment: submitted to Phys.Rev.Let

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Lepton + Jets Events with Lifetime b-tagging

We present a measurement of the top quark pair ($t\bar{t}$) production cross section ($\sigma_{t\bar{t}}$) in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV using 230 pb$^{-1}$ of data collected by the D0 experiment at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), missing transverse energy, and jets in the final state. We employ lifetime-based b-jet identification techniques to further enhance the $t\bar{t}$ purity of the selected sample. For a top quark mass of 175 GeV, we measure $\sigma_{t\bar{t}}=8.6^{+1.6}_{-1.5}(stat.+syst.)\pm 0.6(lumi.)$ pb, in agreement with the standard model expectation.Comment: 7 pages, 2 figures, 3 tables Submitted to Phys.Rev.Let

Measurement of Semileptonic Branching Fractions of B Mesons to Narrow D** States

Using the data accumulated in 2002-2004 with the DO detector in proton-antiproton collisions at the Fermilab Tevatron collider with centre-of-mass energy 1.96 TeV, the branching fractions of the decays B -> \bar{D}_1^0(2420) \mu^+ \nu_\mu X and B -> \bar{D}_2^{*0}(2460) \mu^+ \nu_\mu X and their ratio have been measured: BR(\bar{b}->B) \cdot BR(B-> \bar{D}_1^0 \mu^+ \nu_\mu X) \cdot BR(\bar{D}_1^0 -> D*- pi+) = (0.087+-0.007(stat)+-0.014(syst))%; BR(\bar{b}->B)\cdot BR(B->D_2^{*0} \mu^+ \nu_\mu X) \cdot BR(\bar{D}_2^{*0} -> D*- \pi^+) = (0.035+-0.007(stat)+-0.008(syst))%; and (BR(B -> \bar{D}_2^{*0} \mu^+ \nu_\mu X)BR(D2*0->D*- pi+)) / (BR(B -> \bar{D}_1^{0} \mu^+ \nu_\mu X)\cdot BR(\bar{D}_1^{0}->D*- \pi^+)) = 0.39+-0.09(stat)+-0.12(syst), where the charge conjugated states are always implied.Comment: submitted to Phys. Rev. Let

Search for Large Extra Spatial Dimensions in Dimuon Production with the D0 Detector

We present the results of a search for the effects of large extra spatial dimensions in $p{\bar p}$ collisions at $\sqrt{s} =$ 1.96 TeV in events containing a pair of energetic muons. The data correspond to 246 \ipb of integrated luminosity collected by the \D0 experiment at the Fermilab Tevatron Collider. Good agreement with the expected background was found, yielding no evidence for large extra dimensions. We set 95% C.L. lower limits on the fundamental Planck scale between 0.85 TeV and 1.27 TeV within several formalisms. These are the most stringent limits achieved in the dimuon channel to date.Comment: 8 pages, 3 figures, 1 table. Published in Phys. Rev. Lett. Minor changes in v2 to match the published versio

Measurement of the Isolated Photon Cross Section in p-pbar Collisions at sqrt{s}=1.96 TeV

The cross section for the inclusive production of isolated photons has been measured in p anti-p collisions at sqrt{s}=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. The photons span transverse momenta 23 to 300 GeV and have pseudorapidity |eta|<0.9. The cross section is compared with the results from two next-to-leading order perturbative QCD calculations. The theoretical predictions agree with the measurement within uncertainties.Comment: 7 pages, 5 figures, submitted to Phys.Lett.

A search for W bb and W Higgs production in ppbar collisions at sqrt(s)=1.96 TeV

We present a search for W b \bar{b} production in p \bar{p} collisions at sqrt{s}=1.96 TeV in events containing one electron, an imbalance in transverse momentum, and two b-tagged jets. Using 174 pb-1 of integrated luminosity accumulated by the D0 experiment at the Fermilab Tevatron collider, and the standard-model description of such events, we set a 95% C.L. upper limit on W b \bar{b}$production of 6.6 pb for b quarks with transverse momenta p_T^b > 20 GeV and b \bar{b} separation in pseudorapidity-azimuth space Delta R_bb > 0.75. Restricting the search to optimized b \bar{b} mass intervals provides upper limits on$WH$production of 9.0$-$12.2 pb, for Higgs-boson masses of 105$-$135 GeV.Comment: 7 pages, 4 figures, 1 table, submitted to Physical Review Letter