Suche
Anzeige der Dokumente 21-30 von 58
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
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 ...
Zeitschrift
Jahresbericht 2023
(Universität Kassel, Fachbereich Wirtschaftswissenschaften, 2024)
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Using Optical Satellite Imagery to Monitor and Understand Agricultural Land-cover Change
(2020-06)
The activities of humans have transformed the earth over the last decades. The transformation is estimated to increase further in response to the growing world population. This has caused many countries to devise means to utilize resources sustainably. Bio-economy is seen as a means to reduce the high reliance on fossil materials and ensure the provision of raw materials, energy and food to the increasing world population in a sustainable manner. However, the rising demands for biomass to produce bioenergy have relied ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Formal Verification for ALICA Plans
(2021)
Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...
Konferenzveröffentlichung
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Same Same But Different? A Two-Foci Perspective on Trust in Information Systems
(ScholarSpace, 2020-01-07)
Trust is one of the most important factors driving the adoption and use of information systems. The goal of this paper is to provide a first evaluation of a conceptual piece claiming a) that users distinguish between their trust in an IS and the provider of this IS and b) that both kinds of trust are important for the success sustainable success of IS providers. To evaluate the claims, a research model is developed and evaluated using data of 234 students during the introduction of a new IS at an European university. ...