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.

Morphology of the first zoeal stage of the commensal southwestern Atlantic crab Austinixa aidae (Righi 1967) (Brachyura: Pinnotheridae), hatched in the laboratory

The first zoeal stage of the endemic southern Atlantic pinnotherid crab Austinixa aidae is described and illustrated based on laboratory-hatched material from ovigerous females collected from the upper burrows of the thalassinidean shrimp Callichirus major at Ubatuba, So Paulo, Brazil. The zoeae of Austinixa species can be distinguished from other pinnotherids and especially from zoeae of the closely related species of Pinnixa by the telson structure.

Disposition of MDMA and Metabolites in Human Sweat Following Controlled MDMA Administration

BACKGROUND: Understanding the excretion of 3,4-methylenedioxymethamphetamine (MDMA) and metabolites in sweat is vital for interpretation of sweat tests in drug treatment, criminal justice, and workplace programs. METHODS: Placebo, low (1.0 mg/kg), and high (1.6 mg/kg) doses of oral MDMA were given double-blind in random order to healthy volunteers (n = 15) with histories of MDMA use. Participants resided on the closed clinical research unit for up to 7 days after each dose. Volunteers wore PharmChek (R) sweat patches (n = 640) before, during, and after controlled dosing. Patches were analyzed by solid phase extraction and GC-MS for MDMA, methylenedioxyamphetamine (MDA), 4-hydroxy-3-methoxyamphetamine (HMA), and 4hydroxy-3-methoxymethamphetamine (HMMA). Limits of quantification (LOQ) were 2.5 ng/patch for MDMA and 5 ng/patch for HMA, HMMA, and MDA. RESULTS: MDMA was the primary analyte detected in 382 patches (59.7%), with concentrations up to 3007 ng/patch. MDA was detected in 188 patches (29.4%) at <172 ng/patch, whereas no HMMA or HMA was detected; 224 patches (35.0%) and 60 patches (9.4%) were positive for MDMA and MDA, respectively, at the 25-ng/patch threshold proposed by the Substance Abuse and Mental Health Services Administration. CONCLUSIONS: Sweat testing was shown to be an effective and reliable method for monitoring MDMA use in this controlled MDMA administration study. However, variability in sweat excretion suggests that results should be interpreted qualitatively rather than quantitatively. These data provide a scientific database for interpretation of MDMA sweat test results. (C) 2008 American Association for Clinical Chemistry

Association of haplotypes in the IL8 gene with susceptibility to chronic periodontitis in a Brazilian population

Background: Interleukin 8 (IL-8) is a chemokine related to the initiation and amplification of acute and chronic inflammatory processes. Polymorphisms in the IL8 gene have been associated with inflammatory diseases. We investigated whether the - 845(T/C) and - 738(T/A) single nucleotide polymorphisms (SNPs) in the IL8 gene, as well as the haplotypes they form together with the previously investigated -353(A/T), are associated with susceptibility to chronic periodontitis. Methods: DNA was extracted from buccal epithelial cells of 400 Brazilian individuals (control n =182, periodontitis n=218). SNPs were genotyped by the polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP) method. Disease associations were analyzed by the chi(2) test, Exact Fisher test and Clump program. Haplotypes were reconstructed using the expectation-maximization algorithm and differences in haplotype distribution between the groups were analyzed to estimate genetic susceptibility for chronic periodontitis development. Results: When analyzed individually, no SNPs showed different distributions between the control and chronic periodontitis groups. Although, nonsmokers carrying the TTA/CAT (OR = 2.35, 95% CI = 1.03-5.36) and TAT/CTA (OR= 6.05, 95% CI = 1.32-27.7) haplotypes were genetically susceptible to chronic periodontitis. The ITT/TAA haplotype was associated with protection against the development of periodontitis (for nonsmokers OR= 0.22, 95% CI = 0.10-0.46). Conclusion: Although none of the investigated SNPs in the IL8 gene was individually associated with periodontitis, some haplotypes showed significant association with susceptibility to, or protection against, chronic periodontitis in a Brazilian population. (C) 2010 Elsevier B.V. All rights reserved.

