Bachelor Thesis
Recent Submissions
-
Explorable Vectorization Space for Code Generation
(2024)Due to the growing demand for data analytics, scientific computing, and machine learning, vectorization has become increasingly important, not just for improved performance but also for greatly increased power efficiency. To achieve close-to-optimal performance, programmers may need to resort to intrinsics or even inline assembly to access the capabilities of modern CPUs and GPUs. This is particularly important for specialized architectures ...Bachelor Thesis -
Characterizing the semantics of global synchronization operations
(2024)In Heterogeneous System Architectures the Programmable Logic needs to correctly understand and respond to Operating System level events such as Page remappings and Instruction Cache invalidations. The Programmable Logic might implement a circuit which needs to be coherent with the CPU. The Protocols used by the CPU and the OS need to be correctly understood to allow seamless integration of fully Memory Coherent accelerators with the ...Bachelor Thesis -
Classification & Uniqueness of Clustering Functors
(2024)Clustering algorithms are a widely used tool in machine learning and data science that organize data points into “groups” by recognizing patterns. They have proven useful for dealing with ever-increasing amounts of data. We review a formalization and classifi- cation of clustering algorithms developed by Carlsson and Mémoli [CM10b]. For such formal clustering algorithms we will use the term clustering functor. An important theoretical ...Bachelor Thesis -
-
Investigating site response using fibre-optic sensing data in Istanbul
(2024)Local geology is widely recognised as a significant factor influencing the effects of seismic waves on infrastructure in urban areas. We investigate site response along the eastern Istanbul coast with the long-term goal of contributing towards enhancing hazard and risk estimations and improving civil engineering applications. We implement a new approach involving simulations in a two-dimensional shear wave velocity model of the shallow ...Bachelor Thesis -
Editing Tamarin lemmas in the GUI
(2024)Verifying that a protocol satisfies certain properties is an important challenge for the security industry, and formal verification tools like the Tamarin prover can be helpful resources to partially automate this process. Until now, if a Tamarin user wanted to modify the description of a protocol’s properties that they were trying to prove, they had to reload the entire protocol model from a file. This process can be time consuming. ...Bachelor Thesis -
Firmware Management for a Heterogeneous Platform
(2024)Heterogeneous hardware, much like its conventional counter parts runs firmware and other low-level software like bitstreams in the case of FPGAs. Current firmware management solutions only focus on very specific hardware or do not focus on enough variety regarding their hardware support like FPGA programming. A lack of firmware management can lead to longer downtime, which in turn leads to significant profit losses in a commercial setting, ...Bachelor Thesis -
System Parameter Analysis of a Biogas-Powered Faecal Sludge Pasteuriser
(2024)Anaerobic digestion combined with pasteurisation is a method for treating wastewater and can contribute to achieving Sustainable Development Goal 6: ensuring the availability and sustainable management of water and sanitation for all. Self-sustained faecal sludge pasteurisation is a specific case of this process, where pasteurisation is powered by the biogas produced during anaerobic digestion. This process can successfully achieve ...Bachelor Thesis -
On-Line Tracking of Tropical Cyclones in a Climate Model on a Given Radius Around its Path
(2024)This thesis discusses the implementation of two added functionalities to the ICON weather and climate model: time dependent output regions for variables stored on grid cell centers and an on-line version of an existing off-line tracking algorithm for tropical cyclones (TCs). At the end of the thesis the connection of the tracking and dynamic output (output generated along tracked paths of TCs) is discussed as well.Bachelor Thesis -
2D Collective Communication for the Cerebras Wafer-Scale Engine
(2024)The Cerebras Wafer-Scale Engine (WSE) is a powerful architecture, initially introduced for machine learning, but also a viable tool for a larger variety of high-performance computations. To harness its power collective communication are necessary. We use the spatial model with contention (SMC) to theoretically compare the novel algorithms we provide for AllGather and Reduce-Scatter specifically developed for the WSE. We further provide ...Bachelor Thesis -
Interactive time-series exploration of football player positions
(2024)In this thesis, we derive tactical player positions from spatial tracking data and visualise those in an interactive dashboard. The positions are derived with a Delaunay triangulation, where edges are removed to get a more stable graph. These player positions are then displayed with colours throughout the game in a plot. Additional data such as important events and possessions are also displayed and a pitch, where the game can be replayed. ...Bachelor Thesis -
-
Time reduction potential through a continental-scale schedule optimisation of long-distance international passenger rail corridors in Europe
(2024)The advent of high-speed rail has, along with the elimination of most border controls, resulted in the acceleration of long-distance European railway journeys, yet long-distance trips are still subject to long transfers and inefficiently timed trains. This thesis aims to identify how much potential travel-time reduction could be attained by minimising this inefficiency, and to compare the result to the projected travel-time reduction ...Bachelor Thesis -
Enabling GPU Acceleration for the Dandelion Serverless Executor
(2024)With the slowing of Moore's law, modern computing platforms are becoming increasingly heterogeneous. In particular, graphics processing units (GPUs) have found application in various general-purpose fields, for instance driving the machine learning revolution of recent years. Serverless cloud computing has, however, had trouble adjusting to this reality. Most systems in use today are still largely restricted to CPU-only execution. At ...Bachelor Thesis -
The Lickorish-Wallace Theorem
(2024)In this bachelor’s thesis, we prove a theorem discovered independently by W. B. R. Lickorish [Lic62] and by Andrew H. Wallace [Wal62] in 1962. It states, that any closed, connected, and orientable 3-manifold can be obtained by Dehn-surgery on a link in S^3. We will formalize the proof given by Lickorish. It relies heavily on the Lickorish twist-theorem, stating that the mapping class group of a genus-g surface is generated by Dehn-twists ...Bachelor Thesis -
Recognising Group-Tactical Manoeuvres from Player Positions
(2024)This thesis presents a novel methodology for recognising group-tactical manoeuvres in soccer by analysing player positions using advanced computational techniques. Leveraging tracking data from Bundesliga matches, the study focuses on detecting key tactical behaviours such as dropping midfielders, inverted players, and over- and underlap manoeuvres. Team formations are represented as shape graphs in a goal-aligned coordinate system with ...Bachelor Thesis -
Untrusted Predictions for Forbidden Subgraph Problems
(2024)Online algorithms on forbidden subgraph problems receive as input a graph which is revealed vertex by vertex. In this work, we focus on the Delayed Connected H-Node-Deletion Problem. Each time a specific connected induced forbidden subgraph H occurs in the input graph, the algorithm must decide on one or more vertices to delete to keep the graph free of any induced copies of H. The objective is to delete as few as possible vertices. ...Bachelor Thesis -
A tool for debugging JTAG
(2024)Debuggers not hosted on the target can provide users with bare-metal access to the machine. This way, one can establish a debug session even when no operating system is present, e.g., right after the power-up. The JTAG communication protocol is often used to interface the external debuggers with the target’s infrastructure. On the Enzian research computer, such a connection between an ARM processor and the specialized adapter fails ...Bachelor Thesis -
Skewed Expectations in the Elo Rating System: Home Advantage in Football and White Advantage in Chess
(2024)In both national team football and chess, the Elo rating system plays a crucial role in accurately ranking players and teams. Given its pivotal influence on decisions such as seeding, funding, and tournament pairings, it is imperative that the rating system reflects skill levels as precisely as possible. This thesis delves into the theoretical underpinnings of the Elo rating system and conducts thorough data analysis to investigate ...Bachelor Thesis