Essays about: "free software"

Showing result 1 - 5 of 300 essays containing the words free software.

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

3. 2. Exploring the Efficacy of ChatGPT in Generating Requirements: An Experimental Study

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Leila Bencheikh; Niklas Höglund; [2023-08-03]
   Keywords : ChatGPT; AI-detector accuracy; requirements; experimental study;

   Abstract : This thesis explores the efficacy of ChatGPT in generating software requirements and compares its performance to human participants through an experimental study. The study addresses three main research questions (RQs), examining how ChatGPT-generated requirements align with human-written requirements, the variation in quality between different versions of ChatGPT using two additional sub-questions that look at improvement in quality from feedback and consistency of quality when the same prompt is queried multiple times, and the capacity of the Content at Scale AI detector in identifying AI-generated requirements. READ MORE

4. 3. On The Evaluation of District Heating Load Predictions

   University essay from Lunds universitet/Institutionen för energivetenskaper

   Author : Herman Hansson; [2023]
   Keywords : Technology and Engineering;

   Abstract : District Heating is a technology with the potential to enable a fossil-free society. However, to realize this potential, some improvements need to be made in order to improve District Heating operation at large, decrease losses in the systems, and thus increase the competitiveness of District Heating as a technology. READ MORE

5. 4. Developing a portable, customizable, single-channel EEG device for homecare and validating it against a commercial EEG device

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

   Author : Máté Károly Tóth; [2023]
   Keywords : Electroencephalography EEG ; Portable EEG; Single-channel EEG; Commercial EEG; Brain-machine interface; Prototype development; Elektroencefalografi EEG ; Bärbar EEG; Enkanaligt EEG; Kommersiellt EEG; Hjärna-maskin-gränssnitt; Prototyputveckling;

   Abstract : There are several commercial electroencephalography (EEG) devices on the market; however, affordable devices are not versatile for diverse research applications. The purpose of this project was to investigate how to develop a low-cost, portable, single-channel EEG system for a research institute that could be used for neurofeedback-related applications in homecare. READ MORE

6. 5. Round-Trip Translation : A New Path for Automatic Program Repair using Large Language Models

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

   Author : Fernando Vallecillos Ruiz; [2023]
   Keywords : Automatic Program Repair; Software Engineering; Large Language Models; Round-Trip Translation; Neural Machine Translation; Automatisk programreparation; Mjukvaruutveckling; Stora språkmodeller; Tur och retur-översättning; Neural maskinöversättning;

   Abstract : Research shows that grammatical mistakes in a sentence can be corrected by machine translating it to another language and back. We investigate whether this correction capability of Large Language Models (LLMs) extends to Automatic Program Repair (APR), a software engineering task. READ MORE