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.

Development Resource Planning: Complexity of Product Development and the Capacity to Launch New Products

Overcommitment of development capacity or development resource deficiencies are important problems in new product development (NPD). Existing approaches to development resource planning have largely neglected the issue of resource magnitude required for NPD. This research aims to fill the void by developing a simple higher-level aggregate model based on an intuitive idea: The number of new product families that a firm can effectively undertake is bound by the complexity of its products or systems and the total amount of resources allocated to NPD. This study examines three manufacturing companies to verify the proposed model. The empirical results confirm the study`s initial hypothesis: The more complex the product family, the smaller the number of product families that are launched per unit of revenue. Several suggestions and implications for managing NPD resources are discussed, such as how this study`s model can establish an upper limit for the capacity to develop and launch new product families.

An analysis of US greenhouse gas cap-and-trade proposals using a forward-looking economic model

We develop a forward-looking version of the recursive dynamic MIT Emissions Prediction and Policy Analysis (EPPA) model, and apply it to examine the economic implications of proposals in the US Congress to limit greenhouse gas (GHG) emissions. We find that shocks in the consumption path are smoothed out in the forward-looking model and that the lifetime welfare cost of GHG policy is lower than in the recursive model, since the forward-looking model can fully optimize over time. The forward-looking model allows us to explore issues for which it is uniquely well suited, including revenue-recycling and early action crediting. We find capital tax recycling to be more welfare-cost reducing than labor tax recycling because of its long-term effect on economic growth. Also, there are substantial incentives for early action credits; however, when spread over the full horizon of the policy they do not have a substantial effect on lifetime welfare costs.

Uncommon mechanism of egg incubation in the endemic Southern hermit crab Loxopagurus loxochelis: how is this phenomenon related to egg production?

The aim of the present work was to characterize the egg production of Loxopagurus loxochelis. A total of 71 ovigerous females were obtained, 28% of which were simultaneously incubating eggs at different developmental stages. This phenomenon can be the result of incomplete fertilization, or may represent a rapid gonadal cycle by this species in this area, which is, to our understanding, the best explanation of this phenomenon. Egg volume decreased 25.6% during the incubation period. The reproductive output based on dry and wet weight was 6.8 and 19.3%, respectively. Water was the prevailing component of the eggs, representing 86.0% of the total weight at initial stage, increasing to 95.1% at the final stage. Ash content increased at the same time as a decrease in the organic content occurred, indicating the consumption of yolk and absorption of salts from the water medium. In conclusion, we hypothesized that this population has the capacity to copulate and deposit another brood even before the release of the larvae from the previous one, intensifying the reproductive effort of these hermit crabs as a strategy of adaptation in a region considered the northern limit of the geographical distribution of this species.

New porphyrins tailored as biodiesel fluorescent markers

This work reports the synthesis, characterization, and evaluation of new porphyrins tailored to become biodiesel fluorescent markers. The compounds were obtained by the synthetic modification of the commercially available porphyrin 5,10,15,20-meso-tetrakis(pentafluorophenyl)porphyrin (TPPF(20)) using ethanol and hexadecan-1-ol (cetylic alcohol) as nucleophilic reagents. The stability of the marked biodiesel fuel solutions was investigated every 15 days for a total period of 3 months, and under different storage temperature and light exposure condition, simulating the conventional stock conditions. The influence of the different substituents of the porphyrins on the fluorescence properties of the biodiesel fuel markers was also assessed. The resulting porphyrins were highly soluble in biodiesel fuel and displayed strong fluorescence characterized by two strong emission bands. The fluorescent markers did not affect the biodiesel physical properties and were stable in storage conditions for at least 3 months at a concentration of 4 ppm. The best storage condition was found to be absence of light and 6 degrees C; the limit of detection by photoluminescence technique had magnitude of 10(-13) mol L(-1). The synthesized porphyrins were characterized by nuclear magnetic resonance ((1)H-NMR and (19)F-NMR), mass spectrometry (HRMS), ultraviolet visible absorption spectroscopy, and photoluminescence spectroscopy. (C) 2011 Elsevier Ltd. All rights reserved.

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,

Quantum phase-space analysis of the pendular cavity

We perform a quantum-mechanical analysis of the pendular cavity, using the positive-P representation, showing that the quantum state of the moving mirror, a macroscopic object, has noticeable effects on the dynamics. This system has previously been proposed as a candidate for the quantum-limited measurement of small displacements of the mirror due to radiation pressure, for the production of states with entanglement between the mirror and the field, and even for superposition states of the mirror. However, when we treat the oscillating mirror quantum mechanically, we find that it always oscillates, has no stationary steady state, and exhibits uncertainties in position and momentum which are typically larger than the mean values. This means that previous linearized fluctuation analyses which have been used to predict these highly quantum states are of limited use. We find that the achievable accuracy in measurement is fat, worse than the standard quantum limit due to thermal noise, which, for typical experimental parameters, is overwhelming even at 2 mK

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.

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.

Voltammetric determination of cocaine in confiscated samples using a cobalt hexacyanoferrate film-modified electrode

