Mass dependence of HBT correlations in e^+e^- annihilation

Mass dependence of the effective source radii, observed in hadronic $Z^0$ decays by several LEP I experiments, is analyzed in a model which assumes proportionality between four-momentum of a produced particle and the four-vector describing its space-time position at the freeze-out. It is shown that this relation (commonly accepted in description of high-energy collisions) can explain the data, provided all particles are emitted from a "tube" of $\sim 1$ fm in diameter at a constant proper time $\sim 1.5$ fm.Comment: 15 pages, 3 figure

Physiological properties, time of development, and central projection are correlated in the wing mechanoreceptors of Drosophila

The wing of Drosophila contains 8 sensory structures (campaniform sensilla), which lie in specific locations and possess identical surface morphology. The axons of the campaniform neurons follow either a medial or a lateral tract within the CNS. Previous studies (Palka et al., 1986) indicate that choice of central pathway correlates with the time of birth and differentiation of the neurons rather than with their topographic distribution on the wing. On the basis of the response properties revealed by mechanical and electrical stimulation, these sensory cells also fall into 2 physiological categories, rapidly and slowly adapting, that correlate exactly with central projection and birthdate. Thus, within this discrete population of sensory neurons there exists a precise 3-way correlation between physiology, central projection, and time of development

Hybrid Pixel Detector Development for the Linear Collider Vertex Tracker

In order to fully exploit the physics potential of the future high energy e+e- linear collider, a Vertex Tracker able to provide particle track extrapolation with very high resolution is needed. Hybrid Si pixel sensors are an attractive technology due to their fast read-out capabilities and radiation hardness. A novel pixel detector layout with interleaved cells has been developed to improve the single point resolution. Results of the characterisation of the first processed prototypes by electrostatic measurements and charge collection studies are discussed.Comment: 5 pages, 1 figure, to appear in the Proceedings of the 9th Int. Workshop on Vertex Detectors, Lake Michigan MI (USA), September~200

Characterisation of Hybrid Pixel Detectors with capacitive charge division

In order to fully exploit the physics potential of the future high energy e+ e- linear collider, a Vertex Tracker providing high resolution track reconstruction is required. Hybrid pixel sensors are an attractive technology due to their fast read-out capabilities and radiation hardness. A novel pixel detector layout with interleaved cells between the readout nodes has been developed to improve the single point resolution. The results of the characterisation of the first processed prototypes are reported.Comment: 5 pages, 2 figures, presented at LCWS2000, Linear Collider Workshop, October 24-28 2000, Fermi National Accelerator Laboratory, Batavia, Illinois, U.S.A. Proceedings to be published by the American Institute of Physic

Ranking programs using black box testing

We present an unbiased method for measuring the relative quality of different solutions to a programming problem. Our method is based on identifying possible bugs from program behaviour through black-box testing. The main motivation for such a method is its use in experimental evaluation of software development methods. We report on the use of our method in a small-scale such experiment, which was aimed at evaluating the effectiveness of property-based testing vs. unit testing in software development. Copyright 2010 ACM

The Straw Tube Trackers of the PANDA Experiment

The PANDA experiment will be built at the FAIR facility at Darmstadt (Germany) to perform accurate tests of the strong interaction through bar pp and bar pA annihilation's studies. To track charged particles, two systems consisting of a set of planar, closed-packed, self-supporting straw tube layers are under construction. The PANDA straw tubes will have also unique characteristics in term of material budget and performance. They consist of very thin mylar-aluminized cathodes which are made self-supporting by means of the operation gas-mixture over-pressure. This solution allows to reduce at maximum the weight of the mechanical support frame and hence the detector material budget. The PANDA straw tube central tracker will not only reconstruct charged particle trajectories, but also will help in low momentum (< 1 GeV) particle identification via dE/dx measurements. This is a quite new approach that PANDA tracking group has first tested with detailed Monte Carlo simulations, and then with experimental tests of detector prototypes. This paper addresses the design issues of the PANDA straw tube trackers and the performance obtained in prototype tests.Comment: 7 pages,16 figure

Observation of B+ -> p pbar pi+, B0 -> p pbar K0, and B+ -> p pbar K*+

