Sökning: "formal assessment methods"

Visar resultat 1 - 5 av 25 uppsatser innehållade orden formal assessment methods.

  1. 1. Is eXplainable AI suitable as a hypotheses generating tool for medical research? Comparing basic pathology annotation with heat maps to find out

    Kandidat-uppsats, Uppsala universitet/Statistiska institutionen

    Författare :Albert Adlersson; [2023]
    Nyckelord :black box; eXplainable AI XAI ; Convolutional Neural Network CNN ; Mi- crosatellite Instability MSI ; colon cancer; gastric cancer; hypotheses generating; hypotheses generating tool; medical research;

    Sammanfattning : Hypothesis testing has long been a formal and standardized process. Hypothesis generation, on the other hand, remains largely informal. This thesis assess whether eXplainable AI (XAI) can aid in the standardization of hypothesis generation through its utilization as a hypothesis generating tool for medical research. LÄS MER

  3. 2. Application of formal verification and validation on modern multi-functional signalling system

    Master-uppsats, KTH/Transportplanering

    Författare :Shamsul Arefin; [2022]
    Nyckelord :;

    Sammanfattning : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. LÄS MER

  4. 3. Filtering equivalent changes from dependency updates with CBMC

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Jonas Mårtensson; [2022]
    Nyckelord :CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Sammanfattning : Background. Open source dependencies have become ubiquitous in software development and the risk of regressions during an update are a key concern facing developers. Change impact analysis (CIA) can be used to assess the effects of a dependency update and aid in addressing this challenge. LÄS MER

  5. 4. Varierade examinationsformer i gymnasiematematiken

    Uppsats för yrkesexamina på avancerad nivå, Malmö universitet/Institutionen för skolutveckling och ledarskap (SOL)

    Författare :Moa Kockum; [2021]
    Nyckelord :;

    Sammanfattning : The Swedish upper secondary school curriculum emphasizes on the individual learner’s development. In order to meet the needs of the pupils the teachers must vary their teaching methods and also the forms of assessment. This study focuses on teachers’ views and thoughts on varied forms of examinations and assessment in mathematics. LÄS MER

  7. 5. Rehabilitering inom djuromvårdnad : vad gör djursjukskötaren?

    Uppsats för yrkesexamina på grundnivå, SLU/Dept. of Clinical Sciences

    Författare :Lowa Åström; Linnea Lagergren; [2021]
    Nyckelord :arbetsuppgifter; djursjukskötare; kunskap; lagstiftning; rehabilitering;

    Sammanfattning : Rehabilitering är ett relativt nytt område inom djursjukvården som har expanderat de senaste åren. På djurkliniker och djursjukhus arbetas det dagligen med rehabilitering där många professioner är inblandade, bland annat djursjukskötare. LÄS MER