Exact rings and semirings

We introduce and study an abstract class of semirings, which we call exact semirings, defined by a Hahn-Banach-type separation property on modules. Our motivation comes from the tropical semiring, and in particular a desire to understand the often surprising extent to which it behaves like a field. The definition of exactness abstracts an elementary property of fields and the tropical semiring, which we believe is fundamental to explaining this similarity. The class of exact semirings turns out to include many other important examples of both rings (proper quotients of principal ideal domains, matrix rings and finite group rings over these and over fields), and semirings (the Boolean semiring, generalisations of the tropical semiring, matrix semirings and group semirings over these).Comment: 17 pages; fixed typos, clarified a few points, changed notation in Example 6.

Efficient execution in an automated reasoning environment

We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the features supporting this method allow the user to install, in a logically sound way, alternative executable counterparts for logically defined functions. These alternatives are often much more efficient than the logically equivalent terms they replace. These features have been implemented in the ACL2 theorem prover, and we discuss several applications of the features in ACL2.Ministerio de Educación y Ciencia TIN2004–0388

Carbon Sequestration: Position of the Soil Science Society of America

Increased long term (20-50 year) sequestration of carbon in soils, plants and plant products will benefit the environment and agriculture. Crop, grazing, and forestlands can be managed for both economic productivity and carbon sequestration. In many settings this dual management approach can be achieved by applying currently recognized best management practices such as conservation tillage, efficient nutrient management, erosion control, use of cover crops and restoration of degraded soils. In addition, conversion of marginal arable land to forest or grassland can rapidly increase soil carbon sequestration. Research is needed that better quantifies carbon sequestration obtained by these practices; this research should culminate in a scientifically defensible soil carbon sequestration accounting system that also would be suitable to the business sector, should soil carbon become a marketable commodity. Implementation of these practices will integrate a wide range of disciplines in the basic, agricultural, silvicultural, and environmental sciences as well as in the social, economic and political sciences. SSSA advocates a global increase in soil organic matter as a timely benefit to global well being by reducing the rate of increase in atmospheric CO2 and increasing the productivity of soil, particularly in many areas with degraded soils

Plasmodium falciparum: linkage disequilibrium between loci in chromosomes 7 and 5 and chloroquine selective pressure in Northern Nigeria.

In view of the recent discovery (Molecular Cell 6, 861-871) of a (Lys76Thr) codon change in gene pfcrt on chromosome 7 which determines in vitro chloroquine resistance in Plasmodium falciparum, we have re-examined samples taken before treatment in our study in Zaria, Northern Nigeria (Parasitology, 119, 343-348). Drug resistance was present in 5/5 cases where the pfcrt 76Thr codon change was seen (100% positive predictive value). Drug sensitivity was found in 26/28 cases where the change was absent (93% negative predictive value). Allele pfcrt 76Thr showed strong linkage disequilibrium with pfmdr1 Tyr86 on chromosome 5, more complete than that between pfcrt and cg2 alleles situated between recombination cross-over points on chromosome 7. Physical linkage of cg2 with pfcrt may account for linkage disequilibrium between their alleles but in the case of genes pfmdr1 and pfcrt, on different chromosomes, it is likely that this is maintained epistatically through the selective pressure of chloroquine

The emergence of insecticide resistance in central Mozambique and potential threat to the successful indoor residual spraying malaria control programme.

