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.

Neuroprotective Effects of Diazepam, Carbamazepine, Phenytoin and Ketamine after Pilocarpine-induced Status Epilepticus

Cell damage and spatial localization deficits are often reported as long-term consequences of pilocarpine-induced status epilepticus. In this study, we investigated the neuroprotective effects of repeated drug administration after long-lasting status epilepticus. Groups of six to eight Wistar rats received microinjections of pilocarpine (2.4 mg/mu l, 1 mu l) in the right dorsal hippocampus to induce a status epilepticus, which was attenuated by thiopental injection (35 mg/kg, i.p.) 3 hrs after onset. Treatments consisted of i.p. administration of diazepam, ketamine, carbamazepine, or phenytoin at 4, 28, 52, and 76 hr after the onset of status epilepticus. Two days after the treatments, rats were tested in the Morris water maze and 1 week after the cognitive tests, their brains were submitted to histology to perform haematoxylin and eosin staining and glial fibrillary acidic protein (GFAP) immunofluorescence detection. Post-status epilepticus rats exhibited extensive gliosis and cell loss in the hippocampal CA1, CA3 (70% cell loss for both areas) and dentate gyrus (60%). Administration of all drugs reduced cell loss in the hippocampus, with best effects observed in brains slices of diazepam-treated animals, which showed less than 30% of loss in the three areas and decreased GFAP immunolabelling. Treatments improved spatial navigation during training trials and probe trial, with exception of ketamine. Interestingly, in the probe trial, only diazepam-treated animals showed preference for the goal quadrant. Our data point to significant neuroprotective effects of repeated administration of diazepam against status epilepticus-induced cell damage and cognitive disturbances.

The look of royalty: visual and odour signals of reproductive status in a paper wasp

Reproductive conflicts within animal societies occur when all females can potentially reproduce. In social insects, these conflicts are regulated largely by behaviour and chemical signalling. There is evidence that presence of signals, which provide direct information about the quality of the reproductive females would increase the fitness of all parties. In this study, we present an association between visual and chemical signals in the paper wasp Polistes satan. Our results showed that in nest-founding phase colonies, variation of visual signals is linked to relative fertility, while chemical signals are related to dominance status. In addition, experiments revealed that higher hierarchical positions were occupied by subordinates with distinct proportions of cuticular hydrocarbons and distinct visual marks. Therefore, these wasps present cues that convey reliable information of their reproductive status.

Electronic medical records may be inadequate for improving population health status through general practice: cervical smears as a case study

Objective: To determine whether routine electronic records are an accurate source of population health data in general practice through reviewing cervical smears rates in four South Australian practices. Methods: The cervical screening rate in a purposive sample of four general practices (three rural and one urban) was obtained using an audit of medical records and a telephone follow-up. Results: The cervical screening rate using only immediately available electronic medical records indicated an overall low rate for the participating practices (44.9%). However, telephone follow-up and adjustments to the denominator indicated the real rate to be 85.7%. The offer of appointments during the telephone follow-up further improved this rate for eligible women (93.8%). Conclusions and implications: Electronic medical records may be inadequate in preventive screening in general practice, without ensuring their accuracy. Updating records by telephone or personal follow-up produces a much more accurate denominator.

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