A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described. The procedure enumerates a set of substitution/constraint pairs which constitutes the minimal complete set of unifiers.

An ordering for terms with sequence variables and flexible arity symbols is presented. The ordering coincides with the lexicographic extension of multiset path ordering on terms without sequence variables. It is shown that the classical strict superposition calculus with ordering and equality constraints can be used as a refutationally complete proving method for well-constrained sets of clause...

When we control a flexible manipulator based on a dynamic model, we need to estimate the state variables with accuracy. In the case of rigid manipulators, the state variables consist of joint angles and their velocities, which are measured easily by encoders, potentiometers, tachometers, and so on. In the case of flexible manipulators, however, the state variables also include elastic deformati...

This paper focuses on parameter identification of a target tracker robot possessing flexible joints using particle swarm optimization (PSO) algorithm. Since, belt and pulley mechanisms are known as flexible joints in robotic systems, their elastic behavior affecting a tracker robot is investigated in this work. First, dynamic equations governing the robot behavior are extracted taking into acco...

OBJECTIVE To investigate the correlation of higher-order coping strategies of tenacious goal pursuit and flexible goal adjustment with adjustment after rehabilitation in spinal cord injury. DESIGN Cross-sectional correlational study. SUBJECTS/PATIENTS All 397 eligible patients entered for spinal cord rehabilitation between 1999 and 2009 were contacted and 130 (33%) agreed to complete a self...

BACKGROUND Foot orthoses are commonly used for symptomatic flexible pes planus in adults. However, there are no clinical guidelines for the prescription of customised foot orthoses that are specific to this population. The aim of this study was to investigate prescription habits of Australian podiatrists for customised foot orthoses for symptomatic flexible pes planus in adults and to develop c...