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.

Modelling the Distribution of Ischaemic Stroke-Specific Survival Time Using an EM-based Mixture Approach with Random Effects Adjustment

A two-component survival mixture model is proposed to analyse a set of ischaemic stroke-specific mortality data. The survival experience of stroke patients after index stroke may be described by a subpopulation of patients in the acute condition and another subpopulation of patients in the chronic phase. To adjust for the inherent correlation of observations due to random hospital effects, a mixture model of two survival functions with random effects is formulated. Assuming a Weibull hazard in both components, an EM algorithm is developed for the estimation of fixed effect parameters and variance components. A simulation study is conducted to assess the performance of the two-component survival mixture model estimators. Simulation results confirm the applicability of the proposed model in a small sample setting. Copyright (C) 2004 John Wiley Sons, Ltd.

A new approach to the synthesis of conjugated polymer-nanocrystal composites for heterojunction optoelectronics

We report a simple one pot process for the preparation of lead sulfide (PbS) nanocrystals in the conjugated polymer poly (2-methoxy-5-(2'-ethyl-hexyloxy)-p-phenylene vinylene) (MEH-PPV), and we demonstrate electronic coupling between the two components.

What is an effective health consumer? A convergent interviewing approach

This study is part of a larger project on the measurement of effective health consumers in the context of musculoskeletal illness. This complex issue involves the progressive nature of the disease, invisibility of the illness and attendant impairments, complexity of decision-making and negotiation, and urgent need to translate emergent evidence about treatment and management to patients and health professionals. We conducted indepth interviews with patients, family members, general practitioners, specialist clinicians, and health consumer advocates (N = 84) about effective consumers in this context, using a process of convergent interviewing, with convergence conducted within and across groups and countries. The initial set of themes included information seeking and adaptation, decision-making, roles of patients, GPs, and specialists and communication between them, importance of pain and impact of depression, impact of the social environment (including the invisibility of the disease and the need for a normal life), and coping strategies.

Teen Triple P: A universal approach to reducing risk factors for behavioural and emotional problems in adolescents at the transition to high school

Teen Triple P is a multilevel system of intervention that is designed to provide parents with specific strategies to promote the positive development of their teenage children as they make the transition into high school and through puberty. The program is based on a combination of education about the developmental needs of adolescents, skills training to improve communication and problem-solving, plus specific modules to deal with common problems encountered by parents and adolescents that can escalate into major conflict and violence. It is designed to increase the engagement of parents of adolescent and pre-adolescent children by providing them with easy access to evidencebased parenting advice and support. This paper presents data collected as part of a survey of over 1400 students in first year high school at 9 Brisbane schools. The survey instrument was constructed to obtain students' reports about behaviour which is known to be associated with their health and wellbeing, and also on the extent to which their parents promoted or discouraged such behaviour at home, at school, and in their social and recreational activities in the wider community. Selected data from the survey were extracted and presented to parents at a series of parenting seminars held at the schools to promote appropriate parenting of teenagers. The objectives were to provide parents with accurate data about teenagers' behaviour, and about teenagers' reports of how they perceived their parents' behaviour. Normative data on parent and teenager behaviour will be presented from the survey as well as psychometric data relating to the reliability and validity of this new measure. Implications of this strategy for increasing parent engagement in parenting programs that aim to reduce behavioural and emotional problems in adolescents will be discussed.

Molecular epidemiology: A multidisciplinary approach to understanding parasitic zoonoses

Sound application of molecular epidemiological principles requires working knowledge of both molecular biological and epidemiological methods. Molecular tools have become an increasingly important part of studying the epidemiology of infectious agents. Molecular tools have allowed the aetiological agent within a population to be diagnosed with a greater degree of efficiency and accuracy than conventional diagnostic tools. They have increased the understanding of the pathogenicity, virulence, and host-parasite relationships of the aetiological agent, provided information on the genetic structure and taxonomy of the parasite and allowed the zoonotic potential of previously unidentified agents to be determined. This review describes the concept of epidemiology and proper study design, describes the array of currently available molecular biological tools and provides examples of studies that have integrated both disciplines to successfully unravel zoonotic relationships that would otherwise be impossible utilising conventional diagnostic tools. The current limitations of applying these tools, including cautions that need to be addressed during their application are also discussed.(c) 2005 Australian Society for Parasitology Inc. Published by Elsevier Ltd. All rights reserved.

Eye-movements and visual imagery: A working memory approach to the treatment of post-traumatic stress disorder

It has been claimed that the symptoms of post-traumatic stress disorder (PTSD) can be ameliorated by eye-movement desensitization-reprocessing therapy (EMD-R), a procedure that involves the individual making saccadic eye-movements while imagining the traumatic event. We hypothesized that these eye-movements reduce the vividness of distressing images by disrupting the function of the visuospatial sketchpad (VSSP) of working memory, and that by doing so they reduce the intensity of the emotion associated with the image. This hypothesis was tested by asking non-PTSD participants to form images of neutral and negative pictures under dual task conditions. Their images were less vivid with concurrent eye-movements and with a concurrent spatial tapping task that did not involve eye-movements. In the first three experiments, these secondary tasks did not consistently affect participants' emotional responses to the images. However, Expt 4 used personal recollections as stimuli for the imagery task, and demonstrated a significant reduction in emotional response under the same dual task conditions. These results suggest that, if EMD-R works, it does so by reducing the vividness and emotiveness of traumatic images via the VSSP of working memory. Other visuospatial tasks may also be of therapeutic value.

Proton transport model in the ionosphere .1. Multistream approach of the transport equations

The suprathermal particles, electrons and protons, coming from the magnetosphere and precipitating into the high-latitude atmosphere are an energy source of the Earth's ionosphere. They interact with ambient thermal gas through inelastic and elastic collisions. The physical quantities perturbed by these precipitations, such as the heating rate, the electron production rate, or the emission intensities, can be provided in solving the kinetic stationary Boltzmann equation. This equation yields particle fluxes as a function of altitude, energy, and pitch angle. While this equation has been solved through different ways for the electron transport and fully tested, the proton transport is more complicated. Because of charge-changing reactions, the latter is a set of two-coupled transport equations that must be solved: one for protons and the other for H atoms. We present here a new approach that solves the multistream proton/hydrogen transport equations encompassing the collision angular redistributions and the magnetic mirroring effect. In order to validate our model we discuss the energy conservation and we compare with another model under the same inputs and with rocket observations. The influence of the angular redistributions is discussed in a forthcoming paper.

Latent inhibition and autonomic responses: a psychophysiological approach

Latent inhibition, retarded learning after preexposure to the to-be-conditioned stimulus, has been implied as a tool for the investigation of attentional deficits in schizophrenia and related disorders. The present paper reviews research that used Pavlovian conditioning as indexed by autonomic responses (electrodermal, vasomotor, cardiac) to investigate latent inhibition in adult humans. Latent inhibition has been demonstrated repeatedly in healthy subjects in absence of a masking task that is required in other latent inhibition paradigms. Moreover, latent inhibition of Pavlovian conditioning is stimulus-specific and increases with an increased number of preexposure trials which mirrors results from research in animals. A reduction of latent inhibition has been shown in healthy subjects who score high on questionnaire measures of psychosis proneness and in unmedicated schizophrenic patients. The latter result was obtained in a within-subject paradigm that holds promise for research with patient samples. (C) 1997 Elsevier Science B.V.

A semi-empirical approach to optimise the quantity of drying aids required to spray dry sugar-rich foods

A semi-empirical linear equation has been developed to optimise the amount of maltodextrin additive (DE 6) required to successfully spray dry a sugar-rich product on the basis of its composition. Based on spray drying experiments, drying index values for individual sugars (sucrose, glucose, frutose) and citric acid were determined, and us;ng these index values an equation for model mixtures of these components was established. This equation has been tested with two sugar-rich natural products, pineapple juice and honey. The relationship was found to be valid for these products.