Suche
Anzeige der Dokumente 31-40 von 389
Dissertation
Hybrid Branching-Time Logics
(2019)
We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...
Dissertation
Algorithms for Emotion Recognition
(2023)
Technological advancements have increasingly facilitated emotion recognition through physiological sensors integrated into intelligent devices, such as earables and wristbands. People commonly wear these devices in their everyday lives (i.e., in the wild). Patterns can be extracted from various physiological signals, enabling the recognition of emotions. This capability can be integrated into diverse applications, such as attention management systems, human-robot interaction, and stress detection, enhancing them to ...
Dissertation
Investigation and Elimination of Substructures in Formal Concept Analysis focusing on Boolean Suborders and Subcontexts
(2023)
In the field of Formal Concept Analysis, data is mainly presented in so-called formal contexts, which assign to a set of objects their respective attributes. From those concept lattices can be generated, where the objects are grouped with respect to their common attributes to represent the relationships in the data in a way that enhances the understandability for humans. However, since a concept lattice can be of exponential size compared to its associated formal context, the presented relationships often become hard ...
Dissertation
A Language Ecosystem for Modeling Microservice Architecture
(2022)
The ongoing digital transformation of our economy and society poses significant challenges towards modern software systems. Application areas like Smart Cities and Industry 4.0 set high requirements on software quality attributes like scalability and reliability. At the same time, IT companies face an ever-growing demand in flexibility and continuous improvements of delivery cycles. Microservice Architecture (MSA) is a novel approach to the realization of software architectures that aims to foster their scalability, ...
Dissertation
Trajectory Mapping in Physical and Topical Spaces
(2023)
In this dissertation, two different types of trajectories are investigated. In the engfirst part of this work, we investigate methods for the analysis of physical trajectories. We focus on scenarios, in which signal strengths ofWiFi access points are recorded. In detail, they are recorded through smartphone devices by people moving through a building. By means of theWiFi signal strengths, (physical) trajectories of humans are reconstructed, which reflect the locations visited over time. Accurate localization based ...
Dissertation
Orometry, Intrinsic Dimensionality and Learning: Novel Insights into Network Data
(2023-11)
Today, networks are an integral part of our world. Let it be real-life friendship networks or social connections that are based on social media. In this thesis, we contribute to the understanding of networks by studying networks from three different perspectives. First, we adapt notions and concepts from orometry to metric data and networks to gain novel insights from a local perspective. Specifically, we study measures of local outstandingness and propose concepts to derive small hierarchies from larger networks. ...
Dissertation
Regionalisierung von E-Kfz-Ladestellen in Szenarien für den zukünftigen Ausbau in Deutschland
(2023-04)
Ein wesentlicher Baustein zur Senkung der CO2-Emissionen im Verkehrssektor ist die Elektrifizierung des Individualverkehrs, wobei die schnell wachsende Lade-infrastruktur Auswirkungen auf das Stromnetz hat. Netzberechnungen erfordern die räumliche Verortung von zukünftigen Ladestellen. Die vorliegende Arbeit mo-delliert dafür Heimladestellen und öffentlich zugängliche Ladestellen holistisch und punktgenau, und ist für alle Gemeinden in Deutschland anwendbar. Zunächst wird die Anzahl an Elektrofahrzeugen und Ladestellen ...
Dissertation
Patterns of Practice - Interdisciplinary Negotiation of Cultural Complexity through Practice-Based Methods in Informatics
(2022)
Following the principle of knowing through making, this thesis discusses development and application of a practice-based methodology for construction of digital artefacts within
cultural contexts. It addresses the epistemological diversity and complexity inhering within interdisciplinary projects, suggesting methodological devices able to navigate the variegated disciplinary landscape present within respective development projects. The conceptual pair complexity/complication acts as theoretical point of reference ...
Dissertation
Static and Dynamic Characterization of MEMS Micromirror and Microshutter arrays: Reliability and Lifetime
(2024)
Buildings are responsible for 40 % of the primary energy consumption and 36 % of the total CO2 emissions. There is a huge potential to decrease energetic consumption for lighting and heating/cooling by substituting the 85 % of inefficient glazing areas in EU’s buildings with energy efficient smart glazing windows. A micro-electro-mechanical system (MEMS) based smart glazing system comprising of millions of micro mirrors (invisible to the bare eye) is investigated here. This concept allows dynamic light steering by ...
Konferenzveröffentlichung
Fast parallel quasi-static time series simulator for active distribution grid operation with pandapower
(IET, 2021)
The increasing penetration from intermittent renewable distributed energy resources in distribution grid brings along challenges in grid operation and planning. To evaluate the impact on the grid voltage profile, grid losses, and discrete actions from assets (e.g. transformer tap changes), quasi-static simulation is an appropriate method. Quasi-static time series and Monte-Carlo simulation requires a tremendous number of power flow calculations (PFCs), which can be significantly accelerated with a parallel High-Performance ...