Institut für Softwaretechnik und Theoretische Informatik
Community home page

182 Submissions in this community.

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

Exploratory relation extraction in large multilingual data

Akbik, Alan (2016)

The task of Relation Extraction (RE) is concerned with creating extractors that automatically find structured, relational information in unstructured data such as natural language text. Motivated b...

Modeling modality selection in multimodal human-computer interaction

Schaffer, Stefan (2016)

In this work the following three basic research questions are discussed: (1) can significant effects of modality efficiency and input performance on the selection of input modalities in multimodal ...

New methods for analysis of source localization and brain connectivity

Shahbazi Avarvand, Forooz (2016)

Due to the artifacts of volume conduction, localization of interacting brain sources is an intricate issue in inverse calculations of EEG and MEG data. Since non-interacting brain sources do not co...

ACT-R Model for Predicting Performance in the DSF Task

Halbrügge, Marc (2009-07-25)

Dynamic Stock Flow (DSF) problems are a well-established paradigm for research on human decision making under uncertainty. This cognitive model implements a theoretic account on how humans solve DS...