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

Understanding Urban Demand for Wild Meat in Vietnam: Implications for Conservation Actions

Vietnam is a significant consumer of wildlife, particularly wild meat, in urban restaurant settings. To meet this demand, poaching of wildlife is widespread, threatening regional and international biodiversity. Previous interventions to tackle illegal and potentially unsustainable consumption of wild meat in Vietnam have generally focused on limiting supply. While critical, they have been impeded by a lack of resources, the presence of increasingly organised criminal networks and corruption. Attention is, therefore, turning to the consumer, but a paucity of research investigating consumer demand for wild meat will impede the creation of effective consumer-centred interventions. Here we used a mixed-methods research approach comprising a hypothetical choice modelling survey and qualitative interviews to explore the drivers of wild meat consumption and consumer preferences among residents of Ho Chi Minh City, Vietnam. Our findings indicate that demand for wild meat is heterogeneous and highly context specific. Wild-sourced, rare, and expensive wild meat-types are eaten by those situated towards the top of the societal hierarchy to convey wealth and status and are commonly consumed in lucrative business contexts. Cheaper, legal and farmed substitutes for wild-sourced meats are also consumed, but typically in more casual consumption or social drinking settings. We explore the implications of our results for current conservation interventions in Vietnam that attempt to tackle illegal and potentially unsustainable trade in and consumption of wild meat and detail how our research informs future consumer-centric conservation actions

Visual, Motor and Attentional Influences on Proprioceptive Contributions to Perception of Hand Path Rectilinearity during Reaching

We examined how proprioceptive contributions to perception of hand path straightness are influenced by visual, motor and attentional sources of performance variability during horizontal planar reaching. Subjects held the handle of a robot that constrained goal-directed movements of the hand to the paths of controlled curvature. Subjects attempted to detect the presence of hand path curvature during both active (subject driven) and passive (robot driven) movements that either required active muscle force production or not. Subjects were less able to discriminate curved from straight paths when actively reaching for a target versus when the robot moved their hand through the same curved paths. This effect was especially evident during robot-driven movements requiring concurrent activation of lengthening but not shortening muscles. Subjects were less likely to report curvature and were more variable in reporting when movements appeared straight in a novel “visual channel” condition previously shown to block adaptive updating of motor commands in response to deviations from a straight-line hand path. Similarly, compromised performance was obtained when subjects simultaneously performed a distracting secondary task (key pressing with the contralateral hand). The effects compounded when these last two treatments were combined. It is concluded that environmental, intrinsic and attentional factors all impact the ability to detect deviations from a rectilinear hand path during goal-directed movement by decreasing proprioceptive contributions to limb state estimation. In contrast, response variability increased only in experimental conditions thought to impose additional attentional demands on the observer. Implications of these results for perception and other sensorimotor behaviors are discussed

Adaptive tuning functions arise from visual observation of past movement

Visual observation of movement plays a key role in action. For example, tennis players have little time to react to the ball, but still need to prepare the appropriate stroke. Therefore, it might be useful to use visual information about the ball trajectory to recall a specific motor memory. Past visual observation of movement (as well as passive and active arm movement) affects the learning and recall of motor memories. Moreover, when passive or active, these past contextual movements exhibit generalization (or tuning) across movement directions. Here we extend this work, examining whether visual motion also exhibits similar generalization across movement directions and whether such generalization functions can explain patterns of interference. Both the adaptation movement and contextual movement exhibited generalization beyond the training direction, with the visual contextual motion exhibiting much broader tuning. A second experiment demonstrated that this pattern was consistent with the results of an interference experiment where opposing force fields were associated with two separate visual movements. Overall, our study shows that visual contextual motion exhibits much broader (and shallower) tuning functions than previously seen for either passive or active movements, demonstrating that the tuning characteristics of past motion are highly dependent on their sensory modality

Exclusive Leptoproduction of rho^0 Mesons from Hydrogen at Intermediate Virtual Photon Energies

Measurements of the cross section for exclusive virtual-photoproduction of rho^0 mesons from hydrogen are reported. The data were collected by the HERMES experiment using 27.5 GeV positrons incident on a hydrogen gas target in the HERA storage ring. The invariant mass W of the photon-nucleon system ranges from 4.0 to 6.0 GeV, while the negative squared four-momentum Q^2 of the virtual photon varies from 0.7 to 5.0 GeV^2. The present data together with most of the previous data at W > 4 GeV are well described by a model that infers the W-dependence of the cross section from the dependence on the Bjorken scaling variable x of the unpolarized structure function for deep-inelastic scattering. In addition, a model calculation based on Off-Forward Parton Distributions gives a fairly good account of the longitudinal component of the rho^0 production cross section for Q^2 > 2 GeV^2.Comment: 10 pages, 6 embedded figures, LaTeX for SVJour(epj) document class. Revisions: curves added to Fig. 1, several clarifications added to tex

The NEWMEDS rodent touchscreen test battery for cognition relevant to schizophrenia.

RATIONALE: The NEWMEDS initiative (Novel Methods leading to New Medications in Depression and Schizophrenia, http://www.newmeds-europe.com ) is a large industrial-academic collaborative project aimed at developing new methods for drug discovery for schizophrenia. As part of this project, Work package 2 (WP02) has developed and validated a comprehensive battery of novel touchscreen tasks for rats and mice for assessing cognitive domains relevant to schizophrenia. OBJECTIVES: This article provides a review of the touchscreen battery of tasks for rats and mice for assessing cognitive domains relevant to schizophrenia and highlights validation data presented in several primary articles in this issue and elsewhere. METHODS: The battery consists of the five-choice serial reaction time task and a novel rodent continuous performance task for measuring attention, a three-stimulus visual reversal and the serial visual reversal task for measuring cognitive flexibility, novel non-matching to sample-based tasks for measuring spatial working memory and paired-associates learning for measuring long-term memory. RESULTS: The rodent (i.e. both rats and mice) touchscreen operant chamber and battery has high translational value across species due to its emphasis on construct as well as face validity. In addition, it offers cognitive profiling of models of diseases with cognitive symptoms (not limited to schizophrenia) through a battery approach, whereby multiple cognitive constructs can be measured using the same apparatus, enabling comparisons of performance across tasks. CONCLUSION: This battery of tests constitutes an extensive tool package for both model characterisation and pre-clinical drug discovery.This work was supported by the Innovative Medicine Initiative Joint Undertaking under grant agreement no. 115008 of which resources are composed of EFPIA in-kind contribution and financial contribution from the European Union’s Seventh Framework Programme (FP7/2007-2013). The authors thank Charlotte Oomen for valuable comments on the manuscript.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/s00213-015-4007-

Nothing Lasts Forever: Environmental Discourses on the Collapse of Past Societies

The study of the collapse of past societies raises many questions for the theory and practice of archaeology. Interest in collapse extends as well into the natural sciences and environmental and sustainability policy. Despite a range of approaches to collapse, the predominant paradigm is environmental collapse, which I argue obscures recognition of the dynamic role of social processes that lie at the heart of human communities. These environmental discourses, together with confusion over terminology and the concepts of collapse, have created widespread aporia about collapse and resulted in the creation of mixed messages about complex historical and social processes

Azimuthal Charged-Particle Correlations and Possible Local Strong Parity Violation

Parity-odd domains, corresponding to nontrivial topological solutions of the QCD vacuum, might be created during relativistic heavy-ion collisions. These domains are predicted to lead to charge separation of quarks along the system’s orbital momentum axis. We investigate a three-particle azimuthal correlator which is a P even observable, but directly sensitive to the charge separation effect. We report measurements of charged hadrons near center-of-mass rapidity with this observable in Au+Au and Cu+Cu collisions at √sNN=200  GeV using the STAR detector. A signal consistent with several expectations from the theory is detected. We discuss possible contributions from other effects that are not related to parity violation