We report the first observation of a b -> u type charmless baryonic B decay, B+ -> p pbar pi+, as well as b -> s type B0 -> p pbar K0 and B+ -> p pbar K*+ decays. The analysis is based on a 78fb^{-1} data sample recorded on the Upsilon(4S) resonance with the Belle detector at KEKB. We find BF(B+ -> p pbar pi+) = (3.06^{+0.73}_{-0.62} \pm 0.37)*10^{-6}, BF(B0 -> p pbar K0) =(1.88^{+0.77}_{-0.60} \pm 0.23)*10^{-6}, and BF(B+ -> p pbar K*+) = (10.3^{+3.6 + 1.3}_{-2.8 -1.7})*10^{-6}. We also update BF(B+ -> p pbar K+) = (5.66^{+0.67}_{-0.57} \pm 0.62)* 10^{-6}, and present an upper limit on BF(B0 -> p pbar K*0) at the 90% confidence level. A common feature of the observed decay modes is threshold peaking in baryon pair invariant mass.Comment: 10 pages, 12 figure file

Observation of B0 to p pbar K*0 with a large K*0 polarization

We observe the decay B0 to p pbar K*0 with a branching fraction of (1.18^{+0.29}_{-0.25} (stat.) \pm 0.11 (syst.)) \times 10^{-6}. The statistical significance is 7.2 sigma for the signal in the low ppbar mass region. We study the decay dynamics of B0 to p pbar K*0 and compare it with B+ to p pbar K*+. The K*0 meson is found to be almost 100% polarized (with a fraction of (101 \pm 13 \pm 3)% in the helicity zero state), while the K*+ meson has a (32 \pm 17 \pm 9)% fraction in the helicity zero state. The direct CP asymmetries for B0 to p pbar K*0 and B+ to p pbar K*+ are measured to be -0.08\pm 0.20\pm 0.02 and -0.01\pm 0.19\pm 0.02, respectively. We also study the characteristics of the low mass ppbar enhancements near threshold and the associated angular distributions. In addition, we report improved measurements of the branching fractions BF(B+ to p pbar K*+) = (3.38^{+0.73}_{-0.60} \pm 0.39) \times 10^{-6} and BF(B0 to p pbar K0) = (2.51^{+0.35}_{-0.29} \pm 0.21) \times 10^{-6}, which supersede our previous measurements. These results are obtained from a 492 fb^{-1} data sample collected near the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e^+ e^- collider.Comment: 11 pages, 4 figures (8 figure files), submitted to Phys.Rev.Let

Study of J/psi to p pbar, Lambda Lambdabar and observation of eta_c to Lambda Lambdabar at Belle

We study the baryonic charmonium decays of B mesons, B+ to etac K+ and B+ to J/psi K+, where the etac and J/psi subsequently decay into a p pbar or Lambda Lambdabar pair. We measure the J/psi to p pbar, Lambda Lambdabar anisotropy parameters, alpha_B = -0.60 +- 0.13 +-0.14 (p pbar), -0.44 +- 0.51 +- 0.31 (Lambda Lambdabar) and compare to results from e+e- to J/psi formation experiments. We also report the first observation of etac to Lambda Lambdabar. The measured branching fraction is B(etac to Lambda Lambdabar) = (0.87 +0.24 -0.21(stat) +0.09 -0.14(syst) +- 0.27 (PDG)) x 10^-3. This study is based on a 357 fb^-1 data sample recorded on the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e- collider.Comment: 8 pages, two figures (4 figure files), an update of hep-ex/0509020 for journal submissio

Finding Race Conditions in Erlang with Quick Check and PULSE

We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard to find in practice. Traditional unit testing is normally unable to help finding all race conditions, because their occurrence depends so much on timing. Therefore, race conditions are often found during system testing, where due to the vast amount of code under test, it is often hard to diagnose the error resulting from race conditions. We present three tools (Quick Check, PULSE, and a visualizer) that in combination can be used to test and debug concurrent programs in unit testing with a much better possibility of detecting race conditions. We evaluate our method on an industrial concurrent case study and illustrate how we find and analyze the race conditions