O3R: Ontology-based mechanism for a human-centered environment targeted at the analysis of navigation patterns

Web Usage Mining (WUM) is the application of data mining techniques over Web server logs in order to extract navigation usage patterns. The analysis of mining patterns for assessing the knowledge they reveal is a critical phase in WUM. The main challenges are: (a) mining algorithms yield a huge number of patterns and (b) there is a significant semantic gap between URLs and events performed by users. In this paper, we describe the pattern analysis mechanisms integrated in O3R (Ontology-based Rules Retrieval and Rummaging), a human-centered environment for the analysis of navigation rules. O3R explores the synergy of mechanisms for retrieving and analyzing patterns. Filtering and clustering allow users to retrieve subsets of patterns with specific characteristics, in order to deal with the large volume of patterns. Rummaging mechanisms are targeted at assessing the meaning and relevance of pattern with regard to the domain, and it is particularly suitable for exploratory analysis. The distinctive feature of O3R is that is dynamically associates meaning to patterns using the concepts and relationships of a domain ontology, as a means of reducing the gap between syntactic URLs and semantic events performed by users. The paper describes the mechanisms in detail, and explores their synergic integration in the O3R prototype. It also reports two case studies that evaluate the use of O3R for the analysis of navigation patterns of a learning site.     

Insights from Dividing 3D Goal-Directed Movements into Meaningful Phases

Existing measures for evaluating user performance on interaction tasks in virtual environments don't often provide sufficient information for improving these interactions. A new method for analyzing 3D goal-directed movements divides them into meaningful phases. The authors applied this method to experimental data collected for a 3D task resembling a standardized 2D multidirectional pointing task (ISO 9241-9). The results and analysis demonstrate that the method provides a more detailed insight into 3D goal-directed movements. This analysis can help researchers better identify input devices' and interaction techniques' strengths and weaknesses. This article is part of a special issue on 3D user interfaces.     

Atom-Aid: Detecting and Surviving Atomicity Violations

Hardware can play a significant role in improving reliability of multithreaded software. Recent architectural proposals arbitrarily group consecutive dynamic memory operations into atomic blocks to enforce coarse-grained memory ordering, providing implicit atomicity. The authors of this article observe that implicit atomicity probabilistically hides atomicity violations by reducing the number of interleaving opportunities between memory operations. They propose Atom-Aid, which creates implicit atomic blocks intelligently instead of arbitrarily, dramatically reducing the probability that atomicity violations will manifest themselves.     

Range mode and range median queries in constant time and sub-quadratic space

Given a list of n items and a function defined over sub-lists, we study the space required for computing the function for arbitrary sub-lists in constant time.For the function mode we improve the previously known space bound O(n²/logn) to O(n²loglogn/log²n) words.For median the space bound is improved to O(n²loglog²n/log²n) words from O(n²⋅log(k)n/logn), where k is an arbitrary constant and log(k) is the iterated logarithm.     

Prioritizing agile benefits and limitations in relation to practice usage

In recent years, there has been significant shift from rigid development (RD) toward agile. However, it has also been spotted that agile methodologies are hardly ever followed in their pure form. Hybrid processes as combinations of RD and agile practices emerge. In addition, agile adoption has been reported to result in both benefits and limitations. This exploratory study (a) identifies development models based on RD and agile practice usage by practitioners; (b) identifies agile practice adoption scenarios based on eliciting practice usage over time; (c) prioritizes agile benefits and limitations in relation to (a) and (b). Practitioners provided answers through a questionnaire. The development models are determined using hierarchical cluster analysis. The use of practices over time is captured through an interactive board with practices and time indication sliders. This study uses the extended hierarchical voting analysis framework to investigate benefit and limitation prioritization. Four types of development models and six adoption scenarios have been identified. Overall, 45 practitioners participated in the prioritization study. A common benefit among all models and adoption patterns is knowledge and learning, while high requirements on professional skills were perceived as the main limitation. Furthermore, significant variances in terms of benefits and limitations have been observed between models and adoption patterns. The most significant internal benefit categories from adopting agile are knowledge and learning, employee satisfaction, social skill development, and feedback and confidence. Professional skill-specific demands, scalability, and lack of suitability for specific product domains are the main limitations of agile practice usage. Having a balanced agile process allows to achieve a high number of benefits. With respect to adoption, a big bang transition from RD to agile leads to poor quality in comparison with the alternatives.     

