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.

Royal Australian and New Zealand College of Psychiatrists clinical practice guidelines for the treatment of schizophrenia and related disorders

Background: The Royal Australian and New Zealand College of Psychiatrists is co-ordinating the development of clinical practice guidelines (CPGs) in psychiatry, funded under the National Mental Health Strategy (Australia) and the New Zealand Health Funding Authority. This paper presents CPGs for schizophrenia and related disorders. Over the past decade schizophrenia has become more treatable than ever before. A new generation of drug therapies, a renaissance of psychological and psychosocial interventions and a first generation of reform within the specialist mental health system have combined to create an evidence-based climate of realistic optimism. Progressive neuroscientific advances hold out the strong possibility of more definitive biological treatments in the near future. However, this improved potential for better outcomes and quality of life for people with schizophrenia has not been translated into reality in Australia. The efficacy-effectiveness gap is wider for schizophrenia than any other serious medical disorder. Therapeutic nihilism, under-resourcing of services and a stalling of the service reform process, poor morale within specialist mental health services, a lack of broad-based recovery and life support programs, and a climate of tenacious stigma and consequent lack of concern for people with schizophrenia are the contributory causes for this failure to effectively treat. These guidelines therefore tackle only one element in the endeavour to reduce the impact of schizophrenia. They distil the current evidence-base and make recommendations based on the best available knowledge. Method: A comprehensive literature review (1990-2003) was conducted, including all Cochrane schizophrenia reviews and all relevant meta-analyses, and a number of recent international clinical practice guidelines were consulted. A series of drafts were refined by the expert committee and enhanced through a bi-national consultation process. Treatment recommendations: This guideline provides evidence-based recommendations for the management of schizophrenia by treatment type and by phase of illness. The essential features of the guidelines are: (i) Early detection and comprehensive treatment of first episode cases is a priority since the psychosocial and possibly the biological impact of illness can be minimized and outcome improved. An optimistic attitude on the part of health professionals is an essential ingredient from the outset and across all phases of illness. (ii) Comprehensive and sustained intervention should be assured during the initial 3-5 years following diagnosis since course of illness is strongly influenced by what occurs in this 'critical period'. Patients should not have to 'prove chronicity' before they gain consistent access and tenure to specialist mental health services. (iii) Antipsychotic medication is the cornerstone of treatment. These medicines have improved in quality and tolerability, yet should be used cautiously and in a more targeted manner than in the past. The treatment of choice for most patients is now the novel antipsychotic medications because of their superior tolerability and, in particular, the reduced risk of tardive dyskinesia. This is particularly so for the first episode patient where, due to superior tolerability, novel agents are the first, second and third line choice. These novel agents are nevertheless associated with potentially serious medium to long-term side-effects of their own for which patients must be carefully monitored. Conventional antipsychotic medications in low dosage may still have a role in a small proportion of patients, where there has been full remission and good tolerability; however, the indications are shrinking progressively. These principles are now accepted in most developed countries. (vi) Clozapine should be used early in the course, as soon as treatment resistance to at least two antipsychotics has been demonstrated. This usually means incomplete remission of positive symptomatology, but clozapine may also be considered where there are pervasive negative symptoms or significant or persistent suicidal risk is present. (v) Comprehensive psychosocial interventions should be routinely available to all patients and their families, and provided by appropriately trained mental health professionals with time to devote to the task. This includes family interventions, cognitive-behaviour therapy, vocational rehabilitation and other forms of therapy, especially for comorbid conditions, such as substance abuse, depression and anxiety. (vi) The social and cultural environment of people with schizophrenia is an essential arena for intervention. Adequate shelter, financial security, access to meaningful social roles and availability of social support are essential components of recovery and quality of life. (vii) Interventions should be carefully tailored to phase and stage of illness, and to gender and cultural background. (viii) Genuine involvement of consumers and relatives in service development and provision should be standard. (ix) Maintenance of good physical health and prevention and early treatment of serious medical illness has been seriously neglected in the management of schizophrenia, and results in premature death and widespread morbidity. Quality of medical care for people with schizophrenia should be equivalent to the general community standard. (x) General practitioners (GPs)s should always be closely involved in the care of people with schizophrenia. However, this should be truly shared care, and sole care by a GP with minimal or no special Optimal treatment of schizophrenia requires a multidisciplinary team approach with a consultant psychiatrist centrally involved.

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.

Inhibitors of TACE and Caspase-1 as anti-inflammatory drugs

