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 selection deficits in melancholic but not nonmelancholic unipolar major depression

One consistent functional imaging finding from patients with major depression has been abnormality of the anterior cingulate cortex (ACC). Hypoperfusion has been most commonly reported, but some studies suggest relative hyperperfusion is associated with response to somatic treatments. Despite these indications of the possible importance of the ACC in depression there have been relatively few cognitive studies ACC function in patients with major depression. The present study employed a series of reaction time (RT) tasks involving selection with melancholic and nonmelancholic depressed patients, as well as age-matched controls. Fifteen patients with unipolar major depression (7 melancholic, 8 nonmelancholic) and 8 healthy age-matched controls performed a series of response selection tasks (choice RT, spatial Stroop, spatial stimulus-response compatibility (SRC), and a combined Stroop + SRC condition). Reaction time and error data were collected. Melancholic patients were significantly slower than controls on all tasks but were slower than nonmelancholic patients only on the Stroop and Stroop + SRC conditions. Nonmelancholic patients did not differ from the control group on any task. The Stroop task seems crucial in differentiating the two depressive groups, they did not differ on the choice RT or SRC tasks. This may reflect differential task demands, the SRC involved symbolic manipulation that might engage the dorsal ACC and dorsolateral prefrontal cortex (DLPFC) to a greater extent than the, primarily inhibitory, Stroop task which may engage the ventral ACC and orbitofrontal cortex (OFC). This might suggest the melancholic group showed a greater ventral ACC-OFC deficit than the nonmelancholic group, while both groups showed similar dorsal ACC-DLPFC deficit.

Identification of "pathologs" (disease-related genes) from the RIKEN mouse cDNA dataset using human curation plus FACTS, a new biological information extraction system

Background: A major goal in the post-genomic era is to identify and characterise disease susceptibility genes and to apply this knowledge to disease prevention and treatment. Rodents and humans have remarkably similar genomes and share closely related biochemical, physiological and pathological pathways. In this work we utilised the latest information on the mouse transcriptome as revealed by the RIKEN FANTOM2 project to identify novel human disease-related candidate genes. We define a new term patholog to mean a homolog of a human disease-related gene encoding a product ( transcript, anti-sense or protein) potentially relevant to disease. Rather than just focus on Mendelian inheritance, we applied the analysis to all potential pathologs regardless of their inheritance pattern. Results: Bioinformatic analysis and human curation of 60,770 RIKEN full-length mouse cDNA clones produced 2,578 sequences that showed similarity ( 70 - 85% identity) to known human-disease genes. Using a newly developed biological information extraction and annotation tool ( FACTS) in parallel with human expert analysis of 17,051 MEDLINE scientific abstracts we identified 182 novel potential pathologs. Of these, 36 were identified by computational tools only, 49 by human expert analysis only and 97 by both methods. These pathologs were related to neoplastic ( 53%), hereditary ( 24%), immunological ( 5%), cardio-vascular (4%), or other (14%), disorders. Conclusions: Large scale genome projects continue to produce a vast amount of data with potential application to the study of human disease. For this potential to be realised we need intelligent strategies for data categorisation and the ability to link sequence data with relevant literature. This paper demonstrates the power of combining human expert annotation with FACTS, a newly developed bioinformatics tool, to identify novel pathologs from within large-scale mouse transcript datasets.

Identification of a juvenile hormone esterase-like gene in the honey bee, Apis mellifera L. - Expression analysis and functional assays

