11 research outputs found

    A proof system for finite trees

    No full text

    Complexity of Subtype Satisfiability over Posets

    Get PDF
    Abstract. Subtype satisfiability is an important problem for designing advanced subtype systems and subtype-based program analysis algorithms. The problem is well understood if the atomic types form a lattice. However, little is known about subtype satisfiability over posets. In this paper, we investigate algorithms for and the complexity of subtype satisfiability over general posets. We present a uniform treatment of different flavors of subtyping: simple versus recursive types and structural versus non-structural subtype orders. Our results are established through a new connection of subtype constraints and modal logic. As a consequence, we settle a problem left open by Tiuryn and Wand in 1993.

    REtrieval And cure of Chronic Hepatitis C (REACH) : Results of micro-elimination in the Utrecht province

    No full text
    Background: The Netherlands is one of the six European countries considered on track to eliminate hepatitis C virus by 2030. To achieve this goal, continuous efforts have to be put into designing efficient case-finding strategies, including the retrieval of previously diagnosed hepatitis C virus-infected who are lost to follow-up. Aims: To trace and treat all lost to follow-up hepatitis C virus patients in the Utrecht region and create an efficient retrieval strategy that can be used in future (national) retrieval initiatives. Methods: Positive hepatitis C virus diagnostic tests (anti-hepatitis C virus IgG or hepatitis C virus-RNA) from the laboratory of all four hospitals and one central laboratory for primary care diagnostics in the province of Utrecht from 2001 to 2015 were linked to clinical records. Untreated patients with available contact information were deemed eligible for retrieval and invited for reevaluation with (virology) blood tests, fibroscan measurement and possible direct-acting antiviral therapy. Main results: After screening all hepatitis C virus diagnostics, 1913 chronic hepatitis C virus-infected were identified of which 14.1% (n = 269) were invited back into care. Overall, 17.4% was traced with the highest yield (28.3%) in those who lived in the Utrecht province. Through renewed patient assessments, 42 chronic hepatitis C virus infections were re-identified (76% with a history of intravenous drug use, 24% with Metavir F3-F4). Until now, 59% has either scheduled or initiated direct-acting antiviral therapy. Conclusion: The retrieval of previously diagnosed hepatitis C virus patients through screening of laboratory diagnostics from the past is feasible and should be pursued for further control and reduction of hepatitis C virus infection. Retrieval is most successful when performed regionally. Lay summary: To completely eliminate chronic hepatitis C virus (HCV) infection and prevent complications, undiagnosed and also previously diagnosed but lost to follow-up (LFU) HCV patients have to be brought (back) into care for therapy. Retrieval of LFU HCV patients through screening of laboratory diagnostics from the past is feasible and most successful when performed regionally

    MEASUREMENT OF THE RADIATIVE WIDTH OF THE A(2) (1320) IN TWO PHOTON INTERACTIONS

    No full text
    The reaction e+e-→e+e- A2 (1320) has been observed by detecting the decay A2→π+,π-π0. The two-photon width of the A2 has been measured to be G{cyrillic}(A2→γγ)=(0.09±0.27 (stat)±0.16 (syst)) keV. The cross section σ(γγ→π+,π-π0 has been determined outside the A2 resonance region. © 1986 Springer-Verlag

    Lasers

    No full text
    corecore