BACKGROUND: Malaria vector control by indoor residual spraying was reinitiated in 2006 with DDT in Zambézia province, Mozambique. In 2007, these efforts were strengthened by the President's Malaria Initiative. This manuscript reports on the monitoring and evaluation of this programme as carried out by the Malaria Decision Support Project. METHODS: Mosquitoes were captured daily through a series of 114 window exit traps located at 19 sentinel sites, identified to species and analysed for sporozoites. Anopheles mosquitoes were collected resting indoors and tested for insecticide resistance following the standard WHO protocol. Annual cross sectional household parasite surveys were carried out to monitor the impact of the control programme on prevalence of Plasmodium falciparum in children aged 1 to 15 years. RESULTS: A total of 3,769 and 2,853 Anopheles gambiae s.l. and Anopheles funestus, respectively, were captured from window exit traps throughout the period. In 2010 resistance to the pyrethroids lambda-cyhalothrin and permethrin and the carbamate, bendiocarb was detected in An. funestus. In 2006, the sporozoite rate in An. gambiae s.s. was 4% and this reduced to 1% over 4 rounds of spraying. The sporozoite rate for An. funestus was also reduced from 2% to 0 by 2008. Of the 437 Anopheles arabiensis identified, none were infectious. Overall prevalence of P. falciparum in the sentinel sites fell from 60% to 32% between October 2006 and October 2008. CONCLUSION: Both An. gambiae s.s. and An. funestus were controlled effectively with the DDT-based IRS programme in Zambézia, reducing disease transmission and burden. However, the discovery of pyrethroid resistance in the province and Mozambique's policy change away from DDT to pyrethroids for IRS threatens the gains made here

A cis-regulatory sequence driving metabolic insecticide resistance in mosquitoes: Functional characterisation and signatures of selection

Although cytochrome P450 (CYP450) enzymes are frequently up-regulated in mosquitoes resistant to insecticides, no regulatory motifs driving these expression differences with relevance to wild populations have been identified. Transposable elements (TEs) are often enriched upstream of those CYP450s involved in insecticide resistance, leading to the assumption that they contribute regulatory motifs that directly underlie the resistance phenotype. A partial CuRE1 (Culex Repetitive Element 1) transposable element is found directly upstream of CYP9M10, a cytochrome P450 implicated previously in larval resistance to permethrin in the ISOP450 strain of Cx. quinquefasciatus, but is absent from the equivalent genomic region of a susceptible strain. Via expression of CYP9M10 in E.coli we have now demonstrated time- and NADPH-dependant permethrin metabolism, prerequisites for confirmation of a role in metabolic resistance, and through qPCR shown that CYP9M10 is >20-fold over-expressed in ISOP450 compared to a susceptible strain. In a fluorescent reporter assay the region upstream of CYP9M10 from ISOP450 drove 10x expression compared to the equivalent region (lacking CuRE1) from the susceptible strain. Close correspondence with the gene expression fold-change implicates the upstream region including CuRE1 as a cis-regulatory element involved in resistance. Only a single CuRE1 bearing allele, identical to the CuRE1 bearing allele in the resistant strain, is found throughout Sub-Saharan Africa, in contrast to the diversity encountered in non-CuRE1 alleles. This suggests a single origin and subsequent spread due to selective advantage. CuRE1 is detectable using a simple diagnostic. When applied to Cx. quinquefasciatus larvae from Ghana we have demonstrated a significant association with permethrin resistance in multiple field sites (mean Odds Ratio = 3.86) suggesting this marker has relevance to natural populations of vector mosquitoes. However, when CuRE1 was excised from the allele used in the reporter assay through fusion PCR, expression was unaffected, indicating that the TE has no direct role in resistance and hence that CuRE1 is acting only as a marker of an as yet unidentified regulatory motif in the association analysis. This suggests that a re-evaluation of the assumption that TEs contribute regulatory motifs involved in gene expression may be necessary

Effects of antiplatelet therapy on stroke risk by brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases: subgroup analyses of the RESTART randomised, open-label trial

Background Findings from the RESTART trial suggest that starting antiplatelet therapy might reduce the risk of recurrent symptomatic intracerebral haemorrhage compared with avoiding antiplatelet therapy. Brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases (such as cerebral microbleeds) are associated with greater risks of recurrent intracerebral haemorrhage. We did subgroup analyses of the RESTART trial to explore whether these brain imaging features modify the effects of antiplatelet therapy

