Semantics and Proof Theory of the Epsilon Calculus

The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other. One significant early result for the original axiomatic proof system for the epsilon-calculus is the first epsilon theorem, for which a proof is sketched. The system itself is discussed, also relative to possible semantic interpretations. The problems facing the development of proof-theoretically well-behaved systems are outlined.Comment: arXiv admin note: substantial text overlap with arXiv:1411.362

Biodiversity modelling in practice - predicting bird and woody plant species richness on farmlands

In light of decreasing species richness on farmland and an increasing awareness of biodiversity issues among customers and food companies, concepts and models to evaluate and enhance farmland biodiversity are greatly needed. It is important that the models are easy to apply as they have to be utilized by practitioners such as farmers and their consultants. In this study, simple but valid predictors were identified to rapidly assess the species richness of birds and woody plants in hedgerows, an important farmland landscape element. Hedgerows were sampled in seven agricultural landscapes throughout Germany. By means of automatic model selection procedures, linear regression models were estimated to predict bird and woody plant species richness. Cross validation procedures were carried out in order to visualize model selection uncertainty and estimate the prediction error. Due to a rather high prediction error, the model for plants can only be recommended for use when field work is not feasible. The model for birds, however, explained 70.8% of the variance in species numbers. It may help farmers, food companies and nature conservation agencies to rapidly evaluate bird species richness in hedgerows on farmland and to identify potentials and appropriate measures for enhancing it

Identification of a Novel Calotropis procera Protein That Can Suppress Tumor Growth in Breast Cancer through the Suppression of NF-κB Pathway

10.1371/journal.pone.0048514PLoS ONE712

Mammographic density and risk of breast cancer by age and tumor characteristics

Introduction: Understanding whether mammographic density (MD) is associated with all breast tumor subtypes and whether the strength of association varies by age is important for utilizing MD in risk models. Methods: Data were pooled from six studies including 3414 women with breast cancer and 7199 without who underwent screening mammography. Percent MD was assessed from digitized film-screen mammograms using a computer-assisted threshold technique. We used polytomous logistic regression to calculate breast cancer odds according to tumor type, histopathological characteristics, and receptor (estrogen receptor (ER), progesterone receptor (PR), human epidermal growth factor receptor (HER2)) status by age (51%) versus average density (11-25%). Women ages 2.1 cm) versus small tumors and positive versus negative lymph node status (P’s < 0.01). For women ages <55 years, there was a stronger association of MD with ER-negative breast cancer than ER-positive tumors compared to women ages 55–64 and ≥65 years (Page-interaction = 0.04). MD was positively associated with both HER2-negative and HER2-positive tumors within each age group. Conclusion: MD is strongly associated with all breast cancer subtypes, but particularly tumors of large size and positive lymph nodes across all ages, and ER-negative status among women ages <55 years, suggesting high MD may play an important role in tumor aggressiveness, especially in younger women

Novel Associations between Common Breast Cancer Susceptibility Variants and Risk-Predicting Mammographic Density Measures.

