5 Hz repetitive TMS increases anticipatory motor activity in the human cortex

In the present study, we analyzed how high-frequency repetitive transcranial magnetic stimulation (rTMS) of the primary motor hand area (M1-Hand) shapes anticipatory motor activity in frontal areas as indexed by the contingent negative variation (CNV). Eight right-handed volunteers received real or sham 5 Hz rTMS at an intensity of 90% resting motorthreshold (1500 stimuli per session). Real but not sham rTMS to left M1-Hand induced a site-specific increase in amplitude of the late component of the CNV at the electrode C3 overlaying the site of stimulation. The increase in pre-movement activity in the stimulated cortex may reflect an increase in facilitatory drive from connected motor areas, enhanced responsiveness of the stimulated cortex to these inputs or both. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Attentional modulation of visual cortex activity following right parietal damage in humans

Pathological inattention following parietal damage causes perceptual impairments for visual stimuli in the contralesional hemifield. Here we used functional magnetic resonance imaging (fMRI) to examine visual cortex activity in parietal patients as they performed a spatial attention task. Righthemisphere patients and healthy controls viewed counterphasing checkerboards in which coloured targets appeared briefly within the contralesional and ipsilesional hemifields. In separate fMRI runs participants focused their attention covertiy on the left or right hemifield, or on both hemifields concurrentiy. They were required to detect coloured targets that appeared briefly within the attended hemifield(s), and to withhold responses to distractor stimuli. Neural activit}' was significantly attenuated in early visual areas within the damaged hemisphere. Crucially, although attention significantiy modulated early visual activit}' within the intact (left) hemisphere, there was relatively littie modulation of activity within the affected hemisphere. Our findings suggest that parietal lesions alter early cortical responses to contralesional visual inputs.

Movement-related potentials in Parkinson's disease - Motor imagery and movement preparation

Movement-related potentials (MRPs) associated with voluntary movements reflect cortical activity associated with processes Of movement preparation and movement execution. Early-stage pre-movement activity is reduced in amplitude in Parkinson's disease. However it is unclear whether this neurophysiological deficit relates to preparatory or execution-related activity, since previous studies have not been able to separate different functional components of MRPs. Motor imagery is thought to involve mainly processes of movement preparation, with reduced involvement of end-stage movement execution-related processes. Therefore, MRP components relating to movement preparation and execution may be examined separately by comparing MRPs associated with imagined and actual movements. In this study, MRPs were recorded from 14 subjects with Parkinson's disease and 10 age-matched control subjects while they performed a sequential button-pressing task, and while they imagined performance of the same task. Early-stage pre-movement activity was present in both Parkinson's disease patients and control subjects when they imagined movement, but was reduced in amplitude compared with that for actual movement. Movement execution-related components, arising predominantly from the primary motor cortex, were relatively unaffected in Parkinson's disease subjects. However motor preparatory processes, probably involving the supplementary motor area, were reduced in amplitude overall and abnormally prolonged, Indicating impaired termination following the motor response. Further this impaired termination of preparatory-phase activity was observed only in patients with more severe parkinsonian symptoms, and not in early-stage Parkinson's disease.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.