Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we report on work done to modify a model elimination theorem prover using two techniques, caching and lemmaizing, that have reduced by more than an order of magnitude the time required to find proofs of several problems and th...

BACKGROUND Studies on the association between sitting time and low back pain (LBP) have found contrasting results. This may be due to the lack of objectively measured sitting time or because socioeconomic confounders were not considered in the analysis. OBJECTIVES To investigate the association between objectively measured sitting time (daily total, and occupational and leisure-time periods) ...

This paper presents a methodology for automatically identifying human action. We use a new approach to human activity recognition that incorporates a Bayesian framework. By tracking the movement of the head of the subject over consecutive frames of monocular grayscale image sequences, we recognize actions in the frontal or lateral view. Input sequences captured from a CCD camera are matched aga...

BACKGROUND Evidence on the health risks of sitting is accumulating. However, research identifying factors influencing sitting time in adults is limited, especially in Asian populations. This study aimed to identify socio-demographic and lifestyle correlates of occupational, leisure and total sitting time in a sample of Singapore working adults. METHODS Data were collected between 2004 and 201...

Restless legs syndrome (RLS and also known as Willis-Ekbom disease) is a disorder that's characterized by annoying and sometimes painful sensations in the legs that are brought about by sitting or lying down. These sensations can include creeping, tingling, burning, tugging, or aching in the calves, thighs, or feet. Getting up and moving around is usually the only way to find some relief. Also,...

Background: Orthostatic tremor (OT) is a high-frequency tremor (13–18 Hz) present in the legs when standing. Underlying disease is found in one-third of OT patients. Case Report: We describe an 86-year-old man with progressive shaking of the legs while standing, which disappears immediately after sitting down or while walking. Polymyography confirmed a tremor of the legs (10–11 Hz) while standi...

background: anthropometry is a branch of ergonomics that considers the measurement and description of the human body dimensions. accordingly, equipment, environments, and workstations should be designed using user-centered design processes. anthropometric dimensions differ considerably across gender, race, ethnicity and age, taking into account ergonomic and anthropometric principles. the aim o...

A full parallel mechanism is suggested as a base construction for an exoskeleton to implement complex movement of body parts of the human relativ to each other. The optimal design of such a structure for a thigh is presented. The positions of the connection points of the linear actuators to the moving platform were chosen as design parameters. The calculation of these design parameters was perf...