Avancerad sökning

Visar resultat 1 - 5 av 161 uppsatser som matchar ovanstående sökkriterier.

  1. 1. UNGA VUXNAS UPPFATTNINGAR OM FALSKA NYHETER OCH DERAS TILLIT TILL NYHETSKANALER. En kvalitativ intervjustudie

    Kandidat-uppsats, Göteborgs universitet/Institutionen för journalistik, medier och kommunikation

    Författare :Andrea Ångman; [2024-03-01]
    Nyckelord :Fake news;

    Sammanfattning : The purpose of this study is to look into what low-educated and highly-educated young adults aged 20-30 think affects the spread of fake news and how they feel that their trust in news sources is affected when they become increasingly exposed to it. By mapping the respondents' view of the phenomenon of fake news and its influence on their information intake, the study aims to understand whether their trust in news sources is affected. LÄS MER

  3. 2. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Vibha Satyam; [2023-10-25]
    Nyckelord :Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

    Sammanfattning : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. LÄS MER

  4. 3. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER

  5. 4. What are the odds of civil war? Investigating the relationship between quality of government, voter turnout, civil war, and the Democratic peace theory

    Kandidat-uppsats, Göteborgs universitet/Institutionen för globala studier

    Författare :Salome Nordberg; [2023-10-05]
    Nyckelord :Quality of government; civil war; voter turnout; democratic peace theory; logistic regression;

    Sammanfattning : The aim of this thesis is to quantitatively investigate the relationship between the quality of government, voter turnout, and civil war. By doing a hypothesistesting analysis through logistic regression. LÄS MER

  7. 5. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER