Study of the Linked Dipole Chain Model in heavy quark production at the Tevatron

We present calculations of charm and beauty production at Tevatron within the framework of kT-factorization, using the unintegrated gluon distributions as obtained from the Linked Dipole Chain model. The analysis covers transverse momentum and rapidity distributions and the azimuthal correlations between b and bbar quarks (or rather muons from their decay) which are powerful tests for the different unintegrated gluon distributions. We compare the theoretical results with recent experimental data taken by D0 and CDF collaborations at the Tevatron Run I and II.Comment: 16 page

A Parton Model for Inclusive Semileptonic B Meson Decays

The parton model for semileptonic B meson decays is studied with special attention to the decay distributions. We find that the spectra show dramatic variations when we introduce cuts on the hadronic energy or invariant mass of hadrons. Results for both $b\rightarrow u$ and $b\rightarrow c$ decays are presented. The detailed spectra may help to separate the two types of decays.Comment: 9 pages, DO-TH 93/29, OHSTPY-HEP-T-93-011, September 199

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

Definition and Calculation of Bottom Quark Cross-Sections in Deep-inelastic Scattering at HERA and Determination of their Uncertainties

The uncertainties involved in the calculation of bottom quark cross-sections in deep-inelastic scattering at HERA are studied in different phase space regions. Besides the inclusive bottom quark cross-section, definitions closer to the detector acceptance requiring at least one high energetic muon from the semi-leptonic \bquark decay or a jet with high transverse energy are investigated. For each case the uncertainties due to the choice of the renormalisation and factorisation scale as well as the \bquark mass are estimated in the perturbative NLO QCD calculation and furthermore uncertainties in the fragmenation of the bottom quark to a B-meson and in its semi-leptonic decay are discussed