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.

Solid-phase microextraction using poly(pyrrole) film and liquid chromatography with UV detection for analysis of antidepressants in plasma samples

Poly(pyrrole) (PPY) coating was prepared on a stainless-steel (SS) wire for solid-phase microextraction (SPME) by electrochemical deposition (cyclic voltammetric). The PPY was evaluated by analyzing new-generation antidepressants (mirtazapine, citalopram, paroxetine, duloxetine, fluoxetine, and sertraline) in plasma sample by SPME and liquid chromatography with UV detection (LC-UV). The effect of electrolyte Solution (lithium perchlorate or tetrabutylammonium perchlorate) and the number of cycles (50, 100 or 200) applied during the polymerization process on the SPME performance was evaluated. Important factors in the optimization of SPME efficiency such as extraction time, temperature, pH, influence of plasma proteins on sorption mechanisms, and desorption conditions are discussed. The SPME-PPY/LC method showed to be linear in concentrations ranging from the limit of quantification (LOQ) to 1200 ng mL(-1). The LOQ values range from 16 to 25 ng mL-1. The inter-day precision of the SPME-PPY/LC method presented coefficient of variation (CV) lower than 15%. Based on analytical validation results, the SPME-PPY/LC methodology showed to be adequate for antidepressant analysis, from therapeutic to toxic levels. In order to evaluate the proposed method for clinical use, the SPME-PPY/LC method was applied to the analysis of plasma samples from elderly depressed patients. (c) 2009 Elsevier B.V. All rights reserved,

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

