State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

Sobre las Obligationes de Robert Fland. Antiqua et nova responsio.

Sin resume

The challenges of rehabilitating denuded patches of a semi-arid environment in Kenya

Land degradation is a major problem in the semi-arid environments of Sub-Saharan Africa. Fighting land degradation is essential to ensure the sustainable and long-term productivity of the habited semiarid lands. In Kenya, grass reseeding technology has been used to combat land degradation. However, despite the use of locally adapted perennial grass species namely Cenchrus ciliaris (African foxtail grass), Eragrostis superba (Maasai love grass) and Enteropogon macrostachyus (Bush rye) failure still abound. Therefore, more land is still being degraded. The aim of this study was to determine the main factors which contribute to failures in rehabilitating denuded patches in semi-arid lands of Kenya. A questionnaire was administered to capture farmer perceptions on failures on rangeland rehabilitation using grass reseeding technology. Rainfall data was collected during the study period. Moreover, rehabilitation trials using the three grasses were done under natural rainfall. Results from this study show that climatic factors mainly low amounts of rainfall to be the main contributor to rehabilitation failures. 92% of the respondents asserted that reseeding fails because of low rainfall amounts received in the area. The study area received a total of 324 mm of rainfall which was low compared to the average annual mean of 600mm. Reseeded trial plots also failed to establish due to the low amounts of rainfall received. This showed how low rainfall is unreliable for reseeding. Other factors namely destruction by the grazing animals, pests and rodents, flush floods, poor sowing time, poor seed quality, lack of enough seed and weeds also contribute to rehabilitation failures in semi-arid lands of Keny

Adaptation à la sécheresse et création variétale : le cas de l'arachide en zone sahélienne, 1ère partie revue bibliographique

