Einheitliches Management serviceorientierter Systeme in einer Multi-Provider-Umgebung See

Die zunehmende Digitalisierung der Geschäfts- und Alltagswelt stellt die heutige Unternehmens-IT vor immer größer werdende Herausforderungen. Die Unternehmen sind gezwungen, ihre Prozesse kontinuierlich zu optimieren und an veränderte Rahmen- und Marktbedingungen anzupassen. Die IT muss mit diesem Wandel Schritt halten. Als ein strategisches IT-Konzept bietet das Cloud-Computing die Möglichkeit, die IT-Landschaft bedarfsorientiert nach dem Baukastenprinzip zusammenzustellen. In den seltensten...

Energy-aware design of hardware and software for ultra-low-power systems See

Future visions of the Internet of Things and Industry 4.0 demand for large scale deployments of mobile devices while removing the numerous disadvantages of using batteries: degradation, scale, weight, pollution, and costs. However, this requires computing platforms with extremely low energy consumptions, and thus employ ultra-low-power hardware, energy harvesting solutions, and highly efficient power-management hardware and software. The goal of these power management solutions i...

A mathematical theory of making hard decisions: model selection and robustness of matrix factorization with binary constraints See

One of the first and most fundamental tasks in machine learning is to group observations within a dataset. Given a notion of similarity, finding those instances which are outstandingly similar to each other has manifold applications. Recommender systems and topic analysis in text data are examples which are most intuitive to grasp. The interpretation of the groups, called clusters, is facilitated if the assignment of samples is definite. Especially in high-dimensional data, denoting a degree ...

Policy-based management of medical devices and applications See

Die Arbeit präsentiert einen erweiterten Ansatz zum autonomen technischen Management, der das innovative Modell-basierte Management mit dem etablierten Policy-basierten Management kombiniert. Zur Planung des Systems wird ein umfassendes Modell des Management- und des zu verwaltenden Systems entworfen. Beide Systeme werden auf drei Abstraktionsschichten („Use Cases“, „Services“, „Components“) modelliert. Auf Basis der vorgestellten Ableitungsmuster (Evaluierungs-, Kontroll- und Verfeinerungsm...

Designing and evaluating recommender systems with the user in the loop See

On many of today's most popular Internet service platforms, users are confronted with a seemingly endless number of options to choose from, such as articles to purchase on online shopping sites, music to listen to on online streaming platforms, or posts to read on social media. As a solution to this choice overload problem, recommender systems have been integrated into more and more websites and applications to help users find items that they might like or that could be useful in their curren...

Segmentation-free word spotting with bag-of-features hidden Markov models See

The method that is proposed in this thesis makes document images searchable with minimum manual effort. This works in the query-by-example scenario where the user selects an exemplary occurrence of the query word in a document image. Afterwards, an entire collection of document images is searched automatically. The major challenge is to detect relevant words and to sort them according to similarity to the query. However, recognizing text in historic document images can be considered as extrem...

Design of fault-tolerant virtual execution environments for cyber-physical systems See

The last decade revealed the vast economical and societal potential of Cyber-Physical Systems (CPS) which integrate computation with physical processes. In order to better exploit this potential, designers of CPS are trying to take advantage of novel technological opportunities provided by the unprecedented efficiency of today's hardware. There are, however, considerable challenges to this endeavor. First, there is a strong trend towards softwarization. Functions that were originally impl...

Extraction, localization, and fusion of collective vehicle data See

Maps representing the detailed features of the road network are becoming more and more important for self-driving vehicles and next generation driver assistance systems. The mapping of the road network, by specially equipped vehicles of the well-known map providers, leads to usually quarterly map updates, which might result in problems encountered by self-driving vehicles in the case that the road information is outdated. Furthermore, the provided maps could lack details, such as precise land...

Algorithmic aspects of type-based program synthesis See

In the area of type-based program synthesis, the decision problem of inhabitation (given a type environment Gamma and a type tau, is there a term M such that M can be assigned the type tau in Gamma?) corresponds to existence of a program (term M) that satisfies the given specification (type tau) under additional assumptions (type environment Gamma). Inhabitation in typed lambda-calculi can be seen as functional program synthesis from scratch. Complementarily, inhabitation in combinatory l...

Optimization and analysis for dependable application software on unreliable hardware platforms See

As chip technology keeps on shrinking towards higher densities and lower operating vol- tages, memory and logic components are now vulnerable to electromagnetic inference and radiation, leading to transient faults in the underlying hardware, which may jeopar- dize the correctness of software execution and cause so-called soft errors. To mitigate threats of soft errors, embedded-software developers have started to deploy Software- Implemented Hardware Fault Tolerance (SIHFT) techniques. H...

SACA Bench See

PG 613: ACC++ See

Autonomous Driving Using Neural Networks See

Bioinformatics from genetic variants to methylation See

An important research topic in bioinformatics is the analysis of DNA, the molecule that encodes the genetic information of all organisms. The basis for this is sequencing, a procedure in which the sequence of DNA bases is determined. In addition to the identification of variations in the base sequence itself, advances in sequencing methods and a steady reduction in sequencing costs open up new fields of research: the analysis of functionally relevant non-base-related changes, so-called ...

Uncertainty handling in surrogate assisted optimisation of games See

In this thesis entitled Uncertainty handling in surrogate assisted optimisation of games, we started out with the goal to investigate the uncertainty in game optimisation problems, as well as to identify or develop suitable optimisation algorithms. In order to approach this problem systematically, we first created a benchmark consisting of suitable game optimisation functions (GBEA). The suitability of these functions was determined using a taxonomy that was created based on the results of a ...

Contributions to computer-aided analysis of cuneiform tablet fragments See

This thesis presents methods for computer-aided three-dimensional analysis of digitized cuneiform tablets, an ancient type of writing documents. Since cuneiform script is predominantly conserved in the form of fractured clay tablet fragments, identifying matching fragments is a central task of manuscript reconstruction. This goal can benefit from the increasing 3D digitization of cuneiform fragments, which offers access to highly accurate cuneiform representations. The main contribution...

Learning attribute representations with deep convolutional neural networks for word spotting See

Understanding the contents of handwritten texts from document images has long been a traditional field of research in computer science. The ultimate goal is to automatically transcribe the text in the images into an electronic format. This would make the documents from which the images were generated much easier to access and would also allow for a fast extraction of information. Especially for historical documents a possibility to easily sift through large document image collections would...

Surrogate models for discrete optimization problems See

Surrogate models are crucial tools for many real-world optimization problems. An optimization algorithm can evaluate a data-driven surrogate model instead of an expensive objective function. While surrogate models are well-established in the continuous optimization domain, they are less frequently applied to more complex search spaces with discrete or combinatorial solution representations. The main goal of this thesis is to fill this gap. We develop and improve methods for data-driven su...

K-best enumeration - theory and application See

Where an optimal solution does not contain sufficient information about a given problem instance, enumerating good solutions is a common coping strategy. In combinatorial optimization, k-best enumeration, or ranking, has been studied and applied extensively. The k shortest simple path problem in directed, weighted graphs (kSSP), introduced in 1963 by Clarke, Krikorian and Rausen, is particularly well known. Efficient existing algorithms are based on Yen's algorithm for this problem; they all ...