Completeness and Decidability Results for First-order Clauses with Indices

Session: Inference systems (www.cl.cam.ac.uk/~gp351/cade24)International audienceWe define a proof procedure that allows for a limited form of inductive reasoning. The first argument of a function symbol is allowed to belong to an inductive type. We will call such an argument an index. We enhance the standard superposition calculus with a loop detection rule, in order to encode a particular form of mathematical induction. The satisfiability problem is not semi-decidable, but some classes of clause sets are identified for which the proposed procedure is complete and/or terminating

Four cycles of paclitaxel and carboplatin as adjuvant treatment in early-stage ovarian cancer: a six-year experience of the Hellenic Cooperative Oncology Group

BACKGROUND: Surgery can cure a significant percentage of ovarian carcinoma confined to the pelvis. Nevertheless, there is still a 10–50% recurrence rate. We administered paclitaxel/carboplatin as adjuvant treatment in early-stage ovarian carcinoma. METHODS: Patients with stages Ia or Ib, Grade 2 or 3 and Ic to IIb (any grade) were included. Patients were treated with 4 cycles of Paclitaxel 175 mg/m(2 )and Carboplatin [area under the curve (AUC) 6 (Calvert Formula)] every 3 weeks. RESULTS: Sixty-nine patients with no residual disease following cytoreductive surgery and minimal or modified surgical staging were included in this analysis. Grade 3 or 4 neutropenia occured in 29.9% of patients, while neutropenic fever was reported in 4.5%. Neurotoxicity (all Grade 1 or 2) was reported in 50% of cases. Median follow-up was 62 months. 5-year overall survival (OS) and relapse-free survival (RFS) were: 87% (95% confidence intervals [CI]: 78–96) and 79% (95% CI: 69–89), respectively. Significantly fewer patients with stages Ic-IIb and tumor grade 2 or 3 achieved a 5-year RFS than patients with only one of these two factors (73% vs 92%, p = 0.03). CONCLUSION: Paclitaxel/Carboplatin chemotherapy is a safe and effective adjuvant treatment in early-stage ovarian carcinoma. Patients with stages Ic-IIb and tumor grade 2 or 3 may benefit from more extensive treatment

A multicenter phase III trial comparing irinotecan-gemcitabine (IG) with gemcitabine (G) monotherapy as first-line treatment in patients with locally advanced or metastatic pancreatic cancer

