Effects of helium and nitrogen as pressurants in nitrogen tetroxide transfer

Study investigates effects of helium and nitrogen as pressurants in nitrogen tetroxide transfer from one vessel to another at a higher elevation. Results may contribute to creation of new environmental systems and improved oxygen solubility in water to promote fish life

Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Averages of b-hadron Properties at the End of 2005

This article reports world averages for measurements on b-hadron properties obtained by the Heavy Flavor Averaging Group (HFAG) using the available results as of at the end of 2005. In the averaging, the input parameters used in the various analyses are adjusted (rescaled) to common values, and all known correlations are taken into account. The averages include lifetimes, neutral meson mixing parameters, parameters of semileptonic decays, branching fractions of B meson decays to final states with open charm, charmonium and no charm, and measurements related to CP asymmetries

Neural network parametrization of the lepton energy spectrum in semileptonic B meson decays

We construct a parametrization of the lepton energy spectrum in inclusive semileptonic decays of B mesons, based on the available experimental information: moments of the spectrum with cuts, their errors and their correlations, together with kinematical constraints. The result is obtained in the form of a Monte Carlo sample of neural networks trained on replicas of the experimental data, which represents the probability density in the space of lepton energy spectra. This parametrization is then used to extract the b quark mass m_b^{1S} in a way that theoretical uncertainties are minimized, for which the value m_b^{1S}=4.84 \pm 0.14^{exp}\pm 0.05^{th} GeV is obtained.Comment: 32 pages, 22 figures, JHEP3 class. v4 version accepted for publication in JHE

The Journal of the Friends' Historical Society vol.33

Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects. Iris was designed with the express goal of simplifying and consolidating the foundations of modern separation logics, but it has evolved over time, and the design and semantic foundations of Iris itself have yet to be fully written down and explained together properly in one place. Here, we attempt to fill this gap, presenting a reasonably complete picture of the latest version of Iris (version 3.1), from first principles and in one coherent narrative.Accepted Author ManuscriptProgramming Language

Evidence for CP Violation in B0 -> D+D- Decays

We report measurements of the branching fraction and CP violation parameters in B0 -> D+D- decays. The results are based on a data sample that contains 535 x 10^6 BBbar pairs collected at the Upsilon(4S) resonance, with the Belle detector at the KEKB asymmetric-energy e+e- collider. We obtain [1.97 +- 0.20 (stat) +- 0.20 (syst)] x 10^(-4) for the branching fraction of B0 -> D+D-. The measured values of the CP violation parameters are: S = -1.13 +- 0.37 +- 0.09, A = 0.91 +- 0.23 +- 0.06, where the first error is statistical and the second is systematic. We find evidence of CP violation in B0 -> D+D- at the 4.1 sigma confidence level. While the value of S is consistent with expectations from other measurements, the value of the parameter A favors large direct CP violation at the 3.2 sigma confidence level, in contradiction to Standard Model expectations.Comment: 12 pages, 3 figures, submitted to PR

Study of the Baryon-Antibaryon Low-Mass Enhancements in Charmless Three-body Baryonic B Decays

The angular distributions of the baryon-antibaryon low-mass enhancements seen in the charmless three-body baryonic B decays B+ -> p pbar K+, B0 -> p pbar Ks, and B0 -> p Lambdabar pi- are reported. A quark fragmentation interpretation is supported, while the gluonic resonance picture is disfavored. Searches for the Theta+ and Theta++ pentaquarks in the relevant decay modes and possible glueball states G with 2.2 GeV/c2 < M-ppbar < 2.4 GeV/c2 in the ppbar systems give null results. We set upper limits on the products of branching fractions, B(B0 -> Theta+ p)\times B(Theta+ -> p Ks) Theta++ pbar) \times B(Theta++ -> p K+) G K+) \times B(G -> p pbar) < 4.1 \times 10^{-7} at the 90% confidence level. The analysis is based on a 140 fb^{-1} data sample recorded on the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e- collider.Comment: 14 pages, 13 figure files, update of hep-ex/0409010 for journal submisssio

Study of B -> \rho \pi decays at Belle

This paper describes a study of B meson decays to the pseudoscalar-vector final state \rho\pi using 31.9\times 10^6 B\bar{B} events collected with the Belle detector at KEKB. The branching fractions B(B^+ \to \rho^0\pi^+) = (8.0^{+2.3+0.7}_{-2.0-0.7}) \times 10^{-6} and B(B^0 -> \rho^{+-} \pi^{-+}) = (20.8^{+6.0+2.8}_{-6.3-3.1}) \times 10^{-6} are obtained. In addition, a 90% confidence level upper limit of B(B^0 \to \rho^0\pi^0) < 5.3 \times 10^{-6}is reported.Comment: 14 pages, 3 figures, to be submitted to Phys. Lett.

A case of penile fracture with complete urethral disruption during sexual intercourse: a case report

Penile fracture is a rare condition. Primarily it is a rupture of the corpus cavernosum that occurs when the penis is erect. The rupture can also affect the corpus spongiosum and the urethra. We report a case of a 37 year old man who presented with acute penile pain, penile swelling and the inability to pass urine after a blunt trauma during sexual intercourse. In emergency surgery we found bilateral partial rupture of the corpus cavernosum with complete urethral and corpus spongiosum disruption. In the one year follow up the patient presented with normal erectile and voiding function. Emergency surgical repair in penile fracture can preserve erectile and voiding function

Search for the h_c meson in B^+- ->h_c K^+-

We report a search for the $h_c$ meson via the decay chain $B^{\pm}\to h_c K^{\pm}$, \etac \gamma with $\eta_c \to K_S^0 K^{\pm} \pi^{\mp}$ and $p\bar{p}$. No significant signals are observed. We obtain upper limits on the branching fractions for $B^{\pm} \to \eta_c\gamma K^{\pm}$ in bins of the $\eta_c\gamma$ invariant mass. The results are based on an analysis of 253 fb$^{-1}$ of data collected by the Belle detector at the KEKB $e^+e^-$ collider.Comment: 12 pages, 6 figures, submitted to Phys. Rev.