Sökning: "verifiering"

Visar resultat 11 - 15 av 402 uppsatser innehållade ordet verifiering.

  1. 11. En balansgång mellan dramaturgi och demokrati : Uppfyller Uppdrag granskning och Kalla fakta deras tillskrivna demokratiska syfte?

    Kandidat-uppsats, Malmö universitet/Institutionen för konst, kultur och kommunikation (K3)

    Författare :Nora Svensson Tjäder; Louise Lindeberg; [2023]
    Nyckelord :Investigative journalism; democracy; ideology; ownership; Uppdrag granskning; Kalla fakta.; Granskande Journalistik; demokrati; ideologi; ägande; Uppdrag granskning; Kalla fakta;

    Sammanfattning : Vi har i denna studie analyserat hur Uppdrag granskning och Kalla fakta strukturerar och förmedlar granskande journalistik. Syftet är att med hjälp av en genreanalys öka förståelsen för hur programmen förhåller sig till sitt demokratiska uppdrag som ingår i genrens ideal, och därmed hur de uppfyller den demokratiska roll de fått samt tillskrivit sig själva. LÄS MER

  3. 12. Verifiering av metoden för PCT-analys på Alinity i-serie Abbot

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för kemi och biomedicin (KOB)

    Författare :Mohmad Adowan; [2023]
    Nyckelord :Procalcitonin; Alinity; precision; bias; correlation; Prokalcitonin; Alinity; precision; bias; korrelation.;

    Sammanfattning : Procalcitonin (PCT) is a precursor protein of the hormone calcitonin and is encoded by the gene Calcitonin-1. In the Blekinge Regional, P-PCT is only analyzed in Karlskrona. The analysis is performed in the department of clinical chemistry on the Alinity i-series instrument. LÄS MER

  4. 13. Antenna measurements of HF antennas using low cost UAVs

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Ruimin Ma; Jinting Zhang; [2023]
    Nyckelord :Antenna; HF; UAV; Radiation Pattern; Antenna; HF; UAV; Strålningsmönster;

    Sammanfattning : High-frequency signal far-field measurement systems usually involve the use of complex and expensive equipment, since the measurements must be made at a distance of multiple wavelengths from the antenna. Helicopter surveyors are commonly utilized. LÄS MER

  5. 14. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  7. 15. Utveckling av handtag för manuell sågning med tigersågsblad

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskap

    Författare :Valter Westerlund; Akram Khaled; [2023]
    Nyckelord :;

    Sammanfattning : Syftet med projektet var utveckla ett handtag för användning med tigersågsblad. Handtaget skulle möjliggöra för bladen att fällas samt låsas mekaniskt, utöver detta ställdes krav på en användarcentrerad lösning vars syfte är att främja säkerhet, intuition och komfort. Hållbarhet var även ett centralt delmoment i projektet. LÄS MER