Towards a Java Subtyping Operad

The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rules for generic types: covariant subtyping, contravariant subtyping and invariant subtyping. Supporting bounded type variables also adds to the complexity of the subtyping relation in Java and in other generic nominally-typed OO languages such as C# and Scala. In this paper we explore defining an operad to model the construction of the subtyping relation in Java and in similar generic nominally-typed OO programming languages. Operads, from category theory, are frequently used to model self-similar phenomena. The Java subtyping operad, we hope, will shed more light on understanding the type systems of generic nominally-typed OO languages.Comment: 13 page

A global assessment of the impact of climate change on water scarcity

This paper presents a global scale assessment of the impact of climate change on water scarcity. Patterns of climate change from 21 Global Climate Models (GCMs) under four SRES scenarios are applied to a global hydrological model to estimate water resources across 1339 watersheds. The Water Crowding Index (WCI) and the Water Stress Index (WSI) are used to calculate exposure to increases and decreases in global water scarcity due to climate change. 1.6 (WCI) and 2.4 (WSI) billion people are estimated to be currently living within watersheds exposed to water scarcity. Using the WCI, by 2050 under the A1B scenario, 0.5 to 3.1 billion people are exposed to an increase in water scarcity due to climate change (range across 21 GCMs). This represents a higher upper-estimate than previous assessments because scenarios are constructed from a wider range of GCMs. A substantial proportion of the uncertainty in the global-scale effect of climate change on water scarcity is due to uncertainty in the estimates for South Asia and East Asia. Sensitivity to the WCI and WSI thresholds that define water scarcity can be comparable to the sensitivity to climate change pattern. More of the world will see an increase in exposure to water scarcity than a decrease due to climate change but this is not consistent across all climate change patterns. Additionally, investigation of the effects of a set of prescribed global mean temperature change scenarios show rapid increases in water scarcity due to climate change across many regions of the globe, up to 2°C, followed by stabilisation to 4°C

Intermittent preventive therapy for malaria: arguments in favour of artesunate and sulphamethoxypyrazine - pyrimethamine combination

Recent publications put a serious warning regarding the inefficacy of sulphadoxine-pyrimethamine (SP) for the intermittent preventive treatment of malaria in young children (IPTi). Recommendations for other therapies are being made. By using a different and better sulphonamide (sulphamethoxypyrazine), it is possible to manufacture fixed dose combination pills with artesunate and pyrimethamine. This combination permits a full therapy over 24 hours (dosing interval being 12 hours). It is recommended that this combination should be tested in future field studies of IPTi

Spatially resolved observations of a split-band coronal type-II radio burst

Context. The origin of coronal type-II radio bursts and of their band-splitting are still not fully understood. Aims. To make progress in solving this problem on the basis of one extremely well observed solar eruptive event. Methods. The relative dynamics of multi-thermal eruptive plasmas, observed in detail by the SDO/AIA and of the harmonic type-II burst sources, observed by the NRH at ten frequencies from 445 to 151 MHz, is studied for the partially behind the limb event on 3 November 2010. Special attention is given to the band-splitting of the burst. Analysis is supplemented by investigation of coronal hard X-ray (HXR) sources observed by the RHESSI. Results. It is found that the flare impulsive phase was accompanied by the formation of a double coronal HXR source, whose upper part coincided with the hot (T~10 MK) eruptive plasma blob. The leading edge (LE) of the eruptive plasmas (T~1-2 MK) moved upward from the flare region with the speed of v=900-1400 km/s. The type II burst source initially appeared just above the LE apex and moved with the same speed and in the same direction. After about 20 s it started to move about twice faster, but still in the same direction. At any given moment the low frequency component (LFC) source of the splitted type-II burst was situated above the high frequency component (HFC) source, which in turn was situated above the LE. It is also found that at a given frequency the HFC source was located slightly closer to the photosphere than the LFC source. Conclusions. The shock wave, which could be responsible for the observed type-II radio burst, was initially driven by the multi-temperature eruptive plasmas, but later transformed to a freely propagating blast shock wave. The most preferable interpretation of the type-II burst splitting is that its LFC was emitted from the upstream region of the shock, whereas the HFC - from the downstream region.Comment: 14 pages, 10 figure

Spatial Relationship of Signatures of Interplanetary Coronal Mass Ejections

Interplanetary coronal mass ejections (ICMEs) are characterized by a number of signatures. In particular, we examine the relationship between Fe charge states and other signatures during ICMEs in solar cycle 23. Though enhanced Fe charge states characterize many ICMEs, average charge states vary from event to event, are more likely to be enhanced in faster or flare‐related ICMEs, and do not appear to depend on whether the ICME is a magnetic cloud. © 2003 American Institute of PhysicsPeer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/87650/2/681_1.pd

