Property testing considers decision problems in the regime of sublinear complexity. Most classical decision problems require at least linear time complexity in order to read the whole input. Hence, decision problems are relaxed by introducing a gap between “yes” and “no” instances: A property tester for a property Π (e. g., planarity) is a randomized algorithm with constant error probability that accepts objects that have Π (planar graphs) and that rejects objects that have linear edit distan...

In dieser Dissertation betrachten wir die parallele Konstruktion von Text-Indizes. Text-Indizes stellen Zusatzinformationen über Texte bereit, die Anfragen hinsichtlich dieser Texte beschleunigen können. Ein Beispiel hierfür sind Volltext-Indizes, welche für eine effiziente Phrasensuche genutzt werden, also etwa für die Frage, ob eine Phrase in einem Text vorkommt oder nicht. Diese Dissertation befasst sich hauptsächlich, aber nicht ausschließlich mit der parallelen Konstruktion von Text-Indi...

We give a memory-friendly algorithm computing the compression scheme plcpcomp or lex-parse in linear or near-linear time.

Linked data arise in many real-world settings - from chemical molecules, and protein-protein interaction networks, to social networks. Hence, in recent years, machine learning methods for graphs have become an important area of research. The present work deals with (supervised) graph classification, i.e., given a set of (class) labeled graphs we want to train a model such that it can predict the labels of unlabeled graphs. Thereto, we want to map a graph to a (usually) high-dimensional vector...

The visualization of a protein is hardly imaginable without secondary structure elements (SSEs). But SSEs play a by far more important role in the field of chemical biology, apart from the creation of fancy protein images. They are essential in structure-based analyses due to their impact on secondary structure prediction and structural protein alignment. However, their proper classification is a challenging issue. There are more than 30 tools available that underline the subjective char...

Wird in einem Fabriksystem ein Anpassungsbedarf erkannt, muss ein Anpassungsprozess gestartet werden. Ein solcher Prozess beinhaltet in der Regel eine Planungsphase, in der ein Projektteam ein Vorgehen erarbeitet, wie die Anpassung vorzunehmen ist. Während Produktions-, Logistik- und Fertigungsprozesse bereits weitgehend automatisiert wurden und werden, findet die Entwicklung eines solchen Planungsprozesses in der Regel nach wie vor manuell und individuell statt. Das Planungsteam entwickelt d...

A mobile system that can detect viruses in real time is urgently needed, due to the combination of virus emergence and evolution with increasing global travel and transport. A biosensor called PAMONO (for Plasmon Assisted Microscopy of Nano-sized Objects) represents a viable technology for mobile real-time detection of viruses and virus-like particles. It could be used for fast and reliable diagnoses in hospitals, airports, the open air, or other settings. For analysis of the images provided ...

Focusing on real-time scheduling theory, the thesis demonstrates how essential realistic scheduling models and analyses are when guaranteeing timing correctness without over-provisioning the necessary system resources. It details potential pitfalls of the de facto standards for theoretical examination of scheduling algorithms and schedulability tests, namely resource augmentation bounds and utilization bounds, and proposes parametric augmentation functions to improve their meaningfulness. Con...

Whenever a database is changed, any previously computed and stored result of a query evaluation on that database becomes invalid and needs to be updated. This update can in principle be conducted by re-evaluating the query from scratch. However, this approach might be too inefficient, especially for large databases. Instead, it is often advantageous to make use of the old query result and possibly further stored auxiliary information. A descriptive framework for studying this dynamic s...

Today software development often depends on the communication between di erent shareholders with various professional backgrounds. Domain speci c languages (DSL) aim to close the semantic gap between these shareholders by providing a common method for communication. When using meta-tooling suites or language workbenches it is quiet easy to create DSLs for small scenarios or even for single use. But with the more frequent use of DSLs the need for domain-speci c tooling has also risen. Th...

The rolling process is a complex real-world problem which requires adequate handling and analysis. During the production of strips, plates or coils, a huge amount of data is generated which can be used to optimize the process. The description of the process is done with so-called process models which are regular software programs. It is shown in this thesis that data-driven surrogate based optimization is an excellent method for improving even complex processes. The optimization procedure wa...

The three-dimensional cuneiform script is one of the oldest known writing systems and a central object of research in Ancient Near Eastern Studies and Hittitology. An important step towards the understanding of the cuneiform script is the provision of opportunities and tools for joint analysis. This paper presents an approach that contributes to this challenge: a collaborative compatible web-based scientific exploration and analysis of 3D scanned cuneiform fragments. The WebGL -based concept ...

In our recent work, the plasmon assisted microscopy of nano-objects (PAMONO) was successfully employed for the detection and quantification of individual viruses and virus-like particles in aquatic samples (Shpacovitch et al., 2015). Further, we adapted the PAMONO-sensor for the specific detection of individual microvesicles (MVs), which have gained growing interest as potential biomarkers of various physiological and pathological processes. Using MVs derived from human neuroblastoma cel...

Compacting orthogonal drawings is a challenging task. Usually, algorithms try to compute drawings with small area or total edge length while preserving the underlying orthogonal shape. We suggest a moderate relaxation of the orthogonal compaction problem, namely the one-dimensional monotone flexible edge compaction problem with fixed vertex star geometry. We further show that this problem can be solved in polynomial time using a network flow model. An experimental evaluation shows that by all...

German nuclear power phase out in 2022 leads to significant reconstruction of the energy transmission system. Thus, efficient identification of practical transmission routes with minimum impact on ecological and economical interests is of growing importance. Due to the sensitivity of Germany’s public to grid expansion (especially in case of overhead lines), the participation and planning process needs to provide a high degree of openness and accountability. Therefore, a new methodological app...

Modern hardware and software development has led to an evolution of user interfaces from command-line to natural user interfaces for virtual immersive environments. Gestures imitating real-world interaction tasks increasingly replace classical two-dimensional interfaces based on Windows/Icons/Menus/Pointers (WIMP) or touch metaphors. Thus, the purpose of this paper is to survey the state-of-the-art Human-Computer Interaction (HCI) techniques with a focus on the special field of three-dimensio...

The nature of contemporary spatial data infrastructures lies in the provision of geospatial information in an on-demand fashion. Although recent applications identified the need to react to real-time information in a time-critical way, research efforts in the field of geospatial Internet of Things in particular have identified substantial gaps in this context, ranging from a lack of standardisation for event-based architectures to the meaningful handling of real-time information as “events”. ...