Abstract Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, set of as counterexample. Fixing erroneous relations between that led counterexample is difficult manual effort highly benefits from additional explanations. In this paper, we present an explanation method counterexamples d...

BACKGROUND recent evidence suggests that the interaction between periods of sedentary and activity behaviour is important for health; providing distinctive information to assessment of activity alone. This study quantified activity and sedentary behaviour in older, community-dwelling adults. METHODS fifty-six community-dwelling older adults with an average age 79 (SD) years wore an ActivPAL a...

Research indicates that individual investors trade excessively and underperform the market indices, Barber and Odean (2000). The purpose of this paper is to help explain which behavioral biases, if any, can explain this result using a simulation approach. Results indicate that putting too much weight on the current environment, anchoring, is the largest factor in explaining individual investor ...

A major inference task in Bayesian networks is explaining why some variables are observed in their particular states using a set of target variables. Existing methods for solving this problem often generate explanations that are either too simple (underspecified) or too complex (overspecified). In this paper, we introduce a method called Most Relevant Explanation (MRE) which finds a partial ins...