ENSO and interdecadal climate variability over the last century documented by geochemical records of two coral cores from the South West Pacific

The south west Pacific is affected by climatic phenomena such as ENSO (El Ni&#241;o Southern Oscillation) or the PDO (Pacific Decadal Oscillation). Near-monthly resolution calibrations of Sr/Ca, U/Ca and <span style=&quot;font-family: &apos;Symbol, Times New Roman, Times&apos;; font-size: 16px;&quot;>&delta;</span>¹⁸Oc were made on corals taken from New Caledonia and Wallis Island. These geochemical variations could be linked to SST (sea surface temperature) and SSS (sea surface salinity) variations over the last two decades, itselves dependent on ENSO occurrences. On the other hand, near-half-yearly resolution over the last century smoothes seasonal and interannual climate signals, but emphasizes low frequency climate variability

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed

Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

Implementing Groundness Analysis with Definite Boolean Functions

The domain of definite Boolean functions, Def, can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs. In this paper, previously unexploited computational properties of Def are utilised to develop an efficient and succinct groundness analyser that can be coded in Prolog. In particular, entailment checking is used to prevent unnecessary least upper bound calculations. It is also demonstrated that join can be defined in terms of other operations, thereby eliminating code and removing the need for preprocessing formulae to a normal form. This saves space and time. Furthermore, the join can be adapted to straightforwardly implement the downward closure operator that arises in set sharing analyses. Experimental results indicate that the new Def implementation gives favourable results in comparison with BDD-based groundness analyses

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

A Novel Nonsense Mutation in the DMP1 Gene Identified by a Genome-Wide Association Study Is Responsible for Inherited Rickets in Corriedale Sheep

Inherited rickets of Corriedale sheep is characterized by decreased growth rate, thoracic lordosis and angular limb deformities. Previous outcross and backcross studies implicate inheritance as a simple autosomal recessive disorder. A genome wide association study was conducted using the Illumina OvineSNP50 BeadChip on 20 related sheep comprising 17 affected and 3 carriers. A homozygous region of 125 consecutive single-nucleotide polymorphism (SNP) loci was identified in all affected sheep, covering a region of 6 Mb on ovine chromosome 6. Among 35 candidate genes in this region, the dentin matrix protein 1 gene (DMP1) was sequenced to reveal a nonsense mutation 250C/T on exon 6. This mutation introduced a stop codon (R145X) and could truncate C-terminal amino acids. Genotyping by PCR-RFLP for this mutation showed all 17 affected sheep were “T T” genotypes; the 3 carriers were “C T”; 24 phenotypically normal related sheep were either “C T” or “C C”; and 46 unrelated normal control sheep from other breeds were all “C C”. The other SNPs in DMP1 were not concordant with the disease and can all be ruled out as candidates. Previous research has shown that mutations in the DMP1 gene are responsible for autosomal recessive hypophosphatemic rickets in humans. Dmp1_knockout mice exhibit rickets phenotypes. We believe the R145X mutation to be responsible for the inherited rickets found in Corriedale sheep. A simple diagnostic test can be designed to identify carriers with the defective “T” allele. Affected sheep could be used as animal models for this form of human rickets, and for further investigation of the role of DMP1 in phosphate homeostasis

A Biodiverse Rich Environment Does Not Contribute to a Better Diet: A Case Study from DR Congo

The potential of biodiversity to increase and sustain nutrition security is increasingly recognized by the international research community. To date however, dietary assessment studies that have assessed how biodiversity actually contributes to human diets are virtually absent. This study measured the contribution of wild edible plants (WEP) to the dietary quality in the high biodiverse context of DR Congo. The habitual dietary intake was estimated from 2 multiple-pass 24 h dietary recalls for 363 urban and 129 rural women. All WEP were collected during previous ethnobotanical investigations and identified and deposited in the National Botanical Garden of Belgium (BR). Results showed that in a high biodiverse region with precarious food security, WEP are insufficiently consumed to increase nutrition security or dietary adequacy. The highest contribution came from Dacryodes edulis in the village sample contributing 4.8% of total energy intake. Considering the nutrient composition of the many WEP available in the region and known by the indigenous populations, the potential to increase nutrition security is vast. Additional research regarding the dietary contribution of agricultural biodiversity and the nutrient composition of WEP would allow to integrate them into appropriate dietary guidelines for the region and pave the way to domesticate the most interesting WEP

Current tidal power technologies and their suitability for applications in coastal and marine areas

A considerable body of research is currently being performed to quantify available tidal energy resources and to develop efficient devices with which to harness them. This work is naturally focussed on maximising power generation from the most promising sites, and a review of the literature suggests that the potential for smaller scale, local tidal power generation from shallow near-shore sites has not yet been investigated. If such generation is feasible, it could have the potential to provide sustainable electricity for nearby coastal homes and communities as part of a distributed generation strategy, and would benefit from easier installation and maintenance, lower cabling and infrastructure requirements and reduced capital costs when compared with larger scale projects. This article reviews tidal barrages and lagoons, tidal turbines, oscillating hydrofoils and tidal kites to assess their suitability for small-scale electricity generation in shallow waters. This is achieved by discussing the power density, scalability, durability, maintainability, economic potential and environmental impacts of each concept. The performance of each technology in each criterion is scored against axial-flow turbines, allowing for them to be ranked according to their overall suitability. The review suggests that tidal kites and range devices are not suitable for small-scale shallow water applications due to depth and size requirements respectively. Cross-flow turbines appear to be the most suitable technology, as they have high power densities and a maximum size that is not constrained by water depth

An Epigenetic Switch Involving Overlapping Fur and DNA Methylation Optimizes Expression of a Type VI Secretion Gene Cluster

Type VI secretion systems (T6SS) are macromolecular machines of the cell envelope of Gram-negative bacteria responsible for bacterial killing and/or virulence towards different host cells. Here, we characterized the regulatory mechanism underlying expression of the enteroagregative Escherichia coli sci1 T6SS gene cluster. We identified Fur as the main regulator of the sci1 cluster. A detailed analysis of the promoter region showed the presence of three GATC motifs, which are target of the DNA adenine methylase Dam. Using a combination of reporter fusion, gel shift, and in vivo and in vitro Dam methylation assays, we dissected the regulatory role of Fur and Dam-dependent methylation. We showed that the sci1 gene cluster expression is under the control of an epigenetic switch depending on methylation: fur binding prevents methylation of a GATC motif, whereas methylation at this specific site decreases the affinity of Fur for its binding box. A model is proposed in which the sci1 promoter is regulated by iron availability, adenine methylation, and DNA replication