Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Projections of the current and future disease burden of hepatitis C virus infection in Malaysia

The prevalence of hepatitis C virus (HCV) infection in Malaysia has been estimated at 2.5% of the adult population. Our objective, satisfying one of the directives of the WHO Framework for Global Action on Viral Hepatitis, was to forecast the HCV disease burden in Malaysia using modelling methods.An age-structured multi-state Markov model was developed to simulate the natural history of HCV infection. We tested three historical incidence scenarios that would give rise to the estimated prevalence in 2009, and calculated the incidence of cirrhosis, end-stage liver disease, and death, and disability-adjusted life-years (DALYs) under each scenario, to the year 2039. In the baseline scenario, current antiviral treatment levels were extended from 2014 to the end of the simulation period. To estimate the disease burden averted under current sustained virological response rates and treatment levels, the baseline scenario was compared to a counterfactual scenario in which no past or future treatment is assumed.In the baseline scenario, the projected disease burden for the year 2039 is 94,900 DALYs/year (95% credible interval (CrI): 77,100 to 124,500), with 2,002 (95% CrI: 1340 to 3040) and 540 (95% CrI: 251 to 1,030) individuals predicted to develop decompensated cirrhosis and hepatocellular carcinoma, respectively, in that year. Although current treatment practice is estimated to avert a cumulative total of 2,200 deaths from DC or HCC, a cumulative total of 63,900 HCV-related deaths is projected by 2039.The HCV-related disease burden is already high and is forecast to rise steeply over the coming decades under current levels of antiviral treatment. Increased governmental resources to improve HCV screening and treatment rates and to reduce transmission are essential to address the high projected HCV disease burden in Malaysia

Treatment of Hepatitis C as Prevention: A Modeling Case Study in Vietnam

Background: Treatment of hepatitis C (HCV) is very effective, achieving a cure in 50–90 % of patients. Besides its own good for individuals, this most likely translates in reduced transmission, but this phenomenon has yet to be fully explored. Methods and Findings: In this mathematical modeling study done in the context of Vietnam, we estimated the public health benefit that HCV therapy for injecting drug users (IDUs) may achieve. Treatment coverage of 25, 50 and 75 % of chronically HCV-infected IDUs (4 years into infection) is predicted to reduce the chronic HCV viremia prevalence respectively by 21, 37 and 50%, 11 years after full scale up to the intended coverage. At a constant 50 % coverage level, earlier treatment, 3, 2, and 1 year into infection is predicted to reduce the chronic HCV viremia prevalence by 46, 60 and 85%. In these later 3 scenarios, for every 100 treatment courses provided, a total of respectively 50, 61 and 94 new infections could be averted. These benefits were projected in the context of current low coverage of methadone maintenance therapy and needles/ syringes exchange programs, and these services expansion showed complementary preventive benefits to HCV therapy. The program treatment commitment associated with the various scenarios is deemed reasonable. Our model projections are robust under adjustment for uncertainty in the model parameter values. Conclusions: In this case study in Vietnam, we project that treatment of HCV for injecting drug users will have a preventative herd effect in addition to curing patients in need for therapy, achieving a substantial reduction in HCV transmission an

Cellular Radiosensitivity: How much better do we understand it?

Purpose: Ionizing radiation exposure gives rise to a variety of lesions in DNA that result in genetic instability and potentially tumorigenesis or cell death. Radiation extends its effects on DNA by direct interaction or by radiolysis of H2O that generates free radicals or aqueous electrons capable of interacting with and causing indirect damage to DNA. While the various lesions arising in DNA after radiation exposure can contribute to the mutagenising effects of this agent, the potentially most damaging lesion is the DNA double strand break (DSB) that contributes to genome instability and/or cell death. Thus in many cases failure to recognise and/or repair this lesion determines the radiosensitivity status of the cell. DNA repair mechanisms including homologous recombination (HR) and non-homologous end-joining (NHEJ) have evolved to protect cells against DNA DSB. Mutations in proteins that constitute these repair pathways are characterised by radiosensitivity and genome instability. Defects in a number of these proteins also give rise to genetic disorders that feature not only genetic instability but also immunodeficiency, cancer predisposition, neurodegeneration and other pathologies. Conclusions: In the past fifty years our understanding of the cellular response to radiation damage has advanced enormously with insight being gained from a wide range of approaches extending from more basic early studies to the sophisticated approaches used today. In this review we discuss our current understanding of the impact of radiation on the cell and the organism gained from the array of past and present studies and attempt to provide an explanation for what it is that determines the response to radiation

Incidence of reversible amenorrhea in women with breast cancer undergoing adjuvant anthracycline-based chemotherapy with or without docetaxel

