An important behavioural property for sets of active database rules is that of termination. In current commercial database systems, termination is guaranteed by imposing a xed upper limit on the number of recursive rule rings that may occur. This can have undesirable effects such as prematurely halting correct executions. We describe a new approach based on a dynamic upper limit to the number o...

Mathematics anxiety negatively affects performance in simple arithmetic tasks. The experiment reported here explored the role of interactivity in defusing the impact of math anxiety on mental arithmetic. Participants were invited to complete additions presented on paper without using their hands or any artefact; in a second, interactive, condition, the same problems were presented in the form o...

As a model for multiscale systems under random influences on physical boundary, a stochastic partial differential equation under a fast random dynamical boundary condition is investigated. An effective equation is derived and justified by reducing the random dynamical boundary condition to a random static boundary condition. The effective system is still a stochastic partial differential equati...

Semidefinite programming (SDP) solvers are increasingly used as primitives in many program verification tasks to synthesize and verify polynomial invariants for a variety of systems including programs, hybrid systems and stochastic models. On one hand, they provide a tractable alternative to reasoning about semi-algebraic constraints. However, the results are often unreliable due to “numerical ...

In this study, we evaluated the influence of idiopathic scoliosis on postural balance and muscle activity in static and dynamic sitting condition. Twelve adolescents with idiopathic scoliosis were included in this study. Postural balance and muscle activities of all subjects were assessed under two experimental conditions: i) static sitting, ii) dynamic sitting. In static sitting condition, sub...

In this paper principles of extended Kalman filtering theory is developed and applied to simulated on-line electric power systems state estimation in order to trace the operating condition changes through the redundant and noisy measurements. Test results on IEEE 14 - bus test system are included. Three case systems are tried; through the comparing of their results, it is concluded that the pro...

This study aimed to compare the effect of different static stretching durations followed by dynamic stretching on repeated sprint ability (RSA) and change of direction (COD). Twenty-five participants performed the RSA and COD tests in a randomized order. After a 5 min aerobic warm up, participants performed one of the three static stretching protocols of 30 s, 60 s or 90 s total duration (3 str...

In two studies the effectiveness of dynamic and multiple static visualizations was investigated for a highly perceptual learning task, namely locomotion pattern classification. In Study 1a, seventy-five students viewed either dynamic, staticsequential, or static-simultaneous visualizations. For tasks with intermediate difficulty dynamic visualizations led to better recognition of the locomotion...

Virtual environments (VE) promise important opportunities as future interfaces to computational systems, especially where such technology can take advantage of strong human visuospatial capabilities. Although such synthetic environments often project homeomorphic physical representations of real-world layouts, it is not known how individuals develop representational models to match these enviro...