Essays about: "correctness"

Showing result 1 - 5 of 351 essays containing the word correctness.

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

   University essay from Institutionen för tillämpad informationsteknologi

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

   Abstract : 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. READ MORE

3. 2. A Verified QBF Solver

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2024]
   Keywords : ;

   Abstract : 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. READ MORE

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

   University essay from Lunds universitet/Matematik LTH

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

   Abstract : 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. READ MORE

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

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

   Author : Carl Johan Wellner; [2024]
   Keywords : GUI testing; Synchronization; Test automation; Playwright; Selenium;

   Abstract : 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. READ MORE

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

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

   Author : Hampus Ekedahl; Vilma Helander; [2023]
   Keywords : AI; ChatGPT; NLP;

   Abstract : 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. READ MORE