This paper describes a representation of the dynamics of human walking action for the purpose of person identification and classification by gait appearance. Our gait representation is based on simple features such as moments extracted from video silhouettes of human walking motion. We claim that our gait dynamics representation is rich enough for the task of recognition and classification. The...

We present a new strategy for semantic paramodulation for Horn sets and prove its completeness The strategy requires for each paramoduiation that either both parents be false positive units or that one parent and the paramodulant both be false relative to an interpretation We also discuss some of the issues involved in choosing an interpretation that has a chance of giving better performance th...

Let R be a relation on the domain of a computable structure A. We establish that the existence of an isomorphic copy B ofA such that the image of R (¬R, resp.) is h-simple (h-immune, resp.) relative to B is equivalent to a syntactic condition, termed R is formally h-simple (formally h-immune, resp.) on A.

background nowadays, work related stress appears to affect almost all people with connected clinical works. the purpose of this research was to study the relationships of work stress and work engagement with the satisfaction from lives of nurses in ahvaz governmental hospitals. material and methods a correlation study was carried out. nurses from governmental hospitals were selected and statist...

conclusions the results showed that heart failure had a negative impact on the quality of life for patients. therefore, evaluation and improvement of quality of life for these patients should be considered one of the duties of nurses. background currently, examining the quality of life is considered an important aspect of the study of chronic diseases. heart failure affects the quality of life ...