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.     

Stability analysis and state feedback stabilization of pendulum-like systems with multiple nonlinearities

This paper addresses the Lagrange stability analysis problem and the state feedback Lagrange stabilization problem for pendulum-like systems with multiple nonlinearities. An existing method for analysing the Lagrange stability of pendulum-like systems with a single nonlinearity is generalized to pendulum-like systems with multiple nonlinearities. Also, a non-degeneracy condition of the existing Lagrange stability criterion is removed and a strict frequency-domain inequality is used instead. To study the state feedback Lagrange stabilization problem, this paper develops an extended strict bounded real lemma for linear systems which are not stable but stabilizable. A sufficient condition for state feedback Lagrange stabilization is proposed in terms of an algebraic Riccati equation with a sign indefinite solution.     

Reducing Playground Bullying and Supporting Beliefs: An Experimental Trial of the Steps to Respect Program.

Six schools were randomly assigned to a multilevel bullying intervention or a control condition. Children in Grades 3-6 (N=1,023) completed pre- and posttest surveys of behaviors and beliefs and were rated by teachers. Observers coded playground behavior of a random subsample (n=544). Hierarchical analyses of changes in playground behavior revealed declines in bullying and argumentative behavior among intervention-group children relative to control-group children, increases in agreeable interactions, and a trend toward reduced destructive bystander behavior. Those in the intervention group reported enhanced bystander responsibility, greater perceived adult responsiveness, and less acceptance of bullying/aggression than those in the control group. Self-reported aggression did not differ between the groups. Implications for future research on the development and prevention of bullying are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)