Sökning: "free software"
Visar resultat 1 - 5 av 392 uppsatser innehållade orden free software.
1. A Verified QBF Solver
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : 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
2. Exploring the Efficacy of ChatGPT in Generating Requirements: An Experimental Study
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
3. On The Evaluation of District Heating Load Predictions
Master-uppsats, Lunds universitet/Institutionen för energivetenskaperSammanfattning : 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
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)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
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)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