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

Pathwise Sensitivity Analysis in Transient Regimes

The instantaneous relative entropy (IRE) and the corresponding instanta- neous Fisher information matrix (IFIM) for transient stochastic processes are pre- sented in this paper. These novel tools for sensitivity analysis of stochastic models serve as an extension of the well known relative entropy rate (RER) and the corre- sponding Fisher information matrix (FIM) that apply to stationary processes. Three cases are studied here, discrete-time Markov chains, continuous-time Markov chains and stochastic differential equations. A biological reaction network is presented as a demonstration numerical example

A Technique for Measuring Petal Gloss, with Examples from the Namaqualand Flora

The degree of floral gloss varies between species. However, little is known about this distinctive floral trait, even though it could be a key feature of floral biotic and abiotic interactions. One reason for the absence of knowledge is the lack of a simple, repeatable method of gloss measurement that can be used in the field to study floral gloss. A protocol is described for measuring gloss in petal samples collected in the field, using a glossmeter. Repeatability of the technique is assessed. We demonstrate a simple yet highly accurate and repeatable method that can easily be implemented in the field. We also highlight the huge variety of glossiness found within flowers and between species in a sample of spring-blooming flowers collected in Namaqualand, South Africa. We discuss the potential uses of this method and its applications for furthering studies in plant-pollinator interactions. We also discuss the potential functions of gloss in flowers

SIDEKICK: Genomic data driven analysis and decision-making framework

<p>Abstract</p> <p>Background</p> <p>Scientists striving to unlock mysteries within complex biological systems face myriad barriers in effectively integrating available information to enhance their understanding. While experimental techniques and available data sources are rapidly evolving, useful information is dispersed across a variety of sources, and sources of the same information often do not use the same format or nomenclature. To harness these expanding resources, scientists need tools that bridge nomenclature differences and allow them to integrate, organize, and evaluate the quality of information without extensive computation.</p> <p>Results</p> <p>Sidekick, a genomic data driven analysis and decision making framework, is a web-based tool that provides a user-friendly intuitive solution to the problem of information inaccessibility. Sidekick enables scientists without training in computation and data management to pursue answers to research questions like "What are the mechanisms for disease X" or "Does the set of genes associated with disease X also influence other diseases." Sidekick enables the process of combining heterogeneous data, finding and maintaining the most up-to-date data, evaluating data sources, quantifying confidence in results based on evidence, and managing the multi-step research tasks needed to answer these questions. We demonstrate Sidekick's effectiveness by showing how to accomplish a complex published analysis in a fraction of the original time with no computational effort using Sidekick.</p> <p>Conclusions</p> <p>Sidekick is an easy-to-use web-based tool that organizes and facilitates complex genomic research, allowing scientists to explore genomic relationships and formulate hypotheses without computational effort. Possible analysis steps include gene list discovery, gene-pair list discovery, various enrichments for both types of lists, and convenient list manipulation. Further, Sidekick's ability to characterize pairs of genes offers new ways to approach genomic analysis that traditional single gene lists do not, particularly in areas such as interaction discovery.</p

Structural Change and the Fall of Income Inequality in Latin America : Agricultural Development, Inter-sectoral Duality, and the Kuznets Curve