Mammographic density measures adjusted for age and body mass index (BMI) are heritable predictors of breast cancer risk, but few mammographic density-associated genetic variants have been identified. Using data for 10,727 women from two international consortia, we estimated associations between 77 common breast cancer susceptibility variants and absolute dense area, percent dense area and absolute nondense area adjusted for study, age, and BMI using mixed linear modeling. We found strong support for established associations between rs10995190 (in the region of ZNF365), rs2046210 (ESR1), and rs3817198 (LSP1) and adjusted absolute and percent dense areas (all P < 10(-5)). Of 41 recently discovered breast cancer susceptibility variants, associations were found between rs1432679 (EBF1), rs17817449 (MIR1972-2: FTO), rs12710696 (2p24.1), and rs3757318 (ESR1) and adjusted absolute and percent dense areas, respectively. There were associations between rs6001930 (MKL1) and both adjusted absolute dense and nondense areas, and between rs17356907 (NTN4) and adjusted absolute nondense area. Trends in all but two associations were consistent with those for breast cancer risk. Results suggested that 18% of breast cancer susceptibility variants were associated with at least one mammographic density measure. Genetic variants at multiple loci were associated with both breast cancer risk and the mammographic density measures. Further understanding of the underlying mechanisms at these loci could help identify etiologic pathways implicated in how mammographic density predicts breast cancer risk.ABCFS: The Australian Breast Cancer Family Registry (ABCFR; 1992-1995) was supported by the Australian NHMRC, the New South Wales Cancer Council, and the Victorian Health Promotion Foundation (Australia), and by grant UM1CA164920 from the USA National Cancer Institute. The Genetic Epidemiology Laboratory at the University of Melbourne has also received generous support from Mr B. Hovey and Dr and Mrs R.W. Brown to whom we are most grateful. The content of this manuscript does not necessarily reflect the views or policies of the National Cancer Institute or any of the collaborating centers in the Breast Breast Cancer Susceptibility Variants and Mammographic Density 5 Cancer Family Registry (BCFR), nor does mention of trade names, commercial products, or organizations imply endorsement by the USA Government or the BCFR. BBCC: This study was funded in part by the ELAN-Program of the University Hospital Erlangen; Katharina Heusinger was funded by the ELAN program of the University Hospital Erlangen. BBCC was supported in part by the ELAN program of the Medical Faculty, University Hospital Erlangen, Friedrich-Alexander University Erlangen-Nuremberg. EPIC-Norfolk: This study was funded by research programme grant funding from Cancer Research UK and the Medical Research Council with additional support from the Stroke Association, British Heart Foundation, Department of Health, Research into Ageing and Academy of Medical Sciences. MCBCS: This study was supported by Public Health Service Grants P50 CA 116201, R01 CA 128931, R01 CA 128931-S01, R01 CA 122340, CCSG P30 CA15083, from the National Cancer Institute, National Institutes of Health, and Department of Health and Human Services. MCCS: Melissa C. Southey is a National Health and Medical Research Council Senior Research Fellow and a Victorian Breast Cancer Research Consortium Group Leader. The study was supported by the Cancer Council of Victoria and by the Victorian Breast Cancer Research Consortium. MEC: National Cancer Institute: R37CA054281, R01CA063464, R01CA085265, R25CA090956, R01CA132839. MMHS: This work was supported by grants from the National Cancer Institute, National Institutes of Health, and Department of Health and Human Services. (R01 CA128931, R01 CA 128931-S01, R01 CA97396, P50 CA116201, and Cancer Center Support Grant P30 CA15083). Breast Cancer Susceptibility Variants and Mammographic Density 6 NBCS: This study has been supported with grants from Norwegian Research Council (#183621/S10 and #175240/S10), The Norwegian Cancer Society (PK80108002, PK60287003), and The Radium Hospital Foundation as well as S-02036 from South Eastern Norway Regional Health Authority. NHS: This study was supported by Public Health Service Grants CA131332, CA087969, CA089393, CA049449, CA98233, CA128931, CA 116201, CA 122340 from the National Cancer Institute, National Institutes of Health, Department of Health and Human Services. OOA study was supported by CA122822 and X01 HG005954 from the NIH; Breast Cancer Research Fund; Elizabeth C. Crosby Research Award, Gladys E. Davis Endowed Fund, and the Office of the Vice President for Research at the University of Michigan. Genotyping services for the OOA study were provided by the Center for Inherited Disease Research (CIDR), which is fully funded through a federal contract from the National Institutes of Health to The Johns Hopkins University, contract number HHSN268200782096. OFBCR: This work was supported by grant UM1 CA164920 from the USA National Cancer Institute. The content of this manuscript does not necessarily reflect the views or policies of the National Cancer Institute or any of the collaborating centers in the Breast Cancer Family Registry (BCFR), nor does mention of trade names, commercial products, or organizations imply endorsement by the USA Government or the BCFR. SASBAC: The SASBAC study was supported by Märit and Hans Rausing’s Initiative against Breast Cancer, National Institutes of Health, Susan Komen Foundation and Agency for Science, Technology and Research of Singapore (A*STAR). Breast Cancer Susceptibility Variants and Mammographic Density 7 SIBS: SIBS was supported by program grant C1287/A10118 and project grants from Cancer Research UK (grant numbers C1287/8459). COGS grant: Collaborative Oncological Gene-environment Study (COGS) that enabled the genotyping for this study. Funding for the BCAC component is provided by grants from the EU FP7 programme (COGS) and from Cancer Research UK. Funding for the iCOGS infrastructure came from: the European Community's Seventh Framework Programme under grant agreement n° 223175 (HEALTH-F2-2009-223175) (COGS), Cancer Research UK (C1287/A10118, C1287/A 10710, C12292/A11174, C1281/A12014, C5047/A8384, C5047/A15007, C5047/A10692), the National Institutes of Health (CA128978) and Post- Cancer GWAS initiative (1U19 CA148537, 1U19 CA148065 and 1U19 CA148112 - the GAMEON initiative), the Department of Defence (W81XWH-10-1-0341), the Canadian Institutes of Health Research (CIHR) for the CIHR Team in Familial Risks of Breast Cancer, Komen Foundation for the Cure, the Breast Cancer Research Foundation, and the Ovarian Cancer Research Fund.This is the author accepted manuscript. The final version is available via American Association for Cancer Research at http://cancerres.aacrjournals.org/content/early/2015/04/10/0008-5472.CAN-14-2012.abstract

Assessing interactions between the associations of common genetic susceptibility variants, reproductive history and body mass index with breast cancer risk in the breast cancer association consortium: a combined case-control study.

INTRODUCTION: Several common breast cancer genetic susceptibility variants have recently been identified. We aimed to determine how these variants combine with a subset of other known risk factors to influence breast cancer risk in white women of European ancestry using case-control studies participating in the Breast Cancer Association Consortium. METHODS: We evaluated two-way interactions between each of age at menarche, ever having had a live birth, number of live births, age at first birth and body mass index (BMI) and each of 12 single nucleotide polymorphisms (SNPs) (10q26-rs2981582 (FGFR2), 8q24-rs13281615, 11p15-rs3817198 (LSP1), 5q11-rs889312 (MAP3K1), 16q12-rs3803662 (TOX3), 2q35-rs13387042, 5p12-rs10941679 (MRPS30), 17q23-rs6504950 (COX11), 3p24-rs4973768 (SLC4A7), CASP8-rs17468277, TGFB1-rs1982073 and ESR1-rs3020314). Interactions were tested for by fitting logistic regression models including per-allele and linear trend main effects for SNPs and risk factors, respectively, and single-parameter interaction terms for linear departure from independent multiplicative effects. RESULTS: These analyses were applied to data for up to 26,349 invasive breast cancer cases and up to 32,208 controls from 21 case-control studies. No statistical evidence of interaction was observed beyond that expected by chance. Analyses were repeated using data from 11 population-based studies, and results were very similar. CONCLUSIONS: The relative risks for breast cancer associated with the common susceptibility variants identified to date do not appear to vary across women with different reproductive histories or body mass index (BMI). The assumption of multiplicative combined effects for these established genetic and other risk factors in risk prediction models appears justified.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Strategies for blocking the fibrogenic actions of connective tissue growth factor (CCN2): From pharmacological inhibition in vitro to targeted siRNA therapy in vivo

Connective tissue growth factor (CCN2) is a major pro-fibrotic factor that frequently acts downstream of transforming growth factor beta (TGF-β)-mediated fibrogenic pathways. Much of our knowledge of CCN2 in fibrosis has come from studies in which its production or activity have been experimentally attenuated. These studies, performed both in vitro and in animal models, have demonstrated the utility of pharmacological inhibitors (e.g. tumor necrosis factor alpha (TNF-α), prostaglandins, peroxisome proliferator-activated receptor-gamma (PPAR-γ) agonists, statins, kinase inhibitors), neutralizing antibodies, antisense oligonucleotides, or small interfering RNA (siRNA) to probe the role of CCN2 in fibrogenic pathways. These investigations have allowed the mechanisms regulating CCN2 production to be more clearly defined, have shown that CCN2 is a rational anti-fibrotic target, and have established a framework for developing effective modalities of therapeutic intervention in vivo