Quantification of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high-performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. Important factors in the optimization of SBSE efficiency such as pH, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) assured recoveries ranging from 72 to 86%, except for phenytoin (62%). Separation was obtained using a reverse phase C-18 column with UV detection (210 nm). The mobile phase consisted of water: acetonitrile (78:22, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.08-40.0 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125-40.0 mu g mL(-1) for phenytoin, The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.0, 4.0 and 20.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 8.8% and all inter-CVs were less than 10%. Limits of quantification were 0.08 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125 mu g mL(-1) for phenytoin. No interference of the drugs normally associated with antiepileptic drugs was observed. Based on figures of merit results, the SBSE/HPLC-UV proved adequate for antiepileptic drugs analyses from therapeutic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (c) 2008 Elsevier B.V. All rights reserved.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

Microextraction in packed sorbent for analysis of antidepressants in human plasma by liquid chromatography and spectrophotometric detection

A sensitive and reproducible method by microextraction packed sorbent and liquid chromatography with UV detection (MEPS/LC-UV) is described for the determination of new generation antidepressants (sertraline, mirtazapine, fluoxetine, citalopram and paroxetine) in human plasma samples. The MEPS variables, such as sample volume, pH, number of extraction cycles (draw-eject), and desorption conditions (solvent and solvent volume of elution) influenced the MEPS/LC efficiency significantly. Important factors in the optimization of MEPS efficiency, as well as washing steps and carryover effect are discussed. The analyses were carried out using small sample volumes (400 mu L.), and in a short time period (3 min for the entire sample preparation step). The MEPS/LC-UV method was shown to be linear at concentrations ranging from the limit of quantification (LOQ) to 1000 ng mL(-1). The LOQ values ranged from 10 to 25 ng mL(-1). The inter-day precision of the method presented coefficient of the variation ranging from 1.3% to 8.7%. On the basis of analytical validation, it is shown that the MEPS/LC-UV methodology is adequate for antidepressant analysis, from therapeutic to toxic levels. In order to evaluate the proposed method for clinical use, the MEPS/LC-UV method was applied to analysis of plasma samples from elderly depressed patients. (C) 2010 Elsevier B.V. All rights reserved.

Simultaneous analysis of parabens in cosmetic products by stir bar sorptive extraction and liquid chromatography

A sensitive and precise stir bar sorptive extraction (SBSE) combined with LC (SBSE/LC) analysis is described for simultaneous determination of methyl, ethyl, propyl, and butyl parabens in commercial cosmetic products in agreement with the European Union Cosmetics Directive 76/768/EEC. Important factors in the optimization of SB SE efficiency are discussed, such as time and temperature of extraction, pH, and ionic strength of the sample, matrix effects, and liquid desorption conditions by different modes (magnetic stirring, ultrasonic). The LOQs of the SBSE/LC method ranged from 30 to 200 ng/mg, with linear response over a dynamic range, from the LOQ to 2.5 mu g/mg, with a coefficient of determination higher than 0.993. The interday precision of the SBSE/LC method presented a coefficient of variation lower than 5%. The effectiveness of the proposed method was proven for analysis of commercial cosmetic products such as body creams, antiperspirant creams, and sunscreens.

Rifampicin determination in plasma by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of rifampicin in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. This miniaturized method can result in faster analysis, higher sample throughput, lower solvent consumption and less workload per sample while maintaining or even improving sensitivity. Important factors in the optimization of SBSE efficiency such as pH, temperature, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) were optimized recoveries ranging from 75 to 80%. Separation was obtained using a reverse phase C(8) column with UV detection (254 nm). The mobile phase consisted of methanol:0.25 N sodium acetate buffer, pH 5.0 (58:42, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.125-50.0 mu g mL(-1). The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.25, 6.25 and 25.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 10% and all inter-CVs were less than 10%. Limits of quantification were 0.125 mu g mL(-1). Stability studies showed rifampicin was stable in plasma for 12 h after thawing; the samples were also stable for 24 h after preparation. Based on the figures of merit results, the SBSE/HPLC-UV proved to be adequate to the rifampicin analyses from therapeutic to toxic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (C) 2009 Elsevier B.V. All rights reserved.

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.

Determination of fluoxetine and norfluoxetine enantiomers in human plasma by polypyrrole-coated capillary in-tube solid-phase microextraction coupled with liquid chromatography-fluorescence detection

A sensitive, selective, and reproducible in-tube polypyrrole-coated capillary (PPY) solid-phase microextraction and liquid chromatographic method for fluoxetine and norfluoxetine enantiomers analysis in plasma samples has been developed, validated, and further applied to the analysis of plasma samples from elderly patients undergoing therapy with antidepressants. Important factors in the optimization of in-tube SPME efficiency are discussed, including the sample draw/eject volume, draw/eject cycle number, draw/eject flow-rate, sample pH, and influence of plasma proteins. Separation of the analytes was achieved with a Chiralcel OD-R column and a mobile phase consisting of potassium hexafluorophosphate 7.5 mM and sodium phosphate 0.25 M solution, pH 3.0, and acetonitrile (75:25, v/v) in the isocratic mode, at a flow rate of 1.0 mL/min. Detection was carried out by fluorescence absorbance at Ex/Em 230/290 nm. The multifunctional porous surface structure of the PPY-coated film provided high precision and accuracy for enantiomers. Compared with other commercial capillaries, PPY-coated capillary showed better extraction efficiency for all the analytes. The quantification limits of the proposed method were 10 ng/mL for R- and S-fluoxetine, and 15 ng/mL for R- and S-norfluoxetine, with a coefficient of variation lower than 13%. The response of the method for enantiomers is linear over a dynamic range, from the limit of quantification to 700ng/mL, with correlation coefficients higher than 0.9940. The in-tube SPME/LC method can therefore be successfully used to analyze plasma samples from ageing patients undergoing therapy with fluoxetine. (C) 2009 Elsevier B.V. All rights reserved.

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).

Tooth loss in Brazilian middle-aged adults: multilevel effects

Objective. To examine the link between tooth loss and multilevel factors in a national sample of middle-aged adults in Brazil. Material and methods. Analyses were based on the 2003 cross-sectional national epidemiological survey of the oral health of the Brazilian population, which covered 13 431 individuals (age 35-44 years). Multistage cluster sampling was used. The dependent variable was tooth loss and the independent variables were classified according to the individual or contextual level. A multilevel negative binomial regression model was adopted. Results. The average tooth loss was 14 (standard deviation 9.5) teeth. Half of the individuals had lost 12 teeth. The contextual variables showed independent effects on tooth loss. It was found that having 9 years or more of schooling was associated with protection against tooth loss (means ratio range 0.68-0.76). Not having visited the dentist and not having visited in the last >= 3 years accounted for increases of 33.5% and 21.3%, respectively, in the risk of tooth loss (P < 0.05). The increase in tooth extraction ratio showed a strong contextual effect on increased risk of tooth loss, besides changing the effect of protective variables. Conclusions. Tooth loss in middle-aged adults has important associations with social determinants of health. This study points to the importance of the social context as the main cause of oral health injuries suffered by most middle-aged Brazilian adults.