Sökning: "correctness"

Visar resultat 1 - 5 av 446 uppsatser innehållade ordet correctness.

  1. 1. Exploring Automated Early Problem Identification Based on Diagnostic Trouble Codes

    Master-uppsats, Institutionen för tillämpad informationsteknologi

    Författare :Mathias Forsman; Yihan Yang; [2024-03-05]
    Nyckelord :Automotive Industry; Early Problem Identification; Diagnostic Trouble Code; Case Study; Laboratory Experiment ; Machine Learning; Linear Regression; K-means Clustering;

    Sammanfattning : In the current automotive industry, problem identification is a reactive process. It starts when the customer experiences a vehicle problem and goes to the workshop. Subsequently, all the problem-related data will be collected from the workshop and forwarded to the vehicle manufacturer. LÄS MER

  3. 2. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  4. 3. Uncertainty Quantification in Deep Learning for Breast Cancer Classification in Point-of-Care Ultrasound Imaging

    Master-uppsats, Lunds universitet/Matematik LTH

    Författare :Marisa Wodrich; [2024]
    Nyckelord :Uncertainty quantification; Deep learning; Breast cancer classification; Trustworthy AI; Point-of-care ultrasound; Mathematics and Statistics;

    Sammanfattning : Breast cancer is the most common type of cancer worldwide with an estimate of 2.3 million new cases in 2020, and the number one cause of cancer-related deaths in women. LÄS MER

  5. 4. Comparing Static and Dynamic Synchronization of GUI-based tests: An Industrial study

    Magister-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Carl Johan Wellner; [2024]
    Nyckelord :GUI testing; Synchronization; Test automation; Playwright; Selenium;

    Sammanfattning : Background. Speed is getting more and more critical in modern Software Engineering to be able to respond to users’ expectations of product development. One practice that takes a significant amount of time in the process of releasing software to the customers is testing. LÄS MER

  7. 5. Can artificial intelligence replace humans in programming?

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Hampus Ekedahl; Vilma Helander; [2023]
    Nyckelord :AI; ChatGPT; NLP;

    Sammanfattning : The recent developments in artificial intelligence have brought forth natural language models like ChatGPT, which exhibits abilities in tasks such as language translation, text generation, and interacting conversations. Notably, ChatGPT's ability to generate code has sparked debates regarding the role of artificial intelligence in software engineering and its potential to replace human programmers. LÄS MER