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.

Psychological characteristics of older versus younger persons with a functional gastrointestinal disorder (FGID)

Functional gastrointestinal disorders commonly affect people of all ages, including the elderly. While population-based studies report significant psychological morbidity in people diagnosed with these disorders it is not clear what effect age has in explaining this relationship. We hypothesised that psychological distress would be higher in older versus younger persons with a FGID from the community. A random sample of 4500 subjects were mailed a questionnaire on gastrointestinal symptoms in the past 12 months (response rate = 72%). Of those fulfilling Rome I criteria for a FGID (n = 988) we then classified subjects into older (>60 years) (n =126) versus younger (18-59 years) (n = 862) categories. Psychological variables included anxiety and depression (Delusions Symptom States Inventory) and neuroticism and extroversion (Eysenck Personality Inventory). Quality of life was assessed using the valid SF-12. Anxiety (4.5 vs. 3.1), depression (3.0 vs. 1.8) and neuroticism (5.7 vs. 4.9) were significantly higher in younger versus older subjects with a FGID. While mental functioning (43.1 vs. 48.3) was significantly more impaired in younger versus older subjects, the reverse was found for physical functioning (48.7 vs. 40.8). Younger people with a FGID experience greater

Impact of voluntary folate fortification on plasma homocysteine and serum folate in Australia from 1995 to 2001: a population based cohort study

Study objective: To investigate the effect of the voluntary folate fortification policy in Australia on serum folate and total plasma homocysteine (tHcy) concentrations. Design: Population based cohort study. Setting: Perth, Western Australia. Participants: Men and women aged 27 to 77 years (n = 468), who were originally randomly selected from the Perth electoral roll. The cohort was surveyed in 1995/96 before widespread introduction of folate fortification of a variety of foods, and followed up on two occasions, firstly in 1998/99 and again in 2001, when a moderate number of folate fortified foods were available. Subjects with abnormal serum creatinine concentrations at baseline were excluded from this analysis. Main results: Repeated measures analysis of variance was used to determine changes in serum folate and tHcy over the three surveys and to assess whether time trends were related to age, sex, MTHFR C677T genotype, or consumption of folate fortified foods. An increase (38%) in mean serum folate (p < 0.0005) and a decrease (21%) in mean tHcy (p < 0.0005) were seen after introduction of the voluntary folate fortification policy in Australia. Serum folate was consistently higher (p = 0.032) and tHcy was consistently lower (p = 0.001) in subjects who consumed at least one folate fortified food compared with subjects who did not consume any folate fortified foods in the previous week. The time related changes in serum folate and tHcy were affected only by intake of folate fortified foods (p < 0.0005) and not by any other measured variables including age, sex, or MTHFR genotype. Conclusion: Voluntary fortification of foods with folate in Australia has been followed by a substantial increase in serum folate and decrease in tHcy in the general population.

HRT and breast cancer: Impact on population risk and incidence

This study has calculated the potential impact of hormone replacement therapy (HRT) on breast cancer incidence in Australia and has estimated how changes in prescribing HRT to women could affect this risk. The effects of HRT on breast cancer incidence was estimated using the attributable fraction technique with prevalence data derived from the 2001 Australian Health Survey and published rates of breast cancer relative risks from HRT use. In Australia, 12% of adult women were current HRT users and in 2001, 11783 breast cancers were reported. Of these, 1066 (9%) were potentially attributable to HRT. Restricting HRT use to women aged less than 65 years, ceasing HRT prescribing after 10 years or limiting combined oestrogen and progesterone HRT to five years (but otherwise keeping prescription levels to 2001 levels) may reduce the annual breast cancer caseload by 280 (2.4%), 555 (4.7%) or 674 (5.7%), respectively. In conclusion, this study has demonstrated that when HRT prevalence is relatively high, the effect on breast cancer incidence in the population will be significant. A small modification in HRT prescribing practices may impact breast cancer incidence in Australia with associated financial and health care provision implications. (C) 2005 Elsevier Ltd. All rights reserved.

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 impact of expert testimony on jurors' decisions: Gender of the expert and testimony complexity

The present study investigated whether people used the gender of an expert witness as a heuristic cue to evaluate the evidence presented by the expert. Specifically, the gender of the expert and the complexity of the expert's testimony (low, high) were varied systematically within a simulated civil trial involving an antitrust price-fixing agreement. It was expected that the male expert would be more persuasive than the female expert, but only when the testimony presented was complex. As predicted, this interaction was revealed across a range of dependent measures. Somewhat unexpected was the finding of a female expert advantage in the low-complexity condition. The implications of these findings are discussed.

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.

Premovement activity of the pre-supplementary motor area and the readiness for action: Studies of time-resolved event-related functional MRI

The supplementary motor area (SMA) is thought to play in important role in the preparation and organisation of voluntary movement. It has long been known that cortical activity begins to increase up to 2 s prior to voluntary self-initiated movement. This increasing premovement activity measured in EEG is known as the Bereitschaftspotential or readiness potential. Modern functional brain imaging methods, using event-related and time-resolved functional MRI techniques, are beginning to reveal the role of the SMA, and in particular the more anterior pre-SMA, in premovement activity associated with the readiness for action. In this paper we review recent studies using event-related time-resolved fMRI methods to examine the time-course of activation changes within the SMA throughout the preparation, readiness and execution of action. These studies suggest that the preSMA plays a common role in encoding or representing actions prior to our own voluntary self-initiated movements, during motor imagery, and from the observation of others' actions. We suggest that the pre-SMA generates and encodes motor representations which are then maintained in readiness for action. (c) 2005 Elsevier B.V. All rights reserved.

Special issue on methods and learning in functional MRI: Introductory remarks

This special issue represents a further exploration of some issues raised at a symposium entitled “Functional magnetic resonance imaging: From methods to madness” presented during the 15th annual Theoretical and Experimental Neuropsychology (TENNET XV) meeting in Montreal, Canada in June, 2004. The special issue’s theme is methods and learning in functional magnetic resonance imaging (fMRI), and it comprises 6 articles (3 reviews and 3 empirical studies). The first (Amaro and Barker) provides a beginners guide to fMRI and the BOLD effect (perhaps an alternative title might have been “fMRI for dummies”). While fMRI is now commonplace, there are still researchers who have yet to employ it as an experimental method and need some basic questions answered before they venture into new territory. This article should serve them well. A key issue of interest at the symposium was how fMRI could be used to elucidate cerebral mechanisms responsible for new learning. The next 4 articles address this directly, with the first (Little and Thulborn) an overview of data from fMRI studies of category-learning, and the second from the same laboratory (Little, Shin, Siscol, and Thulborn) an empirical investigation of changes in brain activity occurring across different stages of learning. While a role for medial temporal lobe (MTL) structures in episodic memory encoding has been acknowledged for some time, the different experimental tasks and stimuli employed across neuroimaging studies have not surprisingly produced conflicting data in terms of the precise subregion(s) involved. The next paper (Parsons, Haut, Lemieux, Moran, and Leach) addresses this by examining effects of stimulus modality during verbal memory encoding. Typically, BOLD fMRI studies of learning are conducted over short time scales, however, the fourth paper in this series (Olson, Rao, Moore, Wang, Detre, and Aguirre) describes an empirical investigation of learning occurring over a longer than usual period, achieving this by employing a relatively novel technique called perfusion fMRI. This technique shows considerable promise for future studies. The final article in this special issue (de Zubicaray) represents a departure from the more familiar cognitive neuroscience applications of fMRI, instead describing how neuroimaging studies might be conducted to both inform and constrain information processing models of cognition.