<p>Abstract</p> <p>Background</p> <p>To determine the incidence of reversible amenorrhea in women with breast cancer undergoing adjuvant anthracycline-based chemotherapy with or without docetaxel.</p> <p>Methods</p> <p>We studied the incidence and duration of amenorrhea induced by two chemotherapy regimens: (i) 6 cycles of 5-fluorouracil 500 mg/m², epirubicin 100 mg/m²and cyclophosphamide 500 mg/m²on day 1 every 3 weeks (6FEC) and (ii) 3 cycles of FEC 100 followed by 3 cycles of docetaxel 100 mg/m²on day 1 every 3 weeks (3FEC/3D). Reversible amenorrhea was defined as recovery of regular menses and, where available (101 patients), premenopausal hormone values (luteinizing hormone (LH), follicle-stimulating hormone (FSH) and estradiol) in the year following the end of chemotherapy.</p> <p>Results</p> <p>One hundred and fifty-four premenopausal patients were included: 84 treated with 6FEC and 70 with 3FEC/3D. The median age was 43.5 years (range: 28–58) in the 6FEC arm and 44 years (range: 29–53) in the 3FEC/3D arm. Seventy-eight percent of patients were treated in the context of the PACS 01 trial. The incidence of chemotherapy-induced amenorrhea at the end of chemotherapy was similar in the two groups: 93 % in the 6FEC arm and 92.8 % in the 3FEC/3D arm. However, in the year following the end of chemotherapy, more patients recovered menses in the 3FEC/3D arm than in the 6FEC arm: 35.5 % versus 23.7 % (p = 0.019). Among the 101 patients for whom hormone values were available, 43 % in the 3FEC/3D arm and 29 % in the 6FEC arm showed premenopausal levels one year after the end of chemotherapy (p < 0.01). In the 3FEC/3D group, there was a statistically significant advantage in disease-free survival (DFS) for patients who were still amenorrheic after one year, compared to patients who had recovered regular menses (p = 0.0017).</p> <p>Conclusion</p> <p>Our study suggests that 3FEC/3D treatment induces more reversible amenorrhea than 6FEC. The clinical relevance of these findings needs to be investigated further.</p

A Rab5 endosomal pathway mediates Parkin-dependent mitochondrial clearance

Damaged mitochondria pose a lethal threat to cells that necessitates their prompt removal. The currently recognized mechanism for disposal of mitochondria is autophagy, where damaged organelles are marked for disposal via ubiquitylation by Parkin. Here we report a novel pathway for mitochondrial elimination, in which these organelles undergo Parkin-dependent sequestration into Rab5-positive early endosomes via the ESCRT machinery. Following maturation, these endosomes deliver mitochondria to lysosomes for degradation. Although this endosomal pathway is activated by stressors that also activate mitochondrial autophagy, endosomal-mediated mitochondrial clearance is initiated before autophagy. The autophagy protein Beclin1 regulates activation of Rab5 and endosomal-mediated degradation of mitochondria, suggesting cross-talk between these two pathways. Abrogation of Rab5 function and the endosomal pathway results in the accumulation of stressed mitochondria and increases susceptibility to cell death in embryonic fibroblasts and cardiac myocytes. These data reveal a new mechanism for mitochondrial quality control mediated by Rab5 and early endosomes

Targeting N-myristoylation for therapy of B-cell lymphomas

N-myristoyltransferases (NMTs) target many signaling proteins to membranes. Here the authors show an NMT inhibitor named PCLX-001 selectively kills lymphoma cells by shutting down their main survival signaling pathway and offers an additional treatment strategy for lymphoma patients

I Me Mine: on a Confusion Concerning the Subjective Character of Experience

In recent debates on phenomenal consciousness, a distinction is sometimes made, after Levine (2001) and Kriegel (2009), between the “qualitative character” of an experience, i.e. the specific way it feels to the subject (e.g. blueish or sweetish or pleasant), and its “subjective character”, i.e. the fact that there is anything at all that it feels like to her. I argue that much discussion of subjective character is affected by a conflation between three different notions. I start by disentangling the three notions in question, under the labels of “for-me-ness”, “me-ness” and “mineness”. Next, I argue that these notions are not equivalent; in particular, there is no conceptual implication from for-me-ness to me-ness or mineness. Empirical considerations based on clinical cases additionally suggest that the three notions may also correspond to different properties (although the claim of conceptual non-equivalence does not depend on this further point). The aim is clarificatory, cautionary but also critical: I examine four existing arguments from subjective character that are fuelled by an undifferentiated use of the three notions, and find them to be flawed for this reason

Measurement of D-s(+) and D-s(*+) production in B meson decays and from continuum e(+)e(-) annihilation at √s=10.6 GeV

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APSNew measurements of Ds+ and Ds*+ meson production rates from B decays and from qq̅ continuum events near the Υ(4S) resonance are presented. Using 20.8 fb-1 of data on the Υ(4S) resonance and 2.6 fb-1 off-resonance, we find the inclusive branching fractions B(B⃗Ds+X)=(10.93±0.19±0.58±2.73)% and B(B⃗Ds*+X)=(7.9±0.8±0.7±2.0)%, where the first error is statistical, the second is systematic, and the third is due to the Ds+→φπ+ branching fraction uncertainty. The production cross sections σ(e+e-→Ds+X)×B(Ds+→φπ+)=7.55±0.20±0.34pb and σ(e+e-→Ds*±X)×B(Ds+→φπ+)=5.8±0.7±0.5pb are measured at center-of-mass energies about 40 MeV below the Υ(4S) mass. The branching fractions ΣB(B⃗Ds(*)+D(*))=(5.07±0.14±0.30±1.27)% and ΣB(B⃗Ds*+D(*))=(4.1±0.2±0.4±1.0)% are determined from the Ds(*)+ momentum spectra. The mass difference m(Ds+)-m(D+)=98.4±0.1±0.3MeV/c2 is also measured.This work was supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the Swiss NSF, A. P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation