729 research outputs found

    NOTE ON SYMMETRIC HILBERT SERIES

    Get PDF

    Prevention for Micro- and Macro-Vascular Complications in Diabetic Patients

    Get PDF

    On maps of Grothendieck groups induced by completion

    Get PDF
    AbstractWe prove that the induced map G0(A)→G0(A) by completion is injective if A is an excellent noetherian local ring that satisfies one of the following three conditions: (i) A is henselian; (ii) A is a local ring at the homogeneous maximal ideal of a homogeneous ring over a field; (iii) A has at most isolated singularity

    Fibroma of the urinary bladder: a light and ultrastructural study of a case with review of the literature in Japan.

    Get PDF
    A hard fibroma of the urinary bladder was found in an autopsy case of a 69 year-old female. The tumor, 10x9x6 cm, occurred in the superior wall of the bladder. Ultrastructurally, the principal cells of the tumor were myofibroblasts. Fibroblasts and fibrocytes were also present. Including our case, the number of reported cases of pure fibroma of the urinary bladder in Japan is 12. These are reviewed briefly.</p

    WiCE: Real-World Entailment for Claims in Wikipedia

    Full text link
    Textual entailment models are increasingly applied in settings like fact-checking, presupposition verification in question answering, or summary evaluation. However, these represent a significant domain shift from existing entailment datasets, and models underperform as a result. We propose WiCE, a new fine-grained textual entailment dataset built on natural claim and evidence pairs extracted from Wikipedia. In addition to standard claim-level entailment, WiCE provides entailment judgments over sub-sentence units of the claim, and a minimal subset of evidence sentences that support each subclaim. To support this, we propose an automatic claim decomposition strategy using GPT-3.5 which we show is also effective at improving entailment models' performance on multiple datasets at test time. Finally, we show that real claims in our dataset involve challenging verification and retrieval problems that existing models fail to address.Comment: EMNLP 202
    corecore