59 research outputs found
Variable Compression in ProbLog
In order to compute the probability of a query, ProbLog represents the proofs of the query as disjunctions of conjunctions, for which a Reduced Ordered Binary Decision Diagram (ROBDD) is computed. The paper identifies patterns of Boolean variables that occur in Boolean formulae, namely AND-clusters and OR-clusters. Our method compresses the variables in these clusters and thus reduces the size of ROBDDs without affecting the probability.
We give a polynomial algorithm that detects AND-clusters in disjunctive normal form (DNF) Boolean formulae, or OR-clusters in conjunctive normal form (CNF) Boolean formulae.
We do an experimental evaluation of the effects of AND-cluster compression for a real application of ProbLog. With our prototype implementation we have a significant improvement in performance (up to 87%) for the generation of ROBDDs. Moreover, compressing AND-clusters of Boolean variables in the DNFs makes it feasible to deal with ProbLog queries that give rise to larger DNFs.acceptance rate: 38%status: publishe
A simple approach to describe hadron production rates in annihilation
We show that, based on the idea of string fragmentation, the production rates
of light flavored mesons and baryons originating from fragmentation can be
described by the spin, the binding energy of the particle, and a strangeness
suppression factor. Apart from a normalization factor, data at
different center-of-mass energies can be described simultaneously. Applying to
the heavy flavor production, we find that our predictions are in good agreement
with data.Comment: latex(stwol.sty), 4 pages, 2 figure
D* Production in Deep Inelastic Scattering at HERA
This paper presents measurements of D^{*\pm} production in deep inelastic
scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The
data have been taken with the ZEUS detector at HERA. The decay channel
(+ c.c.) has been used in the study. The
cross section for inclusive D^{*\pm} production with
and is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region
{ GeV and }. Differential cross
sections as functions of p_T(D^{*\pm}), and are
compared with next-to-leading order QCD calculations based on the photon-gluon
fusion production mechanism. After an extrapolation of the cross section to the
full kinematic region in p_T(D^{*\pm}) and (D^{*\pm}), the charm
contribution to the proton structure function is
determined for Bjorken between 2 10 and 5 10.Comment: 17 pages including 4 figure
Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET
The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR
- …