Browsing Masteruppsatser by Title
Now showing items 99-118 of 242
-
Facial Expression Recognition for Clinical Trial Self-recordings
(2022-06-22)Facial expressions have long been linked to human emotions, physiology, and behavior. Novel work suggests that clinical trial subject facial expression relates to self-reported quality of life. This implies automated ... -
Fault detection power of unit and system testing in Java open source projects
(2021-07-06)Testing is one of the most crucial steps in providing quality for software products. Two key and heavily used testing levels are unit and system testing, each level hav ing different benefits and drawbacks. For their ... -
Fault Prediction in Android Systems through AI
(2019-10-04)Software code defect prediction is important in improving code quality and the turnaround time of software products. In this thesis we investigate how to create and extract features, analyze existing work to create and ... -
Feasibility evaluation of Business Intelligence tools as measurement systems: an industrial case study
(2012-04-27)Context: Collecting, analyzing and presenting software metrics are common practices in the software engineering industry. These practices can be done by using either dedicated tools like Rational Insight or tools which ... -
Feature Selection for Microarray Data via Stochastic Approximation
(2024-03-18)This thesis explores the challenge of feature selection (FS) in machine learning, which involves reducing the dimensionality of data. The selection of a relevant subset of features from a larger pool has demonstrated its ... -
Finding the Sweet Spot
(2022-06-29)Complex carbohydrates, or glycans, are involved in cancer progression and could thereby serve as diagnostic markers as well as therapeutic targets. However, new research is required to determine which glycan motifs are ... -
Flexible Integration of Voice Recognition Components for an Automotive Android Platform: A Design Science Research
(2020-07-06)There are several voice recognition interfaces available on the market capable of being integrated into a variety of platforms. Mobile phones, speakers, and even refrigerators can be equipped with a voice assistant. ... -
Form construction and system integration
(2010-03-04)When constructing forms with the help of online tools, these forms will be bound to the online tool. The online tools offer hosting of forms and handling of the submission data. The work in this thesis analyzes the ... -
Formalizing Constructive Quantifier Elimination in Agda
(2018-04-04)In this thesis a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow [16]. The formalization is implemented and verified in the programming language/proof ... -
Formalizing domain models of the typed and the untyped lambda calculus in Agda
(2020-12-17)We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. Specifically, for the simply ... -
Game Design and Implementation of Physics-Based Interactions between Player and Environment Elements
(2020-11-06)This master thesis presents the PEP framework, a formal method that guides the design and analysis of physics-based games, and Under Surveillance, a 2.5D physicsbased puzzle adventure video game for PC. The PEP framework ... -
Gamification of Traceability Management Tools
(2018-08-09)Background: Traceability is a desired quality of software. However, successfully implementing it can be expensive. The existing traceability management tools meant to simplify the process are often considered unengaging, ... -
Generating System Architectures from a Given Feature Model: Feature-based multi-objective optimization
(2015-05-15)Until now, software architects could create an architecture for a future system and analyze its software and hardware components to see if it meets the quality requirements. They also can use automated tools to optimize ... -
Generative Music Composition Software Systems Using Biologically Inspired Algorithms: A sytematic Literature Review
(2015-05-15)My original contribution to knowledge is to examine existing work for methods and approaches used, main functionalities, benefits and limitations of 30 Generative Music Composition Software Systems (GMCSS) by performing ... -
A Generic Model of Motivation in Artificial Animals Based on Reinforcement Learning
(2022-05-06)This thesis is a part of a broader research project at Chalmers University of Technology focused on ecosystems’ simulations using reinforcement learning artificial animals, called animats. The scope of this project is to ... -
Good News AI Investigating feasibility of categorizing positive sentiment in general news
(2020-07-06)In today’s society we are constantly fed information about catastrophic or sad events through media. While it is important to know about these events, it should be equally important to also see all the good things that ... -
GPU Path Tracing
(2012-02-28)The goal of this work is to verify the possibility to utilize GPU for global illumination computations in a commercial software environment and explore an efficient way to do it. Path tracing with BVH as the acceleration ... -
Grammar-based suggestion engine with keyword search
(2014-09-19)In this thesis we investigate how we can develop an application which can translate sentences formulated in natural languages (English and Swedish) into a query language. We also build a suggestion engine which offers ... -
Ground surface classification by stereo polarised image sensors
(2021-04-21)or an autonomous vehicle. By introducing polarized imaging, advances in water hazard detection have been made in recent years. However, most approaches utilize retrofitted polarized cameras for use in an off-road ... -
Group Development and Software Engineering Performance
(2016-06-22)Background: Empirical evidence regarding the connection between group development (maturity) and the success of software development teams is lacking. Since software development is primarily a product of team e ort that ...