Dark Matter Searches with Astroparticle Data

The existence of dark matter (DM) was first noticed by Zwicky in the 1930s, but its nature remains one of the great unsolved problems of physics. A variety of observations indicate that it is non-baryonic and non-relativistic. One of the preferred candidates for non-baryonic DM is a weakly interacting massive particle (WIMP) that in most models is stable. WIMP self-annihilation can produce cosmic rays, gamma rays, and other particles with signatures that may be detectable. Hints of anomalous cosmic-ray spectra found by recent experiments, such as PAMELA, have motivated interesting interpretations in terms of DM annihilation and/or decay. However, these signatures also have standard astrophysical interpretations, so additional evidence is needed in order to make a case for detection of DM annihilation or decay. Searches by the Fermi Large Area Telescope for gamma-ray signals from clumps, nearby dwarf spheroidal galaxies, and galaxy clusters have also been performed, along with measurements of the diffuse Galactic and extragalactic gamma-ray emission. In addition, imaging atmospheric Cherenkov telescopes like HESS, MAGIC, and VERITAS have reported on searches for gamma-ray emission from dwarf galaxies. In this review, we examine the status of searches for particle DM by these instruments and discuss the interpretations and resulting DM limits.Comment: Solicited review article to appear in Annual Reviews of Astronomy and Astrophysics. 52 pages, 10 figures (higher resolution figures will appear in the journal article

Communicating the Value of Ergonomics to Management – Part 2: Ergonomics ROI Case Study Applications

More than ever, human factors engineers and ergonomists need to justify our practice’s value to management. How can we effectively communicate with management? How should we present a Return on Investment (ROI) that leadership will find useful that addresses company profits, cost savings, productivity, first time quality, and turnover? What else does management care about other than ROI? This second panel in a two panel series will specifically highlight case studies in which presenters give examples of situations in which ROI for ergonomics was investigated from a business value. The session will start with four case study lectures followed by a panel discussion led by the moderators. The audience will be encouraged to participate with their own questions and comments

ACEE composite structures technology

Toppics addressed include: advanced composites on Boeing commercial aircraft; composite wing durability; damage tolerance technology development; heavily loaded wing panel design; and pressure containment and damage tolerance in fuselages

Simple and inexpensive perturbative correction schemes for antisymmetric products of nonorthogonal geminals

A new multireference perturbation approach has been developed for the recently proposed AP1roG scheme, a computationally facile parametrization of an antisymmetric product of nonorthogonal geminals. This perturbation theory of second-order closely follows the biorthogonal treatment from multiconfiguration perturbation theory as introduced by Surjan et al., but makes use of the additional feature of AP1roG that the expansion coefficients within the space of closed-shell determinants are essentially correct already, which further increases the predictive power of the method. Building upon the ability of AP1roG to model static correlation, the perturbation correction accounts for dynamical electron correlation, leading to absolute energies close to full configuration interaction results. Potential surfaces for multiple bond dissociation in H2O and N-2 are predicted with high accuracy up to bond breaking. The computational cost of the method is the same as that of conventional single-reference MP2

A Mathematical Model of Dialog

AbstractComputer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these

Categorical consequence for paraconsistent logic

Includes bibliographical references (pages 149-150).Consequence relations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion categorical consequence relations