Altered visual feedback from an embodied avatar unconsciously influences movement amplitude and muscle activity

Evidence suggests that the sense of the position of our body parts can be surreptitiously deceived, for instance through illusory visual inputs. However, whether altered visual feedback during limb movement can induce substantial unconscious motor and muscular adjustments is not known. To address this question, we covertly manipulated virtual body movements in immersive virtual reality. Participants were instructed to flex their elbow to 90° while tensing an elastic band, as their virtual arm reproduced the same, a reduced (75°), or an amplified (105°) movement. We recorded muscle activity using electromyography, and assessed body ownership, agency and proprioception of the arm. Our results not only show that participants compensated for the avatar’s manipulated arm movement while being completely unaware of it, but also that it is possible to induce unconscious motor adaptations requiring significant changes in muscular activity. Altered visual feedback through body ownership illusions can influence motor performance in a process that bypasses awareness

Transforming derivational complexity of term rewriting to runtime complexity

Derivational complexity of term rewriting considers the length of the longest rewrite sequence for arbitrary start terms, whereas runtime complexity restricts start terms to basic terms. Recently, there has been notable progress in automatic inference of upper and lower bounds for runtime complexity. We propose a novel transformation that allows an off-the-shelf tool for inference of upper or lower bounds for runtime complexity to be used to determine upper or lower bounds for derivational complexity as well. Our approach is applicable to derivational complexity problems for innermost rewriting and for full rewriting. We have implemented the transformation in the tool AProVE and conducted an extensive experimental evaluation. Our results indicate that bounds for derivational complexity can now be inferred for rewrite systems that have been out of reach for automated analysis thus far