Flight control systems, railway interlocking systems, and nuclear reactor protection systems are examples of safety critical systems from different industrial domains. A safety critical system within any of these domains ...

Radio-frequency identification (RFID) technology has been applied extensively in logistic and supply chain applications. Long-range passive RFID systems offer higher reliability and flexibility compared to conventional ...

A fast segmentation of tubular tree structures like vessel systems in volumetric datasets is of vital interest for many medical applications. This is especially valid for planning and navigation in catheter based interventions ...

The increasing popularity of virtualized services and cloud computing, offering elastic and scalable computing resources challenges software engineering methods by asking a number of new questions: How can we integrate ...

Conservation laws describing one or more conserved quantities in time arise in a multitude of different scientific areas. Mathematically, conservation laws are expressed as partial differential equations (PDEs). In this ...

This thesis studies exact rational parametrizations of blends between the natural quadrics. The first part focuses on fixed and variable radius rolling ball blends as patches on canal surfaces. Closed formulae for the blend ...

Fractional calculus is the generalization of integer-order calculus to rational order. This subject has at least three hundred years of history. However, it was traditionally regarded as a pure mathematical field and lacked ...

There are several strong indications for a profound connection between musical sound and body motion. Musical embodiment, meaning that our bodies play an important role in how we experience and understand music, has become ...

The thesis formulates effective strategies for delivery of streaming content for mobile users in resource-limited networks. We consider the entire end-to-end delivery path from the source to the destination. In the work, ...

This thesis focuses on model-driven software product line development, which is the combination of the following two software development paradigms: (1) Model-Driven Engineering (MDE), which focuses on modeling software ...

This thesis presents a new modelling framework for dialogue management based on the concept of probabilistic rules. Probabilistic rules are defined as if...then...else constructions associating logical conditions on input ...

High-impact systems, notably systems used in health care, public infrastructure, traffic control, and finance, depend on a data management facility that can tolerate many types of failure. In addition, the prevalent adoption ...