the concept of imagery is to make an image of successful movement skill or a relaxing image in mind with no body training and external experience. the aim of the present study was to compare the effect of traditional and pettlep mental imagery methods on static and dynamic balance. the statistical population consisted of all female university of tehran students who had general physical educatio...

Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correctly without locking by exploiting the atomicity of certain operations on a specific hardware. In this paper, we describe how to precisely analyze lockless microcontroller C programs with interrupts by taking the hardw...

This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules. We introduce the notions of path set and destabilizing ...

Precise dynamic race detectors report an error if and only if an observed program trace exhibits a data race. They must typically check for races on all memory accesses to ensure that they catch all races and generate no spurious warnings. However, a race check for a particular memory access is guaranteed to be redundant if the accessing thread has already accessed that location within the same...

Ad hoc synchronizations are ubiquitous in multi-threaded programs. They can cause data race detection tools to report a lot of false warnings. The existing tools for automatically recognizing ad hoc synchronizations limit their recognizing patterns to spin loops. In this paper for the first time we give a formal definition of ad hoc synchronization. Based on the definition we have implemented a...

Perceptions of the nature and role of mathematics held by our society have a major influence on the development of school mathematics curriculum, instruction, and research. The understanding of different conceptions of mathematics is as important to the development and successful implementation of programs in school mathematics as it is to the conduct and interpretation of research studies. The...

We simulate one-dimensional competitive reversible binding of many diffusing particles to a single, saturable, static site. The particles are initially randomly distributed, and either one or none is initially bound to the site. The time dependence of the binding probability (site occupancy) is compared with an approximation involving singleparticle diffusion with a nonlinear, locally bimolecul...

This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules.

Horowitz and Wolfe (1998, 2003) have challenged the view that serial visual search involves memory processes that keep track of already inspected locations. The present study used a search paradigm similar to Horowitz and Wolfe’s (1998), comparing a standard static search condition with a dynamic condition in which display elements changed locations randomly every 111 ms. In addition to measuri...

By integrating the stabilizability condition, the orthogonal-functions approach (OFA) and the hybrid Taguchi-genetic algorithm (HTGA), an integrative computational method is presented in this paper to design the stable and quadratic-optimal static output feedback parallel-distributed-compensation (PDC) controller such that (i) the TakagiSugeno (TS) fuzzy-model-based control system can be stabil...