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

Qualitative aspects and validation of a screening method for pesticides in vegetables and fruits based on liquid chromatography coupled to full scan high resolution (Orbitrap) mass spectrometry

The analytical capabilities of liquid chromatography with single-stage high-resolution mass spectrometry have been investigated with emphasis on qualitative aspects related to selective detection during screening and to identification. The study involved 21 different vegetable and fruit commodities, a screening database of 556 pesticides for evaluation of false positives, and a test set of 130 pesticides spiked to the commodities at 0.01, 0.05, and 0.20 mg/kg for evaluation of false negatives. The final method involved a QuEChERS-based sample preparation (without dSPE clean up) and full scan acquisition using alternating scan events without/with fragmentation, at a resolving power of 50,000. Analyte detection was based on extraction of the exact mass (±5 ppm) of the major adduct ion at the database retention time ±30 s and the presence of a second diagnostic ion. Various options for the additional ion were investigated and compared (other adduct ions, M + 1 or M + 2 isotopes, fragments). The two-ion approach for selective detection of the pesticides in the full scan data was compared with two alternative approaches based on response thresholds. Using the two-ion approach, the number of false positives out of 11,676 pesticide/commodity combinations targeted was 36 (0.3 %). The percentage of false negatives, assessed for 2,730 pesticide/commodity combinations, was 13 %, 3 %, and 1 % at the 0.01-, 0.05-, and 0.20-mg/kg level, respectively (slightly higher with fully automated detection). Following the SANCO/12495/2011 protocol for validation of screening methods, the screening detection limit was determined for 130 pesticides and found to be 0.01, 0.05, and ≥0.20 mg/kg for 86, 30, and 14 pesticides, respectively. For the detected pesticides in the spiked samples, the ability for unambiguous identification according to EU criteria was evaluated. A proposal for adaption of the criteria was made

Global Prevalence of Young-Onset Dementia: A Systematic Review and Meta-analysis

Importance: Reliable prevalence estimates are lacking for young-onset dementia (YOD), in which symptoms of dementia start before the age of 65 years. Such estimates are needed for policy makers to organize appropriate health care. Objective: To determine the global prevalence of YOD. Data sources: The PubMed, Embase, CINAHL, and PsycInfo databases were systematically searched for population-based studies on the prevalence of YOD published between January 1, 1990, and March 31, 2020. Study selection: Studies containing data on the prevalence of dementia in individuals younger than 65 years were screened by 2 researchers for inclusion in a systematic review and meta-analysis. Data extraction and synthesis: Prevalence estimates on 5-year age bands, from 30 to 34 years to 60 to 64 years, were extracted. Random-effects meta-analyses were conducted to pool prevalence estimates. Results were age standardized for the World Standard Population. Heterogeneity was assessed by subgroup analyses for sex, dementia subtype, study design, and economic status based on the World Bank classification and by meta-regression. Main outcomes and measures: Prevalence estimates of YOD for 5-year age bands. Results: A total of 95 unique studies were included in this systematic review, of which 74 with 2 760 379 unique patients were also included in 5-year age band meta-analyses. Studies were mostly conducted in Europe and in older groups in Asia, North America, and Oceania. Age-standardized prevalence estimates increased from 1.1 per 100 000 population in the group aged 30 to 34 years to 77.4 per 100 000 population in the group aged 60 to 64 years. This gives an overall global age-standardized prevalence of 119.0 per 100 000 population in the age range of 30 to 64 years, corresponding to 3.9 million people aged 30 to 64 years living with YOD in the world. Subgroup analyses showed prevalence between men and women to be similar (crude estimates for men, 216.5 per 100 000 population; for women, 293.1 per 100 000 population), whereas prevalence was lower in high-income countries (crude estimate, 663.9 per 100 000 population) compared with upper-middle-income (crude estimate, 1873.6 per 100 000 population) and lower-middle-income (crude estimate, 764.2 per 100 000 population) countries. Meta-regression showed that age range (P < .001), sample size (P < .001), and study methodology (P = .02) significantly influenced heterogeneity between studies. Conclusions and relevance: This systematic review and meta-analysis found an age-standardized prevalence of YOD of 119.0 per 100 000 population, although estimates of the prevalence in low-income countries and younger age ranges remain scarce. These results should help policy makers organize sufficient health care for this subgroup of individuals with dementia. Study registration: PROSPERO CRD42019119288This study was supported by the Gieskes-Strijbis Foundation, Alzheimer Netherlands, and the Dutch Young-Onset Dementia Knowledge Centre

