Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Genetic Covariance Structure of Reading, Intelligence and Memory in Children

This study investigates the genetic relationship among reading performance, IQ, verbal and visuospatial working memory (WM) and short-term memory (STM) in a sample of 112, 9-year-old twin pairs and their older siblings. The relationship between reading performance and the other traits was explained by a common genetic factor for reading performance, IQ, WM and STM and a genetic factor that only influenced reading performance and verbal memory. Genetic variation explained 83% of the variation in reading performance; most of this genetic variance was explained by variation in IQ and memory performance. We hypothesize, based on these results, that children with reading problems possibly can be divided into three groups: (1) children low in IQ and with reading problems; (2) children with average IQ but a STM deficit and with reading problems; (3) children with low IQ and STM deficits; this group may experience more reading problems than the other two

Multi-parallel qPCR provides increased sensitivity and diagnostic breadth for gastrointestinal parasites of humans: field-based inferences on the impact of mass deworming

BACKGROUND: Although chronic morbidity in humans from soil transmitted helminth (STH) infections can be reduced by anthelmintic treatment, inconsistent diagnostic tools make it difficult to reliably measure the impact of deworming programs and often miss light helminth infections. METHODS: Cryopreserved stool samples from 796 people (aged 2-81 years) in four villages in Bungoma County, western Kenya, were assessed using multi-parallel qPCR for 8 parasites and compared to point-of-contact assessments of the same stools by the 2-stool 2-slide Kato-Katz (KK) method. All subjects were treated with albendazole and all Ascaris lumbricoides expelled post-treatment were collected. Three months later, samples from 633 of these people were re-assessed by both qPCR and KK, re-treated with albendazole and the expelled worms collected. RESULTS: Baseline prevalence by qPCR (n = 796) was 17 % for A. lumbricoides, 18 % for Necator americanus, 41 % for Giardia lamblia and 15% for Entamoeba histolytica. The prevalence was <1% for Trichuris trichiura, Ancylostoma duodenale, Strongyloides stercoralis and Cryptosporidium parvum. The sensitivity of qPCR was 98% for A. lumbricoides and N. americanus, whereas KK sensitivity was 70% and 32%, respectively. Furthermore, qPCR detected infections with T. trichiura and S. stercoralis that were missed by KK, and infections with G. lamblia and E. histolytica that cannot be detected by KK. Infection intensities measured by qPCR and by KK were correlated for A. lumbricoides (r = 0.83, p < 0.0001) and N. americanus (r = 0.55, p < 0.0001). The number of A. lumbricoides worms expelled was correlated (p < 0.0001) with both the KK (r = 0.63) and qPCR intensity measurements (r = 0.60). CONCLUSIONS: KK may be an inadequate tool for stool-based surveillance in areas where hookworm or Strongyloides are common or where intensity of helminth infection is low after repeated rounds of chemotherapy. Because deworming programs need to distinguish between populations where parasitic infection is controlled and those where further treatment is required, multi-parallel qPCR (or similar high throughput molecular diagnostics) may provide new and important diagnostic information

The stellar halo of the Galaxy

Stellar halos may hold some of the best preserved fossils of the formation history of galaxies. They are a natural product of the merging processes that probably take place during the assembly of a galaxy, and hence may well be the most ubiquitous component of galaxies, independently of their Hubble type. This review focuses on our current understanding of the spatial structure, the kinematics and chemistry of halo stars in the Milky Way. In recent years, we have experienced a change in paradigm thanks to the discovery of large amounts of substructure, especially in the outer halo. I discuss the implications of the currently available observational constraints and fold them into several possible formation scenarios. Unraveling the formation of the Galactic halo will be possible in the near future through a combination of large wide field photometric and spectroscopic surveys, and especially in the era of Gaia.Comment: 46 pages, 16 figures. References updated and some minor changes. Full-resolution version available at http://www.astro.rug.nl/~ahelmi/stellar-halo-review.pd

The Hot and Energetic Universe: AGN feedback in galaxy clusters and groups

Mechanical feedback via Active Galactic Nuclei (AGN) jets in the centres of galaxy groups and clusters is a crucial ingredient in current models of galaxy formation and cluster evolution. Jet feedback is believed to regulate gas cooling and thus star formation in the most massive galaxies, but a robust physical understanding of this feedback mode is currently lacking. The large collecting area, excellent spectral resolution and high spatial resolution of Athena+ will provide the breakthrough diagnostic ability necessary to develop this understanding, via: (1) the first kinematic measurements on relevant spatial scales of the hot gas in galaxy, group and cluster haloes as it absorbs the impact of AGN jets, and (2) vastly improved ability to map thermodynamic conditions on scales well-matched to the jets, lobes and gas disturbances produced by them. Athena+ will therefore determine for the first time how jet energy is dissipated and distributed in group and cluster gas, and how a feedback loop operates in group/cluster cores to regulate gas cooling and AGN fuelling. Athena+ will also establish firmly the cumulative impact of powerful radio galaxies on the evolution of baryons from the epoch of group/cluster formation to the present day

Second malignancies in the context of lenalidomide treatment: an analysis of 2732 myeloma patients enrolled to the Myeloma XI trial.

We have carried out the largest randomised trial to date of newly diagnosed myeloma patients, in which lenalidomide has been used as an induction and maintenance treatment option and here report its impact on second primary malignancy (SPM) incidence and pathology. After review, 104 SPMs were confirmed in 96 of 2732 trial patients. The cumulative incidence of SPM was 0.7% (95% confidence interval (CI) 0.4-1.0%), 2.3% (95% CI 1.6-2.7%) and 3.8% (95% CI 2.9-4.6%) at 1, 2 and 3 years, respectively. Patients receiving maintenance lenalidomide had a significantly higher SPM incidence overall (P=0.011). Age is a risk factor with the highest SPM incidence observed in transplant non-eligible patients aged >74 years receiving lenalidomide maintenance. The 3-year cumulative incidence in this group was 17.3% (95% CI 8.2-26.4%), compared with 6.5% (95% CI 0.2-12.9%) in observation only patients (P=0.049). There was a low overall incidence of haematological SPM (0.5%). The higher SPM incidence in patients receiving lenalidomide maintenance therapy, especially in advanced age, warrants ongoing monitoring although the benefit on survival is likely to outweigh risk

In-depth investigation of the molecular pathogenesis of bladder cancer in a unique 26-year old patient with extensive multifocal disease: A case report

Background. The molecular characteristics and the clinical disease course of bladder cancer (BC) in young patients remain largely unresolved. All patients are monitored according to an intensive surveillance protocol and we aim to gain more insight into the molecular pathways of bladder tumors in young patients that could ultimately contribute to patient stratification, improve patient quality of life and reduce associated costs. We also determined whether a biomarker-based surveillance could be feasible. Case Presentation. We report a unique case of a 26-year-old Caucasian male with recurrent non-muscle invasive bladder tumors occurring at a high frequency and analyzed multiple tumors (maximal pTaG2) and urine samples of this patient. Analysis included FGFR3 mutation detection, FGFR3 and TP53 immunohistochemistry, mircosatellite analysis of markers on chromosomes 8, 9, 10, 11 and 17 and a genome wide single nucleotide polymorphism-array (SNP). All analyzed tumors contained a mutation in FGFR3 and were associated with FGFR3 overexpression. None of the tumors showed overexpression of TP53. We found a deletion on chromosome 9 in the primary tumor and this was confirmed by the SNP-array that showed regions of loss on chromosome 9. Detection of all recurrences was possible by urinary FGFR3 mutation analysis. Conclusions. Our findings would suggest that the BC disease course is determined by not only a patient's age, but also by the molecular characteristics of a tumor. This young patient contained typical genetic changes found in tumors of older patients and implies a clinical disease course comparable to older patients. We demonstrate that FGFR3 mutation analysis on voided urine is a simple non-invasive method and could serve as a feasible follow-up approach for this young patient presenting with an FGFR3 mutant tumor

Variations in the Difference between Mean Sea Level measured either side of Cape Hatteras and Their Relation to the North Atlantic Oscillation

We consider the extent to which the difference in mean sea level (MSL) measured on the North American Atlantic coast either side of Cape Hatteras varies as a consequence of dynamical changes in the ocean caused by fluctuations in the North Atlantic Oscillation (NAO). From analysis of tide gauge data, we know that changes in MSL-difference and NAO index are correlated on decadal to century timescales enabling a scale factor of MSL-difference change per unit change in NAO index to be estimated. Changes in trend in the NAO index have been small during the past few centuries (when measured using windows of order 60–120 years). Therefore, if the same scale factor applies through this period of time, the corresponding changes in trend in MSL-difference for the past few centuries should also have been small. It is suggested thereby that the sea level records for recent centuries obtained from salt marshes (adjusted for long-term vertical land movements) should have essentially the same NAO-driven trends south and north of Cape Hatteras, only differing due to contributions from other processes such as changes in the Meridional Overturning Circulation or ‘geophysical fingerprints’. The salt marsh data evidently support this interpretation within their uncertainties for the past few centuries, and perhaps even for the past millennium. Recommendations are made on how greater insight might be obtained by acquiring more measurements and by improved modelling of the sea level response to wind along the shelf

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Microbial transformations of selenite by methane-oxidizing bacteria

Abstract Methane oxidizing bacteria are well known for their role in the global methane cycle and their potential for microbial transformation of wide range of hydrocarbon and chlorinated hydrocarbon pollution. Recently, it has also emerged that methane-oxidizing bacteria interact with inorganic pollutants in the environment. Here we report what we believe to be the first study of the interaction of pure strains of methane-oxidizing bacteria with selenite. Results indicate that the commonly used laboratory model strains of methane oxidizing bacteria, Methylococcus capsulatus (Bath) and Methylosinus trichosporium OB3b are both able to reduce the toxic selenite (SeO32-) but not selenate (SeO42-) to red spherical nanoparticulate elemental selenium (Se0), which was characterised via EDX and EXAFS. The cultures also produced volatile selenium-containing species, which suggests that both strains may have an additional activity that can either transform Se0 or selenite into volatile methylated forms of selenium. Transmission electron microscopy (TEM) measurements and experiments with the cell fractions: cytoplasm, cell wall and cell membrane show that the nanoparticles are formed mainly on the cell wall. Collectively these results are promising for the use of methane-oxidizing bacteria for bioremediation or suggest possible uses in the production of selenium nanoparticles for biotechnology