Hyper tableau calculi are well-known as attempts to combine hyper-resolution and tableaux. Besides their soundness and completeness, it is also important to give an appropriate redundancy criterion. The task of such a criterion is to filter out “unnecessary” clauses being attached to a given tableau. This is why we investigate what redundancy criteria can be defined for clausal tableaux, in gen...

BACKGROUND Hallux valgus (HV) deformity is closely correlated to the hypermobility of the first metatarsal-cuneiform joint, but adequate understanding of the three-dimentional (3D) mobility of this joint in normal or HV feet is lacking. This study was conducted to investigate the mobility of the first metatarsal-cuneiform joint in multiple planes during body weight-bearing conditions for both n...

Background: Joint contracture is a limitation in the passive or active range of motion (ROM) of a joint, where in addition to the mobility limiting factor the pain is also present. Repetitive pulsed Magnetic Stimulation (rPMS) appears to be an effective, non-invasive and safety solution for treating this condition. Therefore aim of this study was to evaluate the effect of rPMS in treating joint...

their rehabilitation. passive range of motion. The main treatment involves proper shoulder exercises and joint mobilization to break up adhesions at the joint capsules and improve joint mobility and functions. However, due to a lack of persistence, not all patients complete rehabilitation. To address this, we created a virtual reality game-based treatment system that encourages patients to part...

We present SHReQ, a formal framework for specifying systems that handles abstract high-level QoS aspects which are becoming more and more important for service oriented computing. SHReQ combines Synchronised Hyperedge Replacement (SHR) with constraint-semirings. SHR is a (hyper)graph rewriting mechanism for modelling mobility and reconfiguration of systems. The novelty of the approach relies on...

In the emerging world, in a resource constrained network like mobile ad hoc network, the mobile agent is becoming a favorable option for creating applications like service discovery, network discovery, automatic network reconfiguration etc. due to its astonishing features like autonomy and mobility. The joint venture of the two technologies mobile agent and mobile ad hoc network is contributing...