Efficient negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application

Growth and magnetic properties of MnO2−delta nanowire microspheres

We report the synthesis of MnO2−delta microspheres using hydrothermal and conventional chemical reaction methods. The microspheres of MnO2−delta consist of nanowires having a diameter of 20-50 nm and a length of 2-8 micro m. The value of the oxygen vacancy delta estimated from the x-ray photoelectron spectrum (XPS) is 0.3. The magnetization versus temperature curve indicates a magnetic transition at about 13 K. It is found that a parasitic ferromagnetic component is imposed on the antiferromagnetic structure of MnO2−delta, which might result from distortion of the lattice structure due to oxygen vacancies. The magnetic transition temperature TN is about 10 K lower than that of the bulk MnO2 single crystal

Compositional Explanation of Types and Algorithmic Debugging of Type Errors

The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principal typings. We describe how the programmer understands types by interactive navigation through the explanation graph. Furthermore, the explanation graph can be the foundation for algorithmic debugging of type errors, that is, semi-automatic localisation of the source of a type error without even having to understand the type inference steps. We implemented a prototype of a tool to explore the usefulness of the proposed methods

Late Holocene palynology and palaeovegetation of tephra-bearing mires at Papamoa and Waihi Beach, western Bay of Plenty, North Island, New Zealand.

The vegetation history of two mires associated with Holocene dunes near the western Bay of Plenty coast, North Island, New Zealand, is deduced from pollen analysis of two cores. Correlation of airfall tephra layers in the peats, and radiocarbon dates, indicate that the mires at Papamoa and Waihi Beach are c. 4600 and c. 2900 conventional radiocarbon years old, respectively. Tephras used to constrain the chronology of the pollen record include Rotomahana (1886 AD), Kaharoa (700 yr B.P.), Taupo (Unit Y; 1850 yr B.P.), Whakaipo (Unit V; 2700 yr B.P.), Stent (Unit Q; 4000 yr B.P.), Hinemaiaia (Unit K; 4600 yr B.P.), and reworked Whakatane (c. 4800 yr B.P.) at Papamoa, and Kaharoa and Taupo at Waihi Beach. Peat accumulation rates at Papamoa from 4600 - 1850 yr B.P. range from 0.94 to 2.64 mm/yr (mean 1.37 mm/yr). At Waihi Beach, from 2900 yr B.P. - present day, they range from 0.11 to 0.21 mm/yr (mean 0.20 mm/yr). Peat accumulation at both sites was slowest from 1850 to 700 yr B.P., suggesting a drier overall climate during this interval. At both sites, the earliest organic sediments, which are underlain by marine or estuarine sands, yield pollen spectra indicating salt marsh or estuarine environments. Coastal vegetation communities declined at both sites, as sea level gradually fell or the coast prograded, and were eventually superseded by a low moor bog at Papamoa, and a mesotrophic swamp forest at Waihi Beach. These differences, and the marked variation in peat accumulation rates, probably reflect local hydrology and are unlikely to have been climatically controlled. The main regional vegetation during this period was mixed northern conifer-angiosperm forest. Kauri (Agathis australis) formed a minor component of these forests, but populations of this tree have apparently not expanded during the late Holocene at these sites, which are near its present southern limit. Occasional shortlived forest disturbances are detectable in these records, in particular immediately following the deposition of Taupo Tephra. However, evidence for forest clearance during the human era is blurred by the downward dislocation of modern adventi ve pollen at these sites, preventing the clear differentiation of the Polynesian and European eras

Spatial and temporal patterns of locally-acquired dengue transmission in Northern Queensland, Australia, 1993-2012

