Essays about: "Correctness"

Showing result 21 - 25 of 351 essays containing the word Correctness.

  1. 21. Model Checked Reinforcement Learning For Multi-Agent Planning

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Erik Wetterholm; [2023]
    Keywords : MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

    Abstract : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. READ MORE

  3. 22. Implementation and Evaluation of Software Architecture Visualization

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Naga Preethika Mule; [2023]
    Keywords : ;

    Abstract : Background: Software architectures are often large documents containing detailed information about different architectural components, how they interact, the environment in which they operate, and how the components are designed. With such a large amount of data, the sizes of the documents often get larger and it becomes challenging for humans to process in a reasonable time. READ MORE

  4. 23. Performance Evaluation of (Spherical) Harmonics Virtual Lights for Real-time Global Illumination using Vulkan

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Simon Hultsborn; [2023]
    Keywords : Spherical harmonics; Global illumination; Computer graphics; Optimization;

    Abstract : Background. Global illumination is not trivial to compute in real-time computer graphics. One approximate solution is to distribute virtual light sources from a primary light, to then apply direct light calculations to said virtual lights. This can effectively estimate two-bounce illumination. READ MORE

  5. 24. Extending the Kubernetes operator Kubegres to handle database restoration from dump files

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Rickard Bemm; [2023]
    Keywords : Kubernetes; Kubernetes Operator; Cloud Computing; Cloud-Native Architectures; PostgreSQL;

    Abstract : The use of cloud-native technologies has grown in popularity in recent years. With its ability to take advantage of the full benefits of cloud computing, cloud-native architecture has become a hot topic among developers and IT professionals. READ MORE

  6. 25. Using fine-tuned GPT-3 models to evaluate difficulty levels for auto-generated computer science exercises

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : George Dawod Bassilious; [2023]
    Keywords : ;

    Abstract : Technological advancements in large language models, such as OpenAI’s GPT-3 and the subsequent release of GPT-3.5, have opened up new paths for research. READ MORE