High, clustered, nucleotide diversity in the genome of Anopheles gambiae revealed through pooled-template sequencing: implications for high-throughput genotyping protocols

<p>Abstract</p> <p>Background</p> <p>Association mapping approaches are dependent upon discovery and validation of single nucleotide polymorphisms (SNPs). To further association studies in <it>Anopheles gambiae </it>we conducted a major resequencing programme, primarily targeting regions within or close to candidate genes for insecticide resistance.</p> <p>Results</p> <p>Using two pools of mosquito template DNA we sequenced over 300 kbp across 660 distinct amplicons of the <it>An. gambiae </it>genome. Comparison of SNPs identified from pooled templates with those from individual sequences revealed a very low false positive rate. False negative rates were much higher and mostly resulted from SNPs with a low minor allele frequency. Pooled-template sequencing also provided good estimates of SNP allele frequencies. Allele frequency estimation success, along with false positive and negative call rates, improved significantly when using a qualitative measure of SNP call quality. We identified a total of 7062 polymorphic features comprising 6995 SNPs and 67 indels, with, on average, a SNP every 34 bp; a high rate of polymorphism that is comparable to other studies of mosquitoes. SNPs were significantly more frequent in members of the cytochrome p450 mono-oxygenases and carboxy/cholinesterase gene-families than in glutathione-S-transferases, other detoxification genes, and control genomic regions. Polymorphic sites showed a significantly clustered distribution, but the degree of SNP clustering (independent of SNP frequency) did not vary among gene families, suggesting that clustering of polymorphisms is a general property of the <it>An. gambiae </it>genome.</p> <p>Conclusion</p> <p>The high frequency and clustering of SNPs has important ramifications for the design of high-throughput genotyping assays based on allele specific primer extension or probe hybridisation. We illustrate these issues in the context of the design of Illumina GoldenGate assays.</p

Regional to Global Assessments of Phytoplankton Dynamics From The SeaWiFS Mission

Photosynthetic production of organic matter by microscopic oceanic phytoplankton fuels ocean ecosystems and contributes roughly half of the Earth's net primary production. For 13 years, the Sea-viewing Wide Field-of-view Sensor (SeaWiFS) mission provided the first consistent, synoptic observations of global ocean ecosystems. Changes in the surface chlorophyll concentration, the primary biological property retrieved from SeaWiFS, have traditionally been used as a metric for phytoplankton abundance and its distribution largely reflects patterns in vertical nutrient transport. On regional to global scales, chlorophyll concentrations covary with sea surface temperature (SST) because SST changes reflect light and nutrient conditions. However, the oceanmay be too complex to be well characterized using a single index such as the chlorophyll concentration. A semi-analytical bio-optical algorithm is used to help interpret regional to global SeaWiFS chlorophyll observations from using three independent, well-validated ocean color data products; the chlorophyll a concentration, absorption by CDM and particulate backscattering. First, we show that observed long-term, global-scale trends in standard chlorophyll retrievals are likely compromised by coincident changes in CDM. Second, we partition the chlorophyll signal into a component due to phytoplankton biomass changes and a component caused by physiological adjustments in intracellular chlorophyll concentrations to changes in mixed layer light levels. We show that biomass changes dominate chlorophyll signals for the high latitude seas and where persistent vertical upwelling is known to occur, while physiological processes dominate chlorophyll variability over much of the tropical and subtropical oceans. The SeaWiFS data set demonstrates complexity in the interpretation of changes in regional to global phytoplankton distributions and illustrates limitations for the assessment of phytoplankton dynamics using chlorophyll retrievals alone

Woman of the North::Inequality, Health and Work

Women in the North of England face unequal challenges and inequalities in their lives and health compared to those in the rest of the country. They are more likely to work more hours for less pay and to be in worse health. On top of this, they are more likely to be an unpaid carer, live in poverty and to have fewer qualifications. The inequity between women living in the North of England and those in the rest of the country has grown over the past decade harming women’s quality of life, work, their families and communities