GLORIA

GEOMAR Library Ocean Research Information Access

X

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Checking the quality of clinical guidelines using automated reasoning tools
    Cambridge University Press (CUP) ; 2008
    In:  Theory and Practice of Logic Programming Vol. 8, No. 5-6 ( 2008-11), p. 611-641
    Details
    In: Theory and Practice of Logic Programming, Cambridge University Press (CUP), Vol. 8, No. 5-6 ( 2008-11), p. 611-641
    Abstract: Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. Previously, we have shown that these requirements can be verified using interactive theorem proving techniques. In this paper, we investigate how this approach can be mapped to the facilities of a resolution-based theorem prover, otter and a complementary program that searches for finite models of first-order statements, mace -2. It is shown that the reasoning required for checking the quality of a guideline can be mapped to such a fully automated theorem-proving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way.
    Type of Medium: Online Resource
    ISSN: 1471-0684 , 1475-3081
    URL: Article
    DOI: 10.1017/S1471068408003451
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 2008
    detail.hit.zdb_id: 2045489-2
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 2
    Online Resource
    Online Resource
    Logic engineering in medicine
    Cambridge University Press (CUP) ; 1995
    In:  The Knowledge Engineering Review Vol. 10, No. 2 ( 1995-06), p. 153-179
    Details
    In: The Knowledge Engineering Review, Cambridge University Press (CUP), Vol. 10, No. 2 ( 1995-06), p. 153-179
    Abstract: The safety-critical nature of the application of knowledge-based systems to the field of medicine requires the adoption of reliable engineering principles with a solid foundation for their construction. Logical languages with their inherent, precise notions of consistency, soundness and completeness provide such a foundation, thus promoting scrupulous engineering of medical knowledge. Moreover, logic techniques provide a powerful means for getting insight into the structure and meaning of medical knowledge used in medical problem solving. Unfortunately, logic is currently only used on a small scale for building practical medical knowledge-based systems. In this paper, the various approaches proposed in the literature are reviewed, and related to the various types of knowledge and problem solving employed in the medical field. The appropriateness of logic for building medical knowledge-based expert systems is further motivated.
    Type of Medium: Online Resource
    ISSN: 0269-8889 , 1469-8005
    URL: Article
    DOI: 10.1017/S0269888900008134
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 1995
    detail.hit.zdb_id: 57960-9
    detail.hit.zdb_id: 1466682-0
    SSG: 24,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 3
    Online Resource
    Online Resource
    Investigation of a cluster of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infections in a hospital administration building
    Cambridge University Press (CUP) ; 2023
    In:  Infection Control & Hospital Epidemiology Vol. 44, No. 2 ( 2023-02), p. 277-283
    Details
    In: Infection Control & Hospital Epidemiology, Cambridge University Press (CUP), Vol. 44, No. 2 ( 2023-02), p. 277-283
    Abstract: To investigate a cluster of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infections in employees working on 1 floor of a hospital administration building. Methods: Contact tracing was performed to identify potential exposures and all employees were tested for SARS-CoV-2. Whole-genome sequencing was performed to determine the relatedness of SARS-CoV-2 samples from infected personnel and from control cases in the healthcare system with coronavirus disease 2019 (COVID-19) during the same period. Carbon dioxide levels were measured during a workday to assess adequacy of ventilation; readings 〉 800 parts per million (ppm) were considered an indication of suboptimal ventilation. To assess the potential for airborne transmission, DNA-barcoded aerosols were released, and real-time polymerase chain reaction was used to quantify particles recovered from air samples in multiple locations. Results: Between December 22, 2020, and January 8, 2021, 17 coworkers tested positive for SARS-CoV-2, including 13 symptomatic and 4 asymptomatic individuals. Of the 5 cluster SARS-CoV-2 samples sequenced, 3 were genetically related, but these employees denied higher-risk contacts with one another. None of the sequences from the cluster were genetically related to the 17 control sequences of SARS-CoV-2. Carbon dioxide levels increased during a workday but never exceeded 800 ppm. DNA-barcoded aerosol particles were dispersed from the sites of release to locations throughout the floor; 20% of air samples had 〉 1 log 10 particles. Conclusions: In a hospital administration building outbreak, sequencing of SARS-CoV-2 confirmed transmission among coworkers. Transmission occurred despite the absence of higher-risk exposures and in a setting with adequate ventilation based on monitoring of carbon dioxide levels.
    Type of Medium: Online Resource
    ISSN: 0899-823X , 1559-6834
    URL: Article
    DOI: 10.1017/ice.2022.45
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 2023
    detail.hit.zdb_id: 2106319-9
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 4
    Online Resource
    Online Resource
    Use of whole-genome sequencing to investigate a cluster of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infections in emergency department personnel
    Cambridge University Press (CUP) ; 2022
    In:  Infection Control & Hospital Epidemiology Vol. 43, No. 10 ( 2022-10), p. 1485-1487
    Details
    In: Infection Control & Hospital Epidemiology, Cambridge University Press (CUP), Vol. 43, No. 10 ( 2022-10), p. 1485-1487
    Abstract: Several recent reports have raised concern that infected coworkers may be an important source of severe acute respiratory coronavirus virus 2 (SARS-CoV-2) acquisition by healthcare personnel. In a suspected outbreak among emergency department personnel, sequencing of SARS-CoV-2 confirmed transmission among coworkers. The suspected 6-person outbreak included 2 distinct transmission clusters and 1 unrelated infection.
    Type of Medium: Online Resource
    ISSN: 0899-823X , 1559-6834
    URL: Article
    DOI: 10.1017/ice.2021.208
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 2022
    detail.hit.zdb_id: 2106319-9
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...