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.

Assessing cost-effectiveness - Mental health: introduction to the study and methods

Objective: The Assessing Cost-Effectiveness - Mental Health (ACE-MH) study aims to assess from a health sector perspective, whether there are options for change that could improve the effectiveness and efficiency of Australia's current mental health services by directing available resources toward 'best practice' cost-effective services. Method: The use of standardized evaluation methods addresses the reservations expressed by many economists about the simplistic use of League Tables based on economic studies confounded by differences in methods, context and setting. The cost-effectiveness ratio for each intervention is calculated using economic and epidemiological data. This includes systematic reviews and randomised controlled trials for efficacy, the Australian Surveys of Mental Health and Wellbeing for current practice and a combination of trials and longitudinal studies for adherence. The cost-effectiveness ratios are presented as cost (A$) per disability-adjusted life year (DALY) saved with a 95% uncertainty interval based on Monte Carlo simulation modelling. An assessment of interventions on 'second filter' criteria ('equity', 'strength of evidence', 'feasibility' and 'acceptability to stakeholders') allows broader concepts of 'benefit' to be taken into account, as well as factors that might influence policy judgements in addition to cost-effectiveness ratios. Conclusions: The main limitation of the study is in the translation of the effect size from trials into a change in the DALY disability weight, which required the use of newly developed methods. While comparisons within disorders are valid, comparisons across disorders should be made with caution. A series of articles is planned to present the results.

Increase of gingival matured dendritic cells number in elderly patients with chronic periodontitis

Objective: The purpose of this study was to evaluate the inflammatory cell subset proportions in the upper gingival connective tissue, including mature dendritic cells (DC) in elderly and younger patients with generalized chronic periodontitis in order to further understand the effect of aging on gingival inflammatory phenomenon. Methods: Gingival tissue specimens presenting chronic periodontitis from 8 elderly patients aged >75 (test group, group T) and from 8 younger patients aged 50-60 (considered as controls, group C) were analysed by immunohistochemistry using monoclonal antibodies against CD45RB, CD4, CD8, CD19, CD68, DC-SIGN, DC-LAMP molecules. The number of each immunolabelled cells subset was counted using image analysis. Results: The difference in the number of CD45RB + leucocytes in the upper gingival connective tissue between groups was not significant permitting to use it as reference. As compared. to group C, the lymphocyte subsets/CD45RB + leucocytes ratios tended to decrease in group T but the decrease was significant only for CD4 + T lymphocytes/ CD45RB + cells ratio (p < 0.03). On the opposite, the ratios of antigen-presenting cells DC-SIGN + cells/CD45RB + cells and DC-LAMP + cells/CD45RB + cells were significantly increased;(p < 0.03 and <0.0001, respectively) in group T. Moreover, in group T the DC-LAMP + cells/DC-SIGN + cells ratio was significantly increased (p < 0.05) showing an increased number of matured dendritic cells. Conclusion: During chronic periodontitis in elderly patients, our results show a decrease in the ratio of gingival CD4 + lymphocyte subset associated with an increase in the ratios of antigen-presenting cells subsets and more particularly maturated DC-LAMP + dendritic cells. (C) 2008 Elsevier Ltd. All rights reserved.