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

Belief heterogeneity and survival in incomplete markets

In complete markets economies (Sandroni [16]), or in economies with Pareto optimal outcomes (Blume and Easley [10]), the market selection hypothesis holds, as long as traders have identical discount factors. Traders who survive must have beliefs that merge with the truth. We show that in incomplete markets, regardless of traders’ discount factors, the market selects for a range of beliefs, at least some of which do not merge with the truth. We also show that impatient traders with incorrect beliefs can survive and that these incorrect beliefs impact prices. These beliefs may be chosen so that they are far from the truth

SOME ABSTRACT PROPERTIES OF SEMIGROUPS APPEARING IN SUPERCONFORMAL THEORIES

A new type of semigroups which appears while dealing with $N=1$ superconformal symmetry in superstring theories is considered. The ideal series having unusual abstract properties is constructed. Various idealisers are introduced and studied. The ideal quasicharacter is defined. Green's relations are found and their connection with the ideal quasicharacter is established.Comment: 11 page

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

Molecular and epidemiologic analysis of dengue virus isolates from Somalia.

Nucleotide sequence analysis was performed on 14 dengue virus isolates (13 dengue-2 viruses and 1 dengue-3 virus) recovered from febrile soldiers in Somalia in 1993. The dengue-2 viruses were most closely related to dengue-2 virus recovered in Somalia in 1984. However, differences in nucleotide sequence (0.35% to 1.35%) were evident among the 1993 isolates. These differences were closely associated with the geographic location of the infection as well as with different times of infection at the same location. Genetic difference between strains was not associated with differences in clinical features. Molecular analysis of dengue viruses is a useful adjunct to epidemiologic investigation of their distribution over distance and time

Automatically refining partial specifications for Program Verification

10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6664 LNCS369-38

Limitations of the isolated GP-STN network

An in vitro mouse slice preparation from control and MPTP-treated mice in which functional reciprocal GP-STN connectivity is maintained, does not produce oscillatory bursting or synchronous activity neuronal activity. Pharmacological interventions that produce bursting activity do so without concomitant neuronal synchrony, or a requirement for glutamate or GABA transmission. Pre-treatment with MPTP did not alter this behaviour. Thus, we have no evidence that the functionally connected, but isolated, GP — STN network can act as a pacemaker for synchronous correlated activity in the basal ganglia and must conclude that other inputs such as those from cortex and/or striatum are required