Comparison of the Oxidation State of Fe in Comet 81P/Wild 2 and Chondritic-Porous Interplanetary Dust Particles

The fragile structure of chondritic-porous interplanetary dust particles (CP- IDPs) and their minimal parent-body alteration have led researchers to believe these particles originate in comets rather than asteroids where aqueous and thermal alteration have occurred. The solar elemental abundances and atmospheric entry speed of CP-IDPs also suggest a cometary origin. With the return of the Stardust samples from Jupiter-family comet 81P/Wild 2, this hypothesis can be tested. We have measured the Fe oxidation state of 15 CP-IDPs and 194 Stardust fragments using a synchrotron-based x-ray microprobe. We analyzed ~300 nanograms of Wild 2 material - three orders of magnitude more material than other analyses comparing Wild 2 and CP-IDPs. The Fe oxidation state of these two samples of material are >2{\sigma} different: the CP-IDPs are more oxidized than the Wild 2 grains. We conclude that comet Wild 2 contains material that formed at a lower oxygen fugacity than the parent body, or parent bodies, of CP-IDPs. If all Jupiter-family comets are similar, they do not appear to be consistent with the origin of CP-IDPs. However, comets that formed from a different mix of nebular material and are more oxidized than Wild 2 could be the source of CP-IDPs.Comment: Earth and Planetary Science Letters, in pres

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

Mendelian randomisation study of height and body mass index as modifiers of ovarian cancer risk in 22,588 BRCA1 and BRCA2 mutation carriers

Item does not contain fulltextBACKGROUND: Height and body mass index (BMI) are associated with higher ovarian cancer risk in the general population, but whether such associations exist among BRCA1/2 mutation carriers is unknown. METHODS: We applied a Mendelian randomisation approach to examine height/BMI with ovarian cancer risk using the Consortium of Investigators for the Modifiers of BRCA1/2 (CIMBA) data set, comprising 14,676 BRCA1 and 7912 BRCA2 mutation carriers, with 2923 ovarian cancer cases. We created a height genetic score (height-GS) using 586 height-associated variants and a BMI genetic score (BMI-GS) using 93 BMI-associated variants. Associations were assessed using weighted Cox models. RESULTS: Observed height was not associated with ovarian cancer risk (hazard ratio [HR]: 1.07 per 10-cm increase in height, 95% confidence interval [CI]: 0.94-1.23). Height-GS showed similar results (HR = 1.02, 95% CI: 0.85-1.23). Higher BMI was significantly associated with increased risk in premenopausal women with HR = 1.25 (95% CI: 1.06-1.48) and HR = 1.59 (95% CI: 1.08-2.33) per 5-kg/m(2) increase in observed and genetically determined BMI, respectively. No association was found for postmenopausal women. Interaction between menopausal status and BMI was significant (Pinteraction < 0.05). CONCLUSION: Our observation of a positive association between BMI and ovarian cancer risk in premenopausal BRCA1/2 mutation carriers is consistent with findings in the general population

Avaliação da qualidade de vida, da dor nas costas, da funcionalidade e de alterações da coluna vertebral de estudantes de fisioterapia

O objetivo deste estudo foi avaliar a qualidade de vida, dor nas costas, funcionalidade e as alterações da coluna vertebral de estudantes de fisioterapia. Participaram 42 universitários, sendo avaliada a coluna vertebral por meio do arcômetro, a dor nas costas por meio de um questionário multidimensional de dor, a qualidade de vida por meio do questionário SF-36 e funcionalidade a partir do Roland-Morris. Foi realizada estatística descritiva e teste qui-quadrado (α=0,05). Os resultados demonstraram: prevalência de alterações nas curvaturas da coluna vertebral de 38,1%; (n=16); alta prevalência de dor nas costas (69%; n=29); baixa prevalência de comprometimento da funcionalidade (3,4%; n=1); que não há associação entre as alterações nas curvaturas da coluna vertebral e funcionalidade e dor nas costas; e que os escores dos domínios do SF-36 foram maiores que 45, exceto o domínio "dor", cujo escore aproximado foi de 35. Conclui-se que quanto menor os níveis de intensidade da dor melhor o nível de qualidade de vida

Genome-Wide Association Study in BRCA1 Mutation Carriers Identifies Novel Loci Associated with Breast and Ovarian Cancer Risk

BRCA1-associated breast and ovarian cancer risks can be modified by common genetic variants. To identify further cancer risk-modifying loci, we performed a multi-stage GWAS of 11,705 BRCA1 carriers (of whom 5,920 were diagnosed with breast and 1,839 were diagnosed with ovarian cancer), with a further replication in an additional sample of 2,646 BRCA1 carriers. We identified a novel breast cancer risk modifier locus at 1q32 for BRCA1 carriers (rs2290854, P = 2.7×10-8, HR = 1.14, 95% CI: 1.09-1.20). In addition, we identified two novel ovarian cancer risk modifier loci: 17q21.31 (rs17631303, P = 1.4×10-8, HR = 1.27, 95% CI: 1.17-1.38) and 4q32.3 (rs4691139, P = 3.4×10-8, HR = 1.20, 95% CI: 1.17-1.38). The 4q32.3 locus was not associated with ovarian cancer risk in the general population or BRCA2 carriers, suggesting a BRCA1-specific associat

Functional mechanisms underlying pleiotropic risk alleles at the 19p13.1 breast-ovarian cancer susceptibility locus

A locus at 19p13 is associated with breast cancer (BC) and ovarian cancer (OC) risk. Here we analyse 438 SNPs in this region in 46,451 BC and 15,438 OC cases, 15,252 BRCA1 mutation carriers and 73,444 controls and identify 13 candidate causal SNPs associated with serous OC (P=9.2 × 10-20), ER-negative BC (P=1.1 × 10-13), BRCA1-associated BC (P=7.7 × 10-16) and triple negative BC (P-diff=2 × 10-5). Genotype-gene expression associations are identified for candidate target genes ANKLE1 (P=2 × 10-3) and ABHD8 (P<2 × 10-3). Chromosome conformation capture identifies interactions between four candidate SNPs and ABHD8, and luciferase assays indicate six risk alleles increased transactivation of the ADHD8 promoter. Targeted deletion of a region containing risk SNP rs56069439 in a putative enhancer induces ANKLE1 downregulation; and mRNA stability assays indicate functional effects for an ANKLE1 3′-UTR SNP. Altogether, these data suggest that multiple SNPs at 19p13 regulate ABHD8 and perhaps ANKLE1 expression, and indicate common mechanisms underlying breast and ovarian cancer risk