Purpose: In approaching full trunk flexion (75%-80% of full flexion), myoelectric activity of lumbar erector spinae muscles is reduced or silenced; this response is known as flexion-relaxation phenomenon (FRP). FRP is a shift in load sharing and spinal stabilization from active structures (erector spinae muscles) to passive ligamentous and articular structures. Static lumbar flexi...

Dedicated to Peter Andrews on the occasion of his 70 th birthday.

interpretation: computing on properties readInt(x) if x>0 : x:= pred(x) x:= succ(x) writeInt(x) Q: Is output pos? A: abstractly interpret domain Int by Sign = {neg, zero, pos, any}: readSign(x) if isPos(x): x:= pred(x) x:= succ(x) writeSign(x) where succ(pos) = pos succ(zero) = pos succ(neg) = any succ(any) = any and pred(neg) = neg pred(zero) = neg pred(pos) = any pred(any) = any To answer the...

In the current study, multiple static-simultaneous visualizations were combined with motion-indicating arrows and were compared either to multiple static-simultaneous visualizations without arrows, which proved to be effective in former studies concerning static visualizations, or to a single static visualization enriched with motion-indicating arrows. Seventy-one students were randomly assigne...

We demonstrate that coulomb interaction between a static charge source and K and K from φ meson decay could introduce systematic shift in the φ invariant mass reconstructed from the KK pair.

The problem of interpreting images of moving jointed objects is considered. Assuming the existence of a connectedness model, an algorithn is presented for calculating the rigid part lengths and motion of the jointed objects just from the positions of the joints and some depth information. The algorithn is proved correct.