Sökning: "interactive reasoning"

Visar resultat 1 - 5 av 27 avhandlingar innehållade orden interactive reasoning.

  1. 1. Decision support in dementia care : developing systems for interactive reasoning

    Författare :Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial intelligence; human-computer interaction; activity theory; argumentation; fuzzy logic; general logics; clinical decision support systems; cognitive disorder; dementia; differential diagnosis; clinical practice guideline; knowledge engineering; knowledge representation; cognitive ergonomics; interactive reasoning; Computer science; Datavetenskap; Computer Science; datalogi;

    Sammanfattning : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. LÄS MER

  3. 2. Invasive interactive parallelization

    Författare :Mikhail Chalabine; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Compiler; refactoring; reasoning; transformation; syntax; composition; component; weaving; Computer science; Datavetenskap;

    Sammanfattning : While looking at the strengths and weaknesses of contemporary approaches to parallelization this thesis s uggests a form of parallelizing refactoring - Invasive Interactive Parallelization - that aims at addressing a number of weaker sides of contemporary methods. Our ultimate goal is to make the parallelization more user and developer friendly. LÄS MER

  4. 3. Virtual patients for assessment of clinical reasoning

    Författare :Elenita Forsberg; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :assessment;

    Sammanfattning : In healthcare education it is essential for the students to develop and achieve clinical reasoning skills. Clinical reasoning is complex to teach and learn, and effective assessment methods are also lacking. LÄS MER

  5. 4. General Metarules for Interactive Modular Construction of Natural Deduction Proofs

    Författare :Agneta Eriksson-Granskog; Tarmo Uustalu; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : This thesis proposes a set of general metarules for interactive modular construction of natural deduction proofs.Interactive proof support systems are used for the construction of formal proofs in formal program development. LÄS MER

  7. 5. Virtual patients for education, assessment and research : a web-based approach

    Författare :Nabil Zary; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :Virtual patients; computer simulation; patient simulation; computer-based learning; computer-assisted instruction; computer-managed instruction; problem solving; clinical reasoning; clinical knowledge; computer assisted cases; interactive case-based learning.;

    Sammanfattning : Virtual simulations of patient encounters have been an increasingly important complement in the development of healthcare competence. Virtual patients (VPs) are interactive computer programs that simulate real-life clinical scenarios, provide an effective way for healthcare professionals and students to not only learn about a wide range of clinical topics, but also to practice in a virtual and therefore safe environment. LÄS MER