Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Response to Drs Greve and Bianchini

We would like to thank Drs Greve and Bianchini for their interest in our paper and we agree that psychological factors involved in pain presentations can be complex. However, Drs Greve and Bianchini seem to have missed the point of our study. It was not the aim of this study to investigate psychological factors involved in whiplash injury. On the contrary, the aim of the study was to longitudinally investigate the development of sensory changes from the acute stage of whiplash injury until either recovery or the development of persistent symptoms. The GHQ-28 was used as a broad measure of psychological distress in an attempt to account for the effect of psychological distress on pain threshold measures. The authors may like to note that our later paper specifically investigated the development of psychological changes following whiplash injury

Response to Screening for abdominal aortic aneurysm - Screening reduces deaths related to aneurysm

Editor—We reported the study in a transparent fashion and were deliberately cautious in our conclusions. Australia and the United Kingdom are very different with regard to arrangements for primary care, which did not permit us to undertake a preliminary assessment of the eligibility of men for screening before we randomised them and issued half invitations to attend for the ultrasound examination.

Attentional modulation of neural responses to action observation: Implications for models of the human 'mirror' system

In primates, the observation of meaningful, goaldirected actions engages a network of cortical areas located within the premotor and inferior parietal lobules. Current models suggest that activity within these regions arises relatively automatically during passive action observation without the need for topdown control. Here we used functional magnetic resonance imaging to determine whether cortical activit)' associated with action observation is modulated by the strategic allocation of selective attention. Normal observers viewed movie clips of reach-to-grasp actions while performing an easy or difficult visual discrimination at the fovea. A wholebrain analysis was performed to determine the effects of attentional load on neural responses to observed hand actions. Our results suggest that cortical areas involved in action observation are significantiy modulated by attentional load. These findings have important implications for recent attempts to link the human action-observation system to response properties of "mirror neurons" in monkeys.

Fronto-parietal activation in attention-deficit hyperactivity disorder, combined type: functional magnetic resonance imaging study

