Institut für Softwaretechnik und Theoretische Informatik
Community home page

186 Submissions in this community.

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

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,...

Correlations and coding in visual cortex

Meyer, Robert (2016)

Understanding the neural code, that is deciphering how joint neural responses represent external stimuli, is one of the cardinal problems in Neuroscience. Since neurons are inherently noisy, the ne...

Long range analysis of EEG data

Blythe, Duncan A. J. (2016)

This thesis details advances in the understanding and methodology in analysis of the long term variation displayed by the brain as imaged by the electroencephalogram (EEG). The analysis focuses on ...

Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung

Mews, Marcus (2016)

Das Umgestalten von Quelltext ist ein essentieller Bestandteil beim Entwickeln, Erweitern und Warten von Programmen. Wird Quelltext umgestaltet, ändern sich lediglich seine Struktur oder Bezeichner...