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.

Evaluating the efficiency of fractional integration parameter estimators

This article deals with the efficiency of fractional integration parameter estimators. This study was based on Monte Carlo experiments involving simulated stochastic processes with integration orders in the range]-1,1[. The evaluated estimation methods were classified into two groups: heuristics and semiparametric/maximum likelihood (ML). The study revealed that the comparative efficiency of the estimators, measured by the lesser mean squared error, depends on the stationary/non-stationary and persistency/anti-persistency conditions of the series. The ML estimator was shown to be superior for stationary persistent processes; the wavelet spectrum-based estimators were better for non-stationary mean reversible and invertible anti-persistent processes; the weighted periodogram-based estimator was shown to be superior for non-invertible anti-persistent processes.

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.

Surface modification of metals by calcium carbonate thin films on a layer-by-layer polyelectrolyte matrix

A multilayer organic film containing poly(acrylic acid) and chitosan was fabricated on a metallic support by means of the layer-by-layer technique. This film was used as a template for calcium carbonate crystallization and presents two possible binding sites where the nucleation may be initiated, either calcium ions acting as counterions of the polyelectrolyte or those trapped in the template gel network formed by the polyelectrolyte chains. Calcium carbonate formation was carried out by carbon dioxide diffusion, where CO, was generated from ammonium carbonate decomposition. The CaCO3 nanocrystals obtained, formed a dense, homogeneous, and continuous film. Vaterite and calcite CaCO3 crystalline forms were detected. (c) 2007 Elsevier B.V All rights reserved.

Cost effectiveness of adding magnetic resonance imaging to the usual management of suspected scaphoid fractures

Objective: To determine the cost effectiveness of a magnetic resonance imaging scan (MRI) within 5 days of injury compared with the usual management of occult scaphoid fracture. Methods: All patients with suspected scaphoid fractures in five hospitals were invited to participate in a randomised controlled trial of usual treatment with or without an MRI scan. Healthcare costs were compared, and a cost effectiveness analysis of the use of MRI in this scenario was performed. Results: Twenty eight of the 37 patients identified were randomised: 17 in the control group, 11 in the MRI group. The groups were similar at baseline and follow up in terms of number of scaphoid fractures, other injuries, pain, and function. Of the patients without fracture, the MRI group had significantly fewer days immobilised: a median of 3.0 (interquartile range 3.0-3.0) v 10.0 (7-12) in the control group (p = 0.006). The MRI group used fewer healthcare units (median 3.0, interquartile range 2.0-4.25) than the control group (5.0, 3.0-6.5) (p = 0.03 for the difference). However, the median cost of health care in the MRI group ($594.35 AUD, $551.35-667.23) was slightly higher than in the control group ($428.15, $124.40-702.65) (p = 0.19 for the difference). The mean incremental cost effectiveness ratio derived from this simulation was that MRI costs $44.37 per day saved from unnecessary immobilisation (95% confidence interval $4.29 to $101.02). An illustrative willingness to pay was calculated using a combination of the trials measure of the subjects' individual productivity losses and the average daily earnings. Conclusions: Use of MRI in the management of occult scaphoid fracture reduces the number of days of unnecessary immobilisation and use of healthcare units. Healthcare costs increased non-significantly in relation to the use of MRI in this setting. However, when productivity losses are considered, MRI may be considered cost effective, depending on the individual case.

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.

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

Evaluating the use of predatory insects as bioindicators of metals contamination due to sugarcane cultivation in neotropical streams

Streams located in areas of sugarcane cultivation receive high concentrations of metal ions from soils of the adjacent areas causing accumulation of metals in the aquatic sediment. This impact results in environmental problems and leads to bioaccumulation of metal ions in aquatic organisms. In the present study, metal concentrations in different predatory insects were studied in streams near sugarcane cultivation and compared to reference sites. Possible utilisation of predatory insects as bioindicators of metal contamination due to sugarcane cultivation from 13 neotropical streams was evaluated. Ion concentrations of Al, Cd, Cr, Cu, Zn, Fe, and Mn in adult Belostomatidae (Hemiptera) and in larvae of Libellulidae (Odonata) were analysed. Nine streams are located in areas with sugarcane cultivation, without riparian vegetation (classified as impacted area) and four streams were located in forested areas (reference sites). Metal concentrations in insects were higher near sugarcane cultivations than in control sites. Cluster analysis, complemented by an ANOSIM test, clearly showed that these insect groups are good potential bioindicators of metal contamination in streams located in areas with sugarcane cultivation and can be used in monitoring programmes. We also conclude that Libellulidae appeared to accumulate higher concentrations of metals than Belostomatidae.

Numerical modelling of chemical effects of magma solidification problems in porous rocks

The solidification of intruded magma in porous rocks can result in the following two consequences: (1) the heat release due to the solidification of the interface between the rock and intruded magma and (2) the mass release of the volatile fluids in the region where the intruded magma is solidified into the rock. Traditionally, the intruded magma solidification problem is treated as a moving interface (i.e. the solidification interface between the rock and intruded magma) problem to consider these consequences in conventional numerical methods. This paper presents an alternative new approach to simulate thermal and chemical consequences/effects of magma intrusion in geological systems, which are composed of porous rocks. In the proposed new approach and algorithm, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with the proposed mass source and physically equivalent heat source. The major advantage in using the proposed equivalent algorithm is that a fixed mesh of finite elements with a variable integration time-step can be employed to simulate the consequences and effects of the intruded magma solidification using the conventional finite element method. The correctness and usefulness of the proposed equivalent algorithm have been demonstrated by a benchmark magma solidification problem. Copyright (c) 2005 John Wiley & Sons, Ltd.

CLINICAL TUMOR DIMENSIONS MAY BE USEFUL TO PREVENT GEOGRAPHIC MISS IN CONVENTIONAL RADIOTHERAPY OF UTERINE CERVIX CANCER-A MAGNETIC RESONANCE IMAGING-BASED STUDY

Purpose: To evaluate the risk of geographic miss associated with the classic four-field ""box"" irradiation technique and to define the variables that predict this risk. Materials and Methods: The study population consisted of 80 patients with uterine cervix cancer seen between 2001 and 2006. Median age was 55 years (23-82 years), and 72 (90%) presented with squamous cell carcinoma. Most patients (68.7%) presented with locally advanced disease (IIb or more). Magnetic resonance imaging findings from before treatment were compared with findings from simulation of the conventional four-field ""box"" technique done with rectal contrast. Study variables included tumor volume; involvement of vagina, parametrium, bladder, or rectum; posterior displacement of the anterior rectal wall; and tumor anteroposterior diameter (APD). Margins were considered adequate when the target volume (primary tumor extension, whole uterine body, and parametrium) was included within the field limits and were at least 1 cm in width. Results: Field limits were inadequate in 45 (56%) patients: 29 (36%) patients at the anterior and 28 (35%) at the posterior border of the lateral fields. Of these, 12 patients had both anterior and posterior miss, and this risk was observed in all stages of the disease (p = 0.076). Posterior displacement of the anterior rectal wall beyond S2-S3 was significantly correlated with the risk of geographic miss (p = 0.043). Larger tumors (APD 6 cm or above and volume above 50 cm(3)) were also significantly correlated with this risk (p = 0.004 and p = 0.046, respectively). Conclusions: Posterior displacement of the anterior rectal wall, tumor APD, and volume can be used as guidance in evaluating the risk of geographic miss. (C) 2009 Elsevier Inc.

Anemia screening in potential female blood donors: comparison of two different quantitative methods

Anemia screening before blood donation requires an accurate, quick, practical, and easy method with minimal discomfort for the donors. The aim of this study was to compare the accuracy of two quantitative methods of anemia screening: the HemoCue 201(+) (Aktiebolaget Leo Diagnostics) hemoglobin (Hb) and microhematocrit (micro-Hct) tests. Two blood samples of a single fingerstick were obtained from 969 unselected potential female donors to determine the Hb by HemoCue 201(+) and micro-Hct using HemataSTAT II (Separation Technology, Inc.), in alternating order. From each participant, a venous blood sample was drawn and run in an automatic hematology analyzer (ABX Pentra 60, ABX Diagnostics). Considering results of ABX Pentra 60 as true values, the sensitivity and specificity of HemoCue 201(+) and micro-Hct as screening methods were compared, using a venous Hb level of 12.0 g per dL as cutoff for anemia. The sensitivities of the HemoCue 201(+) and HemataSTAT II in detecting anemia were 56 percent (95% confidence interval [CI], 46.1%-65.5%) and 39.5 percent (95% CI, 30.2%-49.3%), respectively (p < 0.001). Analyzing only candidates with a venous Hb level lower than 11.0 g per dL, the deferral rate was 100 percent by HemoCue 201(+) and 77 percent by HemataSTAT II. The specificities of the methods were 93.5 and 93.2 percent, respectively. The HemoCue 201(+) showed greater discriminating power for detecting anemia in prospective blood donors than the micro-Hct method. Both presented equivalent deferral error rates of nonanemic potential donors. Compared to the micro-Hct, HemoCue 201(+) reduces the risk of anemic female donors giving blood, specially for those with lower Hb levels, without increasing the deferral of nonanemic potential donors.

Special issue on methods and learning in functional MRI: Introductory remarks

This special issue represents a further exploration of some issues raised at a symposium entitled “Functional magnetic resonance imaging: From methods to madness” presented during the 15th annual Theoretical and Experimental Neuropsychology (TENNET XV) meeting in Montreal, Canada in June, 2004. The special issue’s theme is methods and learning in functional magnetic resonance imaging (fMRI), and it comprises 6 articles (3 reviews and 3 empirical studies). The first (Amaro and Barker) provides a beginners guide to fMRI and the BOLD effect (perhaps an alternative title might have been “fMRI for dummies”). While fMRI is now commonplace, there are still researchers who have yet to employ it as an experimental method and need some basic questions answered before they venture into new territory. This article should serve them well. A key issue of interest at the symposium was how fMRI could be used to elucidate cerebral mechanisms responsible for new learning. The next 4 articles address this directly, with the first (Little and Thulborn) an overview of data from fMRI studies of category-learning, and the second from the same laboratory (Little, Shin, Siscol, and Thulborn) an empirical investigation of changes in brain activity occurring across different stages of learning. While a role for medial temporal lobe (MTL) structures in episodic memory encoding has been acknowledged for some time, the different experimental tasks and stimuli employed across neuroimaging studies have not surprisingly produced conflicting data in terms of the precise subregion(s) involved. The next paper (Parsons, Haut, Lemieux, Moran, and Leach) addresses this by examining effects of stimulus modality during verbal memory encoding. Typically, BOLD fMRI studies of learning are conducted over short time scales, however, the fourth paper in this series (Olson, Rao, Moore, Wang, Detre, and Aguirre) describes an empirical investigation of learning occurring over a longer than usual period, achieving this by employing a relatively novel technique called perfusion fMRI. This technique shows considerable promise for future studies. The final article in this special issue (de Zubicaray) represents a departure from the more familiar cognitive neuroscience applications of fMRI, instead describing how neuroimaging studies might be conducted to both inform and constrain information processing models of cognition.