Institut für Softwaretechnik und Theoretische Informatik
Community home page

189 Submissions in this community.

Recent Submissions
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...

Pushing the boundaries of Brain-Computer Interface technology

Acqualagna, Laura (2017)

Since the first studies in the 70s, Brain-Computer Interface (BCI) research has had an exponential development thanks to the high potential in improving life of severely impaired people. In the las...

Be sparse! Be dense! Be robust!

Sorge, Manuel (2017)

In this thesis we study the computational complexity of five NP-hard graph problems. It is widely accepted that, in general, NP-hard problems cannot be solved efficiently, that is, in polynomial ti...

Brain-computer interfaces for cognitive neuroscience and advanced mental state assessment

Schultze-Kraft, Matthias (2016)

Advancements in machine learning in combination with fundamental research in cognitive neuroscience have put forth application areas for brain-computer interfaces (BCIs) that go beyond communicatio...

On the formal foundations of PUFs and related primitives

Rührmair, Ulrich (2016)

This thesis deals with the formal foundations of so-called “physical unclonable functions” (PUFs) and related, disorder-based cryptographic primitives. We develop formal definitions, lead security...

The sum of two models: how a composite model explains unexpected user behavior in a dual-task scenario

Halbrügge, Marc; Russwinkel, Nele (2016)

Maintaining cognitive control while pursuing several tasks at the same time is hard, especially when the current problem states of these tasks need to be represented in memory. We are investigating...

Towards the evaluation of cognitive models using anytime intelligence tests

Halbrügge, Marc (2016)

Cognitive models are usually evaluated based on their fit to empirical data. Artificial intelligence (AI) systems on the other hand are mainly evaluated based on their performance. Within the field...

Is Neural Activity Detected by ERP-based Brain-Computer Interfaces Task Specific? - Data set

Wenzel, Markus; Almeida, Inês; Blankertz, Benjamin (2016)

EEG and behavioral data of thirteen people were recorded by members of the Neurotechnology Group at Technische Universität Berlin. Details of the study are published in Wenzel M A, Almeida I and Bl...

Modeling cognitive flexibility in alcohol dependence

Balta Beylergil, Sinem (2016)

Substance-dependent individuals often lack the ability to adjust decisions flexibly in response to changes in reward contingencies. Prediction error (PE), which signals the difference between expec...

Multi-episodic perceived quality of telecommunication services

Guse, Dennis (2016)

Telecommunication services have to cope with degradations resulting from the necessary transmission of data. A telecommunication service might thus not always be able to provide the same performanc...

Cortical spreading depression in reaction-diffusion models

Kneer, Frederike (2016)

Cortical Spreading Depression (CSD) is a pathological dysfunction of brain activity that occurs during neurological diseases like e.g. migraine and stroke. In the electrocorticogram, it can be mea...

Investigations on the role of expectations and individual decisions in quality perception

Sackl, Andreas (2016)

In the scientific field of Quality of Experience (QoE) the impact of technical influencing factors — often referred as Quality of Service (Qos) — and additional context factors like applications, u...

Modeling user perception and behavior when interacting with a mobile payment system

Kirschnick, Niklas (2016)

Today, security-relevant electronic systems like computers, smartphones, electronic access systems, or electronic banking, concern our whole life. Therefore, ordinary users, not only professionals,...