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.     

Integration of virtual and real environments for engineering service-oriented manufacturing systems

Engineering frameworks are currently required to support the easy, low-cost, modular and integrated development of manufacturing systems addressing the emergent requirements of re-configurability, responsiveness and robustness. This paper discusses the integration of 2D/3D digital software tools with Petri net based service-oriented frameworks to allow the design, configuration, analysis, validation, simulation, monitoring and control of manufacturing systems in a virtual environment and its posterior smooth migration into the real ??physical?? environment. An experimental case study was implemented to validate the proposed concepts, using the Continuum platform to design, compose, analyze, validate and simulate the Petri nets based service-oriented manufacturing control system, and the Delmia Automation^TM software suite to support the rapid prototyping and the easy simulation of the designed control solution. The experimental results prove several aspects of the proposed approach, notably the smooth migration between the design and the operation phases, one of the main objectives of the work.     

An efficient algorithm for finding ideal schedules

We study the problem of scheduling unit execution time jobs with release dates and precedence constraints on two identical processors. We say that a schedule is ideal if it minimizes both maximum and total completion time simultaneously. We give an instance of the problem where the min-max completion time is exceeded in every preemptive schedule that minimizes total completion time for that instance, even if the precedence constraints form an intree. This proves that ideal schedules do not exist in general when preemptions are allowed. On the other hand, we prove that, when preemptions are not allowed, then ideal schedules do exist for general precedence constraints, and we provide an algorithm for finding ideal schedules in O(n ³) time, where n is the number of jobs. In finding such ideal schedules we resolve a conjecture of Baptiste and Timkovsky (Math. Methods Oper. Res. 60(1):145–153, 2004) Further, our algorithm for finding min-max completion-time schedules requires only O(n ³) time, while the most efficient solution to date has required O(n ⁹) time.