Student Paper
Recent Submissions
-
-
-
Report Semesterproject: Noise characterisation of current-stabilised power supplies
(2024)Student Paper -
-
Gravity Field Models From Kinematic Orbits of Low Earth Orbiting Satellites
(2024)This project addresses the data gap between the GRACE and GRACE-FO missions by proposing a workflow to estimate monthly gravity field models using Swarm A/B/C satellite orbits. The goal is to create a reliable process specifically for low Earth orbiting (LEO) satellites, with a focus on the Swarm mission. Validation involves comparing the results with established COST-G Swarm and ITSG-GRACE solutions. The methodology uses input data from ...Student Paper -
Randomized Algorithms to Locate the Sink in Low Dimensional Unique Sink Orientations of Cubes
(2004)An orientation of the edges of an n-dimensional cube graph such that every face has a unique sink is called a unique sink orientation. These orientations provide a powerful framework for optimization problems, since, for instance, linear and strictly-convex quadratic programming, as well as many other problems, can be reduced to the problem of finding the unique sink of a unique sink orientation. We assume the orientation is implicitly ...Student Paper -
-
-
-
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
(2024)Using a recent live verification tool, we implement a crit-bit tree in C syntax and verify the implementation against the Bedrock2 C-like semantics. This is the first formally verified implementation of crit-bit trees, the first implementation of an efficient key-value store in Bedrock2, and one of only a limited number of formally verified low-level, imperative implementations of a map data structure in general. Our work is the first ...Student Paper -
Guidelines for Low-Cost Incineration Systems
(2024)In low-income countries, effective waste management remains a critical challenge, with incineration emerging as a practical solution to reduce waste volumes and mitigate environ mental health risks. This report examines the feasibility and performance of three incineration technologies- De Montfort incinerators, barrel incinerators, and open pits- in the context of low-income settings. The study evaluates each technology based on parameters ...Student Paper -
-
User-centric Data Traffic Engineering with Karma
(2023)Imagine this: you are hosting a movie night with friends, but the video keeps buffering due to limited bandwidth. You may consider purchasing a high-speed bundle, but prioritizing Internet access based on monetary payment can undermine Net Neutrality. To date, there are no known fair means to elicit truthful demand information, leading to a polarization of existing bandwidth allocation schemes that either assume truthfulness or are fully ...Student Paper -
Noise reduction in absorption imaging for quantum gases experiments
(2024)In many experiments with quantum gases, the information about the final state of the system is extracted by the density profile of the cloud. One of the most common techniques used to image the cloud is absorption imaging, which is limited by various kinds of noise. One of the main sources of noise is the presence of fringes that originates from vibrations in the experiment. In our case, the problem is increased by the presence of an ...Student Paper -
Long range order for random field Ising model
(2024)We study existence of long range order in the random field Ising model. We define the classical Ising model and use the so-called Griffiths--Peierls argument to prove existence of long range order for low temperatures, in dimension two and above. Then, we introduce the random field Ising model. We proceed as in J. Ding and Z. Zhuang recent work in \cite{dingzhuang} to extend Peierls argument and show that long range order also exists in ...Student Paper -
Multi-Karma Economies
(2024)Limited public resources include fast lanes on highways, parking spots at high-interest locations near a city center, and access to EV charging stations during peak hours. Elokda et al. proposed karma economies as a non-monetary approach to an effective allocation of such resources and demonstrated an improvement of discomfort cost for all participants with respect to classic solutions. However, so far only single-resource economies have ...Student Paper -
Integrating FPGA-Based Signal Generation Hardware into Experiment Control System
(2024)Student Paper -
The Establishment of an Absorbent Hygiene Product Waste Collection System in Two Informal Settlements in South Africa
(2024)Absorbent hygiene products (AHPs), including nappies, sanitary pads, and tampons, have become essential personal hygiene products. In South Africa, most AHP waste is landfilled, however in informal settlements, where waste collection is insufficient, they are frequently dumped within the open environment. The purpose of this study is assess the feasibility of an AHP waste collection system within two informal settlements, Johanna Road and ...Student Paper -
Mapping embedded process matrices to spacetime games
(2023)In 1935 Einstein first stated that quantum theory, as we know it, is an in- complete theory. In fact, quantum theory, as given by the Born rule, has an inherently random component, restricting it to providing probabilities for a cer- tain measurement outcome rather than specific predictions of outcomes. We explore a new approach that aims to lift this restriction with the help of game theory. It has been shown that Nashian game theory ...Student Paper -