1,624 research outputs found
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
. We give a sound and cut-free complete sequent
calculus for 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 meson via the decay chain , \etac \gamma with and
. No significant signals are observed. We obtain upper limits on the
branching fractions for in bins of the
invariant mass. The results are based on an analysis of 253
fb of data collected by the Belle detector at the KEKB
collider.Comment: 12 pages, 6 figures, submitted to Phys. Rev.
- âŠ