Analyzing a large amount of business-relevant data in near-realtime in order to assist decision making became a crucial requirement for many businesses in the last years. Therefore, all major database system vendors offer solutions that assist customers in this requirement with systems ...

Probabilistic symbolic execution is a static analysis technique aiming at quantifying the probability of a target event occurring during a program execution; it exploits symbolic execution to identify the conditions on the program inputs leading to the occurrence of the target event and...

Die von der Abteilung FMI/ALG entwickelte Suchmaschine „OSCAR“ (OSM Cell ARrangement) erlaubt flexibles Suchen im weltweiten OpenStreetMap (OSM) Datenbestand. Hierbei werden sowohl Teilwort- und Präfixsuche auf Textinhalte, als auch alle üblichen Mengenoperationen und geometrischen Einschränkungen unterstützt. ...

Das Gesamtsystem löst ein Legepuzzle mittels Softwareagenten. Den gleiche Softwareagenten wie sie in modernen Automatisierungssystemen Verwendung finden sollen. Ein Puzzle ist ein allgemein verständliches Beispiel das Verhalten dieser Softwareagenten aufzuzeigen, ohne dazu Industrieanlagen genauer kennen zu müssen.&...

In recent years Representational State Transfer (REST) has become more and more popular as an architecture style for web applications. An application must obey several constraints to be considered fully REST compliant. Often these constraints are only partially fulfilled by developers. These...

Big Data ist ein wachsendes Feld in der Informationswissenschaft in Bezug auf Speicherung, Verarbeitung und Analyse von großen Datensätzen. Beispiele für Big Data können in allen Branchen gefunden werden, wie beispielsweise in der Produktion, Medizin und Energie. Konventionelle Datenverarbeitungsmethoden&#...

Die zunehmende Verbreitung von mobilen Endgeräten und Cloud-Diensten führt auch zur Erfassung großer Mengen privater Daten. Um die Gefahr eines Missbrauchs dieser Daten zu verringern, können Zugriffsschutzsysteme und Verschlüsselung eingesetzt werden. Neben dem Schutz der Vertraulichkeit der gespeicherten ...

Computerized control systems play a vital role in modern critical infrastructure. These systems are designed to provide better functionality and performance without concerning of security. This leaves them extremely vulnerable to cyber attacks which may lead to serious consequences. Therefore, it...

Zwischen 1994 und 2016 hat das südafrikanische Wohnungsbauprogramm RDP (Reconstruction and Development Programme) etwa 2,68 Millionen subventionierte Häuser für die einkommensschwache Gesellschaftsschicht bereitgestellt. Die Umsetzung steht in einem komplexen Spannungsfeld, welches von einer Vielzahl von Richtlinien ...

In der vorliegenden Bachelorarbeit wurden verschiedene Gamificationimplementierungen in einem vorhandenen System mithilfe einer Studie bewertet und weiterentwickelt. Die Studie wurde in Zusammenarbeit mit der AUDI AG in Ingolstadt und der KORION GmbH in Ludwigsburg durchgeführt. Durch die Auswertung der&#x...

Activity-Tracker erfreuen sich immer größerer Beliebtheit, um die täglichen körperlichen Aktivitäten zu erfassen. Die gemessenen Aktivitätsdaten enthalten aufgrund von unterschiedlichen Faktoren stets Ungewissheiten. Vielen Nutzern ist allerdings nicht bewusst, wie hoch diese Ungewissheiten sind. Hersteller von Acti...

Unternehmen stehen gegenwärtig vor der Herausforderung, ihre Geschäftsprozesse dynamisch und automatisiert auf neue Gegebenheiten anzupassen. Um wettbewerbsfähig zu bleiben, ist es von signifikanter Relevanz, situations- und kontextbewusste Workflows zu entwickeln, die ihr Verhalten an die Benutzer und die ...

Mehrgitterverfahren sind verbreitete Verfahren, die dazu dienen, die Lösungsapproximation eines linearen Gleichungssystemes schnell und effizient zu berechnen. Um die Verfahren durch Parallelisierung zu beschleunigen, muss man kommunikationsaufwändige Verfahren zur Glättung nutzen. Eine interessante Alternative dazu stel...

In dieser Bachelorarbeit wird die Verwaltung von Zuständen und der darin beinhalteten Typen sowie deren Instanzen untersucht. Hierbei soll die Funktionalität des Suchens, Löschens und Kopierens von Instanzen implementiert werden. Die Arbeit untersucht dafür zunächst die nötigen Schritte, um die g...

On the one hand, decision diagrams are a common means to represent Boolean functions. Since they were first proposed in the 80s, they became more and more popular. They are widely used in circuit optimization and verification and are useful when dealing with combinatorial prob...

The extraction of information considering the movement of objects in an image sequence becomes more and more an important problem, amongst others in the area of computer vision. In most cases, a displacement vector field between two consecutive frames of an image sequence should&#x...

Earthquakes affected mankind since the days of old, claiming more human casualties than any other nature catastrophe. The determination of the hypocenter location displays one of the key subjects of seismology. Today’s standard approaches provide for trustable location estimates - given a&#x...

Numerical simulations of multiphase flows for industrial applications have become increasingly complex. The demand on the resolution of temporal and spatial scales has increased and more complex and numerically demanding thermodynamic states of the fluid are required. The aim of this study&#...