Optimizing the computation of overriding

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

Reggeon exchange from gauge/gravity duality

We perform the analysis of quark-antiquark Reggeon exchange in meson-meson scattering, in the framework of the gauge/gravity correspondence in a confining background. On the gauge theory side, Reggeon exchange is described as quark-antiquark exchange in the t channel between fast projectiles. The corresponding amplitude is represented in terms of Wilson loops running along the trajectories of the constituent quarks and antiquarks. The paths of the exchanged fermions are integrated over, while the "spectator" fermions are dealt with in an eikonal approximation. On the gravity side, we follow a previously proposed approach, and we evaluate the Wilson-loop expectation value by making use of gauge/gravity duality for a generic confining gauge theory. The amplitude is obtained in a saddle-point approximation through the determination near the confining horizon of a Euclidean "minimal surface with floating boundaries", i.e., by fixing the trajectories of the exchanged quark and antiquark by means of a minimisation procedure, which involves both area and length terms. After discussing, as a warm-up exercise, a simpler problem on a plane involving a soap film with floating boundaries, we solve the variational problem relevant to Reggeon exchange, in which the basic geometry is that of a helicoid. A compact expression for the Reggeon-exchange amplitude, including the effects of a small fermion mass, is then obtained through analytic continuation from Euclidean to Minkowski space-time. We find in particular a linear Regge trajectory, corresponding to a Regge-pole singularity supplemented by a logarithmic cut induced by the non-zero quark mass. The analytic continuation leads also to companion contributions, corresponding to the convolution of the same Reggeon-exchange amplitude with multiple elastic rescattering interactions between the colliding mesons.Comment: 60+1 pages, 14 figure

Search for gamma-ray emission from magnetars with the Fermi Large Area Telescope

We report on the search for 0.1-10 GeV emission from magnetars in 17 months of Fermi Large Area Telescope (LAT) observations. No significant evidence for gamma-ray emission from any of the currently-known magnetars is found. The most stringent upper limits to date on their persistent emission in the Fermi-LAT energy range are estimated between ~10^{-12}-10^{-10} erg/s/cm2, depending on the source. We also searched for gamma-ray pulsations and possible outbursts, also with no significant detection. The upper limits derived support the presence of a cut-off at an energy below a few MeV in the persistent emission of magnetars. They also show the likely need for a revision of current models of outer gap emission from strongly magnetized pulsars, which, in some realizations, predict detectable GeV emission from magnetars at flux levels exceeding the upper limits identified here using the Fermi-LAT observations.Comment: ApJ Letters in press; Corresponding authors: Caliandro G. A., Hadasch D., Rea N., Burnett

Detection of Gamma-Ray Emission from the Starburst Galaxies M82 and NGC 253 with the Large Area Telescope on Fermi

We report the detection of high-energy gamma-ray emission from two starburst galaxies using data obtained with the Large Area Telescope on board the Fermi Gamma-ray Space Telescope. Steady point-like emission above 200 MeV has been detected at significance levels of 6.8 sigma and 4.8 sigma respectively, from sources positionally coincident with locations of the starburst galaxies M82 and NGC 253. The total fluxes of the sources are consistent with gamma-ray emission originating from the interaction of cosmic rays with local interstellar gas and radiation fields and constitute evidence for a link between massive star formation and gamma-ray emission in star-forming galaxies.Comment: Submitted to ApJ Letter

Fermi Gamma-ray Imaging of a Radio Galaxy

The Fermi Gamma-ray Space Telescope has detected the gamma-ray glow emanating from the giant radio lobes of the radio galaxy Centaurus A. The resolved gamma-ray image shows the lobes clearly separated from the central active source. In contrast to all other active galaxies detected so far in high-energy gamma-rays, the lobe flux constitutes a considerable portion (>1/2) of the total source emission. The gamma-ray emission from the lobes is interpreted as inverse Compton scattered relic radiation from the cosmic microwave background (CMB), with additional contribution at higher energies from the infrared-to-optical extragalactic background light (EBL). These measurements provide gamma-ray constraints on the magnetic field and particle energy content in radio galaxy lobes, and a promising method to probe the cosmic relic photon fields.Comment: 27 pages, includes Supplementary Online Material; corresponding authors: C.C. Cheung, Y. Fukazawa, J. Knodlseder, L. Stawar