In this work, a fast, non destructive voltammetric method for cocaine detection in acetonitrile medium using a platinum disk electrode chemically modified with cobalt-hexacyanoferrate (CoHCFe) film is described. The deposition of CoHCFe film at platinum disk (working electrode) was carried out in aqueous solution containing NaClO(4) at 0.1 mol L(-1) as supporting electrolite. Stability studies of the film and subsequent voltammetric analysis of cocaine were made in acetonitrile medium with NaClO4 at 0.1 mol L(-1) as supporting electrolite. A reversible interaction between cocaine and CoHCFe at the film produces a proportional decrease of original peak current, due to the formation of a complex between cocaine and cobalt ions, with subsequent partial passivation of the film surface, being the intensity of current decrease used as analytical signal for cocaine. A linear dependence of cocaine detection was carried out in the range from 2.4 x 10 x 4 to 1.5 x 10(-3) mol L(-1), with a linear correlation coefficient of 0.994 and a detection limit of 1.4 x 10 x 4 mol L(-1). The analysis of confiscated samples by the proposed method indicated cocaine levels from 37% to 95% (m/m) and these results were validated by comparison to HPLC technique, being obtained good correlation between both methods. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Residues of spinosad in the tissues of sheep after aerosol treatment of blowfly myiasis

Objective To measure the residues of spinosad and chlorhexidine in the tissues of sheep after treatment of blowfly strike. Procedure Fourteen sheep with natural myiasis and 12 with artificial infestations of Lucilia cuprina larvae had the wool removed over their infestations and were treated with an aerosol wound dressing containing spinosad and chlorhexidine. Sheep were killed up to 14 days after treatment and residues of the chemicals measured in tissues. Results Chlorhexidine was not detected in any tissue. Residues of spinosad were highest in fat, lowest in muscle and intermediate in liver and kidney. The highest residue detected was 0.2 mg/kg spinosad in perirenal fat 7 days after generous treatment of a sheep with a large fly strike. Residues of spinosad in fat peaked 3 to 7 days after treatment and 1 to 3 days after treatment in liver and kidney. Conclusion These studies present a realistic worst-case in struck sheep and at the highest dose studied, equivalent to 5.8 mg spinosad per kg body weight, the maximum residue detected of 0.2 mg/kg in peri-renal fat was 20% of the Australian maximum residue limit. Muscle, liver and kidney residues of spinosad were also below the Australian maximum residue limits at all times.

First detection of lead in black paper from intraoral film An environmental concern

Lead (Pb) contamination in the black paper that recovers intraoral films (BKP) has been investigated. BKP samples were collected from the Radiology Clinics of the Dental School of Ribeirao Preto, University of Sao Paulo, Brazil. For sake of comparison, four different methods were used. The results revealed the presence of high lead levels, well above the maximum limit allowed by the legislation. Pb contamination levels achieved after the following treatments: paper digestion in nitric acid, microwave treatment, DIN38414-54 method and TCLP method were 997 mu g g(-1), 189 mu g g(-1), 20.8 mu g g(-1), and 54.0 mu g g(-1), respectively. Flame atomic absorption spectrometry (FAAS) and inductively coupled plasma mass spectrometry (ICP-MS) were employed for lead determination according to the protocols of the applied methods. Lead contamination in used BKP was confirmed by scanning electron microscopy coupled with energy dispersive X-ray microanalysis (SEM-EDS). All the SEM imaging was carried out in the secondary electron mode (SE) and backscattered-electron mode (QBSD) following punctual X-ray fluorescence spectra. Soil contamination derived from this product revealed the urgent need of addressing this problem. These elevated Pb levels, show that a preliminary treatment of BKP is mandatory before it is disposed into the common trash. The high lead content of this material makes its direct dumping into the environment unwise. (C) 2009 Elsevier B.V. All rights reserved.

Electrochemical degradation of glyphosate formulations at DSA(A (R)) anodes in chloride medium: an AOX formation study

The electrochemical degradation of different glyphosate herbicide formulations on RuO(2) and IrO(2) DSA(A (R)) electrodes is investigated. Parameters that could influence the formation of organochloride compounds during electrolysis are studied. The effects of chloride concentration, electrodic composition, current density, and electrolysis time are reported. The influence of the oxide composition on herbicide degradation seems to be almost insignificant; however, there is a straight relationship between anode composition and organic halides formation. Commercial herbicide formulations have lower degradation rates and lead to the formation of a larger quantities of organochloride compounds. In high chloride concentrations, there is a significant increase in organic mineralization, and the relationship between chloride concentration and organic halides formation is direct. Only in low chloride medium investigated the organochloride concentration obtained was below the limit values allowed in Brazil. The determination of organic halides absorbable (AOX) during electrolysis increases significantly with the applied current. Even during long-term electrolysis, a large amount of organochloride compounds is formed.

Expectation Propagation with Factorizing Distributions: A Gaussian Approximation and Performance Results for Simple Models

We discuss the expectation propagation (EP) algorithm for approximate Bayesian inference using a factorizing posterior approximation. For neural network models, we use a central limit theorem argument to make EP tractable when the number of parameters is large. For two types of models, we show that EP can achieve optimal generalization performance when data are drawn from a simple distribution.