A functional magnetic resonance imaging mental rotation paradigm was used to investigate the patterns of activation of fronto-parietal brain areas in male adolescents with attention-deficit hyperactivity disorder, combined type (ADHD-CT) compared with age-, gender-, handedness- and performance IQ-matched healthy controls. The ADHD-CT group had (a) decreased activation of the 'action-attentional' system (including Brodmann's areas (BA) 46, 39,40) and the superior parietal (BA7) and middle frontal (BA10) areas and (b) increased activation of the posterior midline attentional system. These different neuroactivation patterns indicate widespread frontal, striatal and parietal dysfunction in adolescents with ADHD-CT. Declaration of interest None.

The fMRI response of the LGN and V1 to cardinal red-green, blue-yellow, and achromatic visual stimuli

We compared the responsiveness of the LGN and the early retinotopic cortical areas to stimulation of the two cone-opponent systems (red - green and blue - yellow) and the achromatic system. This was done at two contrast levels to control for any effect of contrast. MR images were acquired on seven subjects with a 4T Bruker MedSpec scanner. The early visual cortical areas were localised by phase encoded retinotopic mapping with a volumetric analysis (Dumoulin et al, 2003 NeuroImage 18 576 - 587). We initially located the LGN in four subjects by using flickering stimuli in a separate scanning session, but subsequently identified it using the experimental stimuli. Experimental stimuli were sine-wave counterphasing rings (2 Hz, 0.5 cycle deg-1), cardinal for the selective activation of the L/M cone-opponent (RG), S cone-opponent (BY), and achromatic (Ach) systems. A region of interest analysis was performed. When presented at equivalent absolute contrasts (cone contrast = 5% - 6%), the BOLD response of the LGN is strongest to isoluminant red - green stimuli and weakest to blue - yellow stimuli, with the achromatic response falling in between. Area V1, on the other hand, responds best to both chromatic stimuli, with the achromatic response falling below. The key change from the LGN to V1 is a dramatic boost in the relative blue - yellow response, which occurred at both contrast levels used. This greatly enhanced cortical response to blue - yellow relative to the red - green and achromatic responses may be due to an increase in cell number and/or cell response between the LGN and V1. We speculate that the effect might reflect the operation of contrast constancy across colour mechanisms at the cortical level.

Dormancy release in Australian fire ephemeral seeds during burial increases germination response to smoke water or heat

Fire ephemerals are short-lived plants that primarily germinate after fire. Fresh and laboratory-stored seeds are difficult to germinate ex situ, even in response to fire-related cues such as heat and smoke. Seeds of eight Australian fire ephemeral species were buried in unburnt and recently burnt sites of natural bushland during autumn. Seeds were exhumed after 6 and 12 months and incubated in water and smoke water, either with or without a heat treatment at 70 degrees C for 1 h. Generally, germination did not increase after 6 months of burial, but after 12 months of burial germination was enhanced in seven of the eight species. Actinotus leucocephalus produced higher germination following 12 months of burial without any further treatment, and smoke water and heat further improved germination. The four Gyrostemonaceae species, Codonocarpus cotinifolius, Gyrostemon racemiger, Gyrostemon ramulosus and Tersonia cyathiflora, only germinated in the presence of smoke water, and their germination was enhanced by burial. Burial improved germination in response to a heat treatment in Grevillea scapigera and Alyogyne huegelii seeds, but did not enhance Alyogyne hakeifolia germination. During concurrent dry laboratory storage of seeds at 15 degrees C, only Actinotus leucocephalus produced increased germination in response to smoke water and heat over time. In summary, soil burial can alter the dormancy status of a number of Australian fire ephemeral seeds, rendering them more responsive to germination cues such as smoke water and heat. The requirement for a period of burial before seeds become responsive to smoke and/or heat would ensure that seeds persist in the soil until a subsequent fire, when there is an increase in nutrients available for growth and reduced competition from other plants.

Characterization of inflammatory responses to eccentric exercise in humans

Eccentric exercise commonly results in muscle damage. The primary sequence of events leading to exercise-induced muscle damage is believed to involve initial mechanical disruption of sarcomeres, followed by impaired excitation-contraction coupling and calcium signaling, and finally, activation of calcium-sensitive degradation pathways. Muscle damage is characterized by ultrastructural changes to muscle architecture, increased muscle proteins and enzymes in the bloodstream, loss of muscular strength and range of motion and muscle soreness. The inflammatory response to exercise-induced muscle damage is characterized by leukocyte infiltration and production of pro-inflammatory cytokines within damaged muscle tissue, systemic release of leukocytes and cytokines, in addition to alterations in leukocyte receptor expression and functional activity. Current evidence suggests that inflammatory responses to muscle damage are dependent on the type of eccentric exercise, previous eccentric loading (repeated bouts), age and gender. Circulating neutrophil counts and systemic cytokine responses are greater after eccentric exercise using a large muscle mass (e.g. downhill running, eccentric cycling) than after other types of eccentric exercise involving a smaller muscle mass. After an initial bout of eccentric exercise, circulating leukocyte counts and cell surface receptor expression are attenuated. Leukocyte and cytokine responses to eccentric exercise are impaired in elderly individuals, while cellular infiltration into skeletal muscle is greater in human females than males after eccentric exercise. Whether alterations in intracellular calcium homeostasis influence inflammatory responses to muscle damage is uncertain. Furthermore, the effects of antioxidant supplements are variable, and the limited data available indicates that anti-inflammatory drugs largely have no influence on inflammatory responses to eccentric exercise. In this review, we compare local versus systemic inflammatory responses, and discuss some of the possible mechanisms regulating the inflammatory responses to exercise-induced muscle damage in humans.

Functional MR Imaging of visuo-spatial network in Autism Spectrum Disorder

Individuals with Autism Spectrum Disorder (ASD) are generally thought to have impaired attentional and executive function upon which all their cognitive and behaviour functions are based. Mental Rotation is a recognized visuo-spatial task, involving spatial working memory, known to involve activation in the fronto-parietal networks. To elucidate the functioning of fronto-parietal networks in ASD, the aim of this study was to use fMRI techniques with a mental rotation task, to characterize the underlying functional neural system. Sixteen male participants (seven highfunctioning autism or Asperger's syndrome; nine ageand performance IQ-matched controls) underwent fMRI. Participants were presented with 18 baseline and 18 rotation trials, with stimuli rotated 3- dimensionaUy (45°-180°). Data were acquired on a 3- Tesla scanner. The most widely accepted area reported to be involved in processing of visuo-spatial information. Posterior Parietal Cortex, was found to be activated in both groups, however, the ASD group showed decreased activation in cortical and subcortical frontal structures that are highly interconnected, including lateral and medial Brodmann area 6, frontal eye fields, caudate, dorsolateral prefrontal cortex and anterior cingulate. The suggested connectivity between these regions indicates that one or more circuits are impaired as a result of the disorder. In future it is hoped that we are able to identify the possible point of origin of this dysfunction, or indeed if the entire network is dysfunctional.