Evaluating the function of wildcat faecal marks in relation to the defence of favourable hunting areas

This is an Accepted Manuscript of an article published by Taylor & Francis in Ethology Ecology and Evolution on 2015, available online: http://www.tandfonline.com/10.1080/03949370.2014.905499To date, there have been no studies of carnivores that have been specifically designed to examine the function of scent marks in trophic resource defence, although several chemical communication studies have discussed other functions of these marks. The aim of this study was to test the hypothesis that faecal marks deposited by wildcats (Felis silvestris) serve to defend their primary trophic resource, small mammals. Field data were collected over a 2-year period in a protected area in northwestern Spain. To determine the small mammal abundance in different habitat types, a seasonal live trapping campaign was undertaken in deciduous forests, mature pine forests and scrublands. In each habitat, we trapped in three widely separated Universal Transverse Mercator (UTM) cells. At the same time that the trapping was being performed, transects were conducted on foot along forest roads in each trapping cell and in one adjacent cell to detect fresh wildcat scats that did or did not have a scent-marking function. A scat was considered to have a presumed marking function when it was located on a conspicuous substrate, above ground level, at a crossroad or in a latrine. The number of faecal marks and the small mammal abundance varied by habitat type but not by seasons. The results of the analysis of covariance (ANCOVA) indicated that small mammal abundance and habitat type were the factors that explained the largest degrees of variation in the faecal marking index (number of faecal marks in each cell/number of kilometres surveyed in each cell). This result suggests that wildcats defended favourable hunting areas. They mark most often where their main prey lives and so where they spend the most time hunting (in areas where their main prey is more abundant). This practice would allow wildcats to protect their main trophic resource and would reduce intraspecific trophic competitio

The impacts of climate change on river flood risk at the global scale

This paper presents an assessment of the implications of climate change for global river flood risk. It is based on the estimation of flood frequency relationships at a grid resolution of 0.5 × 0.5°, using a global hydrological model with climate scenarios derived from 21 climate models, together with projections of future population. Four indicators of the flood hazard are calculated; change in the magnitude and return period of flood peaks, flood-prone population and cropland exposed to substantial change in flood frequency, and a generalised measure of regional flood risk based on combining frequency curves with generic flood damage functions. Under one climate model, emissions and socioeconomic scenario (HadCM3 and SRES A1b), in 2050 the current 100-year flood would occur at least twice as frequently across 40 % of the globe, approximately 450 million flood-prone people and 430 thousand km2 of flood-prone cropland would be exposed to a doubling of flood frequency, and global flood risk would increase by approximately 187 % over the risk in 2050 in the absence of climate change. There is strong regional variability (most adverse impacts would be in Asia), and considerable variability between climate models. In 2050, the range in increased exposure across 21 climate models under SRES A1b is 31–450 million people and 59 to 430 thousand km2 of cropland, and the change in risk varies between −9 and +376 %. The paper presents impacts by region, and also presents relationships between change in global mean surface temperature and impacts on the global flood hazard. There are a number of caveats with the analysis; it is based on one global hydrological model only, the climate scenarios are constructed using pattern-scaling, and the precise impacts are sensitive to some of the assumptions in the definition and application

Reporting on data monitoring committees in neonatal randomised controlled trials is inconsistent

Aim: To evaluate the reported use of Data Monitoring Committees (DMCs), the frequency of interim analysis, pre-specified stopping rules and early trial termination in neonatal randomised controlled trials (RCTs). Methods: We reviewed neonatal RCTs published in four high impact general medical journals, specifically looking at safety issues including documented involvement of a DMC, stated interim analysis, stopping rules and early trial termination. We searched all journal issues over an 11-year period (2003-2013) and recorded predefined parameters on each item for RCTs meeting inclusion criteria. Results: Seventy neonatal trials were identified in four general medical journals: Lancet, New England Journal of Medicine (NEJM), British Medical Journal and Journal of American Medical Association (JAMA). 43 (61.4%) studies reported the presence of a DMC, 36 (51.4%) explicitly mentioned interim analysis; stopping rules were reported in 15 (21.4%) RCTs and 7 (10%) trials were terminated early. The NEJM most frequently reported these parameters compared to the other three journals reviewed. Conclusion: While the majority of neonatal RCTs report on DMC involvement and interim analysis there is still scope for improvement. Clear documentation of safety related issues should be a central component of reporting in neonatal trials involving newborn infants