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

Overcoming barriers to engaging socio-economically disadvantaged populations in CHD primary prevention: a qualitative study

<p><b>Background:</b> Preventative medicine has become increasingly important in efforts to reduce the burden of chronic disease in industrialised countries. However, interventions that fail to recruit socio-economically representative samples may widen existing health inequalities. This paper explores the barriers and facilitators to engaging a socio-economically disadvantaged (SED) population in primary prevention for coronary heart disease (CHD).</p> <p><b>Methods:</b> The primary prevention element of Have a Heart Paisley (HaHP) offered risk screening to all eligible individuals. The programme employed two approaches to engaging with the community: a) a social marketing campaign and b) a community development project adopting primarily face-to-face canvassing. Individuals living in areas of SED were under-recruited via the social marketing approach, but successfully recruited via face-to-face canvassing. This paper reports on focus group discussions with participants, exploring their perceptions about and experiences of both approaches.</p> <p><b>Results:</b> Various reasons were identified for low uptake of risk screening amongst individuals living in areas of high SED in response to the social marketing campaign and a number of ways in which the face-to-face canvassing approach overcame these barriers were identified. These have been categorised into four main themes: (1) processes of engagement; (2) issues of understanding; (3) design of the screening service and (4) the priority accorded to screening. The most immediate barriers to recruitment were the invitation letter, which often failed to reach its target, and the general distrust of postal correspondence. In contrast, participants were positive about the face-to-face canvassing approach. Participants expressed a lack of knowledge and understanding about CHD and their risk of developing it and felt there was a lack of clarity in the information provided in the mailing in terms of the process and value of screening. In contrast, direct face-to-face contact meant that outreach workers could explain what to expect. Participants felt that the procedure for uptake of screening was demanding and inflexible, but that the drop-in sessions employed by the community development project had a major impact on recruitment and retention.</p> <p><b>Conclusion:</b> Socio-economically disadvantaged individuals can be hard-to-reach; engagement requires strategies tailored to the needs of the target population rather than a population-wide approach.</p&gt

Theory of disk accretion onto supermassive black holes

Accretion onto supermassive black holes produces both the dramatic phenomena associated with active galactic nuclei and the underwhelming displays seen in the Galactic Center and most other nearby galaxies. I review selected aspects of the current theoretical understanding of black hole accretion, emphasizing the role of magnetohydrodynamic turbulence and gravitational instabilities in driving the actual accretion and the importance of the efficacy of cooling in determining the structure and observational appearance of the accretion flow. Ongoing investigations into the dynamics of the plunging region, the origin of variability in the accretion process, and the evolution of warped, twisted, or eccentric disks are summarized.Comment: Mostly introductory review, to appear in "Supermassive black holes in the distant Universe", ed. A.J. Barger, Kluwer Academic Publishers, in pres

A basal lithostrotian titanosaur (Dinosauria: Sauropoda) with a complete skull: Implications for the evolution and paleobiology of titanosauria

