Measuring Global Similarity between Texts

We propose a new similarity measure between texts which, contrary to the current state-of-the-art approaches, takes a global view of the texts to be compared. We have implemented a tool to compute our textual distance and conducted experiments on several corpuses of texts. The experiments show that our methods can reliably identify different global types of texts.Comment: Submitted to SLSP 201

Computing Branching Distances Using Quantitative Games

We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, path-building games which are amenable to methods from the theory of quantitative games. We then show for all common types of branching distances how the resulting path-building games can be solved. In the end, we achieve a method which can be used to compute all branching distances in the linear-time--branching-time spectrum

Kleene Algebras and Semimodules for Energy Problems

With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Uncovering a close connection between energy problems and reachability and B\"uchi acceptance for semiring-weighted automata, we show that these generalized energy problems are decidable. We also provide complexity results for important special cases

Feature Model Differences

International audienceFeature models are a widespread means to represent commonality and variability in software product lines. As is the case for other kinds of models, computing and managing feature model differences is useful in various real-world situations. In this paper, we propose a set of novel differencing techniques that combine syntactic and semantic mechanisms, and automatically produce meaningful differences. Practitioners can exploit our results in various ways: to understand, manipulate, visualize and reason about differences. They can also combine them with existing feature model composition and decomposition operators. The proposed automations rely on satisfiability algorithms. They come with a dedicated language and a comprehensive environment. We illustrate and evaluate the practical usage of our techniques through a case study dealing with a configurable component framework

Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

Usability of therapy controllers in elderly patients with deep brain stimulation

<p>Abstract</p> <p>Background</p> <p>Technical devices are becoming more prevalent in society and also in medical care. Older adults need more support to learn new technologies than younger subjects. So far, no research has been done on the usability of patient controllers in deep brain stimulation in an elderly population. The aim of the study was to investigate the factors influencing the performance of elderly DBS patients with respect to usability aspects of Medtronic Access therapy controllers.</p> <p>Methods</p> <p>Time, mistakes and frequency of use of the controller were compared in 41 elderly DBS patients who prior to the study had already owned a therapy controller for more than six years. One group (n = 20, mean age = 66.4 years) was watching an instructional video and then completed practical assignments on a model implantable pulse generator (IPG). The other group (n = 21, mean age = 65.9 years) completed the tasks without having seen the video before. Any errors that patients made were documented and also corrected so that all of them received hands-on training. After six months all patients were re-evaluated on the dummy IPG in order to compare the effects of hands-on alone vs. video-based training combined with hands-on.</p> <p>Results</p> <p>The group that had seen the video before significantly outperformed the control group at both assessments with respect to number of errors. Both groups performed faster after six months compared to baseline and tend to use the controller more often than at baseline.</p> <p>Conclusion</p> <p>Our results indicate that elderly DBS patients who have been using the controller for several years still have various difficulties in operating the device. However, we also showed that age-specific training may improve the performance in older adults. In general, the design of DBS patient controllers should focus on the specific needs of the end-users. But as changes to medical devices take a long time to be implemented, video instructions with age-specific content plus hands-on training may improve learning for older adults.</p

Conceiving “personality”: Psychologist’s challenges and basic fundamentals of the Transdisciplinary Philosophy-of-Science Paradigm for Research on Individuals

Scientists exploring individuals, as such scientists are individuals themselves and thus not independent from their objects of research, encounter profound challenges; in particular, high risks for anthropo-, ethno- and ego-centric biases and various fallacies in reasoning. The Transdisciplinary Philosophy-of-Science Paradigm for Research on Individuals (TPS-Paradigm) aims to tackle these challenges by exploring and making explicit the philosophical presuppositions that are being made and the metatheories and methodologies that are used in the field. This article introduces basic fundamentals of the TPS-Paradigm including the epistemological principle of complementarity and metatheoretical concepts for exploring individuals as living organisms. Centrally, the TPS-Paradigm considers three metatheoretical properties (spatial location in relation to individuals’ bodies, temporal extension, and physicality versus “non-physicality”) that can be conceived in different forms for various kinds of phenomena explored in individuals (morphology, physiology, behaviour, the psyche, semiotic representations, artificially modified outer appearances and contexts). These properties, as they determine the phenomena’s accessibility in everyday life and research, are used to elaborate philosophy-of-science foundations and to derive general methodological implications for the elementary problem of phenomenon-methodology matching and for scientific quantification of the various kinds of phenomena studied. On the basis of these foundations, the article explores the metatheories and methodologies that are used or needed to empirically study each given kind of phenomenon in individuals in general. Building on these general implications, the article derives special implications for exploring individuals’ “personality”, which the TPS-Paradigm conceives of as individual-specificity in all of the various kinds of phenomena studied in individuals