Homocysteine-lowering treatment with folic acid, cobalamin, and pyridoxine does not reduce blood markers of inflammation, endothelial dysfunction, or hypercoagulability in patients with previous transient ischemic attack or stroke - a randomized substudy

Background and Purpose - Epidemiological and laboratory studies suggest that increasing concentrations of plasma homocysteine ( total homocysteine [tHcy]) accelerate cardiovascular disease by promoting vascular inflammation, endothelial dysfunction, and hypercoagulability. Methods - We conducted a randomized controlled trial in 285 patients with recent transient ischemic attack or stroke to examine the effect of lowering tHcy with folic acid 2 mg, vitamin B-12 0.5 mg, and vitamin B-6 25 mg compared with placebo on laboratory markers of vascular inflammation, endothelial dysfunction, and hypercoagulability. Results - At 6 months after randomization, there was no significant difference in blood concentrations of markers of vascular inflammation (high-sensitivity C-reactive protein [P = 0.32]; soluble CD40L [ P = 0.33]; IL-6 [P = 0.77]), endothelial dysfunction ( vascular cell adhesion molecule-1 [P = 0.27]; intercellular adhesion molecule-1 [P = 0.08]; von Willebrand factor [P = 0.92]), and hypercoagulability (P-selectin [P = 0.33]; prothrombin fragment 1 and 2 [P = 0.81]; D-dimer [P = 0.88]) among patients assigned vitamin therapy compared with placebo despite a 3.7-mumol/L (95% CI, 2.7 to 4.7) reduction in total homocysteine (tHcy). Conclusions - Lowering tHcy by 3.7 mumol/L with folic acid-based multivitamin therapy does not significantly reduce blood concentrations of the biomarkers of inflammation, endothelial dysfunction, or hypercoagulability measured in our study. The possible explanations for our findings are: ( 1) these biomarkers are not sensitive to the effects of lowering tHcy (eg, multiple risk factor interventions may be required); ( 2) elevated tHcy causes cardiovascular disease by mechanisms other than the biomarkers measured; or ( 3) elevated tHcy is a noncausal marker of increased vascular risk.

HPLC-FLD methods to quantify chloroaluminum phthalocyanine in nanoparticles, plasma and tissue: application in pharmacokinetic and biodistribution studies

Analytical and bioanalytical methods of high-performance liquid chromatography with fluorescence detection (HPLC-FLD) were developed and validated for the determination of chloroaluminum phthalocyanine in different formulations of polymeric nanocapsules, plasma and livers of mice. Plasma and homogenized liver samples were extracted with ethyl acetate, and zinc phthalocyanine was used as internal standard. The results indicated that the methods were linear and selective for all matrices studied. Analysis of accuracy and precision showed adequate values, with variations lower than 10% in biological samples and lower than 2% in analytical samples. The recoveries were as high as 96% and 99% in the plasma and livers, respectively. The quantification limit of the analytical method was 1.12 ng/ml, and the limits of quantification of the bioanalytical method were 15 ng/ml and 75 ng/g for plasma and liver samples, respectively. The bioanalytical method developed was sensitive in the ranges of 15-100 ng/ml in plasma and 75-500 ng/g in liver samples and was applied to studies of biodistribution and pharmacokinetics of AlClPc. (C) 2011 Elsevier B.V. All rights reserved.

Estimate of Dementia Prevalence in a Community Sample from Sao Paulo, Brazil