In this study we approach the recent decline in income inequality in Latin America from the perspective of structural change with a focus on the relative performance of the agricultural sector. Our focus is on the underlying forces implied by Kuznets (1965). We zoom in on the relative performance of agriculture in the development process and the rural-urban duality and pay particular attention to the last couple of decades in relation to the entire post-1950 period. We attempt to estimate empirically possible theoretical relations with regard to these patterns by posing the following basic questions: how does the resurgence of agriculture relate to the reduction of income inequality and to what extent is this an expression of Latin America moving downward on the Kuznets curve? The literature on agriculture’s relation to the recent changes of income distribution in Latin America is quite limited. For instance, in a recent ECLAC report titled “Structural change for equality” (2012), the role of agriculture is not even mentioned. By agriculture we mean both farming and agro-business that processes and transports that output. To our knowledge, this paper is the first attempt to investigate this relationship for the recent decades in the perspective of structural change in Latin America. There are strong theoretical reasons to connect agricultural development to income distribution. The closing of the rural-urban income gap reflects what Reynolds (1975) called a “dynamic” transformation of agriculture and relates to the contribution agriculture provides for overall growth of the economy. In addition, the elasticity of poverty reduction with respect to growth is estimated to be stronger when growth emanates in the agricultural sector (Ravallion and Chen 2007, de Janvry and Sadoulet 2009). Productivity growth in the lagging sector should also contribute to sectoral labor productivity to convergence and thus helps to reduce inequality (Timmer 1988). For these reasons, the resurgence of agriculture driven partly by improving commodity prices should be given due attention when assessing the decline in income inequality in Latin America. According to the logic of the Kuznets curve, the hypothesized “turning point” of the inverted U-curve is generated by a reduction of income inequality in one or both of the sectors and/or a reduction of the rural-urban income gap as the weight of the agricultural sector diminishes, and the income per capita gap between them declines. We find that the recent decline in income inequality is related to the recent resurgence of Latin American agriculture, and, by inference, its lack of decline across most of the 20th century must be related to a lack of productivity change in agriculture. We provide estimates showing that during the recent decades inter-sectoral duality has been reduced by agricultural productivity growth. The duality expressed as an inter-sectoral Gini shows the shape of an inverted U-curve and as such the closing of the rural-urban income gap corroborates with the theoretical expectations postulated by Kuznets. The wider implication of the study is, however, that with slower growth in agricultural labor productivity, continuing improvement in the income distribution becomes more difficult. In the absence of strong manufacturing growth, agriculture might be able to reduce income inequality further if agro-industries remain unskilled labor intensive, thus raising the opportunity cost of unskilled workers. On the other hand, the traditional service sector has perhaps become the “new agricultural sector” in terms of productivity and labor surplus. In other words, the source of the remaining dualism does not come only from rural areas, but also from urban areas

Measurement of the branching fraction and CP content for the decay B(0) -> D(*+)D(*-)

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APS.We report a measurement of the branching fraction of the decay B0→D*+D*- and of the CP-odd component of its final state using the BABAR detector. With data corresponding to an integrated luminosity of 20.4  fb-1 collected at the Υ(4S) resonance during 1999–2000, we have reconstructed 38 candidate signal events in the mode B0→D*+D*- with an estimated background of 6.2±0.5 events. From these events, we determine the branching fraction to be B(B0→D*+D*-)=[8.3±1.6(stat)±1.2(syst)]×10-4. The measured CP-odd fraction of the final state is 0.22±0.18(stat)±0.03(syst).This work is supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the A.P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

Measurement of D-s(+) and D-s(*+) production in B meson decays and from continuum e(+)e(-) annihilation at √s=10.6 GeV

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APSNew measurements of Ds+ and Ds*+ meson production rates from B decays and from qq̅ continuum events near the Υ(4S) resonance are presented. Using 20.8 fb-1 of data on the Υ(4S) resonance and 2.6 fb-1 off-resonance, we find the inclusive branching fractions B(B⃗Ds+X)=(10.93±0.19±0.58±2.73)% and B(B⃗Ds*+X)=(7.9±0.8±0.7±2.0)%, where the first error is statistical, the second is systematic, and the third is due to the Ds+→φπ+ branching fraction uncertainty. The production cross sections σ(e+e-→Ds+X)×B(Ds+→φπ+)=7.55±0.20±0.34pb and σ(e+e-→Ds*±X)×B(Ds+→φπ+)=5.8±0.7±0.5pb are measured at center-of-mass energies about 40 MeV below the Υ(4S) mass. The branching fractions ΣB(B⃗Ds(*)+D(*))=(5.07±0.14±0.30±1.27)% and ΣB(B⃗Ds*+D(*))=(4.1±0.2±0.4±1.0)% are determined from the Ds(*)+ momentum spectra. The mass difference m(Ds+)-m(D+)=98.4±0.1±0.3MeV/c2 is also measured.This work was supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the Swiss NSF, A. P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation

Measured adiposity in relation to head and neck cancer risk in the European Prospective Investigation into Cancer and Nutrition

