139,950 research outputs found
UK back pain exercise and manipulation (UK BEAM) trial - national randomised trial of physical treatments for back pain in primary care: objectives, design and interventions
No full textLow back pain has major health and social implications. Although there have been
many randomised controlled trials of manipulation and exercise for the management of low back
pain, the role of these two treatments in its routine management remains unclear. A previous trial
comparing private chiropractic treatment with National Health Service (NHS) outpatient
treatment, which found a benefit from chiropractic treatment, has been criticised because it did not
take treatment location into account. There are data to suggest that general exercise programmes
may have beneficial effects on low back pain. The UK Medical Research Council (MRC) has funded
this major trial of physical treatments for back pain, based in primary care. It aims to establish if,
when added to best care in general practice, a defined package of spinal manipulation and a defined
programme of exercise classes (Back to Fitness) improve participant-assessed outcomes.
Additionally the trial compares outcomes between participants receiving the spinal manipulation in
NHS premises and in private premises
Exploring Summation and Product Operators in the Refinement Calculus
No full textProduct and summation operators for predicate transformers were introduced by Naumann and by Martin using category theoretic considerations. In this paper, we formalise these operators in the higher order logic approach to the refinement calculus of Back and von Wright, and examine various algebraic properties of these operators. There are several motivating factors for this analysis. The product operator provides a model of simultaneous execution of statements, while the summation operator provides a simple model of late binding. We also generalise the product operator slightly to form an operator that corresponds to conjunction of specifications. We examine several applications of the these operators showing, for example, how a combination of the product and summation operators could be used to model inheritance in an object-oriented programming language
- …