The interactions of disability and impairment

Theoretical work on disability is going through an expansive period, built on the growing recognition of disability studies as a discipline and out of the political and analytical push to bring disability into a prominent position within accounts of the intersecting social categories that shape people's lives. A current debate within critical disability studies is whether that study should include impairment and embodiment within its focus. This article argues it should and does so by drawing from symbolic interactionism and embodiment literatures in order to explore how differences in what bodies can do-defined as impairments-come to play a role in how people make sense of themselves through social interaction. We argue that these everyday interactions and the stories we tell within them and about them are important spaces and narratives through which impairment and disability are produced. Interactions and stories are significant both in how they are shaped by wider social norms, collective stories and institutional processes, and also how they at times can provide points of resistance and challenges to such norms, stories and institutions. Therefore, the significance of impairment and interaction is the role they play in both informing self-identity and also broader dynamics of power and inequality

Mutation D816V Alters the Internal Structure and Dynamics of c-KIT Receptor Cytoplasmic Region: Implications for Dimerization and Activation Mechanisms

The type III receptor tyrosine kinase (RTK) KIT plays a crucial role in the transmission of cellular signals through phosphorylation events that are associated with a switching of the protein conformation between inactive and active states. D816V KIT mutation is associated with various pathologies including mastocytosis and cancers. D816V-mutated KIT is constitutively active, and resistant to treatment with the anti-cancer drug Imatinib. To elucidate the activating molecular mechanism of this mutation, we applied a multi-approach procedure combining molecular dynamics (MD) simulations, normal modes analysis (NMA) and binding site prediction. Multiple 50-ns MD simulations of wild-type KIT and its mutant D816V were recorded using the inactive auto-inhibited structure of the protein, characteristic of type III RTKs. Computed free energy differences enabled us to quantify the impact of D816V on protein stability in the inactive state. We evidenced a local structural alteration of the activation loop (A-loop) upon mutation, and a long-range structural re-organization of the juxta-membrane region (JMR) followed by a weakening of the interaction network with the kinase domain. A thorough normal mode analysis of several MD conformations led to a plausible molecular rationale to propose that JMR is able to depart its auto-inhibitory position more easily in the mutant than in wild-type KIT and is thus able to promote kinase mutant dimerization without the need for extra-cellular ligand binding. Pocket detection at the surface of NMA-displaced conformations finally revealed that detachment of JMR from the kinase domain in the mutant was sufficient to open an access to the catalytic and substrate binding sites

Sediment source fingerprinting: benchmarking recent outputs, remaining challenges and emerging themes

Abstract: Purpose: This review of sediment source fingerprinting assesses the current state-of-the-art, remaining challenges and emerging themes. It combines inputs from international scientists either with track records in the approach or with expertise relevant to progressing the science. Methods: Web of Science and Google Scholar were used to review published papers spanning the period 2013–2019, inclusive, to confirm publication trends in quantities of papers by study area country and the types of tracers used. The most recent (2018–2019, inclusive) papers were also benchmarked using a methodological decision-tree published in 2017. Scope: Areas requiring further research and international consensus on methodological detail are reviewed, and these comprise spatial variability in tracers and corresponding sampling implications for end-members, temporal variability in tracers and sampling implications for end-members and target sediment, tracer conservation and knowledge-based pre-selection, the physico-chemical basis for source discrimination and dissemination of fingerprinting results to stakeholders. Emerging themes are also discussed: novel tracers, concentration-dependence for biomarkers, combining sediment fingerprinting and age-dating, applications to sediment-bound pollutants, incorporation of supportive spatial information to augment discrimination and modelling, aeolian sediment source fingerprinting, integration with process-based models and development of open-access software tools for data processing. Conclusions: The popularity of sediment source fingerprinting continues on an upward trend globally, but with this growth comes issues surrounding lack of standardisation and procedural diversity. Nonetheless, the last 2 years have also evidenced growing uptake of critical requirements for robust applications and this review is intended to signpost investigators, both old and new, towards these benchmarks and remaining research challenges for, and emerging options for different applications of, the fingerprinting approach