Search
Results
-
Online control of quadrotor and camera with MPC for robust vision-based flight
(2022)Micro aerial robots are applied extensively in today’s society and industry. In certain scenes where it is used for data collection like monitoring, inspection or patrolling, it is important to know the accurate position of the robot. In vision-based navigation scenarios, usually, the quadrotor equipped with a camera is controlled autonomously by a controller after the enduser sets up the goal and the flight region. In these cases, the ...Master Thesis -
Further Development of the Wildfire Module in CLIMADA by Integrating Physical Constraints
(2022)Wildfires are among the most destructive natural hazards and lead to substantial economic impacts. Therefore, assessing and quantifying their economic risk is of great interest to governmental authorities and (re-)insurance companies. To estimate the risk, the probabilistic wildfire module in the open-source software CLIMADA (CLIMate ADAptation) simulates wildfire seasons based on a cellular automaton. In this thesis, we extend the ...Master Thesis -
-
DEAD: Dead Code Elimination based Automatic Differential Testing
(2022)In their pursuit of faster code, compilers invoke increasingly more complex optimizations. Along with the increase in complexity the difficulty to identify missed optimizations and performance regressions also increases. Most existing work does not focus on finding such missed opportunities. It either concentrates on correctness, does not pinpoint the precise missed optimization, or only finds missed optimizations for specific components ...Master Thesis -
Towards a Digital Twin of Seychelles' Road Transport System
(2022)Seychelles faces a fast growth in car ownership. Infrastructure improvements cannot keep pace with the grown mobility demand, resulting in an increasing congestion problem during peak hours. This thesis aims to build a reliable microscopic traffic model for Seychelles’ main island Mahé. It focuses on motorized private transport. I used openly available map data to build a model in the open-source traffic simulation software SUMO. The traffic ...Master Thesis -
Shift-DeepONet: Extending Deep Operator Networks for Discontinuous Output Functions
(2022)Master Thesis -
JSONiq and RumbleDB on Snowflake
(2022)This thesis integrates Snowflake to the ecosystem of RumbleDB, the query execution engine of the JSONiq query language for large, messy, and heterogeneous data. This enables RumbleDB to take advantage of major benefits provided by cloud-native database services such as usability, scalability, elasticity, and productivity, without performance compromise. Data independence achieved by RumbleDB make this integration possible. We only update ...Master Thesis -
-
Right-angled Artin groups as finite-index subgroups of their outer automorphism groups
(2022)A right-angled Artin group is a group that admits a finite presentation where the only relations are commutators between two generators. We prove by giving an explicit construction that every right-angled Artin group occurs as a finite-index subgroup of the outer automorphism group of another right-angled Artin group. We furthermore show that the latter group can be chosen in such a way that the quotient is isomorphic to (Z/2Z)^N for some ...Master Thesis -