1,955 research outputs found
Safe Concurrency Introduction through Slicing
Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible
Simplifying Contract-Violating Traces
Contract conformance is hard to determine statically, prior to the deployment
of large pieces of software. A scalable alternative is to monitor for contract
violations post-deployment: once a violation is detected, the trace
characterising the offending execution is analysed to pinpoint the source of
the offence. A major drawback with this technique is that, often, contract
violations take time to surface, resulting in long traces that are hard to
analyse. This paper proposes a methodology together with an accompanying tool
for simplifying traces and assisting contract-violation debugging.Comment: In Proceedings FLACOS 2012, arXiv:1209.169
A Statistical Analysis of Supersymmetric Dark Matter in the MSSM after WMAP
We study supersymmetric dark matter in the general flavor diagonal MSSM by
means of an extensive random scan of its parameter space. We find that, in
contrast with the standard mSUGRA lore, the large majority of viable models
features either a higgsino or a wino-like lightest neutralino, and yields a
relic abundance well below the WMAP bound. Among the models with neutralino
relic density within the WMAP range, higgsino-like neutralinos are still
dominant, though a sizeable fraction of binos is also present. In this latter
case, relic density suppression mechanisms are shown to be essential in order
to obtain the correct neutralino abundance. We then carry out a statistical
analysis and a general discussion of neutralino dark matter direct detection
and of indirect neutralino detection at neutrino telescopes and at antimatter
search experiments. We point out that current data exclude only a marginal
portion of the viable parameter space, and that models whose thermal relic
abundance lies in the WMAP range will be significantly probed only at future
direct detection experiments. Finally, we emphasize the importance of relic
density enhancement mechanisms for indirect detection perspectives, in
particular at future antimatter search experiments.Comment: 39 pages, 25 figure
Evidence for long-term Gamma-ray and X-ray variability from the unidentified TeV source HESS J0632+057
HESS J0632+057 is one of only two unidentified very-high-energy gamma-ray
sources which appear to be point-like within experimental resolution. It is
possibly associated with the massive Be star MWC 148 and has been suggested to
resemble known TeV binary systems like LS I +61 303 or LS 5039. HESS J0632+057
was observed by VERITAS for 31 hours in 2006, 2008 and 2009. During these
observations, no significant signal in gamma rays with energies above 1 TeV was
detected from the direction of HESS J0632+057. A flux upper limit corresponding
to 1.1% of the flux of the Crab Nebula has been derived from the VERITAS data.
The non-detection by VERITAS excludes with a probability of 99.993% that HESS
J0632+057 is a steady gamma-ray emitter. Contemporaneous X-ray observations
with Swift XRT reveal a factor of 1.8+-0.4 higher flux in the 1-10 keV range
than earlier X-ray observations of HESS J0632+057. The variability in the
gamma-ray and X-ray fluxes supports interpretation of the ob ject as a
gamma-ray emitting binary.Comment: 8 pages, 3 figures, Accepted for publication in The Astrophysical
Journa
The Role of Antimatter Searches in the Hunt for Supersymmetric Dark Matter
We analyze the antimatter yield of supersymmetric (SUSY) models with large
neutralino annihilation cross sections. We introduce three benchmark scenarios,
respectively featuring bino, wino and higgsino-like lightest neutralinos, and
we study in detail the resulting antimatter spectral features. We carry out a
systematic and transparent comparison between current and future prospects for
direct detection, neutrino telescopes and antimatter searches. We demonstrate
that often, in the models we consider, antimatter searches are the only
detection channel which already constrains the SUSY parameter space.
Particularly large antiprotons fluxes are expected for wino-like lightest
neutralinos, while significant antideuteron fluxes result from resonantly
annihilating binos. We introduce a simple and general recipe which allows to
assess the visibility of a given SUSY model at future antimatter search
facilities. We provide evidence that upcoming space-based experiments, like
PAMELA or AMS, are going to be, in many cases, the unique open road towards
dark matter discovery.Comment: 34 pages, 18 figures; V2: misprints in the labels of fig. 2,3 and 5
correcte
Nudging Cooperation in a Crowd Experiment
We examine the hypothesis that driven by a competition heuristic, people don't even reflect or consider whether a cooperation strategy may be better. As a paradigmatic example of this behavior we propose the zero-sum game fallacy, according to which people believe that resources are fixed even when they are not. We demonstrate that people only cooperate if the competitive heuristic is explicitly overridden in an experiment in which participants play two rounds of a game in which competition is suboptimal. The observed spontaneous behavior for most players was to compete. Then participants were explicitly reminded that the competing strategy may not be optimal. This minor intervention boosted cooperation, implying that competition does not result from lack of trust or willingness to cooperate but instead from the inability to inhibit the competition bias. This activity was performed in a controlled laboratory setting and also as a crowd experiment. Understanding the psychological underpinnings of these behaviors may help us improve cooperation and thus may have vast practical consequences to our society.Fil: Niella, Tamara. Universidad Torcuato di Tella; ArgentinaFil: Stier, Nicolas. Universidad Torcuato di Tella; Argentina. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas; ArgentinaFil: Sigman, Mariano. Universidad Torcuato di Tella; Argentina. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas; Argentin
VERITAS Observations of the gamma-Ray Binary LS I +61 303
LS I +61 303 is one of only a few high-mass X-ray binaries currently detected
at high significance in very high energy gamma-rays. The system was observed
over several orbital cycles (between September 2006 and February 2007) with the
VERITAS array of imaging air-Cherenkov telescopes. A signal of gamma-rays with
energies above 300 GeV is found with a statistical significance of 8.4 standard
deviations. The detected flux is measured to be strongly variable; the maximum
flux is found during most orbital cycles at apastron. The energy spectrum for
the period of maximum emission can be characterized by a power law with a
photon index of Gamma=2.40+-0.16_stat+-0.2_sys and a flux above 300 GeV
corresponding to 15-20% of the flux from the Crab Nebula.Comment: accepted for publication in The Astrophysical Journa
VERITAS Observations of the BL Lac Object 1ES 1218+304
The VERITAS collaboration reports the detection of very-high-energy (VHE)
gamma-ray emission from the high-frequency-peaked BL Lac object 1ES 1218+304
located at a redshift of z=0.182. A gamma-ray signal was detected with high
statistical significance for the observations taken during several months in
the 2006-2007 observing season. The photon spectrum between ~160 GeV and ~1.8
TeV is well described by a power law with an index of Gamma = 3.08 +/-
0.34(stat) +/- 0.2(sys). The integral flux above 200 GeV corresponds to ~6% of
that of the Crab Nebula. The light curve does not show any evidence for VHE
flux variability. Using lower limits on the density of the extragalactic
background light (EBL) in the near-IR to mid-IR we are able to limit the range
of intrinsic energy spectra for 1ES 1218+304. We show that the intrinsic photon
spectrum is harder than a power law with an index of Gamma = 2.32 +/- 0.37.
When including constraints from the spectra of 1ES 1101-232 and 1ES 0229+200,
the spectrum of 1ES 1218+304 is likely to be harder than Gamma = 1.86 +/- 0.37.Comment: Submitted to Proceedings of "4th Heidelberg International Symposium
on High Energy Gamma-Ray Astronomy 2008
- …