Background: Dengue has been a major public health concern in Australia since it re-emerged in Queensland in 1992–1993. We explored spatio-temporal characteristics of locally-acquired dengue cases in northern tropical Queensland, Australia during the period 1993–2012.Methods: Locally-acquired notified cases of dengue were collected for northern tropical Queensland from 1993 to 2012. Descriptive spatial and temporal analyses were conducted using geographic information system tools and geostatistical techniques. Results: 2,398 locally-acquired dengue cases were recorded in northern tropical Queensland during the study period. The areas affected by the dengue cases exhibited spatial and temporal variation over the study period. Notified cases of dengue occurred more frequently in autumn. Mapping of dengue by statistical local areas (census units) reveals the presence of substantial spatio-temporal variation over time and place. Statistically significant differences in dengue incidence rates among males and females (with more cases in females) (χ2 = 15.17, d.f. = 1, p<0.01). Differences were observed among age groups, but these were not statistically significant. There was a significant positive spatial autocorrelation of dengue incidence for the four sub-periods, with the Moran's I statistic ranging from 0.011 to 0.463 (p<0.01). Semi-variogram analysis and smoothed maps created from interpolation techniques indicate that the pattern of spatial autocorrelation was not homogeneous across the northern Queensland.Conclusions: Tropical areas are potential high-risk areas for mosquito-borne diseases such as dengue. This study demonstrated that the locally-acquired dengue cases have exhibited a spatial and temporal variation over the past twenty years in northern tropical Queensland, Australia. Therefore, this study provides an impetus for further investigation of clusters and risk factors in these high-risk areas

Informing the design of a national screening and treatment programme for chronic viral hepatitis in primary care: qualitative study of at-risk immigrant communities and healthcare professionals

n Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise statedThis paper presents independent research funded by the National Institute for Health Research (NIHR) under the Programme Grants for Applied Research programme (RP-PG-1209-10038).

New ophthalmosaurid ichthyosaurs from the European lower cretaceous demonstrate extensive ichthyosaur survival across the Jurassic–Cretaceous boundary

Background Ichthyosauria is a diverse clade of marine amniotes that spanned most of the Mesozoic. Until recently, most authors interpreted the fossil record as showing that three major extinction events affected this group during its history: one during the latest Triassic, one at the Jurassic–Cretaceous boundary (JCB), and one (resulting in total extinction) at the Cenomanian-Turonian boundary. The JCB was believed to eradicate most of the peculiar morphotypes found in the Late Jurassic, in favor of apparently less specialized forms in the Cretaceous. However, the record of ichthyosaurs from the Berriasian–Barremian interval is extremely limited, and the effects of the end-Jurassic extinction event on ichthyosaurs remains poorly understood. Methodology/Principal Findings Based on new material from the Hauterivian of England and Germany and on abundant material from the Cambridge Greensand Formation, we name a new ophthalmosaurid, Acamptonectes densus gen. et sp. nov. This taxon shares numerous features with Ophthalmosaurus, a genus now restricted to the Callovian–Berriasian interval. Our phylogenetic analysis indicates that Ophthalmosauridae diverged early in its history into two markedly distinct clades, Ophthalmosaurinae and Platypterygiinae, both of which cross the JCB and persist to the late Albian at least. To evaluate the effect of the JCB extinction event on ichthyosaurs, we calculated cladogenesis, extinction, and survival rates for each stage of the Oxfordian–Barremian interval, under different scenarios. The extinction rate during the JCB never surpasses the background extinction rate for the Oxfordian–Barremian interval and the JCB records one of the highest survival rates of the interval. Conclusions/Significance There is currently no evidence that ichthyosaurs were affected by the JCB extinction event, in contrast to many other marine groups. Ophthalmosaurid ichthyosaurs remained diverse from their rapid radiation in the Middle Jurassic to their total extinction at the beginning of the Late Cretaceous

Osmosis in a minimal model system

Osmosis plays a central role in the function of living and soft matter systems. While the thermodynamics of osmosis is well understood, the underlying microscopic dynamical mechanisms remain the subject of discussion. Unraveling these mechanisms is a crucial prerequisite for eventually understanding osmosis in non-equilibrium systems. Here, we investigate the microscopic basis of osmosis, in a system at equilibrium, using molecular dynamics simulations of a minimal model in which repulsive solute and solvent particles differ only in their interactions with an external potential. For this system, we can derive a simple virial-like relation for the osmotic pressure. Our simulations support an intuitive picture in which the solvent concentration gradient, at osmotic equilibrium, arises from the balance between an outward force, caused by the increased total density in the solution, and an inward diffusive flux caused by the decreased solvent density in the solution. While more complex effects may occur in other osmotic systems, they are not required for a description of the basic physics of osmosis in this minimal model.Comment: 10 pages, 8 figure