Institut für Softwaretechnik und Theoretische Informatik
Community home page

201 Submissions in this community.

Recent Submissions
Improving and interpreting machine learning algorithms with applications

Vidovic, Marina Marie-Claire (2017)

Advancing understanding and interpretation of machine learning algorithms has recently been receiving much attention. Although classification systems achieve high prediction accuracies and are used...

Evaluating embodied conversational agents in multimodal interfaces

Weiss, Benjamin; Wechsung, Ina; Kühnel, Christine; Möller, Sebastian (2015)

Based on cross-disciplinary approaches to Embodied Conversational Agents, evaluation methods for such human-computer interfaces are structured and presented. An introductory systematisation of eval...

Prediction of difficulty levels in video games from ongoing EEG

Neumann, Laura; Schultze-Kraft, Matthias; Dähne, Sven; Blankertz, Benjamin (2017)

Real-time assessment of mental workload from EEG plays an important role in enhancing symbiotic interaction of human operators in immersive environments. In this study we thus aimed at predicting t...

Maritime cognitive workload assessment

Miklody, Daniel; Uitterhoeve, Wendie M.; van Heel, Dimitri; Klinkenberg, Kerstin; Blankertz, Benjamin (2017)

The human factor plays the key role for safety in many industrial and civil every-day operations in our technologized world. Human failure is more likely to cause accidents than technical failure, ...

Accelerated secure GUI for virtualized mobile handsets

Danisevskis, Janis (2017)

Mobile handsets, especially so-called smartphones, have become an indispensable commodity in day-to-day life. However, their growing versatility came at the cost of ever-increasing complexity, and ...

Identifier Gold Standard for NTCIR 11 Math Wikipedia Dataset

Schubotz, Moritz (2016-07-18)

Mathematical formulae are essential in science, but face challenges of ambiguity, due to the use of a small number of identifiers to represent an immense number of concepts. Corresponding to word s...

Decoding implicit information from the electroencephalogram with methods from brain-computer interfacing

Wenzel, Markus (2017)

Research on brain-computer interfacing (BCI) has demonstrated that specific brain activity patterns can be detected in the electroencephalogram (EEG) with multivariate methods from machine learning...

A secure system architecture for measuring instruments under legal control

Peters, Daniel (2017)

In many fields, application software must be stable and withstand attacks. Due to the trend of the "Internet of Things" these attacks increase in all areas where devices are connected via the open ...

Augmenting mathematical formulae for more effective querying & efficient presentation

Schubotz, Moritz (2017)

Mathematical Information Retrieval (MIR) is a research area that focuses on the Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) domain. Unlike traditional Infor...

Multi-factor authentication based on movement and gesture

Roshandel, Mehran (2017)

Security and usability are in constant touch with each other. It is in the nature of security methods that, the more secure they are, the more they complicate interactions. Yet users dislike using ...

User experience with mobile security and privacy mechanisms

Kraus, Lydia (2017)

Smartphones have become indispensable in the life of many people. They are constant companions, connections to the world, information sources, and substitutes for other devices and tools that had...

Strengthening system security on the ARMv7 processor architecture with hypervisor-based security mechanisms

Vetter, Julian (2017)

The computing landscape has significantly changed over the last decades. The devices we use today to interact with digital content have shifted away from stationary computers towards ubiquitous net...

Gesture-based user authentication on mobile devices using accelerometer and gyroscope

Guse, Dennis (2017)

Mobile devices offer their users lots of possibilities and a feeling of freedom. However, this freedom comes along with new security threats. Sensitive data might be stolen and abused, if an unauth...

Design and provability of a statically configurable hypervisor

Nordholz, Jan (2017)

In this thesis we develop a novel, minimalist design for Type I hypervisors and present a fully working prototype for the ARMv7 and ARMv8 architectures. We introduce its key design paradigm, the Pr...

Nonlinear spike-and-slab sparse coding for interpretable image encoding

Shelton, Jacquelyn A.; Sheikh, Abdul-Saboor; Bornschein, Jörg; Sterne, Philip; Lücke, Jörg (2015)

Sparse coding is a popular approach to model natural images but has faced two main challenges: modelling low-level image components (such as edge-like structures and their occlusions) and modelling...

Simultaneous Acquisition of EEG and NIRS during Cognitive Tasks for an Open Access Dataset

Shin, Jaeyoung; von Lühmann, Alexander; Kim, Do-won; Mehnert, Jan; Hwang, Han-Jeong; Müller, Klaus-Robert (2017)

We provide an open access multimodal brain-imaging dataset of simultaneous electroencephalography (EEG) and near-infrared spectroscopy (NIRS) recordings. Twenty-six healthy subjects performed three...

Strukturvariabilität in der objektorientierten Modellierung und Simulation durch Generierung von Varianten

Gómez Esperón, Daniel (2017)

In Forschung und Entwicklung wird die Modellierung von technischen Systemen als Ergänzung oder als Ersatz für klassische Prototypen verwendet. Die Simulation ist die Ausführung eines solchen Softwa...

On scalable inference and learning in spike-and-slab sparse coding

Sheikh, Abdul-Saboor (2017)

Sparse coding is a widely applied latent variable analysis technique. The standard formulation of sparse coding assumes Laplace as a prior distribution for modeling the activations of latent compon...

Verfahren zum Refactoring und zur Erkennung von Refactoring-Einsatzmöglichkeiten für datenflussorientierte Modelle in einer grafischen Sprache

Tran Minh, Quang (2017)

Zur Beherrschung der wachsenden Komplexität und zur Verkürzung der Entwicklungszeiten werden Steuer- und Regelsysteme in Fahrzeugen heute zunehmend modellbasiert entwickelt. Dabei werden Algorithme...

Representation and generalization in autonomous reinforcement learning

Böhmer, Wendelin (2017)

This PhD thesis investigates the role of representations that generalize values in autonomous reinforcement learning (RL). I employ the mathematical framework of function analysis to examine induct...