Fermi Large Area Telescope observations of PSR J1836+5925

The discovery of the gamma-ray pulsar PSR J1836+5925, powering the formerly unidentified EGRET source 3EG J1835+5918, was one of the early accomplishments of the Fermi Large Area Telescope (LAT). Sitting 25 degrees off the Galactic plane, PSR J1836+5925 is a 173 ms pulsar with a characteristic age of 1.8 million years, a spindown luminosity of 1.1$\times10^{34}$ erg s$^{-1}$, and a large off-peak emission component, making it quite unusual among the known gamma-ray pulsar population. We present an analysis of one year of LAT data, including an updated timing solution, detailed spectral results and a long-term light curve showing no indication of variability. No evidence for a surrounding pulsar wind nebula is seen and the spectral characteristics of the off-peak emission indicate it is likely magnetospheric. Analysis of recent XMM observations of the X-ray counterpart yields a detailed characterization of its spectrum, which, like Geminga, is consistent with that of a neutron star showing evidence for both magnetospheric and thermal emission.Comment: Accepted to Astrophysical Journa

The HIV Tat protein affects processing of ribosomal RNA precursor

<p>Abstract</p> <p>Background</p> <p>Inside the cell, the HIV Tat protein is mainly found in the nucleus and nucleolus. The nucleolus, the site of ribosome biogenesis, is a highly organized, non-membrane-bound sub-compartment where proteins with a high affinity for nucleolar components are found. While it is well known that Tat accumulates in the nucleolus via a specific nucleolar targeting sequence, its function in this compartment it still unknown.</p> <p>Results</p> <p>To clarify the significance of the Tat nucleolar localization, we induced the expression of the protein during oogenesis in <it>Drosophila melanogaster </it>strain transgenic for HIV-<it>tat </it>gene. Here we show that Tat localizes in the nucleoli of <it>Drosophila </it>oocyte nurse cells, where it specifically co-localizes with fibrillarin. Tat expression is accompanied by a significant decrease of cytoplasmic ribosomes, which is apparently related to an impairment of ribosomal rRNA precursor processing. Such an event is accounted for by the interaction of Tat with fibrillarin and U3 snoRNA, which are both required for pre-rRNA maturation.</p> <p>Conclusion</p> <p>Our data contribute to understanding the function of Tat in the nucleolus, where ribosomal RNA synthesis and cell cycle control take place. The impairment of nucleolar pre-rRNA maturation through the interaction of Tat with fibrillarin-U3snoRNA complex suggests a process by which the virus modulates host response, thus contributing to apoptosis and protein shut-off in HIV-uninfected cells.</p

A change in the optical polarization associated with a gamma-ray flare in the blazar 3C 279

It is widely accepted that strong and variable radiation detected over all accessible energy bands in a number of active galaxies arises from a relativistic, Doppler-boosted jet pointing close to our line of sight. The size of the emitting zone and the location of this region relative to the central supermassive black hole are, however, poorly known, with estimates ranging from light-hours to a light-year or more. Here we report the coincidence of a gamma-ray flare with a dramatic change of optical polarization angle. This provides evidence for co-spatiality of optical and gamma-ray emission regions and indicates a highly ordered jet magnetic field. The results also require a non-axisymmetric structure of the emission zone, implying a curved trajectory for the emitting material within the jet, with the dissipation region located at a considerable distance from the black hole, at about 10^5 gravitational radii.Comment: Published in Nature issued on 18 February 2010. Corresponding authors: Masaaki Hayashida and Greg Madejsk

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques