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.

Ecosystem process models at multiple scales for mapping tropical forest productivity

Quantifying mass and energy exchanges within tropical forests is essential for understanding their role in the global carbon budget and how they will respond to perturbations in climate. This study reviews ecosystem process models designed to predict the growth and productivity of temperate and tropical forest ecosystems. Temperate forest models were included because of the minimal number of tropical forest models. The review provides a multiscale assessment enabling potential users to select a model suited to the scale and type of information they require in tropical forests. Process models are reviewed in relation to their input and output parameters, minimum spatial and temporal units of operation, maximum spatial extent and time period of application for each organization level of modelling. Organizational levels included leaf-tree, plot-stand, regional and ecosystem levels, with model complexity decreasing as the time-step and spatial extent of model operation increases. All ecosystem models are simplified versions of reality and are typically aspatial. Remotely sensed data sets and derived products may be used to initialize, drive and validate ecosystem process models. At the simplest level, remotely sensed data are used to delimit location, extent and changes over time of vegetation communities. At a more advanced level, remotely sensed data products have been used to estimate key structural and biophysical properties associated with ecosystem processes in tropical and temperate forests. Combining ecological models and image data enables the development of carbon accounting systems that will contribute to understanding greenhouse gas budgets at biome and global scales.

Facultative autogamy in Cyrtopodium polyphyllum (Orchidaceae) through a rain-assisted pollination mechanism

