Recently, the use of sport supplements has become so common among most athletes. These supplements may contain undeclared substances that are banned by such international authorities as WHO, IOC and WADA. The present study, thus, is aimed at examining the final sport supplement products in terms of banned substances and measuring the adulteration level in order to prove the safety of these prod...

Participation in sporting activities carries an injury risk. Conversely, the increased awareness that physical inactivity is a major risk factor for disease has led government agencies and the medical community to encourage increased levels of physical activity. Many people will achieve this through participation in sport. Injury inevitably leads to a reduction in participation on a temporary o...

For concurrent and parallel languages, may-happen-in-parallel (MHP) analysis is useful as a basis for tools such as data race detectors. While many approximate static MHP analyses exist, researchers have published only a few papers on decidability results for MHP analysis. We study MHP analysis for a model of X10, a parallel language with async-finish parallelism. For programs with procedures, ...

We present a novel deadlock analysis for concurrent objects based on the results inferred by a points-to analysis and a may-happenin-parallel (MHP) analysis. Similarly to other analysis, we build a dependency graph such that the absence of cycles in the graph ensures deadlock freeness. An MHP analysis provides an over-approximation of the pairs of program points that may be running in parallel....

purpose taekwondo, as the most popular martial art among iranian sportsmen, might lead to injury for the athletes of this sport during competitions. we decided to report the incidence rate of injuries sustained by the athletes of this sport during national competitions. methods all competitions of iran national championship taekwondo league in 2006-2007 with 204 athletes were observed prospecti...

A may-happen-in-parallel (MHP) analysis infers the sets of pairs of program points that may execute in parallel along a program’s execution. This is an essential piece of information to detect data races, and also to infer more complex properties of concurrent programs, e.g., deadlock freeness, termination and resource consumption analyses can greatly benefit from the MHP relations to increase ...

For concurrent and parallel languages, the may-happen-inparallel (MHP) decision problem asks, given two actions in the program, if there is an execution in which they can execute in parallel. Closely related, the MHP computation problem asks, given a program, which pairs of statements may happen in parallel. MHP analysis is the basis for many program analysis problems, such as data race detecti...

Background: More than 90% of goods movement in Iran is done by road transport. A significant part these materials dangerous goods. Considering that chlorine gas considered a toxic and oxidizing substance, predicting the way release mortality due to accidental leakage can be crucial tool adopting preventive strategies. This study aims evaluate safety transportation analyze consequences its relea...