Anisotropy probe of galactic and extra-galactic Dark Matter annihilations

We study the flux and the angular power spectrum of gamma-rays produced by Dark Matter (DM) annihilations in the Milky Way (MW) and in extra-galactic halos. The annihilation signal receives contributions from: a) the smooth MW halo, b) resolved and unresolved substructures in the MW, c) external DM halos at all redshifts, including d) their substructures. Adopting a self-consistent description of local and extra-galactic substructures, we show that the annihilation flux from substructures in the MW dominates over all the other components for angles larger than O(1) degrees from the Galactic Center, unless an extreme prescription is adopted for the substructures concentration. We also compute the angular power spectrum of gamma-ray anisotropies and find that, for an optimistic choice of the particle physics parameters, an interesting signature of DM annihilations could soon be discovered by the Fermi LAT satellite at low multipoles, l<100, where the dominant contribution comes from MW substructures with mass M>10^4 solar masses. For the substructures models we have adopted, we find that the contribution of extra-galactic annihilations is instead negligible at all scales.Comment: 14 pages, 7 figure

Garbage collection auto-tuning for Java MapReduce on Multi-Cores

MapReduce has been widely accepted as a simple programming pattern that can form the basis for efficient, large-scale, distributed data processing. The success of the MapReduce pattern has led to a variety of implementations for different computational scenarios. In this paper we present MRJ, a MapReduce Java framework for multi-core architectures. We evaluate its scalability on a four-core, hyperthreaded Intel Core i7 processor, using a set of standard MapReduce benchmarks. We investigate the significant impact that Java runtime garbage collection has on the performance and scalability of MRJ. We propose the use of memory management auto-tuning techniques based on machine learning. With our auto-tuning approach, we are able to achieve MRJ performance within 10% of optimal on 75% of our benchmark tests

First narrow-band search for continuous gravitational waves from known pulsars in advanced detector data

Spinning neutron stars asymmetric with respect to their rotation axis are potential sources of continuous gravitational waves for ground-based interferometric detectors. In the case of known pulsars a fully coherent search, based on matched filtering, which uses the position and rotational parameters obtained from electromagnetic observations, can be carried out. Matched filtering maximizes the signalto- noise (SNR) ratio, but a large sensitivity loss is expected in case of even a very small mismatch between the assumed and the true signal parameters. For this reason, narrow-band analysis methods have been developed, allowing a fully coherent search for gravitational waves from known pulsars over a fraction of a hertz and several spin-down values. In this paper we describe a narrow-band search of 11 pulsars using data from Advanced LIGO’s first observing run. Although we have found several initial outliers, further studies show no significant evidence for the presence of a gravitational wave signal. Finally, we have placed upper limits on the signal strain amplitude lower than the spin-down limit for 5 of the 11 targets over the bands searched; in the case of J1813-1749 the spin-down limit has been beaten for the first time. For an additional 3 targets, the median upper limit across the search bands is below the spin-down limit. This is the most sensitive narrow-band search for continuous gravitational waves carried out so far

Dark Energy and Projective Symmetry

Nurowski [arXiv:1003.1503] has recently suggested a link between the observation of Dark Energy in cosmology and the projective equivalence of certain Friedman-Lemaitre-Robertson-Walker (FLRW) metrics. Specifically, he points out that two FLRW metrics with the same unparameterized geodesics have their energy densities differing by a constant. From this he queries whether the existence of dark energy is meaningful. We point out that physical observables in cosmology are not projectively invariant and we relate the projective symmetry uncovered by Nurowski to some previous work on projective equivalence in cosmology

Anchoring of proteins to lactic acid bacteria

The anchoring of proteins to the cell surface of lactic acid bacteria (LAB) using genetic techniques is an exciting and emerging research area that holds great promise for a wide variety of biotechnological applications. This paper reviews five different types of anchoring domains that have been explored for their efficiency in attaching hybrid proteins to the cell membrane or cell wall of LAB. The most exploited anchoring regions are those with the LPXTG box that bind the proteins in a covalent way to the cell wall. In recent years, two new modes of cell wall protein anchoring have been studied and these may provide new approaches in surface display. The important progress that is being made with cell surface display of chimaeric proteins in the areas of vaccine development and enzyme- or whole-cell immobilisation is highlighted.

Antimicrobials: a global alliance for optimizing their rational use in intra-abdominal infections (AGORA)

Intra-abdominal infections (IAI) are an important cause of morbidity and are frequently associated with poor prognosis, particularly in high-risk patients. The cornerstones in the management of complicated IAIs are timely effective source control with appropriate antimicrobial therapy. Empiric antimicrobial therapy is important in the management of intra-abdominal infections and must be broad enough to cover all likely organisms because inappropriate initial antimicrobial therapy is associated with poor patient outcomes and the development of bacterial resistance. The overuse of antimicrobials is widely accepted as a major driver of some emerging infections (such as C. difficile), the selection of resistant pathogens in individual patients, and for the continued development of antimicrobial resistance globally. The growing emergence of multi-drug resistant organisms and the limited development of new agents available to counteract them have caused an impending crisis with alarming implications, especially with regards to Gram-negative bacteria. An international task force from 79 different countries has joined this project by sharing a document on the rational use of antimicrobials for patients with IAIs. The project has been termed AGORA (Antimicrobials: A Global Alliance for Optimizing their Rational Use in Intra-Abdominal Infections). The authors hope that AGORA, involving many of the world's leading experts, can actively raise awareness in health workers and can improve prescribing behavior in treating IAIs

A Proof of the S-m-n theorem in Coq

This report describes the implementation of a mechanisation of the theory of computation in the Coq proof assistant which leads to a proof of the Smn theorem. This mechanisation is based on a model of computation similar to the partial recursive function model and includes the definition of a computable function, proofs of the computability of a number of functions and the definition of an effective coding from the set of partial recursive functions to natural numbers. This work forms part of a comparative study of the HOL and Coq proof assistants

Neutron star properties with relativistic equations of state

We study the properties of neutron stars adopting relativistic equations of state of neutron star matter, calculated in the framework of the relativistic Brueckner-Hartree-Fock approximation for electrically charge neutral neutron star matter in beta-equilibrium. For higher densities more baryons (hyperons etc.) are included by means of the relativistic Hartree- or Hartree-Fock approximation. The special features of the different approximations and compositions are discussed in detail. Besides standard neutron star properties special emphasis is put on the limiting periods of neutron stars, for which the Kepler criterion and gravitation-reaction instabilities are considered. Furthermore the cooling behaviour of neutron stars is investigated, too. For comparison we give also the outcome for some nonrelativistic equations of state.Comment: 43 pages, 22 ps-figures, to be published in the International Journal of Modern Physics