BACKGROUND: Emerging evidence from cohort studies indicates that adiposity is associated with greater incidence of head and neck cancer (HNC). However, most studies have used self-reported anthropometry which is prone to error. METHODS: Among 363 094 participants in the European Prospective Investigation into Cancer and Nutrition study (EPIC) with measured anthropometry, there were 837 incident cases of HNC. HNC risk was examined in relation to body mass index (BMI) [lean: 30 kg/m²], waist circumference (WC), hip circumference (HC) and waist to hip ratio (WHR) using Cox proportional hazards models. RESULTS: Among men, a BMI < 22.5 kg/m² was associated with higher HNC risk [hazard ratio (HR) 1.62, 95% confidence interval (CI) 1.23 - 2.12)]; BMI was not associated with HNC among women. WC and WHR were associated with greater risk of HNC among women, (WC per 5 cm: HR 1.08, 95% CI 1.02 - 1.15; WHR per 0.1 unit: HR 1.64, 95% CI 1.38 - 1.93). After stratification by smoking status, the association for WHR was present only among smokers (p interaction 0.004). Among men, WC and WHR were associated with HNC only upon additional adjustment for BMI (WC per 5 cm: HR 1.16, 95% CI 1.07 - 1.26; WHR per 0.1 unit: HR 1.42, 95% CI 1.21 - 1.65). CONCLUSION: Central adiposity, particularly among women, may have a stronger association with HNC risk than previously estimated. IMPACT: Strategies to reduce obesity may beneficially impact HNC incidence.The coordination of EPIC is financially supported by the European Commission (DG-SANCO) and the International Agency for Research on Cancer. The national cohorts are supported by Danish Cancer Society (Denmark); Ligue Contre le Cancer, Institut Gustave Roussy, Mutuelle Générale de l’Education Nationale, Institut National de la Santé et de la Recherche Médicale (INSERM) (France); German Cancer Aid, German Cancer Research Center (DKFZ), Federal Ministry of Education and Research (BMBF), Deutsche Krebshilfe, Deutsches Krebsforschungszentrum and Federal Ministry of Education and Research (Germany); the Hellenic Health Foundation (Greece); Associazione Italiana per la Ricerca sul Cancro-AIRC-Italy and National Research Council (Italy); Dutch Ministry of Public Health, Welfare and Sports (VWS), Netherlands Cancer Registry (NKR), LK Research Funds, Dutch Prevention Funds, Dutch ZON (Zorg Onderzoek Nederland), World Cancer Research Fund (WCRF), Statistics Netherlands (The Netherlands); ERC- 2009-AdG 232997 and Nordforsk, Nordic Centre of Excellence programme on Food, Nutrition and Health (Norway); Health Research Fund (FIS), PI13/00061 to Granada; , PI13/01162 to EPIC-Murcia), Regional Governments of Andalucía, Asturias, Basque Country, Murcia and Navarra, ISCIII RETIC (RD06/0020) (Spain); Swedish Cancer Society, Swedish Research Council and County Councils of Skåne and Västerbotten (Sweden); Cancer Research UK (14136 to K.T. Khaw, N.J. Wareham; C570/A16491 to R.C. Travis and C8221/A19170 to Tim Key (EPIC-Oxford), Medical Research Council (1000143 to K.T. Khaw, N.J. Wareham, MR/M012190/1 to Tim Key (EPIC-Oxford)) (United Kingdom)

The Jamaica asthma and allergies national prevalence survey: rationale and methods

<p>Abstract</p> <p>Background</p> <p>Asthma is a significant public health problem in the Caribbean. Prevalence surveys using standardized measures of asthma provide valid prevalence estimates to facilitate regional and international comparisons and monitoring of trends. This paper describes methods used in the Jamaica Asthma and Allergies National Prevalence Survey, challenges associated with this survey and strategies used to overcome these challenges.</p> <p>Methods/Design</p> <p>An island wide, cross-sectional, community-based survey of asthma, asthma symptoms and allergies was done among adults and children using the European Community Respiratory Health Survey Questionnaire for adults and the International Study of Asthma and Allergies in Children. Stratified multi-stage cluster sampling was used to select 2, 163 adults aged 18 years and older and 2, 017 children aged 2-17 years for the survey. The Kish selection table was used to select one adult and one child per household. Data analysis accounted for sampling design and prevalence estimates were weighted to produce national estimates.</p> <p>Discussion</p> <p>The Jamaica Asthma and Allergies National Prevalence Survey is the first population- based survey in the Caribbean to determine the prevalence of asthma and allergies both in adults and children using standardized methods. With response rates exceeding 80% in both groups, this approach facilitated cost-effective gathering of high quality asthma prevalence data that will facilitate international and regional comparison and monitoring of asthma prevalence trends. Another unique feature of this study was the partnership with the Ministry of Health in Jamaica, which ensured the collection of data relevant for decision-making to facilitate the uptake of research evidence. The findings of this study will provide important data on the burden of asthma and allergies in Jamaica and contribute to evidence-informed planning of comprehensive asthma management and education programs.</p