11,496 research outputs found
Measurement of the angle alpha at BABAR
We present recent measurements of the CKM angle alpha using data collected by
the BABAR detector at the PEP-II asymmetric-energy e^+e^- collider at the SLAC
National Accelerator Laboratory, operating at the Upsilon(4S) resonance. We
present constraints on alpha from B->pipi, B->rhorho and B->rhopi decays.Comment: 5 pages, 1 figure, contributed to the Proceedings of Lake Louise
Winter Institute 2009: Fundamental Interactions, Lake Louise, Alberta, Canada
16-21 Feb 200
Non-singular circulant graphs and digraphs
We give necessary and sufficient conditions for a few classes of known
circulant graphs and/or digraphs to be singular. The above graph classes are
generalized to -digraphs for non-negative integers and , and
the digraph , with certain restrictions. We also obtain a
necessary and sufficient condition for the digraphs to be
singular. Some necessary conditions are given under which the
-digraphs are singular.Comment: 12 page
Correlation between solar neutrino flux and other solar phenomena
A study was made of the solar neutrino data with a tank of CC14 located 4800 mwe underground for the period 1970 to 83. These observations are on the production rates of Ar37 atoms via the reaction upsilon sub e + Cl37 yields Ar37 plus e(-) in the tank caused presumably by a flux of neutrinos from the Sun. The idea of possible time variations in the data shown is discussed and an attempt is made to correlate the variations to two other phenomena of solar origin-the sunspot number and the geomagnetic Ap index
Faster Algorithms for Weighted Recursive State Machines
Pushdown systems (PDSs) and recursive state machines (RSMs), which are
linearly equivalent, are standard models for interprocedural analysis. Yet RSMs
are more convenient as they (a) explicitly model function calls and returns,
and (b) specify many natural parameters for algorithmic analysis, e.g., the
number of entries and exits. We consider a general framework where RSM
transitions are labeled from a semiring and path properties are algebraic with
semiring operations, which can model, e.g., interprocedural reachability and
dataflow analysis problems.
Our main contributions are new algorithms for several fundamental problems.
As compared to a direct translation of RSMs to PDSs and the best-known existing
bounds of PDSs, our analysis algorithm improves the complexity for
finite-height semirings (that subsumes reachability and standard dataflow
properties). We further consider the problem of extracting distance values from
the representation structures computed by our algorithm, and give efficient
algorithms that distinguish the complexity of a one-time preprocessing from the
complexity of each individual query. Another advantage of our algorithm is that
our improvements carry over to the concurrent setting, where we improve the
best-known complexity for the context-bounded analysis of concurrent RSMs.
Finally, we provide a prototype implementation that gives a significant
speed-up on several benchmarks from the SLAM/SDV project
GMRT observations of X-shaped radio sources
We present results from a study of X-shaped sources based on observations
using the Giant Metrewave Radio Telescope (GMRT). These observations were
motivated by our low frequency study of 3C 223.1 (Lal & Rao 2005), an X-shaped
radio source, which showed that the wings (or low-surface-brightness jets) have
flatter spectral indices than the active lobes (or high-surface-brightness
jets), a result not easily explained by most models. We have now obtained GMRT
data at 240 and 610 MHz for almost all the known X-shaped radio sources and
have studied the distribution of the spectral index across the sources. While
the radio morphologies of all the sources at 240 and 610 MHz show the
characteristic X-shape, the spectral characteristics of the X-shaped radio
sources, seem to fall into three categories, namely, sources in which (A) the
wings have flatter spectral indices than the active lobes, (B) the wings and
the active lobes have comparable spectral indices, and (C) the wings have
steeper spectral indices than the active lobes. We discuss the implications of
the new observational results on the various formation models that have been
proposed for X-shaped sources.Comment: The paper contains 12 figures and 3 tables, accepted for publication
in MNRAS Main Journal, please note, some figures are of lower qualit
- …