The effects of restraint on uptake of radioactive sulfate in the salivary and gastric secretions of rats with pyloric ligation

The effects of restraint on the amount of nondialysable radioactive sulfate in the gastric wall and the gastric juice and saliva were investigated. It was found that restraint provokes a significant decrease in salivary radioactive sulfate. This, in turn, is responsible for the decrease of sulfate in the gastric contents observed under these conditions in rats with pyloric ligation. Esophageal ligation associated with this prevents passage of saliva and lowers the amount of radioactive sulfate in the gastric juice. Restraint causes then an increase in the amount of sulfate in the gastric juice, the value observed being very much lower than that of rats with a free esophagus. At the level of the gastric wall, the change observed during restraint does not reach a significant threshold

A Non-Commutative Extension of MELL

We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We should then be able to extend the range of applications of MELL, by modelling a broad notion of sequentiality and providing new properties of proofs. We show some proof theoretical results: decomposition and cut elimination. The new operator represents a significant challenge: to get our results we use here for the first time some novel techniques, which constitute a uniform and modular approach to cut elimination, contrary to what is possible in the sequent calculus

Energy poverty, institutional reform and challenges of sustainable development: the case of India

This paper assesses recent efforts by the Indian Government to tackle energy poverty and sustainable development. It focuses on the new integrated energy policy, and initiatives to disseminate improved cookstoves and develop energy alternatives for transport. The success of government initiatives in cleaner biomass cookstoves and village electrification has historically been limited, and institutional reforms in the 2000s promoted market-led and ‘user-centred’ approaches, and encouraged biofuels as a ‘pro-poor’ route to rural development and energy security. The paper argues that such interventions have reopened tensions and conflicts around land-use, intra-community inequalities and the role of corporate agendas in sustainable energy

All-sky LIGO Search for Periodic Gravitational Waves in the Early S5 Data

We report on an all-sky search with the LIGO detectors for periodic gravitational waves in the frequency range 50--1100 Hz and with the frequency's time derivative in the range -5.0E-9 Hz/s to zero. Data from the first eight months of the fifth LIGO science run (S5) have been used in this search, which is based on a semi-coherent method (PowerFlux) of summing strain power. Observing no evidence of periodic gravitational radiation, we report 95% confidence-level upper limits on radiation emitted by any unknown isolated rotating neutron stars within the search range. Strain limits below 1.E-24 are obtained over a 200-Hz band, and the sensitivity improvement over previous searches increases the spatial volume sampled by an average factor of about 100 over the entire search band. For a neutron star with nominal equatorial ellipticity of 1.0E-6, the search is sensitive to distances as great as 500 pc--a range that could encompass many undiscovered neutron stars, albeit only a tiny fraction of which would likely be rotating fast enough to be accessible to LIGO. This ellipticity is at the upper range thought to be sustainable by conventional neutron stars and well below the maximum sustainable by a strange quark star.Comment: 6 pages, 1 figur

Search for gravitational waves from binary inspirals in S3 and S4 LIGO data

We report on a search for gravitational waves from the coalescence of compact binaries during the third and fourth LIGO science runs. The search focused on gravitational waves generated during the inspiral phase of the binary evolution. In our analysis, we considered three categories of compact binary systems, ordered by mass: (i) primordial black hole binaries with masses in the range 0.35 M(sun) < m1, m2 < 1.0 M(sun), (ii) binary neutron stars with masses in the range 1.0 M(sun) < m1, m2 < 3.0 M(sun), and (iii) binary black holes with masses in the range 3.0 M(sun)< m1, m2 < m_(max) with the additional constraint m1+ m2 < m_(max), where m_(max) was set to 40.0 M(sun) and 80.0 M(sun) in the third and fourth science runs, respectively. Although the detectors could probe to distances as far as tens of Mpc, no gravitational-wave signals were identified in the 1364 hours of data we analyzed. Assuming a binary population with a Gaussian distribution around 0.75-0.75 M(sun), 1.4-1.4 M(sun), and 5.0-5.0 M(sun), we derived 90%-confidence upper limit rates of 4.9 yr^(-1) L10^(-1) for primordial black hole binaries, 1.2 yr^(-1) L10^(-1) for binary neutron stars, and 0.5 yr^(-1) L10^(-1) for stellar mass binary black holes, where L10 is 10^(10) times the blue light luminosity of the Sun.Comment: 12 pages, 11 figure

All-sky search for periodic gravitational waves in LIGO S4 data

We report on an all-sky search with the LIGO detectors for periodic gravitational waves in the frequency range 50-1000 Hz and with the frequency's time derivative in the range -1.0E-8 Hz/s to zero. Data from the fourth LIGO science run (S4) have been used in this search. Three different semi-coherent methods of transforming and summing strain power from Short Fourier Transforms (SFTs) of the calibrated data have been used. The first, known as "StackSlide", averages normalized power from each SFT. A "weighted Hough" scheme is also developed and used, and which also allows for a multi-interferometer search. The third method, known as "PowerFlux", is a variant of the StackSlide method in which the power is weighted before summing. In both the weighted Hough and PowerFlux methods, the weights are chosen according to the noise and detector antenna-pattern to maximize the signal-to-noise ratio. The respective advantages and disadvantages of these methods are discussed. Observing no evidence of periodic gravitational radiation, we report upper limits; we interpret these as limits on this radiation from isolated rotating neutron stars. The best population-based upper limit with 95% confidence on the gravitational-wave strain amplitude, found for simulated sources distributed isotropically across the sky and with isotropically distributed spin-axes, is 4.28E-24 (near 140 Hz). Strict upper limits are also obtained for small patches on the sky for best-case and worst-case inclinations of the spin axes.Comment: 39 pages, 41 figures An error was found in the computation of the C parameter defined in equation 44 which led to its overestimate by 2^(1/4). The correct values for the multi-interferometer, H1 and L1 analyses are 9.2, 9.7, and 9.3, respectively. Figure 32 has been updated accordingly. None of the upper limits presented in the paper were affecte

Astrophysically Triggered Searches for Gravitational Waves: Status and Prospects

In gravitational-wave detection, special emphasis is put onto searches that focus on cosmic events detected by other types of astrophysical observatories. The astrophysical triggers, e.g. from gamma-ray and X-ray satellites, optical telescopes and neutrino observatories, provide a trigger time for analyzing gravitational wave data coincident with the event. In certain cases the expected frequency range, source energetics, directional and progenitor information is also available. Beyond allowing the recognition of gravitational waveforms with amplitudes closer to the noise floor of the detector, these triggered searches should also lead to rich science results even before the onset of Advanced LIGO. In this paper we provide a broad review of LIGO's astrophysically triggered searches and the sources they target