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.

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.

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.

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.

Does health service utilisation vary by remoteness? South Australian population data and the Accessibility and Remoteness Index of Australia

Objective: To compare rates of self-reported use of health services between rural, remote and urban South Australians. Methods: Secondary data analysis from a population-based survey to assess health and well-being, conducted in South Australia in 2000. In all, 2,454 adults were randomly selected and interviewed using the computer-assisted telephone interview (CATI) system. We analysed health service use by Accessibility and Remoteness Index of Australia (ARIA) category. Results: There was no statistically significant difference in the median number of uses of the four types of health services studied across ARIA categories. Significantly fewer residents of highly accessible areas reported never using primary care services (14.4% vs. 22.2% in very remote areas), and significantly more reported high use ( greater than or equal to6 visits, 29.3% vs. 21.5%). Fewer residents of remote areas reported never attending hospital (65.6% vs. 73.8% in highly accessible areas). Frequency of use of mental health services was not statistically significantly different across ARIA categories. Very remote residents were more likely to spend at least one night in a public hospital (15.8%) than were residents of other areas (e.g. 5.9% for highly accessible areas). Conclusion: The self-reported frequency of use of a range of health services in South Australia was broadly similar across ARIA categories. However, use of primary care services was higher among residents of highly accessible areas and public hospital use increased with increasing remoteness. There is no evidence for systematic rural disadvantage in terms of self-reported health service utilisation in this State.

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

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.

Existence results for abstract impulsive second-order neutral functional differential equations

We establish the existence of mild solutions for a class of impulsive second-order partial neutral functional differential equations with infinite delay in a Banach space. (C) 2009 Published by Elsevier Ltd

Pseudo-almost periodic solutions for abstract partial functional differential equations

In this work we study the existence and uniqueness of pseudo-almost periodic solutions for a first-order abstract functional differential equation with a linear part dominated by a Hille-Yosida type operator with a non-dense domain. (C) 2009 Published by Elsevier Ltd

Existence results for partial neutral functional differential equations with state-dependent delay

In this paper we study the existence of mild solutions for a class of first order abstract partial neutral differential equations with state-dependent delay. (C) 2008 Elsevier Ltd. All rights reserved.

Approximate controllability of second-order distributed implicit functional systems

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

Existence of solutions for second order partial neutral functional differential equations

We establish existence of mild solutions for a class of abstract second-order partial neutral functional differential equations with unbounded delay in a Banach space.