Tight control over circulating juvenile hormone (JH) levels is of prime importance in an insect`s life cycle. Consequently, enzymes involved in JH metabolism, especially juvenile hormone esterases (JHEs), play major roles during metamorphosis and reproduction. In the highly eusocial Hymenoptera, JH has been co-opted into additional functions, primarily in the development of the queen and worker castes and in age-related behavioral development of workers. Within a set of 21 carboxylesterases predicted in the honey bee genome we identified one gene (Amjhe-like) that contained the main functional motifs of insect JHEs. Its transcript levels during larval development showed a maximum at the switch from feeding to spinning behavior, coinciding with a JH titer minimum. In adult workers, the highest levels were observed in nurse bees, where a low JH titer is required to prevent the switch to foraging. Functional assays showed that Amjhe-like expression is induced by JH-III and suppressed by 20-hydroxyecdysone. RNAi-mediated silencing of Amjhe-like gene function resulted in a six-fold increase in the JH titer in adult worker bees. The temporal profile of Amjhe-like expression in larval and adult workers, the pattern of hormonal regulation and the knockdown phenotype are consistent with the function of this gene as an authentic JHE. (C) 2008 Elsevier Inc. All rights reserved.

The role of impulsivity in the development of substance use and eating disorders

Impulsivity is now widely viewed as a multidimensional construct consisting of a number of related dimensions. Although many measures of impulsivity are correlated, most recent factor analyses support at least a two-factor model. In the current paper, these two factors have been labelled reward sensitivity, reflecting one of the primary dimensions of Gray's personality theory, and rash-spontaneous impulsiveness. The evidence supporting the existence of two dimensions of impulsivity is reviewed in relation to substance misuse and binge eating. (C) 2004 Elsevier Ltd. All rights reserved.

Functional and Evolutionary Insights from the Genomes of Three Parasitoid Nasonia Species

We report here genome sequences and comparative analyses of three closely related parasitoid wasps: Nasonia vitripennis, N. giraulti, and N. longicornis. Parasitoids are important regulators of arthropod populations, including major agricultural pests and disease vectors, and Nasonia is an emerging genetic model, particularly for evolutionary and developmental genetics. Key findings include the identification of a functional DNA methylation tool kit; hymenopteran-specific genes including diverse venoms; lateral gene transfers among Pox viruses, Wolbachia, and Nasonia; and the rapid evolution of genes involved in nuclear-mitochondrial interactions that are implicated in speciation. Newly developed genome resources advance Nasonia for genetic research, accelerate mapping and cloning of quantitative trait loci, and will ultimately provide tools and knowledge for further increasing the utility of parasitoids as pest insect-control agents.

Heterologous expression of an Aspergillus niveus xylanase GH11 in Aspergillus nidulans and its characterization and application

A xylanase was cloned from Aspergillus niveus and successfully expressed in Aspergillus nidulans (XAN). The full-length gene consisted of 890 bp and encoded 275 mature amino acids with a calculated mass of 31.3 kDa. The deduced amino acid sequence was highly homologous with the xylanase belonging to family 11 of the glycoside hydrolases. The recombinant protein was purified to electrophoretic homogeneity by anion-exchange chromatography and gel filtration. The optima of pH and temperature for the recombinant enzyme were 5.0 and 65 degrees C, respectively. The thermal stability of the recombinant xylanase was extremely improved by covalent immobilization on glyoxyl agarose with 91.4% of residual activity after 180 min at 60 degrees C, on the other hand, the free xylanase showed a half-life of 9.9 min at the same temperature. Affinity chromatography on Concanavalin A- and Jacalin-agarose columns followed by SDS-PAGE analyses showed that the XAN has O- and N-glycans. XAN promotes hydrolysis of xylan resulting in xylobiose, xylotriose and xylotetraose. Intermediate degradation of xylan resulting in xylo-oligomers is appealing for functional foods as the beneficial effect of oligosaccharides on gastrointestinal micro flora includes preventing proliferation of pathogenic intestinal bacteria and facilitates digestion and absorption of nutrients. (C) 2011 Elsevier Ltd. All rights reserved.

Decision rules for egg recognition are related to functional roles and chemical cues in the queenless ant Dinoponera quadriceps

The capacity to distinguish colony members from strangers is a key component in social life. In social insects, this extends to the brood and involves discrimination of queen eggs. Chemical substances communicate colony affiliation for both adults and brood; thus, in theory, all colony members should be able to recognize fellow nestmates. In this study, we investigate the ability of Dinoponera quadriceps workers to discriminate nestmate and non-nestmate eggs based on cuticular hydrocarbon composition. We analyzed whether cuticular hydrocarbons present on the eggs provide cues of discrimination. The results show that egg recognition in D. quadriceps is related to both age and the functional role of workers. Brood care workers were able to distinguish nestmate from non-nestmate eggs, while callow and forager workers were unable to do so.

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.

Canine gastrointestinal parasitic zoonoses in India

Although well recognized and studied in developed countries, canine parasitic zoonoses pose a lowly prioritized public health problem in developing countries such as India, where conditions are conducive for transmission. A study of the most recent parasite survey determining prevalence and epidemiology of canine parasitic zoonoses among tea-growing communities of northeast India demonstrated the endemicity of the problem. This particular study serves as a model using conventional, as well as molecular parasitological, tools to provide novel insights into the role of dogs as mechanical transmitters of human parasites such as Ascaris and Trichuris, and discusses the risks dogs pose with regards to zoonotic transmission of hookworms and Giardia.

Monoamine oxidase inhibitory activities of indolylalkaloid toxins from the venom of the colonial spider Parawixia bistriata: Functional characterization of PwTX-I

Colonial spiders evolved a differential prey-capture behaviour in concert with their venom chemistry, which may be a source of novel drugs. Some highly active tetrahydro-beta-carboline (TH beta C) toxins were recently isolated from the venom of the colonial spider Parawixia bistriata; the spiders use these toxins as part of their chemical arsenal to kill and/or paralyze preys. The major TH beta C compound isolated from this venom was identified as 6-hydroxytrypargine, also known as PwTX-I. Most natural compounds of animal origin occur in low abundance, and the natural abundance of PwTX-I is insufficient for complete functional characterization. Thus, PwTx-I was synthesized using a Pictet-Spengler condensation strategy, and the stereoisomers of the synthetic toxin were separated by chiral chromatography. The fraction of venom containing a mixture of three natural TH beta C toxins and enantiomers of PwTx-I were analyzed for inhibition of monoamine oxidase (MAO)-A and -B and for toxicity to insects. We reveal that the mixture of the natural TH beta C toxins, as well as the enantiomers of PwTx-I, were non-competitive inhibitors of MAO-A and MAO-B and caused potent paralysis of honeybees. The (-)-PwTX-I enantiomer is 2-fold more potent than the (+)-PwTX-I enantiomer in the assays performed. (C) 2009 Elsevier Ltd. All rights reserved.

EXISTENCE RESULTS FOR ABSTRACT DEGENERATE NEUTRAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper we discuss the existence of solutions for a class of abstract degenerate neutral functional differential equations. Some applications to partial differential equations are considered.

Existence results for a damped second order abstract functional differential equation with impulses

In this work we study the existence and regularity of mild solutions for a damped second order abstract functional differential equation with impulses. The results are obtained using the cosine function theory and fixed point criterions. (C) 2009 Elsevier Ltd. All rights reserved.

The existence of solutions for impulsive neutral functional differential equations

This work deals with the existence of mild solutions for a class of impulsive functional differential equations of the neutral type associated with the family of linear closed (not necessarily bounded) operators {A(t) : t is an element of 1}. (C) 2009 Elsevier Ltd. All rights reserved.