Aims: To estimate dementia prevalence and describe the etiology of dementia in a community sample from the city of Sao Paulo, Brazil. Methods: A sample of subjects older than 60 years was screened for dementia in the first phase. During the second phase, the diagnostic workup included a structured interview, physical and neurological examination, laboratory exams, a brain scan, and DSM-IV criteria diagnosis. Results: Mean age was 71.5 years (n = 1,563) and 58.3% had up to 4 years of schooling (68.7% female). Dementia was diagnosed in 107 subjects with an observed prevalence of 6.8%. The estimate of dementia prevalence was 12.9%, considering design effect, nonresponse during the community phase, and positive and negative predictive values. Alzheimer`s disease was the most frequent cause of dementia (59.8%), followed by vascular dementia (15.9%). Older age and illiteracy were significantly associated with dementia. Conclusions: The estimate of dementia prevalence was higher than previously reported in Brazil, with Alzheimer`s disease and vascular dementia being the most frequent causes of dementia. Dementia prevalence in Brazil and in other Latin American countries should be addressed by additional studies to confirm these higher dementia rates which might have a sizable impact on countries` health services. Copyright (C) 2008 S. Karger AG, Basel

Experience-induced preference for oviposition repellents derived from a non-host plant by a specialist herbivore

Foraging adults of phytophagous insects are attracted by host-plant volatiles and supposedly repelled by volatiles from non-host plants. In behavioural control of pest insects, chemicals derived from non-host plants applied to crops are expected to repel searching adults and thereby reduce egg laying. How experience by searching adults of non-host volatiles affects their subsequent searching and oviposition behaviour has been rarely tested. In laboratory experiments, we examined the effect of experience of a non-host-plant extract on the oviposition behaviour of the diamondback moth (DBM), Plutella xylostella, a specialist herbivore of cruciferous plants. Naive ovipositing DBM females were repelled by an extract of dried leaves of Chrysanthemum morifolium, a non-host plant of DBM, but experienced females were not repelled. Instead they were attracted by host plants treated with the non-host-plant extract and laid a higher proportion of eggs on treated than on untreated host plants. Such behavioural changes induced by experience could lead to host-plant range expansion in phytophagous insects and play an important role in determining outcome for pest management of some behavioural manipulation methods.

Validated spectrophotometric and spectrofluorimetric methods for determination of chloroaluminum phthalocyanine in nanocarriers

UV-VIS-Spectrophotometric and spectrofluorimetric methods have been developed and validated allowing the quantification of chloroaluminum phthalocyanine (CIAIPc) in nanocarriers. In order to validate the methods, the linearity, limit of detection (LOD), limit of quantification (LOQ), precision, accuracy, and selectivity were examined according to USP 30 and ICH guidelines. Linearities range were found between 0.50-3.00 mu g.mL(-1) (Y=0.3829 X [CIAIPc, mu g.mL(-1)] + 0.0126; r=0.9992) for spectrophotometry, and 0.05-1.00 mu g.mL(-1) (Y=2.24 x 10(6) X [CIAIPc, mu g.L(-1)] + 9.74 x 10(4); r=0.9978) for spectrofluorimetry. In addition, ANOVA and Lack-of-fit tests demonstrated that the regression equations were statistically significant (p<0.05), and the resulting linear model is fully adequate for both analytical methods. The LOD values were 0.09 and 0.01 mu g.mL(-1), while the LOCI were 0.27 and 0.04 mu g.mL(-1) for spectrophotometric and spectrofluorimetric methods, respectively. Repeatability and intermediate precision for proposed methods showed relative standard deviation (RSD) between 0.58% to 4.80%. The percent recovery ranged from 98.9% to 102.7% for spectrophotometric analyses and from 94.2% to 101.2% for spectrofluorimetry. No interferences from common excipients were detected and both methods were considered specific. Therefore, the methods are accurate, precise, specific, and reproducible and hence can be applied for quantification of CIAIPc in nanoemulsions (NE) and nanocapsules (NC).

The effects of predator odors in mammalian prey species: A review of field and laboratory studies

wPrey species show specific adaptations that allow recognition, avoidance and defense against predators. For many mammalian species this includes sensitivity towards predator-derived odors. The typical sources of such odors include predator skin and fur, urine, feces and anal gland secretions. Avoidance of predator odors has been observed in many mammalian prey species including rats, mice, voles, deer, rabbits, gophers, hedgehogs, possums and sheep. Field and laboratory studies show that predator odors have distinctive behavioral effects which include (1) inhibition of activity, (2) suppression of non-defensive behaviors such as foraging, feeding and grooming, and (3) shifts to habitats or secure locations where such odors are not present. The repellent effect of predator odors in the field may sometimes be of practical use in the protection of crops and natural resources, although not all attempts at this have been successful. The failure of some studies to obtain repellent effects with predator odors may relate to (1) mismatches between the predator odors and prey species employed, (2) strain and individual differences in sensitivity to predator odors, and (3) the use of predator odors that have low efficacy. In this regard, a small number of recent studies have suggested that skin and fur-derived predator odors may have a more profound lasting effect on prey species than those derived from urine or feces. Predator odors can have powerful effects on the endocrine system including a suppression of testosterone and increased levels of stress hormones such as corticosterone and ACTH. Inhibitory effects of predator odors on reproductive behavior have been demonstrated, and these are particularly prevalent in female rodent species. Pregnant female rodents exposed to predator odors may give birth to smaller litters while exposure to predator odors during early life can hinder normal development. Recent research is starting to uncover the neural circuitry activated by predator odors, leading to hypotheses about how such activation leads to observable effects on reproduction, foraging and feeding. (c) 2005 Elsevier Ltd. All rights reserved.

Pathology reporting of breast cancer: trends in 1989-1999, following the introduction of mammographic screening in Western Australia

Background: A survey of pathology reporting of breast cancer in Western Australia in 1989 highlighted the need for improvement. The current study documents (1) changes in pathology reporting from 1989 to 1999 and (2) changes in patterns of histopathological prognostic indicators for breast cancer following introduction of mammographic screening in 1989. Methods: Data concerning all breast cancer cases reported in Western Australia in 1989, 1994 and 1999 were retrieved using the State Cancer Registry, Hospital Morbidity data system, and pathology laboratory records. Results: Pathology reports improved in quality during the decade surveyed. For invasive carcinoma, tumour size was not recorded in 1.2% of pathology reports in 1999 compared with 16.1% in 1989 (rho<0.001). Corresponding figures for other prognostic factors were: tumour grade 3.3% and 51.6% (rho<0.001), tumour type 0.2% and 4.1% (rho<0.001), vascular invasion 3.7% and 70.9% (rho<0.001), and lymph node status 1.9% and 4.5% (rho=0.023). In 1999, 5.9% of reports were not in a synoptic/checklist format, whereas all reports were descriptive in 1989 (rho<0.001). For the population as a whole, the proportion of invasive carcinomas <1 cm was 20.9% in 1999 compared with 14.5% in 1989 (rho<0.001); for tumours <2 cm the corresponding figures were 65.4% and 59.7% (rho=0.013). In 1999, 30.5% of tumours were histologically well-differentiated compared with 10.6% in 1989 (rho<0.001), and 61.7% were lymph node negative in 1999 compared with 57.1% in 1989 (rho=0.006). Pure ductal carcinoma in situ (DCIS) constituted 10.9% and 7.9% of total cases of breast carcinoma in 1999 and 1989, respectively (rho=0.01). Conclusions: Quality of pathology reporting improved markedly over the period, in parallel with adoption of stanclardised synoptic pathology reports. By 1999, recording of important prognostic information was almost complete. Frequency of favourable prognostic factors generally increased over time, reflecting expected effects of mammographic screening.

ASSOCIATION BETWEEN SADDLE NOSE DEFORMITY AND RETRO-ORBITAL MASS IN WEGENER`S GRANULOMATOSIS

Objectives: The relationship between saddle nose deformity (SND) in Wegener`s granulomatosis (WG) and other clinical features, including retro-orbital mass formation (ROM), has been poor described. Therefore, this relationship was analyzed retrospectively from 2000 to 2010. Patients and Methods: Eighteen consecutive WG patients with SND diagnosed by computed tomography were matched to 36 WG patients without SND (control group) for gender, age at WG diagnosis and disease duration. Results: No difference was found between the two groups in relation to WG type (limited and systemic forms), ethnicity, laboratory features, constitutional symptoms or clinical manifestations, including upper respiratory tract, and treatment, except for ROM (33.3 vs. 2.8% in SND(+) and SND(-) groups, respectively; p=0.004) and subglottic stenosis (22.2 vs. 2.8%; p=0.038). However, on multivariate analysis, only ROM (OR 17.15; 95% CI 1.11-265.52) was statistically associated to SND. In addition, in more than half of the cases, SND manifested prior to ROM. Conclusions: Results of this prospective analysis showed that SND was strongly associated to ROM in WG. Since early diagnosis and aggressive treatment of orbital involvement could lead to better prognosis, the presence of SND warrants additional vigilance.