AC-KBO Revisited

Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful version, and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in standard Knuth-Bendix orders is also given. The various orders are compared on problems in termination and completion.Comment: 31 pages, To appear in Theory and Practice of Logic Programming (TPLP) special issue for the 12th International Symposium on Functional and Logic Programming (FLOPS 2014

Circulating tumor DNA guided adjuvant chemotherapy in stage II colon cancer (MEDOCC-CrEATE):study protocol for a trial within a cohort study

BACKGROUND: Accurate detection of patients with minimal residual disease (MRD) after surgery for stage II colon cancer (CC) remains an urgent unmet clinical need to improve selection of patients who might benefit form adjuvant chemotherapy (ACT). Presence of circulating tumor DNA (ctDNA) is indicative for MRD and has high predictive value for recurrent disease. The MEDOCC-CrEATE trial investigates how many stage II CC patients with detectable ctDNA after surgery will accept ACT and whether ACT reduces the risk of recurrence in these patients. METHODS/DESIGN: MEDOCC-CrEATE follows the 'trial within cohorts' (TwiCs) design. Patients with colorectal cancer (CRC) are included in the Prospective Dutch ColoRectal Cancer cohort (PLCRC) and give informed consent for collection of clinical data, tissue and blood samples, and consent for future randomization. MEDOCC-CrEATE is a subcohort within PLCRC consisting of 1320 stage II CC patients without indication for ACT according to current guidelines, who are randomized 1:1 into an experimental and a control arm. In the experimental arm, post-surgery blood samples and tissue are analyzed for tissue-informed detection of plasma ctDNA, using the PGDx elio™ platform. Patients with detectable ctDNA will be offered ACT consisting of 8 cycles of capecitabine plus oxaliplatin while patients without detectable ctDNA and patients in the control group will standard follow-up according to guideline. The primary endpoint is the proportion of patients receiving ACT when ctDNA is detectable after resection. The main secondary outcome is 2-year recurrence rate (RR), but also includes 5-year RR, disease free survival, overall survival, time to recurrence, quality of life and cost-effectiveness. Data will be analyzed by intention to treat. DISCUSSION: The MEDOCC-CrEATE trial will provide insight into the willingness of stage II CC patients to be treated with ACT guided by ctDNA biomarker testing and whether ACT will prevent recurrences in a high-risk population. Use of the TwiCs design provides the opportunity to randomize patients before ctDNA measurement, avoiding ethical dilemmas of ctDNA status disclosure in the control group. TRIAL REGISTRATION: Netherlands Trial Register: NL6281/NTR6455 . Registered 18 May 2017, https://www.trialregister.nl/trial/6281

A deletion at Adamts9-magi1 Locus is associated with psoriatic arthritis risk

Objective: Copy number variants (CNVs) have been associated with the risk to develop multiple autoimmune diseases. Our objective was to identify CNVs associated with the risk to develop psoriatic arthritis (PsA) using a genome-wide analysis approach. Methods: A total of 835 patients with PsA and 1498 healthy controls were genotyped for CNVs using the Illumina HumanHap610 BeadChip genotyping platform. Genomic CNVs were characterised using CNstream analysis software and analysed for association using the χ2 test. The most significant genomic CNV associations with PsA risk were independently tested in a validation sample of 1133 patients with PsA and 1831 healthy controls. In order to test for the specificity of the variants with PsA aetiology, we also analysed the association to a cohort of 822 patients with purely cutaneous psoriasis (PsC). Results: A total of 165 common CNVs were identified in the genome-wide analysis. We found a highly significant association of an intergenic deletion between ADAMTS9 and MAGI1 genes on chromosome 3p14.1 (p=0.00014). Using the independent patient and control cohort, we validated the association between ADAMTS9-MAGI1 deletion and PsA risk (p=0.032). Using next-generation sequencing, we characterised the 26 kb associated deletion. Finally, analysing the PsC cohort we found a lower frequency of the deletion compared with the PsA cohort (p=0.0088) and a similar frequency to that of healthy controls (p>0.3). Conclusions: The present genome-wide scan for CNVs associated with PsA risk has identified a new deletion associated with disease risk and which is also differential from PsC risk

Genome-wide association analysis of dementia and its clinical endophenotypes reveal novel loci associated with Alzheimer's disease and three causality networks : The GR@ACE project

Introduction: Large variability among Alzheimer's disease (AD) cases might impact genetic discoveries and complicate dissection of underlying biological pathways. Methods: Genome Research at Fundacio ACE (GR@ACE) is a genome-wide study of dementia and its clinical endophenotypes, defined based on AD's clinical certainty and vascular burden. We assessed the impact of known AD loci across endophenotypes to generate loci categories. We incorporated gene coexpression data and conducted pathway analysis per category. Finally, to evaluate the effect of heterogeneity in genetic studies, GR@ACE series were meta-analyzed with additional genome-wide association study data sets. Results: We classified known AD loci into three categories, which might reflect the disease clinical heterogeneity. Vascular processes were only detected as a causal mechanism in probable AD. The meta-analysis strategy revealed the ANKRD31-rs4704171 and NDUFAF6-rs10098778 and confirmed SCIMP-rs7225151 and CD33-rs3865444. Discussion: The regulation of vasculature is a prominent causal component of probable AD. GR@ACE meta-analysis revealed novel AD genetic signals, strongly driven by the presence of clinical heterogeneity in the AD series

Complement component C4 structural variation and quantitative traits contribute to sex-biased vulnerability in systemic sclerosis

Altres ajuts: Fondo Europeo de Desarrollo Regional (FEDER), "A way of making Europe".Copy number (CN) polymorphisms of complement C4 play distinct roles in many conditions, including immune-mediated diseases. We investigated the association of C4 CN with systemic sclerosis (SSc) risk. Imputed total C4, C4A, C4B, and HERV-K CN were analyzed in 26,633 individuals and validated in an independent cohort. Our results showed that higher C4 CN confers protection to SSc, and deviations from CN parity of C4A and C4B augmented risk. The protection contributed per copy of C4A and C4B differed by sex. Stronger protection was afforded by C4A in men and by C4B in women. C4 CN correlated well with its gene expression and serum protein levels, and less C4 was detected for both in SSc patients. Conditioned analysis suggests that C4 genetics strongly contributes to the SSc association within the major histocompatibility complex locus and highlights classical alleles and amino acid variants of HLA-DRB1 and HLA-DPB1 as C4-independent signals

Global Retinoblastoma Presentation and Analysis by National Income Level.

Importance: Early diagnosis of retinoblastoma, the most common intraocular cancer, can save both a child's life and vision. However, anecdotal evidence suggests that many children across the world are diagnosed late. To our knowledge, the clinical presentation of retinoblastoma has never been assessed on a global scale. Objectives: To report the retinoblastoma stage at diagnosis in patients across the world during a single year, to investigate associations between clinical variables and national income level, and to investigate risk factors for advanced disease at diagnosis. Design, Setting, and Participants: A total of 278 retinoblastoma treatment centers were recruited from June 2017 through December 2018 to participate in a cross-sectional analysis of treatment-naive patients with retinoblastoma who were diagnosed in 2017. Main Outcomes and Measures: Age at presentation, proportion of familial history of retinoblastoma, and tumor stage and metastasis. Results: The cohort included 4351 new patients from 153 countries; the median age at diagnosis was 30.5 (interquartile range, 18.3-45.9) months, and 1976 patients (45.4%) were female. Most patients (n = 3685 [84.7%]) were from low- and middle-income countries (LMICs). Globally, the most common indication for referral was leukocoria (n = 2638 [62.8%]), followed by strabismus (n = 429 [10.2%]) and proptosis (n = 309 [7.4%]). Patients from high-income countries (HICs) were diagnosed at a median age of 14.1 months, with 656 of 666 (98.5%) patients having intraocular retinoblastoma and 2 (0.3%) having metastasis. Patients from low-income countries were diagnosed at a median age of 30.5 months, with 256 of 521 (49.1%) having extraocular retinoblastoma and 94 of 498 (18.9%) having metastasis. Lower national income level was associated with older presentation age, higher proportion of locally advanced disease and distant metastasis, and smaller proportion of familial history of retinoblastoma. Advanced disease at diagnosis was more common in LMICs even after adjusting for age (odds ratio for low-income countries vs upper-middle-income countries and HICs, 17.92 [95% CI, 12.94-24.80], and for lower-middle-income countries vs upper-middle-income countries and HICs, 5.74 [95% CI, 4.30-7.68]). Conclusions and Relevance: This study is estimated to have included more than half of all new retinoblastoma cases worldwide in 2017. Children from LMICs, where the main global retinoblastoma burden lies, presented at an older age with more advanced disease and demonstrated a smaller proportion of familial history of retinoblastoma, likely because many do not reach a childbearing age. Given that retinoblastoma is curable, these data are concerning and mandate intervention at national and international levels. Further studies are needed to investigate factors, other than age at presentation, that may be associated with advanced disease in LMICs

SEOM clinical guidelines for cervical cancer (2019).

Cervical cancer (CC) is the fourth most common cancer in women worldwide, strongly linked to high-risk human papilloma virus infection. In high-income countries, the screening programs have dramatically decreased the incidence of CC; however, the lack of accessibility to them in developing countries makes CC an important cause of mortality. Clinical stage is the most relevant prognostic factor in CC. The new FIGO staging system published in 2018 is more accurate than the previous one since it takes into account the lymph node status. In early stages, the primary treatment is surgery-with some concerns recently raised regarding minimally invasive surgery because it might decrease survival-or radiotherapy, whereas concomitant chemo-radiotherapy is the conventional approach in locally advanced stages. For recurrent or metastatic CC, the combination of chemotherapy plus bevacizumab is the preferred therapy. Immunotherapy approach based on checkpoint inhibitors is evolving as the election therapy following failure to platinum therapy

A multicenter clinical registry with associated biological samples of gynecological cancer patients: Pilot study of the Spanish Ovarian Cancer Research Group (GEICO 81-T)

Sin financiación32.976 JCR (2020) Q1, 7/242 Oncology7.954 SJR (2020) Q1, 2/129 HematologyNo data IDR 2020UE