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.

CR3 (CD11b/CD18) activation of nasal neutrophils: a measure of upper airway endotoxin exposure

Inhaled endotoxin (lipopolysaccharide, LPS) initiates an inflammatory response and leads to the expression of CR3 (CD11b/CD18) receptors on polymorphonuclear leukocytes (PMNs). We determined if PMN activation in nasal lavage fluid (NLF) is a possible biomarker of occupational endotoxin exposure. Seven subjects exposed to endotoxin provided NLF samples that were split into three aliquots (negative control - 1 M nicotinamide; sham; positive control - 11 eta g of exogenous LPS) and PMN activation was measured using a chemiluminometer. Differences in mean PMN activation were apparent, negative control: 548 +/- 15.65 RLU 100 mu l(-1); sham: 11469 +/- 2582 RLU 100 mu l(-1); positive control: 42026 +/- 16659 RLU 100 mu l (n = 7; p < 0.05). This technique shows promise as a diagnostic method for measuring upper airway LPS exposure.

Cryptotermes brevis (Isoptera: Kalotermitidae) in the Azores : Lessons After 2 yr of Monitoring in the Archipelago

The dispersal flights of West Indian drywood termite, Cryptotermes brevis (Walker) (Isoptera: Kalotermitidae) were surveyed in the major cities of Azores. The sampling device used to estimate termite density consisted of a yellow adhesive trap (size 45 by 24 cm), placed with an artificial or natural light source in a dark attic environment. In addition, data from two other projects were used to improve the knowledge about the geographical distribution of the species. The level of infestation in the two main Azorean towns differed, with high levels in the houses of Angra do Heroísmo, whereas in Ponta Delgada, there are fewer houses with high levels of infestation. The infestation in Ponta Delgada shows a pattern of spreading from the center outward to the city's periphery, whereas in Angra do Heroísmo, there was a pattern of spreading outward from several foci. The heavy infestation observed in Angra do Heroísmo and the clear increase of infestation levels observed from 2010 to 2011 is a reason for concern and calls for an urgent application of an Integrated Pest Management (IPM) control strategy.

Biodiversidade da Reserva Florestal de Recreio do Pinhal da Paz

Dissertação de Mestrado, Biodiversidade e Biotecnologia Vegetal, 4 de Fevereiro de 2016, Universidade dos Açores.

Distribuição do mercúrio nas águas termais e engarrafadas do Norte de Portugal

O aumento da utilização do mercúrio, Hg, tanto para fins industriais como na aplicação de compostos mercuriais na agricultura, originaram um aumento significativo da contaminação ambiental, especialmente das águas e dos alimentos. Foi aprofundado o estudo sobre o mercúrio, nomeadamente as suas principais fontes de emissão, a sua toxicidade, os principais efeitos nos seres humanos, algumas medidas preventivas, os limites máximos que a legislação permite, que no caso das águas analisadas é de 0,001mg/L, os métodos analíticos para a sua determinação e alguns métodos de amostragem, tanto para o mercúrio em águas como em sedimentos. Em Almadén (Espanha), existe uma mina que pode ser considerada como uma das maiores anomalias geoqímica de mercúrio na Terra. Com este trabalho pretendeu-se perceber a possível existência de mercúrio nas águas termais ao longo da zona de falha Penacova-Régua-Verin e avaliar a existência de uma relação entre os níveis de mercúrio e o seu contexto geológico. Neste trabalho, foi desenvolvido um método simples para a determinação dos níveis de mercúrio em águas, utilizando a espectrometria de absorção atómica de fonte contínua de alta resolução acoplado à técnica de vapor frio. O objectivo deste trabalho foi avaliar os níveis de mercúrio existente em algumas águas engarrafadas e termais. Os limites de detecção da técnica utilizada foram 0,0595 μg/L e os de quantificação foram 0,2100 μg/L. Depois de analisadas as amostras verificou-se que os níveis de mercúrio encontrados nas águas eram inferiores ao limite de quantificação da técnica e por isso, não foi possível extrapolar qualquer relação entre os níveis de mercúrio e as alterações do fundo geológico. Como o limite de quantificação é inferior ao limite máximo permitido por lei, pode então dizer-se que todas as águas se encontram abaixo do limite máximo permitido.

INVENTORY OF MOSQUITOES (DIPTERA: CULICIDAE) IN CONSERVATION UNITS IN BRAZILIAN TROPICAL DRY FORESTS

In Brazil, most studies of the Culicidae family are concentrated in rainforest regions. As such, there is a lack of knowledge regarding the diversity of Culicidae in regions with different climatic and vegetational characteristics. The aim of this study was to compile an inventory of Culicidae in protected areas of the semi-arid region of the state of Minas Gerais, Brazil, in order to better understand the diversity of the family within this region. The study was conducted across four protected areas in the northern region of the state, in tropical dry forest (TDF) fragments. Sampling methods included Shannon trap and CDC light trap, as well as active collection. A total of 11,219 mosquito specimens were collected between August 2008 and July 2012, belonging to 11 genera and 45 species; 15 new records for the state of Minas Gerais were registered, as well as 26 new records for semi-arid regions within the state. The high number of new Culicidae records in this region demonstrates the importance of inventory studies for increasing the knowledge of culicid biodiversity in Minas Gerais, and in particular within semi-arid regions of the state.

Major influencing factors of indoor radon concentrations in Switzerland.

PURPOSE: In Switzerland, nationwide large-scale radon surveys have been conducted since the early 1980s to establish the distribution of indoor radon concentrations (IRC). The aim of this work was to study the factors influencing IRC in Switzerland using univariate analyses that take into account biases caused by spatial irregularities of sampling. METHODS: About 212,000 IRC measurements carried out in more than 136,000 dwellings were available for this study. A probability map to assess risk of exceeding an IRC of 300 Bq/m(3) was produced using basic geostatistical techniques. Univariate analyses of IRC for different variables, namely the type of radon detector, various building characteristics such as foundation type, year of construction and building type, as well as the altitude, the average outdoor temperature during measurement and the lithology, were performed comparing 95% confidence intervals among classes of each variable. Furthermore, a map showing the spatial aggregation of the number of measurements was generated for each class of variable in order to assess biases due to spatially irregular sampling. RESULTS: IRC measurements carried out with electret detectors were 35% higher than measurements performed with track detectors. Regarding building characteristics, the IRC of apartments are significantly lower than individual houses. Furthermore, buildings with concrete foundations have the lowest IRC. A significant decrease in IRC was found in buildings constructed after 1900 and again after 1970. Moreover, IRC decreases at higher outdoor temperatures. There is also a tendency to have higher IRC with altitude. Regarding lithology, carbonate rock in the Jura Mountains produces significantly higher IRC, almost by a factor of 2, than carbonate rock in the Alps. Sedimentary rock and sediment produce the lowest IRC while carbonate rock from the Jura Mountains and igneous rock produce the highest IRC. Potential biases due to spatially unbalanced sampling of measurements were identified for several influencing factors. CONCLUSIONS: Significant associations were found between IRC and all variables under study. However, we showed that the spatial distribution of samples strongly affected the relevance of those associations. Therefore, future methods to estimate local radon hazards should take the multidimensionality of the process of IRC into account.

Direct and indirect root defences of milkweed (Asclepias syriaca): trophic cascades, trade-offs and novel methods for studying subterranean herbivory

P>1. Entomopathogenic nematodes can function as indirect defence for plants that are attacked by root herbivores. By releasing volatile organic compounds (VOCs), plants signal the presence of host insects and thereby attract nematodes.2. Nonetheless, how roots deploy indirect defences, how indirect defences relate to direct defences, and the ecological consequences of root defence allocation for herbivores and plant biomass are essentially unknown.3. We investigate a natural below-ground tritrophic system, involving common milkweed, a specialist root-boring beetle and entomopathogenic nematodes, and asked whether there is a negative genetic correlation between direct defences (root cardenolides) and indirect defences (emission of volatiles in the roots and nematode attraction), and between constitutive and inducible defences.4. Volatiles of roots were analysed using two distinct sampling methods. First, we collected emissions from living Asclepias syriaca roots by dynamic headspace sampling. This method showed that attacked A. syriaca plants emit five times higher levels of volatiles than control plants. Secondly, we used a solid phase micro-extraction (SPME) method to sample the full pool of volatiles in roots for genetic correlations of volatile biosynthesis.5. Field experiments showed that entomopathogenic nematodes prevent the loss of biomass to root herbivory. Additionally, suppression of root herbivores was mediated directly by cardenolides and indirectly by the attraction of nematodes. Genetic families of plants with high cardenolides benefited less from nematodes compared to low-cardenolide families, suggesting that direct and indirect defences may be redundant. Although constitutive and induced root defences traded off within each strategy (for both direct and indirect defence, cardenolides and VOCs, respectively), we found no trade-off between the two strategies.6. Synthesis. Constitutive expression and inducibility of defences may trade off because of resource limitation or because they are redundant. Direct and indirect defences do not trade off, likely because they may not share a limiting resource and because independently they may promote defence across the patchiness of herbivore attack and nematode presence in the field. Indeed, some redundancy in strategies may be necessary to increase effective defence, but for each strategy, an economy of deployment reduces overall costs.

Updated list of ant species (Hymenoptera, Formicidae) recorded in Santa Catarina State, southern Brazil, with a discussion of research advances and priorities

Updated list of ant species (Hymenoptera, Formicidae) recorded in Santa Catarina State, southern Brazil, with a discussion of research advances and priorities. A first working list of ant species registered in Santa Catarina State, southern Brazil was published recently. Since then, many studies with ants have been conducted in the state. With data compiled from published studies and collections in various regions of the state, we present here an updated list of 366 species (and 17 subspecies) in 70 ant genera in Santa Catarina, along with their geographical distribution in the seven state mesoregions. Two hundred and seven species are recorded in the Oeste mesoregion, followed by Vale do Itajaí (175), Grande Florianópolis (150), Norte (60), Sul (41), Meio Oeste (23) and Planalto Serrano (12). The increase in the number of records since 1999 results from the use of recently adopted sampling methods and techniques in regions and ecosystems poorly known before, and from the availability of new tools for the identification of ants. Our study highlights the Meio Oeste, Planalto Serrano, Sul and Norte mesoregions, as well as the deciduous forest, mangrove, grassland and coastal sand dune ecosystems as priority study areas in order to attain a more complete knowledge of the ant fauna in Santa Catarina State.

Therapeutic Drug Monitoring (TDM) of Imatinib: Effectiveness of Bayesian dose adjustment for CML patients enrolled in the Imatinib Concentration Monitoring (I-COME) study

Introduction: As imatinib pharmacokinetics are highly variable, plasma levels differ largely between patients under the same dosage. Retrospective studies in chronic myeloid leukemia (CML) patients showed significant correlations between low levels and suboptimal response, as well as between high levels and poor tolerability. Monitoring of trough plasma levels, targeting 1000 μg/L and above, is thus increasingly advised. Our study was launched to assess prospectively the clinical usefulness of systematic imatinib TDM in CML patients. This preliminary analysis addresses the appropriateness of the dosage adjustment approach applied in this study, which targets the recommended trough level and allows an interval of 4-24 h after last drug intake for blood sampling. Methods: Blood samples from the first 15 patients undergoing 1st TDM were obtained 1.5-25 h after last dose. Imatinib plasma levels were measured by LC-MS/MS and the concentrations were extrapolated to trough based on a Bayesian approach using a population pharmacokinetic model. Trough levels were predicted to differ significantly from the target in 12 patients (10 <750 μg/L; 2 >1500 μg/L along with poor tolerance) and individual dose adjustments were proposed. 8 patients underwent a 2nd TDM cycle. Trough levels of 1st and 2nd TDM were compared, the sample drawn 1.5 h after last dose (during distribution phase) was excluded from the analysis. Results: Individual dose adjustments were applied in 6 patients. Observed concentrations extrapolated to trough ranged from 360 to 1832 μg/L (median 725; mean 810, CV 52%) on 1st TDM and from 720 to 1187 μg/L (median 950; mean 940, CV 18%) on 2nd TDM cycle. Conclusions: These preliminary results suggest that TDM of imatinib using a Bayesian interpretation is able to target the recommended trough level of 1000 μg/L and to reduce the considerable differences in trough level exposure between patients (with CV decreasing from 52% to 18%). While this may simplify blood collection in daily practice, as samples do not have to be drawn exactly at trough, the largest possible interval to last drug intake yet remains preferable to avoid sampling during distribution phase leading to biased extrapolation. This encourages the evaluation of the clinical benefit of a routine TDM intervention in CML patients, which the randomized Swiss I-COME trial aims to.

Root system distribution of sugar cane as related to nitrogen fertilization, evaluated by two methods: monolith and probes

Few studies on sugar cane have evaluated the root system of the crop, in spite of its importance. This is mainly due to the difficulty of evaluation and high variability of results. The objective of this study was to develop an evaluation method of the cane root system by means of probes so as to evaluate the mass, distribution and metabolically active roots related to N fertilization at planting. For this purpose, an experiment was conducted in an Arenic Kandiustults with medium texture in Jaboticabal/SP, in a randomized block design with four replications and four treatments: control (without N) and 40, 80 and 120 kg ha-1 of N applied in the form of urea in the planting furrow of the cane variety SP81 3250. One week before harvest, a urea-15N solution was applied at the cane stalk base to detect active metabolism in the root system. Trenches of 1.5 m length and 0.6 m depth were opened between two sugar cane rows for root sampling by two methods: monoliths (0.3, 0.2 and 0.15 m wide, deep and long respectively) taken from the trench wall and by probe (internal diameter 0.055 m). For each method, 15 samples per plot were collected. The roots were separated from the soil in a sieve (2 mm mesh), oven-dried (at 65 ºC) and the dry matter was measured. Root sampling by probes resulted in root mass that did not differ from the evaluation in monoliths, indicating that this evaluation method may be used for sugar cane root mass, although neither the root distribution in the soil profile nor the rhizome mass were efficiently evaluated, due to the small sample volume. Nitrogen fertilization at planting did not result in a greater root accumulation in the sugar cane plant, but caused changes in the distribution of the root system in the soil. The absence of N fertilization led to a better root distribution in the soil profile, with 50, 34 and 16 % in the 0-0.2, 0.2-0.4 and 0.4-0.6 m layers, respectively; in the fertilized treatments the roots were concentrated in the surface layer, with on average 70, 17 and 13 % for the same layers. The metabolically active roots were concentrated in the center of the cane stool, amounting to 40 % of the total root mass, regardless of N fertilization (application of 120 kg ha-1 N or without N).

Noves metodologies d’anàlisi de compostos volàtils mitjançant trampes d’agulla. Aplicació a l’anàlisi d’alè, atmosfèrica i d’aigües

New methodologies for the analysis of volatile compoundsusing needle traps. Applications to breath, atmospheric andwater analysis. A new preconcentration technique has been developed for the analysis of volatile compounds based on the use of needle traps. These traps are based on stainless steel needles filled with one or more adsorbents, which allows the preconcentration of the anilities inside the trap by passing a gas flow through the needle. The parameters affecting the sorption/desorption process have been assessed (e.g. needle and liner dimensions, injector temperature, split less time, memory effects, and stability inside the needle). For liquid samples, four different sampling methodologies were studied, including passive and active sampling methods. The best results, considering the simplicity and sensitivity, are obtained by sampling the headspace volume using various cycles of a small and fix volume. Once the best conditions of analysis have been found, the method has been validated for gas and liquid samples. The results obtained show that needle traps are a good analytical methodology for the analysis of breath, environmental and liquid samples

Feasibility of Therapeutic Drug Monitoring (TDM) for Imatinib: Preliminary considerations on the dosage adjustment approach for CML patients enrolled in the Imatinib Concentration Monitoring (I-COME) study

Background: As imatinib pharmacokinetics are highly variable, plasma levels differ largely between patients under the same dosage. Retrospective studies in chronic myeloid leukemia (CML) patients showed significant correlations between low levels and suboptimal response, and between high levels and poor tolerability. Monitoring of plasma levels is thus increasingly advised, targeting trough concentrations of 1000 μg/L and above. Objectives: Our study was launched to assess the clinical usefulness of systematic imatinib TDM in CML patients. The present preliminary evaluation questions the appropriateness of dosage adjustment following plasma level measurement to reach the recommended trough level, while allowing an interval of 4-24 h after last drug intake for blood sampling. Methods: Initial blood samples from the first 9 patients in the intervention arm were obtained 4-25 h after last dose. Trough levels in 7 patients were predicted to be significantly away from the target (6 <750 μg/L, and 1 >1500 μg/L with poor tolerance), based on a Bayesian approach using a population pharmacokinetic model. Individual dosage adjustments were taken up in 5 patients, who had a control measurement 1-4 weeks after dosage change. Predicted trough levels were confronted to anterior model-based extrapolations. Results: Before dosage adjustment, observed concentrations extrapolated at trough ranged from 359 to 1832 μg/L (median 710; mean 804, CV 53%) in the 9 patients. After dosage adjustment they were expected to target between 720 and 1090 μg/L (median 878; mean 872, CV 13%). Observed levels of the 5 recheck measurements extrapolated at trough actually ranged from 710 to 1069 μg/L (median 1015; mean 950, CV 16%) and had absolute differences of 21 to 241 μg/L to the model-based predictions (median 175; mean 157, CV 52%). Differences between observed and predicted trough levels were larger when intervals between last drug intake and sampling were very short (~4 h). Conclusion: These preliminary results suggest that TDM of imatinib using a Bayesian interpretation is able to bring trough levels closer to 1000 μg/L (with CV decreasing from 53% to 16%). While this may simplify blood collection in daily practice, as samples do not have to be drawn exactly at trough, the largest possible interval to last drug intake yet remains preferable. This encourages the evaluation of the clinical benefit of a routine TDM intervention in CML patients, which the randomized Swiss I-COME study aims to.

Point sampling with uniformly distributed lines

In this paper we address the problem of extracting representative point samples from polygonal models. The goal of such a sampling algorithm is to find points that are evenly distributed. We propose star-discrepancy as a measure for sampling quality and propose new sampling methods based on global line distributions. We investigate several line generation algorithms including an efficient hardware-based sampling method. Our method contributes to the area of point-based graphics by extracting points that are more evenly distributed than by sampling with current algorithms

Growth and reproduction of the understory palm Geonoma schottiana Mart. in the gallery forest in Central Brazil

To understand the growth and reproduction of the palm Geonoma schottiana in the gallery forest of Central Brazil, two hypotheses were raised: (i) production of leaves and reproductive structures are concentrated in the period of the year with high light availability; (ii) leaf production and reproductive activity are related to plant length. However, it is expected that senility effects will cause fast reduction in growth and reproduction activities in higher plants. Growth and reproduction were concentrated in the dry season, when insolation is higher than in the wet season, suggesting that leaf and inflorescence production on G. schottiana in the gallery forest understory is more limited by light than by soil humidity. As the individual grows, leaf number and blade area increase, but reproduction activity is independent of plant length. Resources stored in the stem are important to growth, but exogenous factors, as canopy openness, should be more important to reproduction. Plant senescence seems to have a lesser effect on the production of vegetative and reproductive structures in G. schottiana than has been detected in congeneric species with greater clonal activity.