Search
Results
-
On the finiteness of simple Eta-quotients of fixed weight or fixed level
(2024)This Bachelor's thesis is concerned with the (holomorphic) modular forms one can obtain from rescaling Dedekind's $\eta$-function and taking quotients of these rescalings, so-called $\eta$-quotients. Eta-quotients are of interest because they are explicit examples of holomorphic modular forms to some congruence subgroup with some multiplier system. They even provide examples of holomorphic modular forms of any weight $k \in \frac{1}{2}\ ...Bachelor Thesis -
Bayesian Optimization for Vagus Nerve Stimulation & Development of a High Performance Computing Simulation Pipeline
(2023)In this work, we embark on exploring the application of Bayesian optimization to vagus nerve stimulation (VNS). Leveraging the foundational insights from previous works [1], we demonstrate the efficacy of Bayesian optimization in yielding significant outcomes with few iterations, illuminating a promising path for addressing intricate optimization challenges inherent in VNS. The initial sections delineate the objectives of this project, ...Bachelor Thesis -
Nonplanar Layered Morphologies
(2024)This thesis investigates the potential of nonplanar robotic 3D printing for architectural applications and develops novel methods to design nonplanar print paths for medium to large-scale robotic FDM 3D printing. Latest developments in additive manufacturing have opened new possibilities for 3D printing objects with unprecedented geometric complexity. However, these advancements are still hindered by the inherent limitations of current ...Doctoral Thesis -
Control of Large-Scale Discrete-Time Systems - Dissipativity, Optimality, and Learning
(2024)Society faces a number of major global challenges, including climate change mitigation, healthcare and quality of life improvement, and design of smart infrastructures such as those in transportation, water, food, and energy systems. Control theory plays a central role in the development of technologies and solutions for many of these key problems. The ever complex requirements of the global challenges when it comes to control solutions ...Doctoral Thesis -
Designing a Communication Library for Xilinx Versal Devices Using the Window-Based API
(2023)The Adaptive Compute Acceleration Platform (ACAP) developed by AMD/Xilinx is a novel architecture which combines three parts: An ARM-based CPU, an FPGA and a CGRA. The CGRA is implemented as a configurable grid of powerful vector processors called AI Engines (AIEs), whose communication patterns can be programmed using dataflow graphs. Programming the AI Engines is difficult because it requires extensive knowledge of the underlying ...Bachelor Thesis -
-
Trusted Computing on Modern Platforms: Analysis, Challenges, and Implications
(2024)Computing architectures come in all forms and shapes, and they impact our daily lives significantly. Smartphones are omnipresent, most jobs require daily interactions with computers, and leisure time is dominated by the availability of decades worth of TV shows at the tip of a finger. As computing architectures dominate many fields, they must also process confidential data, from medical data and e-voting to personal communications in ...Doctoral Thesis -
Accelerator mass spectrometry below 300 kV
(2024)A prototype of a compact, low-energy, multi-isotope accelerator mass spectrometer (MILEA) with a maximal terminal voltage of 0.3 MV was built at ETH Zurich in 2017. The presented work eval- uates the capabilities of the new system and thereby investigates ion beam physics at low energies. The findings of this work allowed to optimize the operational parameters for AMS measurements of 10Be, 26Al and uranium at low energies (<1 MeV). The ...Doctoral Thesis -
Explaining and Improving Communication in Graph Neural Networks
(2024)This thesis studies improvements for message-passing Graph Neural Networks (GNNs) from two angles. First, we tackle the problem of understanding how GNNs reason. We quantify how much GNN architectures achieve the combined reasoning over features and edges that GNNs uniquely offer. We then present two methods to explain GNN predictions. The first explanation method explains graphs by contrasting them to similar examples. The second explanation ...Doctoral Thesis