Nonlinear robust state feedback control system design for nonlinear uncertain systems

This paper presents a systematic approach to the design of a nonlinear robust dynamic state feedback controller for nonlinear uncertain systems using copies of the plant nonlinearities. The technique is based on the use of integral quadratic constraints and minimax linear quadratic regulator control, and uses a structured uncertainty representation. The approach combines a linear state feedback guaranteed cost controller and copies of the plant nonlinearities to form a robust nonlinear controller with a novel control architecture. A nonlinear state feedback controller is designed for a synchronous machine using the proposed method. The design provides improved stability and transient response in the presence of uncertainty and nonlinearity in the system and also provides a guaranteed bound on the cost function. An automatic voltage regulator to track reference terminal voltage is also provided by a state feedback equivalent robust nonlinear proportional integral controller. Copyright © 2016 John Wiley & Sons, Ltd.     

A Kleene–Schützenberger theorem for weighted timed automata

During the last years, weighted timed automata have received much interest in the real-time community. Weighted timed automata form an extension of timed automata and allow us to assign weights (costs) to both locations and edges. This model, introduced by Alur et al. (2001) and Behrmann et al. (2001), permits the treatment of continuous consumption of resources and has led to much research on scheduling problems, optimal reachability and model checking. Also, several authors have derived Kleene-type characterizations of (unweighted) timed automata and their accepted timed languages. The goal of this paper is to provide a characterization of the behaviours of weighted timed automata by rational power series. We define weighted timed automata with weights taken in an arbitrary semiring, resulting in a model that subsumes several weighted timed automata concepts of the literature. For our main result, we combine the methods of Schützenberger, a recent approach for a Kleene-type theorem for unweighted timed automata by Bouyer and Petit as well as new techniques. Our main result also implies Kleene-type theorems for several subclasses of weighted timed automata investigated before, e.g., for timed automata and timed automata with stopwatch observers.     

Artificial Agent Action in Markets

We summarise our experiences of a number of demonstrators and simulation experiments designed to test the feasibility of using artificial decision making agents in real-time domains, and comment on the significance of our results to autonomous artificial agent action patterns in markets. Our main hypothesis is that the use of norms can extend the capability of artificial decision makers beyond what is obtained from implementing individual utility maximizers in keeping with rational choice theory.     

Proteomic studies in animal models of diabetes

The aim of this review is to provide an overview of proteomic studies in animal models of diabetes and to give some insight into the different methods available today in the rapidly developing field of proteomics. A summary of 31 papers published between 1997 and 2007 is presented. For instance, proteomics has been used to study the development of both type 1 and type 2 diabetes, diabetic complications in tissues like heart, kidney and retina and changes after treatment with anti-diabetic drugs like peroxisome proliferator-activated receptors agonists. Together, these studies give a good overview of a number of experimental approaches. Proteomics holds the promise of providing major contributions to the field of diabetes research. However, to achieve this, a number of issues need to be resolved. Appropriate data representation to facilitate data comparison, exchange, and verification is required, as well as improved statistical assessment of proteomic experiments. In addition, it is important to follow up the results with functional studies to be able to make biologically relevant conclusions. The potential of proteomics to dissect complex human disorders is now beginning to be realized. In the future, this will result in new important information concerning diabetes.     

Computer use in older adults: Determinants and the relationship with cognitive change over a 6 year episode

Cognitively challenging activities may support the mental abilities of older adults. The use of computers and the Internet provides divergent cognitive challenges to older persons, and in previous studies, positive effects of computer and Internet use on the quality of life have been demonstrated. The present study addresses two research aims regarding predictors of computer use and the relationship between computer use and changes in cognitive abilities over a 6-year period in both younger (24-49 years) and older adults (older than 50 years). Data were obtained from an ongoing study into cognitive aging: the Maastricht Aging Study, involving 1823 normal aging adults who were followed for 9 years. The results showed age-related differences in predictors of computer use: the only predictor in younger participants was level of education, while in older participants computer use was also predicted by age, sex and feelings of loneliness. Protective effects of computer use were found for measures of selective attention and memory, in both older and younger participants. Effect sizes were small, which suggests that promotion of computer activities in older adults to prevent cognitive decline may not be an efficient strategy.