Cyrtopodium includes similar to 42 species, among which is Cyrtopodium polyphyllum (Vell.) Pabst ex F. Barros that occurs in a rainforest in south-eastern Brazil. Its non-rewarding flowers, which attract Centridini bees by deceit, are rain-assisted self-pollinated, a phenomenon rarely found in orchids and other plant families. In addition, self-pollination has never been reported in Cyrtopodiinae and data on the pollination of South American orchids are scarce. Flowers were observed at different times of the day, on both sunny and rainy days, to record floral morphology, visitors and the effects of rainfall on flowers. On rainy days, water accumulates on the stigma and dissolves the adhesive substance of the stigmatic surface. A viscous drop thus forms, which contacts the pollinarium. When evaporation makes the viscous drop shrink, the drop moves the pollinarium with the anther onto the stigmatic surface and promotes self-pollination. Fruit set in natural habitat was low, with 2.4% at one study site, where a similar value (2.2%) was recorded in flowers self-pollinated by rain. In C. polyphyllum, facultative self-pollination assisted by rain is thus an important strategy that guarantees fruit set when pollinator`s visits are scarce, which is common in species pollinated by deceit.

Colonization sequence of non-pollinating fig wasps associated with Ficus citrifolia in Brazil

Mutualisms, such as the fig-agaonid wasp association, are susceptible to colonization by parasitic species, which exploit the resources involved therein. In most cases, they oviposit into the figs from outside without providing any pollination service. In this study, we used several different methods (adhesive traps and direct standardized field observations) to assess the colonization sequence of a diverse fig wasp fauna associated with Ficus citrifolia, section Americana, in Brazil. They consistently showed a temporal partitioning in colonization among non-pollinating fig wasp species. Idarnes species belonging to the flavicollis and incerta groups colonized figs just before or during the fig receptive phase. In contrast, Idarnes females belonging to the carme group oviposited one to three weeks later, mainly in the middle of the inter-floral phase. Eurytoma, Heterandrium, Physothorax and Torymus were later colonizers, and laid eggs either in the middle or during the late inter-floral phase. The results suggest that these Neotropical fig wasps have different strategies of resource exploitation, even among species belonging to the same genus.

Thermal Characteristics of Polybia scutellaris Nests (Hymenoptera: Vespidae) Using Computational Fluid Dynamics: A Possible Adaptation to Tropical Climates

Polybia scutellaris constructs huge nests characterized by numerous spinal projections on the surface. We investigated the thermal characteristics of P scutellaris nests in order to determine whether their nest temperature is homeothermically maintained and whether the spines play a role in the thermoregulation of the nests. In order to examine these hypotheses, we measured the nest temperature in a active nest and in an abandoned nest. The temperature in the active nest was almost stable at 27 degrees C, whereas that of the abandoned nest varied with changes in the ambient temperature, suggesting that nest temperature was maintained by the thermogenesis of colony individuals. In order to predict the thermal properties of the spines, a numerical simulation was employed. To construct a 3D-model of a P scutellaris nest, the nest architecture was simplified into an outer envelope and the surface spines, for both of which the initial temperature was set at 27 degrees C. The physical properties of the simulated nest were regarded to be those of wood since the nest of this species is constructed from plant materials. When the model was exposed to cool air (12 degrees C), the temperature was lower in the models with more spines. On the other hand, when the nest was heated (42 degrees C), the temperature increase was smaller in models with more spines. It is suggested that the spines act as a heat radiator, not as an insulator, against the changes in ambient temperature.

Hyaluronidase Behavior at the Air/Liquid and Air/Lipid Interfaces and Improved Enzymatic Activity by Its Immobilization in a Biomembrane Model

Bovine testicular hyalurphidase (BT-HAase), a tetrameric enzyme responsible for randomly hyaluronic acid, catalytic hydrolysis, was successfully immobilized on Langmuir- Blodgett films prepared with the sodium salt of dihexadacylphosphoric acid, (DHP-Zn(II)) ending with dipalmitoylphosphatidylcholine, DPPC. Data of protein, adsorption at the air-liquid interface by means of pendant drop shipe analysis and interaction of the protein with Langmuir monolayers of DPPC, using a Langmuir trough, have provided information. about the conditions to be used in the protein immobilization. The dynamic surface pressure curves obtained from pendant drop experiments for the enzyme in buffer solutions indicate that, within the range of concentration investigated in this study, the enzyme exhibits the largest induction time at 5 mu g L(-1) attributed to diffusion processes. Nevertheless, it seems that, at this concentration, the most probable conformation should be the one which occupies the smallest area at pi -> 0. The surface pressure (pi) area curves obtained for BT-HAase and mixed DPPC- BT-HAase monolayers reveal the presence of the enzyme at the air-lipid interface up to 45 mN m(-1). Tests of enzymatic activity, using hyaluronic acid, HA, as the substrate, showed an increase of activity compared to the homogeneous medium. A simplified model of protein insertion into the lipid matrix is used to explain the obtained results.

Improved method for counting virus and virus like particles

An improved method for counting virus and virus like particles by electron microscopy (EM) was developed. The procedure involves the determination of the absolute concentration of pure or semi-pure particles once deposited evenly on EM grids using either centrifugation or antibody capture techniques. The counting of particles was done with a Microfiche unit which enlarged approximately 50 x the image of particles on a developed negative film which had been taken at a relatively low magnification (2500 x) by EM. Initially, latex particles of a known concentration were counted using this approach, to prove the accuracy of the technique. The latex particles were deposited evenly on an EM grid using centrifugation (Modified Beckmen EM-90 Airfuge technique). Subsequently, recombinant Bluetongue virus (BTV) core-like particles (CLPs) captured by a Monoclonal antibody using a hovel sample loading method were counted by the Microfiche unit method and by a direct EM method. Comparison of the simplified counting method developed with a conventional method, showed good agreement. The method is simple, accurate, rapid, and reproducible when used with either pure particles or with particles from crude cell culture extracts.

Modelling of cold-formed purlin-sheeting systems .1. Full model

Purlin-sheeting systems used for roofs and walls commonly take the form of cold-formed channel or zed section purlins, screw-connected to corrugated sheeting. These purlin-sheeting systems have been the subject of numerous theoretical and experimental investigations over the past three decades, but the complexity of the systems has led to great difficulty in developing a sound and general model. This paper presents a non-linear elasto-plastic finite element model, capable of predicting the behaviour of purlin-sheeting systems without the need for either experimental input or over simplifying assumptions. The model incorporates both the sheeting and the purlin, and is able to account for cross-sectional distortion of the purlin, the flexural and membrane restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The validity of the model is shown by its good correlation with experimental results. A simplified version of this model, which is more suitable for use in a design environment, is presented in a companion paper. (C) 1997 Elsevier Science Ltd.

Worse renal outcome of lupus nephritis in male patients: a case-control study

Background: Progression and long-term renal outcome of lupus nephritis (LN) in male patients is a controversial subject in the literature. The aim of this study was to evaluate the influence of male gender on the renal outcome of LN. Methods: All male (M) LN patients who fulfilled American College of Rheumatology lupus criteria and who were referred for a kidney biopsy from 1999 to 2009 were enrolled in the study. Subjects with end-stage renal disease at baseline, or follow-up time below 6 months, were excluded. Cases were randomly matched to female (F) patients according to the class of LN, baseline estimated glomerular filtration rate (eGFR, Modification of Diet in Renal Disease simplified formula) and follow-up time. Treatment was decided by the clinical staff based on usual literature protocols. The primary endpoint was doubling of serum creatinine and/or end-stage renal disease. The secondary endpoint was defined as a variation of glomerular filtration rate (GFR) per year (Delta GFR/y index), calculated as the difference between final and initial eGFR adjusted by follow-up time for each patient. Results: We included 93 patients (31 M : 62 F). At baseline, M and F patients were not statistically different regarding WHO LN class (II 9.7%, IV 71%, V 19.3%), eGFR (M 62.4 +/- 36.4 ml/min/1.73 m(2) versus F 59.9 +/- 32.7 ml/min/1.73 m(2)), follow-up time (M 44.2 +/- 27.3 months versus F 39.9 +/- 27.9 months), and 24-hour proteinuria (M 5.3 +/- 4.6 g/day versus F 5.2 +/- 3.0 g/day), as well as age, albumin, C3, antinuclear antibody, anti-DNA antibody and haematuria. There was no difference in the primary outcome (M 19% versus F 13%, log-rank p = 0.62). However, male gender was significantly associated with a worse renal function progression, as measured by Delta GFR/y index (beta coefficient for male gender -12.4, 95% confidence interval -22.8 to -2.1, p = 0.02). The multivariate linear regression model showed that male gender remained statistically associated with a worse renal outcome even after adjustment for eGFR, proteinuria, albumin and C3 complement at baseline. Conclusion: In our study, male gender presented a worse evolution of LN (measured by an under GFR recovering) when compared with female patients with similar baseline features and treatment. Factors that influence the progression of LN in men and sex-specific treatment protocols should be further addressed in new studies. Lupus (2011) 20, 561-567.

Plasma Osteopontin Levels in Patients With Head and Neck Cancer Undergoing Chemoradiotherapy

Objectives: To explore the prognostic role of plasma levels of osteopontin (OPN), a phosphoglycoprotein with adhesive properties, in patients with head and neck squamous cell carcinoma (HNSCC) undergoing concomitant chemoradiotherapy. Previous studies have proposed OPN level as a prognostic factor in several cancers. Design: Prospective analysis of plasma OPN levels, before and within 12 weeks after treatment, in a cohort of patients with HNSCC undergoing platinum-based chemoradiotherapy at our center. Setting: Academic center. Patients: Sixty-nine patients diagnosed as having HNSCC. Interventions: Plasma levels of OPN were assessed before the start and after the conclusion of chemoradiotherapy by using an enzyme-linked immunosorbency assay kit. Chemoradiotherapy was exclusive (n = 52) or adjuvant to surgery (n = 17). Main Outcome Measures: Levels of OPN were correlated with clinicopathological characteristics, to treatment, and overall survival. Results: Pretreatment plasma OPN levels were higher in patients with advanced T and N stages compared with patients with early stages (P = .009 and .07, respectively). Mean (SD) plasma levels of OPN measured before (102.5 [68.1] ng/mL) and after (104.0 [53.6] ng/mL) treatment did not differ (P = .18, paired t test). Pretreatment and posttreatment levels of OPN were lower in patients who achieved a complete response compared with those who failed to respond (75.0 [41.5] vs 131.2 [82.9] ng/mL [P = .005] and 86.8 [40.5] vs 141.6 [58.4] ng/mL [P = .004], respectively). Patients with high pretreatment OPN levels (> 82.1 ng/mL) had shorter survival time (P < .001). Posttreatment OPN levels were marginally (P = .10) associated with survival time in univariate analysis. Conclusions: In patients with HNSCC undergoing chemoradiotherapy, a low pretreatment plasma OPN level is associated with treatment response and better survival. Modulation of OPN levels by chemoradiotherapy may also be associated with outcome. Further studies with serial measurement of OPN levels are warranted in these patients.

Impulse-response studies on tracer doses of [C-14]lignocaine and its multiple metabolites in the perfused rat liver

The outflow-concentration-time profiles for lignocaine (lidocaine) and its metabolites have been measured after bolus impulse administration of [C-14]lignocaine into the perfused rat liver. Livers from female Sprague-Dawley rats were perfused in a once-through fashion with red-blood-cell-free Krebs-Henseleit buffer containing 0 or 2% bovine serum albumin. Perfusate flow rates of 20 and 30 mL min(-1) were used and both normal and retrograde flow directions were employed. Significant amounts of metabolite were detected in the effluent perfusate soon after lignocaine injection. The early appearance of metabolite contributed to bimodal outflow profiles observed for total C-14 radioactivity. The lignocaine outflow profiles were well characterized by the two-compartment dispersion model, with efflux rate << influx rate. The profiles for lignocaine metabolites were also characterized in terms of a simplified two-compartment dispersion model. Lignocaine was found to be extensively metabolized under the experimental conditions with the hepatic availability ranging between 0.09 and 0.18. Generally lignocaine and metabolite availability showed no significant change with alterations in perfusate flow rate from 20 to 30 mt min(-1) or protein content from 0 to 2%. A significant increase in lignocaine availability occurred when 1200 mu M unlabelled lignocaine was added to the perfusate. Solute mean transit times generally decreased with increasing flow rate and with increasing perfusate protein content. The results confirm that lignocaine pharmacokinetics in the liver closely follow the predictions of the well-stirred model. The increase in lignocaine availability when 1200 mu M unlabelled lignocaine was added to the perfusate is consistent with saturation of the hydroxylation metabolic pathways of lignocaine metabolism.

Partial lesions of the intratemporal segment of the facial nerve: Graft versus partial reconstruction

Objectives: In cases of partial lesions of the intratemporal segment of the facial nerve, should the surgeon perform an intraoperative partial reconstruction, or partially remove the injured segment and place a graft? We present results from partial lesion reconstruction on the intratemporal segment of the facial nerve. Methods: A retrospective study on 42 patients who presented partial lesions on the intratemporal segment of the facial nerve was performed between 1988 and 2005. The patients were divided into 3 groups based on the procedure used: interposition of the partial graft on the injured area of the nerve (group 1; 12 patients); keeping the preserved part and performing tubulization (group 2; 8 patients); and dividing the parts of the injured nerve (proximal and distal) and placing a total graft of the sural nerve (group 3; 22 patients). Results: Fracture of the temporal bone was the most frequent cause of the lesion in all groups, followed by iatrogenic causes (p < 0.005). Those who obtained results lower than or equal to III on the House-Brackmann scale were 1 (8.3%) of the patients in group 1, none (0.0%) of the patients in group 2, and 15 (68.2%) of the patients in group 3 (p < 0.001). Conclusions: The best surgical technique for therapy of a partial lesion of the facial nerve is still questionable. Among these 42 patients, the best results were those from the total graft of the facial nerve.

Application of fibrin glue in microvascular anastomoses: Comparative analysis with the conventional suture technique using a free flap model

Background: Several studies have already reported the utilization of fibrin glue in microvascular anastomoses to minimize the number of sutures and to decrease the operative time. Despite the good results obtained in most of these experiments, its clinical application has not launched. The aim of this study was to clarify the controversies around the safeness of fibrin glue application in microvascular anastomoses, and also to demonstrate the potential benefits of fibrin glue application in a realistic free flap model. Methods: Twenty-seven rabbits were used in this study The experimental model consisted of a free groin flap transfer to the anterior cervical region. The flap`s circulation was restored by means of an end-to-side anastomosis between the femoral and carotid arteries, and an end-to-end anastomosis between the femoral and external jugular veins. The animals were divided into two groups (n = 10) according to the anastomosis technique: Group I (conventional suture) and group 11 (fibrin glue). Results: The number of sutures required to complete the arterial and venous anastomoses was reduced in 39 and 37% in group 11, respectively. Despite this reduction, the anastomoses maintained adequate patency rates and mechanical strength. Both arterial and venous anastomoses benefited from fibrin glue application, which made them easier and faster to perform. The flaps` ischemic time and the total operative time were also significantly shortened. Conclusions: In this study, the application of fibrin glue in microvascular anastomoses was safe and reliable. The risk-benefit ratio of fibrin glue application in microvascular anastomoses is favorable for its use. (c) 2008 Wiley-Liss, Inc.

Diagnostic model based on Raman spectra of normal, hyperplasia and prostate adenocarcinoma tissues in vitro

This study evaluated the use of Raman spectroscopy to identify the spectral differences between normal (N), benign hyperplasia (BPH) and adenocarcinoma (CaP) in fragments of prostate biopsies in vitro with the aim of developing a spectral diagnostic model for tissue classification. A dispersive Raman spectrometer was used with 830 nm wavelength and 80 mW excitation. Following Raman data collection and tissue histopathology (48 fragments diagnosed as N, 43 as BPH and 14 as CaP), two diagnostic models were developed in order to extract diagnostic information: the first using PCA and Mahalanobis analysis techniques and the second one a simplified biochemical model based on spectral features of cholesterol, collagen, smooth muscle cell and adipocyte. Spectral differences between N, BPH and CaP tissues, were observed mainly in the Raman bands associated with proteins, lipids, nucleic and amino acids. The PCA diagnostic model showed a sensitivity and specificity of 100%, which indicates the ability of PCA and Mahalanobis distance techniques to classify tissue changes in vitro. Also, it was found that the relative amount of collagen decreased while the amount of cholesterol and adipocyte increased with severity of the disease. Smooth muscle cell increased in BPH tissue. These characteristics were used for diagnostic purposes.

Classification model based on Raman spectra of selected morphological and biochemical tissue constituents for identification of atherosclerosis in human coronary arteries

This study presents the results of Raman spectroscopy applied to the classification of arterial tissue based on a simplified model using basal morphological and biochemical information extracted from the Raman spectra of arteries. The Raman spectrograph uses an 830-nm diode laser, imaging spectrograph, and a CCD camera. A total of 111 Raman spectra from arterial fragments were used to develop the model, and those spectra were compared to the spectra of collagen, fat cells, smooth muscle cells, calcification, and cholesterol in a linear fit model. Non-atherosclerotic (NA), fatty and fibrous-fatty atherosclerotic plaques (A) and calcified (C) arteries exhibited different spectral signatures related to different morphological structures presented in each tissue type. Discriminant analysis based on Mahalanobis distance was employed to classify the tissue type with respect to the relative intensity of each compound. This model was subsequently tested prospectively in a set of 55 spectra. The simplified diagnostic model showed that cholesterol, collagen, and adipocytes were the tissue constituents that gave the best classification capability and that those changes were correlated to histopathology. The simplified model, using spectra obtained from a few tissue morphological and biochemical constituents, showed feasibility by using a small amount of variables, easily extracted from gross samples.