Situative Managementunterstützungssysteme

Digital natives increasingly populate organizations?? management. These new-generation managers more naturally accept management support systems (MSS), but also have higher expectations about how they should accommodate their individual user preferences. As a result, managers question MSS that have been developed without configuration mechanisms to accommodate their working style, relevant MSS use cases, and different MSS access modes. The objective of this article is to reveal managers?? different MSS use situations and propose levers for tailoring (conceptual) MSS design to them. Use situations generalize classes of similar user-group preferences. We first apply findings from a literature review to cluster managers?? user-group preferences into 36 MSS use situations. Second, we propose that the selection of end-user devices can serve as a main lever for MSS configuration. Third, we complete the configuration with a MSS user-interface design. Finally, we demonstrate utility of our configuration model by presenting and evaluating a prototype.     

Using fold-in and fold-out in the architecture recovery of software systems

In this paper we present an approach to automate the architecture recovery process of software systems. The approach is built on information retrieval and clustering techniques, and, in particular, uses Latent Semantic Indexing (LSI) to get similarities among software entities (e.g., programs or classes) and the k-means clustering algorithm to form groups of software entities that implement similar functionality. In order to improve computational time in the context of the software evolution and then reduce energy waste, the architecture recovery process can be also applied by using fold-in and fold-out mechanisms that, respectively, add and remove software entities to the LSI representation of the understudy software system. The approach has been implemented in a prototype of a supporting software system as an Eclipse plug-in. Finally, to assess the approach and the plug-in, we have conducted an empirical investigation on five open source software systems implemented using the programming languages Java and C/C++. In the investigation special emphasis has been also given to the effect of using the fold-in and fold-out mechanisms.     

Adaptive neuro-fuzzy inference system for diagnosis of the heart valve diseases using wavelet transform with entropy

Listening via stethoscope is a preferential method, being used by physicians for distinguishing normal and abnormal cardiac systems. On the other hand, listening with stethoscope has a number of constraints. The interpretation of various heart sounds depends on physician’s ability of hearing, experience, and skill. Such limitations may be reduced by developing biomedical-based decision support systems. In this study, a biomedical-based decision support system was developed for the classification of heart sound signals, obtained from 120 subjects with normal, pulmonary, and mitral stenosis heart valve diseases via stethoscope. Developed system comprises of three stages. In the first stage, for feature extraction, obtained heart sound signals were separated to its sub-bands using discrete wavelet transform (DWT). In the second stage, entropy of each sub-band was calculated using Shannon entropy algorithm to reduce the dimensionality of the feature vectors via DWT. In the third stage, the reduced features of three types of heart sound signals were used as input patterns of the adaptive neuro-fuzzy inference system (ANFIS) classifiers. Developed method reached 98.33% classification accuracy, and it was showed that purposed method is effective for detection of heart valve diseases.     

Verifying compiled file system code

This article presents a case study on retrospective verification of the Linux Virtual File System (VFS), which is aimed at checking violations of API usage rules and memory properties. Since VFS maintains dynamic data structures and is written in a mixture of C and inlined assembly, modern software model checkers cannot be applied. Our case study centres around our novel automated software verification tool, the SOCA Verifier, which symbolically executes and analyses compiled code. We describe how this verifier deals with complex features such as memory access, pointer aliasing and computed jumps in the VFS implementation, while reducing manual modelling to a minimum. Our results show that the SOCA Verifier is capable of analysing the complex Linux VFS implementation reliably and efficiently, thereby going beyond traditional testing tools and into niches that current software model checkers do not reach. This testifies to the SOCA Verifier’s suitability as an effective and efficient bug-finding tool during the development of operating system components.     

Three tokens in Herman’s algorithm

Herman’s algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the distribution of the time to stabilization, assuming that there are three tokens in the initial configuration. We show for arbitrary N and for an arbitrary timeout t that the probability of stabilization within time t is minimized by choosing as the initial three-token configuration the configuration in which the tokens are placed equidistantly on the ring. Our result strengthens a corollary of a theorem of McIver and Morgan (Inf. Process Lett. 94(2): 79–84, 2005), which states that the expected stabilization time is minimized by the equidistant configuration.     

Design frictions

