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 -
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 -
-
Designing a generic web forms crawler to enable legal compliance analysis of authentication sections
(2022)While users deserve security and privacy when using web services, these properties are at odds with the financial interests of website owners both in terms of work required to keep websites secure and revenues generated by exploiting sensitive data resulting in a violation of the user’s privacy. Countries, therefore, introduced regulations to balance the inequity. Namely, European Union’s General Data Protection Regulation (GDPR) specifies ...Master Thesis -
Forest: Structural Code Editing with Multiple Cursors
(2022)Software developers sometimes have to repeat an edit in multiple parts of their codebase in order to maintain or extend their software. To let the user perform a repetitive edit, text editors provide multi-cursor editing, which applies editing commands in multiple locations simultaneously. However, multi-cursor text editing is limited, since each executed command must make the desired change regardless of which cursor executes it. To ...Master Thesis