The issue of ‘rigour vs. relevance’ in IS research has generated an intense, heated debate for over a decade. It is possible to identify, however, only a limited number of contributions on how to increase the relevance of IS research without compromising its rigour. Based on a lifecycle view of IS research, we propose the notion of ‘reality checks’ in order to review IS research outcomes in the...

This paper presents results that show that there exist problems in that are provably hard in the generic group model but easy to solve whenever the random encoding function is replaced with a specific encoding function (or one drawn from a specific set of encoding functions). We also show that there exist cryptographic schemes that are provably hard in the generic group model but easy to break ...

Learning analytics (LA) and lesson observations are two approaches frequently used to study teaching and learning processes. In both cases, in order to extract meaningful data interpretations, there is a need for contextualization. Previous works propose to enrich LA datasets with observation data and to use the learning design as a framework to guide the data gathering and the later analysis. ...

Decision making under stressful circumstances, e.g., during evacuation, often involves strong emotions and emotional contagion from others. In this paper the role of emotions in social decision making in large technically assisted crowds is investigated. For this a formal, computational model is proposed, which integrates existing neurological and cognitive theories of affective decision making...

The general stubborn set approach to CTL model checking has the drawback that one either nds a stubborn set with only one enabled transition or one has to expand all enabled transitions This restriction does not apply in our approach to a fragment of CTL Fur thermore our reduction does not depend on the invisibility of transitions in a stubborn set

Although many electric cars are readily available on the market and the charging infrastructure is expanded, the majority of people is still reluctant to buy and use an electric car. It is assumed that underlying motives and mental models play decisive roles for the acceptance. To gain insights into laypeople’s concepts concerning electromobility, three focus group studies on perceived benefits...

Mathematical model of forest fire was based on an analysis of known experimental data and using concept and methods from reactive media mechanics. In this paper the assignment and theoretical investigations of the problems of crown forest fire spread in windy condition were carried out. In this context, a study—mathematical modeling—of the conditions of forest fire spreading that would make it ...