Sökning: "observation model"

Visar resultat 16 - 20 av 642 uppsatser innehållade orden observation model.

  1. 16. 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

  3. 17. Large Language Models : Bedömning av ChatGPT:s potential som verktyg för kommentering av kod

    Kandidat-uppsats, Högskolan i Borås/Akademin för bibliotek, information, pedagogik och IT

    Författare :Tom Svensson; Dennis Vuk; [2023]
    Nyckelord :Large Language Models: Assessment of ChatGPT s Potential as a Tool for Code Commenting; Artificiell Intelligens AI ; Large Language Models LLM ; ChatGPT; OpenAI; Kod; Kommentarer; Programmerare; Mjukvaruutvecklare; Dokumentation;

    Sammanfattning : Användningen av Artificiell Intelligens (AI) är utbredd bland verksamma företag idag, likväl privatpersoner. Det har blivit en integrerad del av vårt samhälle som ofta går obemärkt förbi. Allt från face recognition, självkörande bilar och automatisering inom arbetsrelaterade områden, har AI onekligen påverkat omvärlden. LÄS MER

  4. 18. Decreasing Training Time of Reinforcement Learning Agents for Remote Tilt Optimization using a Surrogate Neural Network Approximator

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

    Författare :Jiaming Huang; [2023]
    Nyckelord :;

    Sammanfattning : One possible application of reinforcement learning in the telecommunication field is antenna tilt optimization. However, one of key challenges we face is that the use of handcrafted simulators as environments to provide information for agents is often time-consuming regarding training reinforcement learning agents. LÄS MER

  5. 19. Model-Observation Comparisons of O+ Concentrations in the Martian Ionosphere

    Master-uppsats, Uppsala universitet/Institutionen för fysik och astronomi

    Författare :Chinmaya Nagar; [2023]
    Nyckelord :MAVEN; NGIMS; Martian; Ionosphere; Fehsenfeld; Tenewitz;

    Sammanfattning : A few years ago, the charge-transfer reaction CO2+  +  O ⟶ O+ + CO2 was investigated experimentally for the first time since the study by Fehsenfeld et al., (1970). This new investigation was conducted by Tenewitz et al., (2018). LÄS MER

  7. 20. Att främja delaktighet hos flerspråkiga barn i språklig sårbarhet : En interventionsstudie om alternativ och kompletterande kommunikation i form av särskilt bildstöd i förskolans undervisning

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för hälsa, lärande och teknik

    Författare :Chantana Eriksson; [2023]
    Nyckelord :AAC; linguistic vulnerabilities; multilingualism; multilingual children; picture cards; preschool; participation; participation model; AKK; bildstöd; delaktighet; delaktighetsmodellen; flerspråkighet; flerspråkiga barn; förskola; språklig sårbarhet.;

    Sammanfattning : Att kommunicera är en rättighet som alla har, oavsett funktionsförmåga. I UNICEF Sverige (2021) under artikel 12 i FN:s konvention om barnets rättigheter, Barnkonventionen, tas barns rätt att uttrycka sin mening och höras i alla frågor som rör barnet upp. LÄS MER