We describe Sarmientosaurus musacchioi gen. et sp. nov., a titanosaurian sauropod dinosaur from the Upper Cretaceous (Cenomanian - Turonian) Lower Member of the Bajo Barreal Formation of southern Chubut Province in central Patagonia, Argentina. The holotypic and only known specimen consists of an articulated, virtually complete skull and part of the cranial and middle cervical series. Sarmientosaurus exhibits the following distinctive features that we interpret as autapomorphies: (1) maximum diameter of orbit nearly 40% rostrocaudal length of cranium; (2) complex maxilla - lacrimal articulation, in which the lacrimal clasps the ascending ramus of the maxilla; (3) medial edge of caudal sector of maxillary ascending ramus bordering bony nasal aperture with low but distinct ridge; (4) ´tongue-like´ ventral process of quadratojugal that overlaps quadrate caudally; (5) separate foramina for all three branches of the trigeminal nerve; (6) absence of median venous canal connecting infundibular region to ventral part of brainstem; (7) subvertical premaxillary, procumbent maxillary, and recumbent dentary teeth; (8) cervical vertebrae with ´strut-like´ centroprezygapophyseal laminae; (9) extremely elongate and slender ossified tendon positioned ventrolateral to cervical vertebrae and ribs. The cranial endocast of Sarmientosaurus preserves some of the most complete information obtained to date regarding the brain and sensory systems of sauropods. Phylogenetic analysis recovers the new taxon as a basal member of Lithostrotia, as the most plesiomorphic titanosaurian to be preserved with a complete skull. Sarmientosaurus provides a wealth of new cranial evidence that reaffirms the close relationship of titanosaurs to Brachiosauridae. Moreover, the presence of the relatively derived lithostrotian Tapuiasaurus in Aptian deposits indicates that the new Patagonian genus represents a ´ghost lineage´ with a comparatively plesiomorphic craniodental form, the evolutionary history of which is missing for at least 13 million years of the Cretaceous. The skull anatomy of Sarmientosaurus suggests that multiple titanosaurian species with dissimilar cranial structures coexisted in the early Late Cretaceous of southern South America. Furthermore, the new taxon possesses a number of distinctive morphologies - such as the ossified cervical tendon, extremely pneumatized cervical vertebrae, and a habitually downward- facing snout - that have rarely, if ever, been documented in other titanosaurs, thus broadening our understanding of the anatomical diversity of this remarkable sauropod clade. The latter two features were convergently acquired by at least one penecontemporaneous diplodocoid, and may represent mutual specializations for consuming low-growing vegetation.Fil: Martínez, Rubén Darío. Universidad Nacional de la Patagonia; ArgentinaFil: Lamanna, Matthew C.. Carnegie Museum Of Natural History; Estados UnidosFil: Novas, Fernando Emilio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Museo Argentino de Ciencias Naturales "bernardino Rivadavia"; ArgentinaFil: Ridgely, Ryan C.. Ohio University College Of Osteopathic Medicine; Estados UnidosFil: Casal, Gabriel. Universidad Nacional de la Patagonia; ArgentinaFil: Martínez, Javier E.. Hospital Regional de Comodoro Rivadavia; ArgentinaFil: Vita, Javier R.. Resonancia Magnética Borelli; ArgentinaFil: Witmer, Lawrence M.. Ohio University College Of Osteopathic Medicine; Estados Unido

Incipient Social Groups: An Analysis via In-Vivo Behavioral Tracking

Social psychology is fundamentally the study of individuals in groups, yet there remain basic unanswered questions about group formation, structure, and change. We argue that the problem is methodological. Until recently, there was no way to track who was interacting with whom with anything approximating valid resolution and scale. In the current study we describe a new method that applies recent advances in image-based tracking to study incipient group formation and evolution with experimental precision and control. In this method, which we term "in vivo behavioral tracking," we track individuals' movements with a high definition video camera mounted atop a large field laboratory. We report results of an initial study that quantifies the composition, structure, and size of the incipient groups. We also apply in-vivo spatial tracking to study participants' tendency to cooperate as a function of their embeddedness in those crowds. We find that participants form groups of seven on average, are more likely to approach others of similar attractiveness and (to a lesser extent) gender, and that participants' gender and attractiveness are both associated with their proximity to the spatial center of groups (such that women and attractive individuals are more likely than men and unattractive individuals to end up in the center of their groups). Furthermore, participants' proximity to others early in the study predicted the effort they exerted in a subsequent cooperative task, suggesting that submergence in a crowd may predict social loafing. We conclude that in vivo behavioral tracking is a uniquely powerful new tool for answering longstanding, fundamental questions about group dynamics

Mitochondrial D-loop sequence variation and maternal lineage in the endangered Cleveland Bay horse

Genetic diversity and maternal ancestry line relationships amongst a sample of 96 Cleveland Bay horses were investigated using a 479bp length of mitochondrial D-loop sequence. The analysis yielded at total of 11 haplotypes with 27 variable positions, all of which have been described in previous equine mitochondrial DNA d-loop studies. Four main haplotype clusters were present in the Cleveland Bay breed describing 89% of the total sample. This suggests that only four principal maternal ancestry lines exist in the present-day global Cleveland Bay population. Comparison of these sequences with other domestic horse haplotypes (Fig 2) shows a close association of the Cleveland Bay horse with Northern European (Clade C), Iberian (Clade A) and North African (Clade B) horse breeds. This indicates that the Cleveland Bay horse may not have evolved exclusively from the now extinct Chapman horse, as previous work as suggested. The Cleveland Bay horse remains one of only five domestic horse breeds classified as Critical on the Rare Breeds Survival Trust (UK) Watchlist and our results provide important information on the origins of this breed and represent a valuable tool for conservation purposes

New live screening of plant-nematode interactions in the rhizosphere