Drought is a multiform constraint expressing at different plant organisation levels. It is recognised as the first factor limiting the agriculture production in the world. The Sahel subtropical regions were the most exposed to the devasting effects of the recent climate change. A state of knowledge referring to the plant responses to drought is a fundamental initial step to any program of selection. This review concerns more particularly groundnut (Arachis hypogaea L.), which is a very common legume in the Sahel areas. Critical evaluations of traits as relevant selection criteria for a breeding program aiming at improving yield and yield stability under drought constraint were made. The genetic specificities of the species are exposed in the first part. Then a detailed description of the grain-legume traits related to drought adaptation is presented. The review was widened to other plants for the molecular responses to water deficit, supposed to be more general. Finally, the last part supplied an updated synthesis of the recent advances in biotechnology on groundnut with special focus on drought tolerance. (Résumé d'auteur

Spitzer/IRS Observations of Seyfert 1.8s and 1.9s: A Comparison with Seyfert 1s and Seyfert 2s

We present Spitzer Space Telescope mid-infrared spectra of 12 Seyfert 1.8 and 1.9 galaxies over the 5-38 um region. We compare the spectral characteristics of this sample to those of 58 Seyfert 1 and Seyfert 2 galaxies from the Spitzer archives. An analysis of the spectral shapes, the silicate 10 um feature and the emission line fluxes have enabled us to characterize the mid-IR properties of Seyfert 1.8/1.9s. We find that the equivalent widths of the 10 um silicate feature are generally weak in all Seyfert galaxies, as previously reported by several studies. The few Seyfert galaxies in this sample that show deep 10 um silicate absorption features are highly inclined and/or merging galaxies. It is likely that these absorption features originate primarily in the dusty interstellar medium of the host galaxy rather than in a dusty torus on parsec scales close to the central engine. We find that the equivalent width of the polycyclic aromatic hydrocarbon (PAH) band at 6.2 um correlates strongly with the 20-30 um spectral index. Either of these quantities are good indicators of the amount of starburst contribution to the mid-IR spectra. The spectra of Seyfert 1.8 and 1.9s are dominated by these starburst features, similar to most Seyfert 2s. They show strong PAH bands and a strong red continuum toward 30 um. The strengths of the high-ionization forbidden narrow emission lines [O IV] 25.89 um, [Ne III] 15.56 um and [Ne V] 14.32 um relative to [Ne II] 12.81 um are weaker in Seyfert 1.8/1.9s and Seyfert 2s as compared to Seyfert 1s. The weakness of high-ionization lines in Seyfert 1.8-1.9s is suggestive of intrinsically weak active galactic nuclei (AGN) continua, and/or stronger star formation activity leading to enhanced [Ne II]. We discuss the implications of these observational results in the context of the Unified Model of AGN.Comment: 36 pages, 4 tables, 6 figures, Accepted for publication in The Astrophysical Journal, December 200

The distribution of silicate strength in Spitzer spectra of AGNs and ULIRGs

A sample of 196 AGNs and ULIRGs observed by the Infrared Spectrograph (IRS) on Spitzer is analyzed to study the distribution of the strength of the 9.7 micron silicate feature. Average spectra are derived for quasars, Seyfert 1 and Seyfert 2 AGNs, and ULIRGs. We find that quasars are characterized by silicate features in emission and Seyfert 1s equally by emission or weak absorption. Seyfert 2s are dominated by weak silicate absorption, and ULIRGs are characterized by strong silicate absorption (mean apparent optical depth about 1.5). Luminosity distributions show that luminosities at rest frame 5.5 micron are similar for the most luminous quasars and ULIRGs and are almost 10^5 times more luminous than the least luminous AGN in the sample. The distributions of spectral characteristics and luminosities are compared to those of optically faint infrared sources at z~2 being discovered by the IRS, which are also characterized by strong silicate absorption. It is found that local ULIRGs are a similar population, although they have lower luminosities and somewhat stronger absorption compared to the high redshift sources.Comment: Accepted for publication on ApJ

NuSTAR + XMM-Newton monitoring of the neutron star transient AX J1745.6-2901

AX J1745.6-2901 is a high-inclination (eclipsing) transient neutron star (NS) Low Mass X-ray Binary (LMXB) showcasing intense ionised Fe K absorption. We present here the analysis of 11 XMM-Newton and 15 NuSTAR new data-sets (obtained between 2013-2016), therefore tripling the number of observations of AX J1745.6-2901 in outburst. Thanks to simultaneous XMM-Newton and NuSTAR spectra, we greatly improve on the fitting of the X-ray continuum. During the soft state the emission can be described by a disk black body ($kT\sim1.1-1.2$ keV and inner disc radius $r_{DBB}\sim14$ km), plus hot ($kT\sim2.2-3.0$ keV) black body radiation with a small emitting radius ($r_{BB}\sim0.5-0.8$ km) likely associated with the boundary layer or NS surface, plus a faint Comptonisation component. Imprinted on the spectra are clear absorption features created by both neutral and ionised matter. Additionally, positive residuals suggestive of an emission Fe K$\alpha$ disc line and consistent with relativistic ionised reflection are present during the soft state, while such residuals are not significant during the hard state. The hard state spectra are characterised by a hard ($\Gamma\sim1.9-2.1$) power law, showing no evidence for a high energy cut off ($kT_e>60-140$ keV) and implying a small optical depth ($\tau<1.6$). The new observations confirm the previously witnessed trend of exhibiting strong Fe K absorption in the soft state, that significantly weakens during the hard state. Optical (GROND) and radio (GMRT) observations suggest for AX J1745.6-2901 a standard broad band SED as typically observed in accreting neutron stars.Comment: Accepted for publication in MNRA

STIS Echelle Observations of the Seyfert Galaxy NGC 4151: Physical Conditions in the Ultraviolet Absorbers

We have examined the physical conditions in intrinsic UV-absorbing gas in the Seyfert galaxy NGC 4151, using echelle spectra obtained with the Space Telescope Imaging Spectrograph (STIS). We confirm the presence of the kinematic components detected in earlier GHRS observations as well as a new broad absorption feature at a radial velocity of -1680 km/s. The UV continuum of NGC 4151 decreased by a factor of 4 over the previous two years, and we argue the changes in the column density of the low ionization absorption lines associated with the broad component at -490 km/s reflect the decrease in the ionizing flux. Most of the strong absorption lines (e.g., N V, C IV, Si IV) from this component are saturated, but show substantial residual flux in their cores, indicating that the absorber does not fully cover the source of emission. Our interpretation is that the unocculted light is due to scattering by free electrons from an extended region, which reflects continuum, emission lines, and absorption lines. We have been able to constrain the densities for the kinematic components based on absorption lines from metastable states of C III and Fe II, and/or the ratios of ground and fine structure lines of O I,C II, and Si II. We have generated a set of photoionization models which match the ionic column densities for each component during the present low flux state and those seen in previous high flux states with the GHRS and STIS, confirming that the absorbers are photoionized and respond to the changes in the continuum flux. We have been able to map the relative radial positions of the absorbers, and find that the gas decreases in density with distance. None of the UV absorbers is of sufficiently large column density or high enough ionization state to account for the X-ray absorption.Comment: 46 pages (Latex), 14 figures (postscript), plus a landscape table (Latex), to appear in the Astrophysical Journa