Our purpose was to determine the response rate and median and overall survival of gemcitabine as monotherapy versus gemcitabine plus irinotecan in advanced or metastatic pancreatic cancer. Patients with histologically or cytologically confirmed adenocarcinoma who were chemotherapy and radiotherapy naive were enrolled. Patients were centrally randomised at a one-to-one ratio to receive either gemcitabine monotherapy (900 mg m−2 on days 1, 8 and 15 every 4 weeks (arm G), or gemcitabine (days 1 and 8) plus irinotecan (300 mg m−2 on day 8) (arm IG), repeated every 3 weeks. The total number of cycles administered was 255 in the IG arm and 245 in the G arm; the median number of cycles was 3. In all, 145 patients (71 in arm IG and 74 in arm G) were enrolled; 60 and 70 patients from arms IG and G, respectively, were evaluable. A complete clinical response was achieved in three (4.3%) arm G patients; nine (15%) patients in arm IG and four (5.7%) in arm G achieved a partial response. The overall response rate was: arm IG 15% and arm G 10% (95% CI 5.96–24.04 and 95% CI 2.97–17.03, respectively; P=0.387). The median time to tumour progression was 2.8 months and 2.9 months and median survival time was 6.4 and 6.5 months for the IG and G arms, respectively. One-year survival was 24.3% for the IG arm and 21.8% for the G arm. No statistically significant difference was observed comparing gemcitabine monotherapy versus gemcitabine plus irinotecan in the treatment of advanced pancreatic cancer, with respect to overall and 1-year survival

Polygenic risk modeling for prediction of epithelial ovarian cancer risk

Polygenic risk scores (PRS) for epithelial ovarian cancer (EOC) have the potential to improve risk stratification. Joint estimation of Single Nucleotide Polymorphism (SNP) effects in models could improve predictive performance over standard approaches of PRS construction. Here, we implemented computationally efficient, penalized, logistic regression models (lasso, elastic net, stepwise) to individual level genotype data and a Bayesian framework with continuous shrinkage, "select and shrink for summary statistics" (S4), to summary level data for epithelial non-mucinous ovarian cancer risk prediction. We developed the models in a dataset consisting of 23,564 non-mucinous EOC cases and 40,138 controls participating in the Ovarian Cancer Association Consortium (OCAC) and validated the best models in three populations of different ancestries: prospective data from 198,101 women of European ancestries; 7,669 women of East Asian ancestries; 1,072 women of African ancestries, and in 18,915 BRCA1 and 12,337 BRCA2 pathogenic variant carriers of European ancestries. In the external validation data, the model with the strongest association for non-mucinous EOC risk derived from the OCAC model development data was the S4 model (27,240 SNPs) with odds ratios (OR) of 1.38 (95% CI: 1.28-1.48, AUC: 0.588) per unit standard deviation, in women of European ancestries; 1.14 (95% CI: 1.08-1.19, AUC: 0.538) in women of East Asian ancestries; 1.38 (95% CI: 1.21-1.58, AUC: 0.593) in women of African ancestries; hazard ratios of 1.36 (95% CI: 1.29-1.43, AUC: 0.592) in BRCA1 pathogenic variant carriers and 1.49 (95% CI: 1.35-1.64, AUC: 0.624) in BRCA2 pathogenic variant carriers. Incorporation of the S4 PRS in risk prediction models for ovarian cancer may have clinical utility in ovarian cancer prevention programs

Association between adolescent idiopathic scoliosis prevalence and age at menarche in different geographic latitudes

BACKGROUND: Age at menarche is considered a reliable prognostic factor for idiopathic scoliosis and varies in different geographic latitudes. Adolescent idiopathic scoliosis prevalence has also been reported to be different in various latitudes and demonstrates higher values in northern countries. A study on epidemiological reports from the literature was conducted to investigate a possible association between prevalence of adolescent idiopathic scoliosis and age at menarche among normal girls in various geographic latitudes. An attempt is also made to implicate a possible role of melatonin in the above association. MATERIAL-METHODS: 20 peer-reviewed published papers reporting adolescent idiopathic scoliosis prevalence and 33 peer-reviewed papers reporting age at menarche in normal girls from most geographic areas of the northern hemisphere were retrieved from the literature. The geographic latitude of each centre where a particular study was originated was documented. The statistical analysis included regression of the adolescent idiopathic scoliosis prevalence and age at menarche by latitude. RESULTS: The regression of prevalence of adolescent idiopathic scoliosis and age at menarche by latitude is statistically significant (p < 0.001) and are following a parallel declining course of their regression curves, especially in latitudes northern than 25 degrees. CONCLUSION: Late age at menarche is parallel with higher prevalence of adolescent idiopathic scoliosis. Pubarche appears later in girls that live in northern latitudes and thus prolongs the period of spine vulnerability while other pre-existing or aetiological factors are contributing to the development of adolescent idiopathic scoliosis. A possible role of geography in the pathogenesis of idiopathic scoliosis is discussed, as it appears that latitude which differentiates the sunlight influences melatonin secretion and modifies age at menarche, which is associated to the prevalence of idiopathic scoliosis

Design concepts for the Cherenkov Telescope Array CTA: an advanced facility for ground-based high-energy gamma-ray astronomy

Ground-based gamma-ray astronomy has had a major breakthrough with the impressive results obtained using systems of imaging atmospheric Cherenkov telescopes. Ground-based gamma-ray astronomy has a huge potential in astrophysics, particle physics and cosmology. CTA is an international initiative to build the next generation instrument, with a factor of 5-10 improvement in sensitivity in the 100 GeV-10 TeV range and the extension to energies well below 100 GeV and above 100 TeV. CTA will consist of two arrays (one in the north, one in the south) for full sky coverage and will be operated as open observatory. The design of CTA is based on currently available technology. This document reports on the status and presents the major design concepts of CTA

Polygenic risk modeling for prediction of epithelial ovarian cancer risk

Polygenic risk scores (PRS) for epithelial ovarian cancer (EOC) have the potential to improve risk stratification. Joint estimation of Single Nucleotide Polymorphism (SNP) effects in models could improve predictive performance over standard approaches of PRS construction. Here, we implemented computationally efficient, penalized, logistic regression models (lasso, elastic net, stepwise) to individual level genotype data and a Bayesian framework with continuous shrinkage, "select and shrink for summary statistics" (S4), to summary level data for epithelial non-mucinous ovarian cancer risk prediction. We developed the models in a dataset consisting of 23,564 non-mucinous EOC cases and 40,138 controls participating in the Ovarian Cancer Association Consortium (OCAC) and validated the best models in three populations of different ancestries: prospective data from 198,101 women of European ancestries; 7,669 women of East Asian ancestries; 1,072 women of African ancestries, and in 18,915 BRCA1 and 12,337 BRCA2 pathogenic variant carriers of European ancestries. In the external validation data, the model with the strongest association for non-mucinous EOC risk derived from the OCAC model development data was the S4 model (27,240 SNPs) with odds ratios (OR) of 1.38 (95% CI: 1.28-1.48, AUC: 0.588) per unit standard deviation, in women of European ancestries; 1.14 (95% CI: 1.08-1.19, AUC: 0.538) in women of East Asian ancestries; 1.38 (95% CI: 1.21-1.58, AUC: 0.593) in women of African ancestries; hazard ratios of 1.36 (95% CI: 1.29-1.43, AUC: 0.592) in BRCA1 pathogenic variant carriers and 1.49 (95% CI: 1.35-1.64, AUC: 0.624) in BRCA2 pathogenic variant carriers. Incorporation of the S4 PRS in risk prediction models for ovarian cancer may have clinical utility in ovarian cancer prevention programs