The hydrological cycle is a complex system, composed of multiple variables, which in most cases are not measured. This is one of the reasons why it is a challenge to have models that adequately represent the expected discharges. The PUB initiative reinforces the need on h...

When developing and deploying systems for electronic voting (e-voting systems), it is fundamental to guarantee what is referred to as verifiability. Informally, the security property verifiability implies that an e-voting system enables voters and external observers to check whether the votes...

This thesis is concerned with improving the engineering of auto-scaling policies for cloud based applications through a model-based approach. Throughout this paper I create a graphical editor for the scaling policies introduced by Klinaku et al. [KHB21]. Problem. Working with scaling p...

Increasing demands for precision electronics require individual components such as resistors to be specified, as they can be the limiting factor within a circuit. To specify quality and long-term stability of resistors, noise measurements are a common method. This review briefly explains...

Materials composed of transition metal oxides possess various properties that arise from the correlated interplay between their elements. The interaction between the components of these materials results from the synergy involving the spin, charge, orbital, and structural degrees of freedom. Ther...

In this thesis the properties of superconducting Nb-doped SrTiO3 are investigated, more concrete the optical conductivity was obtained as function of temperature, magnetic flux density and frequency. Superconducting Stripline resonators were used to probe the optical properties of Nb:SrTiO3. The ...

Cloud computing plays an increasingly important role in today’s IT world. It lets enterprises access a virtually unlimited resource pool with a pay-per-use system similar to utilities like electricity and water. This led to its widespread adoption for large, scalable applications. These ...

Diese Arbeit untersucht inwiefern Oblivious Random Access Machines zur Private Function Evaluation genutzt werden können. Dazu werden zuerst Grundlagen zur Secure Computation vorgestellt und insbesondere der Stand der Forschung im Bereich Oblivious RAM zum Einsatz als Secure-Computation-Datenzugriffsstruktur&#...

Excitons in cuprous oxide have large binding energies, which implies that different principal quantum number state excitons can be created as they are energetically not spaced too closely to each other nor to the ionization continuum. High principal quantum number Rydberg excitons in&#x...

Wir zeigen, dass das Beschränktheitsproblem für eine Verallgemeinerung der automata with coloring nach Bala bzw. desert automata nach Kirsten mit mehreren priorisierten Zählern und auf Bäumen in PSPACE ist. Dieses Ergebnis nutzen wir, um zu zeigen, dass in doppelt exponentieller Zeit auf...

The transition from an economy based on fossil resources to a regenerative economy is imminent yet uncertain. Despite an awareness of the scarcity of fossil fuels and the increasing natural disasters due to climate change, the world’s renewable energy supply still constitutes less ...

Das Ziel der vorliegenden Arbeit ist die Entwicklung einer effizienten Methodik zur Simulation der Flammensynthese von Partikeln mit fraktaler Morphologie unter Verwendung einer dünn besetzten Lagrange-Partikelmethode. Die Flammensynthese umfasst die Vorläuferchemie in der Gasphase und Aerosolprozesse wie Parti...

Eye Tracking Kameras werden zum Standard in neuen Virtual Reality Brillen. Während Evaluation und Bewertung von zweidimensionalen Eye Tracking Daten schon Einsatz in Forschung und Designprozessen finden, ist der Einsatz von dreidimensionaler Blicktiefe weitgehend unerforscht. Üblicherweise wird zur Schätzu...

More and more research is focused on analyzing gaze data to gain new insights into the cognitive processes of individuals. While earlier works conducted statistical analysis onto the recorded eye-movement data, recent research focuses on qualitative analysis based on visualization techniques....