Abstract Free living nematodes (FLN) are microscopic worms found in all soils. While many FLN species are beneficial to crops, some species cause significant damage by feeding on roots and vectoring viruses. With the planned legislative removal of traditionally used chemical treatments, identification of new ways to manage FLN populations has become a high priority. For this, more powerful screening systems are required to rapidly assess threats to crops and identify treatments efficiently. Here, we have developed new live assays for testing nematode responses to treatment by combining transparent soil microcosms, a new light sheet imaging technique termed Biospeckle Selective Plane Illumination Microscopy (BSPIM) for fast nematode detection, and Confocal Laser Scanning Microscopy for high resolution imaging. We show that BSPIM increased signal to noise ratios by up to 60 fold and allowed the automatic detection of FLN in transparent soil samples of 1.5 mL. Growing plant root systems were rapidly scanned for nematode abundance and activity, and FLN feeding behaviour and responses to chemical compounds observed in soil-like conditions. This approach could be used for direct monitoring of FLN activity either to develop new compounds that target economically damaging herbivorous nematodes or ensuring that beneficial species are not negatively impacted

Anxiety and Depression in Adults with Autism Spectrum Disorder: A Systematic Review and Meta-analysis

Adults with autism spectrum disorder (ASD) are thought to be at disproportionate risk of developing mental health comorbidities, with anxiety and depression being considered most prominent amongst these. Yet, no systematic review has been carried out to date to examine rates of both anxiety and depression focusing specifically on adults with ASD. This systematic review and meta-analysis examined the rates of anxiety and depression in adults with ASD and the impact of factors such as assessment methods and presence of comorbid intellectual disability (ID) diagnosis on estimated prevalence rates. Electronic database searches for studies published between January 2000 and September 2017 identified a total of 35 studies, including 30 studies measuring anxiety (n = 26 070; mean age = 30.9, s.d. = 6.2 years) and 29 studies measuring depression (n = 26 117; mean age = 31.1, s.d. = 6.8 years). The pooled estimation of current and lifetime prevalence for adults with ASD were 27% and 42% for any anxiety disorder, and 23% and 37% for depressive disorder. Further analyses revealed that the use of questionnaire measures and the presence of ID may significantly influence estimates of prevalence. The current literature suffers from a high degree of heterogeneity in study method and an overreliance on clinical samples. These results highlight the importance of community-based studies and the identification and inclusion of well-characterized samples to reduce heterogeneity and bias in estimates of prevalence for comorbidity in adults with ASD and other populations with complex psychiatric presentations

Perspectives and Integration in SOLAS Science

Why a chapter on Perspectives and Integration in SOLAS Science in this book? SOLAS science by its nature deals with interactions that occur: across a wide spectrum of time and space scales, involve gases and particles, between the ocean and the atmosphere, across many disciplines including chemistry, biology, optics, physics, mathematics, computing, socio-economics and consequently interactions between many different scientists and across scientific generations. This chapter provides a guide through the remarkable diversity of cross-cutting approaches and tools in the gigantic puzzle of the SOLAS realm. Here we overview the existing prime components of atmospheric and oceanic observing systems, with the acquisition of ocean–atmosphere observables either from in situ or from satellites, the rich hierarchy of models to test our knowledge of Earth System functioning, and the tremendous efforts accomplished over the last decade within the COST Action 735 and SOLAS Integration project frameworks to understand, as best we can, the current physical and biogeochemical state of the atmosphere and ocean commons. A few SOLAS integrative studies illustrate the full meaning of interactions, paving the way for even tighter connections between thematic fields. Ultimately, SOLAS research will also develop with an enhanced consideration of societal demand while preserving fundamental research coherency. The exchange of energy, gases and particles across the air-sea interface is controlled by a variety of biological, chemical and physical processes that operate across broad spatial and temporal scales. These processes influence the composition, biogeochemical and chemical properties of both the oceanic and atmospheric boundary layers and ultimately shape the Earth system response to climate and environmental change, as detailed in the previous four chapters. In this cross-cutting chapter we present some of the SOLAS achievements over the last decade in terms of integration, upscaling observational information from process-oriented studies and expeditionary research with key tools such as remote sensing and modelling. Here we do not pretend to encompass the entire legacy of SOLAS efforts but rather offer a selective view of some of the major integrative SOLAS studies that combined available pieces of the immense jigsaw puzzle. These include, for instance, COST efforts to build up global climatologies of SOLAS relevant parameters such as dimethyl sulphide, interconnection between volcanic ash and ecosystem response in the eastern subarctic North Pacific, optimal strategy to derive basin-scale CO2 uptake with good precision, or significant reduction of the uncertainties in sea-salt aerosol source functions. Predicting the future trajectory of Earth’s climate and habitability is the main task ahead. Some possible routes for the SOLAS scientific community to reach this overarching goal conclude the chapter

Study of hadronic event-shape variables in multijet final states in pp collisions at √s=7 TeV

Peer reviewe