Structural Analysis of Narratives with the Coq Proof Assistant

Abstract. This paper proposes a novel application of Interactive Proof Assistants for studying the formal properties of Narratives, building on recent work demonstrating the suitability of Intuitionistic Linear Logic as a conceptual model. More specifically, we describe a method for modelling narrative resources and actions, together with constraints on the story endings in the form of an ILL sequent. We describe how well-formed narratives can be interpreted from cut-free proof trees of the sequent obtained using Coq. We finally describe how to reason about narratives at the structural level using Coq: by allowing to prove 2nd order properties on the set of all the proofs generated by a sequent, Coq assists the verification of structural narrative properties traversing all possible variants of a given plot

Fertility, Living Arrangements, Care and Mobility

There are four main interconnecting themes around which the contributions in this book are based. This introductory chapter aims to establish the broad context for the chapters that follow by discussing each of the themes. It does so by setting these themes within the overarching demographic challenge of the twenty-first century – demographic ageing. Each chapter is introduced in the context of the specific theme to which it primarily relates and there is a summary of the data sets used by the contributors to illustrate the wide range of cross-sectional and longitudinal data analysed

Dental calculus is not equivalent to bone collagen for isotope analysis: a comparison between carbon and nitrogen stable isotope analysis of bulk dental calculus, bone and dentine collagen from same individuals from the Medieval site of El Raval (Alicante, Spain).

Palaeodietary reconstruction using the carbon and nitrogen isotope values of bone and dentine collagen is a well-established method and the biochemical processes involved are well known. Researchers have recently explored using bulk samples of dental calculus as a substitute for bone and dentine collagen in dietary analyses, because calculus can be sampled without causing damage to the teeth, and may be useful in situations where more destructive analyses are not possible, or where collagen is poorly preserved. Several questions remain about the use of bulk calculus as a source of carbon and nitrogen isotope data, however. It is not yet clear how much of an individual¿s life span dental calculus represents, what portions of the diet it records, and how diagenesis effects the carbon and nitrogen isotope values of this material. Most importantly, there have been no comparative studies of collagen and calculus isotope values, which are necessary to establish the value of bulk calculus as a source of accurate isotope values. Here we report the comparison of carbon and nitrogen stable isotope analyses of bulk calculus to those from bone and dentine collagen. These analyses have been performed on individuals from the El Raval Mudéjar Medieval Cemetery (Eastern Iberia, 15th century A.D.). Although calculus isotope values may be broadly similar to expected values at the population level, we report here no correlation between collagen and bulk dental calculus values at the individual level. As a result, we recommend that carbon and nitrogen analysis on bulk dental calculus should only be used as a last resource archaeological dietary marker, if at all

Magnetic Field Generation in Stars

Enormous progress has been made on observing stellar magnetism in stars from the main sequence through to compact objects. Recent data have thrown into sharper relief the vexed question of the origin of stellar magnetic fields, which remains one of the main unanswered questions in astrophysics. In this chapter we review recent work in this area of research. In particular, we look at the fossil field hypothesis which links magnetism in compact stars to magnetism in main sequence and pre-main sequence stars and we consider why its feasibility has now been questioned particularly in the context of highly magnetic white dwarfs. We also review the fossil versus dynamo debate in the context of neutron stars and the roles played by key physical processes such as buoyancy, helicity, and superfluid turbulence,in the generation and stability of neutron star fields. Independent information on the internal magnetic field of neutron stars will come from future gravitational wave detections. Thus we maybe at the dawn of a new era of exciting discoveries in compact star magnetism driven by the opening of a new, non-electromagnetic observational window. We also review recent advances in the theory and computation of magnetohydrodynamic turbulence as it applies to stellar magnetism and dynamo theory. These advances offer insight into the action of stellar dynamos as well as processes whichcontrol the diffusive magnetic flux transport in stars.Comment: 41 pages, 7 figures. Invited review chapter on on magnetic field generation in stars to appear in Space Science Reviews, Springe

Impacto da adubação orgânica sobre a incidência de tripes em cebola.

Analisou-se a relação entre adubação orgânica e a incidência de Thrips tabaci Lind. em cebola (Allium cepa L), na EE de Ituporanga,entre agosto e dezembro de 1998. Os tratamentos foram determinados de acordo com a necessidade de N para a cultura pela análise de solo. Empregou-se como fonte orgânica diversos adubos fornecendo 75 Kg/ha de N (esterco suíno; adubo Barriga Verde proveniente de esterco de aves; composto orgânico; esterco de peru; húmus); 37,5 Kg/ha de N (metade da dose normal com esterco de suíno); as testemunhas foram adubação mineral fornecendo 30-120-60 kg/ha de N-P2O5-K2O e o dobro da dose (60-240-120 kg/ha de N-P2O5-K2O); e testemunha sem adubação. Nenhum tratamento apresentou incidência de T. tabaci superior à testemunha sem adubo. A adubação mineral em relação à orgânica não favoreceu significativamente a incidência de T. tabaci . O processo de conversão do manejo do solo da área experimental de convencional para orgânico pode ter favorecido a infestação similar do inseto entre tratamentos. No período de maior incidência de T. tabaci, a relação com nutrientes foi descrita por um modelo envolvendo K/Zn, B e N de maneira positiva. A correlação entre nutrientes e T. tabaci não foi linear na maioria das avaliações. A adubação orgânica pode substituir a adubação mineral na cultura da cebola, pois foi possível atingir níveis de produtividade similares para ambos tratamentos

Physical activity attenuates the influence of FTO variants on obesity risk: A meta-analysis of 218,166 adults and 19,268 children

Background: The FTO gene harbors the strongest known susceptibility locus for obesity. While many individual studies have suggested that physical activity (PA) may attenuate the effect of FTO on obesity risk, other studies have not been able to confirm this interaction. To confirm or refute unambiguously whether PA attenuates the association of FTO with obesity risk, we meta-analyzed data from 45 studies of adults (n = 218,166) and nine studies of children and adolescents (n = 19,268). Methods and Findings: All studies identified to have data on the FTO rs9939609 variant (or any proxy [r2>0.8]) and PA were invited to participate, regardless of ethnicity or age of the participants. PA was standardized by categorizing it into a dichotomous variable (physically inactive versus active) in each study. Overall, 25% of adults and 13% of children were categorized as inactive. Interaction analyses were performed within each study by including the FTO×PA interaction term in an additive model, adjusting for age and sex. Subsequently, random effects meta-analysis was used to pool the interaction terms. In adults, the minor (A-) allele of rs9939609 increased the odds of obesity by 1.23-fold/allele (95% CI 1.20-1.26), but PA attenuated this effect (pinteraction= 0.001). More specifically, the minor allele of rs9939609 increased the odds of obesity less in the physically active group (odds ratio = 1.22/allele, 95% CI 1.19-1.25) than in the inactive group (odds ratio = 1.30/allele, 95% CI 1.24-1.36). No such interaction was found in children and adolescents. Concl