Sökning: "Free software"

Visar resultat 1 - 5 av 392 uppsatser innehållade orden Free software.

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

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

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

   Sammanfattning : 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. LÄS MER

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

   Master-uppsats, Lunds universitet/Institutionen för energivetenskaper

   Författare :Herman Hansson; [2023]
   Nyckelord :Technology and Engineering;

   Sammanfattning : 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. LÄS MER

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

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

   Författare :Máté Károly Tóth; [2023]
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

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

   Författare :Fernando Vallecillos Ruiz; [2023]
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER