- document
-
van Maris, Bart (author)Algorithmic planners occasionally waste effort and thus computing time trying to solve certain tasks, as they often lack the human ability to recognize essential paths. These essential paths, termed landmarks, are vital for optimizing planning processes. This study revisits landmark-based planning methods introduced by Richter, Helmert, and...bachelor thesis 2024
- document
-
Molendijk, Thomas (author)The k-truncated metric dimension of a graph is the minimum number of sensors (a subset of the vertex set) needed to uniquely identify every vertex in the graph based on its distance to the sensors, where the sensors have a measuring range of k. We give an algorithm with the goal that given any tree and any value for the measuring range of the...bachelor thesis 2023
- document
-
van Barneveld, Lisa (author)One of the first systems developed to provide online security is what is now known as RSA encryption. This method has been first published by Rivest, Shamir and Adleman in 1978. Even on this day, a modification of the first method of RSA encryption is being used and considered safe. This paper explores a number of mathematical structures and...bachelor thesis 2023
- document
-
Tudor, Iarina (author)This paper provides a novel method of solving the resource-constrained project scheduling problem (RCPSP) with logical constraints (RCPSP-log) using satisfiability (SAT) solving and integrating variable selection heuristics. The extension provides two additional precedences: OR constraints and bidirectional (BI) relations, making it possible to...bachelor thesis 2023
- document
-
Tsvetkov, Denis (author)The multi-mode resource-constrained project scheduling problem (MRCPSP) is an extension of the resource-constrained project scheduling problem (RCPSP), which allows activities to be executed in multiple modes. The state-of-the-art solutions for solving this NP-Hard problem are dedicated algorithms and (meta-)heuristics. However, this paper...bachelor thesis 2023
- document
-
Struijk, Casper (author)This research proposes a new algorithm for mapping Normal Distribution Functions to Heightfields in order to answer its research question: ”Given an NDF, how can we generate a corresponding Heightfield using simple optimization algorithms?”. This research is important, as it helps us to gain a better understanding of how limited statistics-based...bachelor thesis 2023
- document
-
Winter, Levin N. (author)The testing of consensus systems has received growing attention and recent testing tools generate many faulty executions. However, there is a lack of methods that automatically analyze these outputs to identify the root causes of the bugs they found.<br/>This paper presents Isolation, a statistical bug isolation algorithm that uses message-based...bachelor thesis 2023
- document
-
Bavelaar, Koen (author), Verweij, Jeroen (author)This thesis details the design of a selection operator used in a Genetic Algorithm. The Genetic Algorithm is used for loudspeaker filter design of three way loudspeakers for which tournament selection was chosen as selection operator. A methodology is proposed and used to tune the parameters of tournament selection, which is based on diversity...bachelor thesis 2023
- document
-
Petrov, Martin (author)Consensus algorithms, as well as distributed systems in general, are vulnerable to concurrency bugs due to non-determinism. Such bugs are hard to detect since it is necessary to test using a lot of different scenarios and even then, there is no guarantee to find one. <br/><br/>Controlled concurrency testing is a proposed solution to that problem...bachelor thesis 2023
- document
-
Sonneveld, Auke (author)This paper presents a comparative study of multiple algorithms that can be used to automatically search for high-performing pipelines on machine learning problems. These algorithms, namely Very Large-Scale Neighbourhood search (VLSN), Breadth-first search, Metropolis-Hastings, Monte-Carlo tree search (MCTS), enumerative A* search, and Genetic...bachelor thesis 2023
- document
-
Katz, Roy (author)Federated learning enables the construction of machine learning models, while adhering to privacy constraints and without sharing data between different devices. It is achieved by creating a machine learning model on each device that contains data, and then combining these models through an aggregation algorithm without sharing the data....bachelor thesis 2023
- document
-
van Marrewijk, Jonas (author)Segmentation of 3D medical images is useful for various medical tasks. However, fully automated segmentation lacks the accuracy required for medical purposes while manual segmentation is too time-consuming. Therefore, an active learning method can be used to generate an accurate segmentation using less user input. The active learning pipeline...bachelor thesis 2023
- document
-
Abhishek, Apoorva (author)Software testing is an important yet time consuming task in the software development life cycle. Artificial Intelligence (AI) algorithms have been used to automate this task and have proven to be proficient at it. This research focuses on the automated testing of JavaScript programs, and builds upon the existing SynTest framework that is the...bachelor thesis 2023
- document
-
Jakovonis, Saulius (author)The success of dynamically typed languages such as Python has resulted in an increased interest in supporting type inference in statically typed lan- guages. Type inference refers to automatic type detection based on surrounding context and allows retaining the type safety (and other advantages) of static types, while matching the ease of use of...bachelor thesis 2023
- document
-
Viero, Diego (author)In recent decades, automatic test generation has advanced significantly, providing developers with time-saving benefits and facilitating software debugging. While most research in this field focused on search-based test generation tools for statically-typed languages, only a few have been adapted for dynamically-typed languages. The larger...bachelor thesis 2023
- document
-
Herben, Jonte (author)Cooperative AI is AI designed to cooperate with humans. One example of such an AI, made using planning algorithms, was studied in a paper from 2019 which used a simplified version of the video game Overcooked for evaluation. However, only limited evaluations were possible due to the long runtime and heuristic optimisations made. This paper will...bachelor thesis 2023
- document
-
Nijenhuis, Jonathan (author), Zunderman, Timo (author)This thesis describes the design and implementation of a controller and GUI for an AI loudspeaker filter design program. This program uses a genetic algorithm to create a combination of analog passive filters, one for each driver in a loudspeaker system. In the controller, two cost functions are designed to evaluate these filter combinations,...bachelor thesis 2023
- document
-
Barendse, ZOYLA (author), van Overbeeke, Willem (author)This paper reports the design of a part of a genetic algorithm, which is made to design analog filters for loudspeakers. The part in this report is the part which deals with the representation of electrical filter circuits, the mutation of these filters, and finding their transfer function. The considered representations are graph coding and a...bachelor thesis 2023
- document
-
Tramontina, Gino (author)Bidirectional Reflectance Distribution Functions, BRDFs, describe the reflectance of light on a ma-terial, and are widely used in computer graphics to render materials. Acquiring a full measured BRDF can be costly and time consuming, so this research aims to answer the question ”How can we approx-imate a full BRDF from a single slice (in-plane...bachelor thesis 2023
- document
-
Bien, Benedict (author)Decision trees are integral to machine learning, with their robustness being a critical measure of effectiveness against adversarial data manipulations. Despite advancements in algorithms, current solutions are either optimal but lack scalability or scale well, but do not guarrantee optimality. This paper presents a novel adaptation of the...bachelor thesis 2023