1,953 research outputs found
Snowmass 2001: Jet Energy Flow Project
Conventional cone jet algorithms arose from heuristic considerations of LO
hard scattering coupled to independent showering. These algorithms implicitly
assume that the final states of individual events can be mapped onto a unique
set of jets that are in turn associated with a unique set of underlying hard
scattering partons. Thus each final state hadron is assigned to a unique
underlying parton. The Jet Energy Flow (JEF) analysis described here does not
make such assumptions. The final states of individual events are instead
described in terms of flow distributions of hadronic energy. Quantities of
physical interest are constructed from the energy flow distribution summed over
all events. The resulting analysis is less sensitive to higher order
perturbative corrections and the impact of showering and hadronization than the
standard cone algorithms.Comment: REVTeX4, 13 pages, 6 figures; Contribution to the P5 Working Group on
QCD and Strong Interactions at Snowmass 200
Predicate Abstraction for Linked Data Structures
We present Alias Refinement Types (ART), a new approach to the verification
of correctness properties of linked data structures. While there are many
techniques for checking that a heap-manipulating program adheres to its
specification, they often require that the programmer annotate the behavior of
each procedure, for example, in the form of loop invariants and pre- and
post-conditions. Predicate abstraction would be an attractive abstract domain
for performing invariant inference, existing techniques are not able to reason
about the heap with enough precision to verify functional properties of data
structure manipulating programs. In this paper, we propose a technique that
lifts predicate abstraction to the heap by factoring the analysis of data
structures into two orthogonal components: (1) Alias Types, which reason about
the physical shape of heap structures, and (2) Refinement Types, which use
simple predicates from an SMT decidable theory to capture the logical or
semantic properties of the structures. We prove ART sound by translating types
into separation logic assertions, thus translating typing derivations in ART
into separation logic proofs. We evaluate ART by implementing a tool that
performs type inference for an imperative language, and empirically show, using
a suite of data-structure benchmarks, that ART requires only 21% of the
annotations needed by other state-of-the-art verification techniques
Snowmass 2001: Jet Energy Flow Project
Conventional cone jet algorithms arose from heuristic considerations of LO hard scattering coupled to independent showering. These algorithms implicitly assume that the final states of individual events can be mapped onto a unique set of jets that are in turn associated with a unique set of underlying hard scattering partons. Thus each final state hadron is assigned to a unique underlying parton. The Jet Energy Flow (JEF) analysis described here does not make such assumptions. The final states of individual events are instead described in terms of flow distributions of hadronic energy. Quantities of physical interest are constructed from the energy flow distribution summed over all events. The resulting analysis is less sensitive to higher order perturbative corrections and the impact of showering and hadronization than the standard cone algorithms
Sequence of ITS-2 amplified from pearl millet downy mildew samples
DNA samples were isolated from fungal spores collected from leaves of pearl millet infected with downy mildew in India, Niger, Nigeria, Mali and Burkina Faso. Nested polymerase chain reaction was used to amplify the internal transcribed spacer region 2 (ITS-2) of the ribosomal RNA encoding genes. The first primers (ITS1 and ITS6) were in the conserved regions of the large and small subunit rRNA; the second pair (ITS 3 and ITS 4) flanked just the ITS-2 segment. The amplification of the ITS 2 region from presumed Sclerospora graminicola samples gave products of approximately 400 base pairs. BLAST searches of the GenBank showed that those from India and some from Africa were similar to the ITS 2 regions of other oomycetes, including Peronospora and Phytophthora species. The other African samples were clearly derived from other species. A tree constructed using the ITS 2 region of Cladosporium herbarum as an outgroup revealed the similarity of most isolates to other oomycetes, and that in general, the isolates collected from nearby locations were the most similar and that isolates from India were similar to those from Africa. However, it also showed that none of the ITS 2 sequences amplified from samples collected from Burkina Faso were from S. graminicola
Radioactive decays at limits of nuclear stability
The last decades brought an impressive progress in synthesizing and studying
properties of nuclides located very far from the beta stability line. Among the
most fundamental properties of such exotic nuclides, usually established first,
is the half-life, possible radioactive decay modes, and their relative
probabilities. When approaching limits of nuclear stability, new decay modes
set in. First, beta decays become accompanied by emission of nucleons from
highly excited states of daughter nuclei. Second, when the nucleon separation
energy becomes negative, nucleons start to be emitted from the ground state.
Here, we present a review of the decay modes occurring close to the limits of
stability. The experimental methods used to produce, identify and detect new
species and their radiation are discussed. The current theoretical
understanding of these decay processes is overviewed. The theoretical
description of the most recently discovered and most complex radioactive
process - the two-proton radioactivity - is discussed in more detail.Comment: Review, 68 pages, 39 figure
9.4-14.1 T small-animal PET-MR imaging: Feasibility analysis of LYSO APD readout via long signal lines
In the present work we intend to assess the readout feasibility of Avalanche Photodiode (APD) detectors via long signal lines for the development of a combined small-animal PET-MR prototype based on the ClearPEM technology. The detection performance of a LYSO-APD module was evaluated reading out the APD charge signals to the front-end ASIC via an 80 mm length flexible flat-cable (FFC). Experimental results showed a time resolution of 5.06 ns for the detector module in double-readout mode, with a nonsignificant degradation of 8.4% with the introduction of the FFC. The energy resolution of the system was not degradated by the FFC. (C) 2012 Elsevier B.V. All rights reserved
- …