A fusion of architecture and media technology, video-mediated spaces facilitate collaborative practices across spatial extensions. This paper contributes an architectural perspective on presence design, exploring its potential to create architectural extensions that facilitate knowledge sharing and remote presence. With the example of a mediated therapist, taken from the author’s design-led research (Gullstr?m 2010), the paper illustrates spatial design concepts (e.g. mediated gaze, spatial montage, shared mediated space), which, unaddressed, may be said to impose friction and thus impact negatively on the experience of witnessed mediated presence (Nevejan 2007). Mediated presence cannot be ensured by design; however, by acknowledging that certain features are related to spatial design, a presence designer can monitor them and, in effect, seek to reduce the ‘design friction’ that otherwise may inhibit, e.g., trust and knowledge sharing. It concludes that a presence-in-person paradigm prevails in our society, founded on the expectations of trust and knowledge sharing between individuals, and hereby addresses the contribution from presence design to architectural practice—as well as the reciprocal contribution from architecture to presence design—given that mediated spaces currently provide viable alternatives for meetings and interactions, hence with a fundamental impact on all human practices.     

User-centred process for the definition of free-hand gestures applied to controlling music playback

Music is a fundamental part of most cultures. Controlling music playback has commonly been used to demonstrate new interaction techniques and algorithms. In particular, controlling music playback has been used to demonstrate and evaluate gesture recognition algorithms. Previous work, however, used gestures that have been defined based on intuition, the developers’ preferences, and the respective algorithm’s capabilities. In this paper we propose a refined process for deriving gestures from constant user feedback. Using this process every result and design decision is validated in the subsequent step of the process. Therefore, comprehensive feedback can be collected from each of the conducted user studies. Along the process we develop a set of free-hand gestures for controlling music playback. The situational context is analysed to shape the usage scenario and derive an initial set of necessary functions. In a successive user study the set of functions is validated and proposals for gestures are collected from participants for each function. Two gesture sets containing static and dynamic gestures are derived and analysed in a comparative evaluation. The comparative evaluation shows the suitability of the identified gestures and allows further refinement. Our results indicate that the proposed process, that includes validation of each design decision, improves the final results. By using the process to identify gestures for controlling music playback we not only show that the refined process can successfully be applied, but we also provide a consistent gesture set that can serve as a realistic benchmark for gesture recognition algorithms.     

Eliminating the effect of freezing frames on user perceptive by using a time interleaving technique

Streaming video over a wireless network faces several challenges such as high packet error rates, bandwidth variations, and delays, which could have negative effects on the video streaming and the viewer will perceive a frozen picture for certain durations due to loss of frames. In this study, we propose a Time Interleaving Robust Streaming (TIRS) technique to significantly reduce the frozen video problem and provide a satisfactory quality for the mobile viewer. This is done by reordering the streaming video frames as groups of even and odd frames. The objective of streaming the video in this way is to avoid the losses of a sequence of neighbouring frames in case of a long sequence interruption. We evaluate our approach by using a user panel and mean opinion score (MOS) measurements; where the users observe three levels of frame losses. The results show that our technique significantly improves the smoothness of the video on the mobile device in the presence of frame losses, while the transmitted data are only increased by almost 9% (due to reduced time locality).     

Desynchronization and inhibition of Kuramoto oscillators by scalar mean-field feedback

Motivated by neuroscience applications, and in particular by the deep brain stimulation treatment for Parkinson’s disease, we have recently derived a simplified model of an interconnected neuronal population under the effect of its mean-field proportional feedback. In this paper, we rely on that model to propose conditions under which proportional mean-field feedback achieves either oscillation inhibition or desynchronization. More precisely, we show that for small natural frequencies, this scalar control signal induces an inhibition of the collective oscillation. For the closed-loop system, this situation corresponds to a fixed point which is shown to be almost globally asymptotically stable in the fictitious case of zero natural frequencies and all-to-all coupling and feedback. In the case of an odd number of oscillators, this property is shown to be robust to small natural frequencies and heterogencities in both the coupling and feedback topology. On the contrary, for large natural frequencies, we show that scalar proportional mean-field feedback is able to induce desynchronization. After having recalled a formal definition for desynchronization, we show how it can be induced in a network of originally synchronized oscillators.