TNF-alpha neutralising agents such as Infliximab (Remicade(R)), Etanercept (Enbrel(R)) and the IL-1 receptor antagonist Anakinra (Kineret(R)), are currently used clinically for the treatment of many inflammatory diseases such as Crohn's disease, rheumatoid arthritis, ankylosing spondylitis, juvenile rheumatoid arthritis, psoriatic arthritis and psoriasis. These protein preparations are expensive to manufacture and administer, need to be injected and can cause allergic reactions. An alternative approach to lowering the levels of TNF-alpha and IL-1 beta in inflammatory disease, is to inhibit the enzymes that generate these cytokines using cheaper small molecules. This paper is a broad overview of the progress that has been achieved so far, with respect to small molecule inhibitor design and pharmacological studies (in animals and humans), for the metalloprotease Tumour Necrosis Factor-alpha Converting Enzyme (TACE) and the cysteine protease Caspase-1 (Interieukin-1 beta Converting Enzyme, ICE). Inhibitors of these two enzymes are currently considered to be good therapeutic targets that have the potential to provide relatively inexpensive and orally bioavailable anti-inflammatory agents in the future.

Use of methotrexate in older patients - A risk-benefit assessment

Methotrexate is eliminated almost entirely by the kidneys. The risk of methotrexate toxicity is therefore increased in patients with poor renal function, most likely as a result of drug accumulation. Declining renal function with age may thus be an important predictor of toxicity to methotrexate. Up to 60% of all patients who receive methotrexate for rheumatoid arthritis (RA) discontinue taking it because of adverse effects, most of which occur during the first year of therapy. Gastrointestinal complications are the most common adverse effects of methotrexate, but hepatotoxicity, haematological toxicity, pulmonary toxicity, lymphoproliferative disorders and exacerbation of rheumatic nodules have all been reported, Decreased renal function as a result of disease and/or aging appears to be an important determinant of hepatic, lymphoproli ferative and haematological toxicity, Concomitant use of low doses of folic acid has been recommended as an approach to limiting toxicity. Interactions between methotrexate and several nonsteroidal anti-inflammatory drugs have been reported, but they may not be clinically significant. However, caution is advised in the use of such combinations in patients with reduced renal function. More serious toxicities (e.g. pancytopenia) may result when other inhibitors of folate utilisation [e.g. cotrimoxazole (trimethoprim-sulfamethoxazole)] or inhibitors of renal tubular secretion (e.g. probenecid) are combined with methotrexate. Before starting low dose methotrexate therapy in patients with RA, a full blood count, liver function tests, renal function tests and chest radiography should be performed. Blood counts and liver function tests should be repeated at regular intervals. Therapeutic drug monitoring of methotrexate has also been suggested as a means of limiting toxicity. Patients with RA usually respond very favourably to low dose methotrexate therapy, and the probability of patients continuing their treatment beyond 5 years is greater than for other slow-acting antirheumatic drugs. Thus, given its sustained clinical utility and relatively predictable toxicity profile, low dose methotrexate is a useful addition to the therapy of RA.

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.

In vivo effects of chicken interferon-gamma during infection with Eimeria

Newly hatched chickens are highly susceptible to infection by opportunistic pathogens during the first 1 or 2 weeks of life, The use of cytokines as therapeutic agents has been studied in animal models as well as in immunosuppressed patients, This approach has become more feasible in livestock animals, in particular poultry, with the recent cloning of cytokine genes and the development of new technologies, such as live delivery vectors, We have recently cloned the gene for chicken interferon-gamma (Ch-IFN-gamma), Poly-HIS-tagged recombinant Ch-IFN-gamma was expressed in Escherichia coil, was purified by Ni chromatography, and was found to be stable at 4 degrees C and an ambient temperature for at least several months and Several weeks, respectively, Ch-IFN-gamma was capable of protecting chick fibroblasts from undergoing virus-mediated lysis, induced nitrite secretion from chicken macrophages in vitro, and enhanced MHC class II expression on macrophages, Administration of recombinant Ch-IFN-gamma to chickens resulted in enhanced weight gain over a 12-day period, Furthermore, the therapeutic potential of Ch-IFN-gamma was assessed using a coccidial challenge model, Birds were treated with Ch-IFN-gamma or a diluent control and then infected with Eimeria acervulina. Infected birds treated with Ch-IFN-gamma showed improved weight gain relative to noninfected birds, The ability of Ch-IFN-gamma to enhance weight gain in the face of coccidial infection makes it an excellent candidate as a therapeutic agent.