Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost f-algebras are commutative. The proof is obtained relatively straightforward from the proof by Buskes and van Rooij by using the pointfree Stone-Yosida representation theorem by Coquand and Spitters

Mobility properties of the Hermes transposable element in transgenic lines of Aedes aegypti

The Hermes transposable element has been used to genetically transform a wide range of insect species, including the mosquito, Aedes aegypti, a vector of several important human pathogens. Hermes integrations into the mosquito germline are characterized by the non-canonical integration of the transposon and flanking plasmid and, once integrated, Hermes is stable in the presence of its transposase. In an effort to improve the post-integration mobility of Hermes in the germline of Ae. aegypti, a transgenic helper Mos1 construct expressing Hermes transposase under the control of a testis-specific promoter was crossed to a separate transgenic strain containing a target Hermes transposon. In less than 1% of the approximately 1,500 progeny from jumpstarter lines analyzed, evidence of putative Hermes germline remobilizations were detected. These recovered transposition events occur through an aberrant mechanism and provide insight into the non-canonical cut-and-paste transposition of Hermes in the germ line of Ae. aegypti

Whitecap coverage dependence on wind and wave statistics as observed during SO GasEx and HiWinGS

Concurrent wavefield and turbulent flux measurements acquired during the Southern Ocean (SO) Gas Exchange (GasEx) and the High Wind Speed Gas Exchange Study (HiWinGS) projects permit evaluation of the dependence of the whitecap coverage W on wind speed, wave age, wave steepness, mean square slope, and wind-wave and breaking Reynolds numbers. The W was determined from over 600 high-frequency visible imagery recordings of 20 min each. Wave statistics were computed from in situ and remotely sensed data as well as from a WAVEWATCH III hindcast. The first shipborne estimates of W under sustained 10-m neutral wind speeds U10N of 25 m s−1 were obtained during HiWinGS. These measurements suggest that W levels off at high wind speed, not exceeding 10% when averaged over 20 min. Combining wind speed and wave height in the form of the wind-wave Reynolds number resulted in closely agreeing models for both datasets, individually and combined. These are also in good agreement with two previous studies. When expressing W in terms of wavefield statistics only or wave age, larger scatter is observed and/or there is little agreement between SO GasEx, HiWinGS, and previously published data. The wind speed–only parameterizations deduced from the SO GasEx and HiWinGS datasets agree closely and capture more of the observed W variability than Reynolds number parameterizations. However, these wind speed–only models do not agree as well with previous studies than the wind-wave Reynolds numbers

Wave‐Related Reynolds Number Parameterizations of CO₂ and DMS Transfer Velocities

Predicting future climate hinges on our understanding of and ability to quantify air‐sea gas transfer. The latter relies on parameterizations of the gas transfer velocity k, which represents physical mass transfer mechanisms and is usually parameterized as a nonlinear function of wind forcing. In an attempt to reduce uncertainties in k, this study explores empirical parameterizations that incorporate both wind speed and sea state dependence via wave‐wind and breaking Reynolds numbers, RH and RB. Analysis of concurrent eddy covariance gas transfer and measured wavefield statistics supplemented by wave model hindcasts shows for the first time that wave‐related Reynolds numbers collapse four open ocean data sets that have a wind speed dependence of CO₂ transfer velocity ranging from lower than quadratic to cubic. Wave‐related Reynolds number and wind speed show comparable performance for parametrizing dimethyl sulfide (DMS) which, because of its higher solubility, is less affected by bubble‐mediated exchange associated with wave breaking

Effects of external nutrient sources and extreme weather events on the nutrient budget of a Southern European coastal lagoon

The seasonal and annual nitrogen (N), phosphorus (P), and carbon (C) budgets of the mesotidal Ria Formosa lagoon, southern Portugal, were estimated to reveal the main inputs and outputs, the seasonal patterns, and how they may influence the ecological functioning of the system. The effects of extreme weather events such as long-lasting strong winds causing upwelling and strong rainfall were assessed. External nutrient inputs were quantified; ocean exchange was assessed in 24-h sampling campaigns, and final calculations were made using a hydrodynamic model of the lagoon. Rain and stream inputs were the main freshwater sources to the lagoon. However, wastewater treatment plant and groundwater discharges dominated nutrient input, together accounting for 98, 96, and 88 % of total C, N, and P input, respectively. Organic matter and nutrients were continuously exported to the ocean. This pattern was reversed following extreme events, such as strong winds in early summer that caused upwelling and after a period of heavy rainfall in late autumn. A principal component analysis (PCA) revealed that ammonium and organic N and C exchange were positively associated with temperature as opposed to pH and nitrate. These variables reflected mostly the benthic lagoon metabolism, whereas particulate P exchange was correlated to Chl a, indicating that this was more related to phytoplankton dynamics. The increase of stochastic events, as expected in climate change scenarios, may have strong effects on the ecological functioning of coastal lagoons, altering the C and nutrient budgets.Portuguese Science and Technology Foundation (FCT) [POCI/MAR/58427/2004, PPCDT/MAR/58427/2004]; Portuguese Science and Technology Foundation (FCT

Layered convection as the origin of Saturn's luminosity anomaly

As they keep cooling and contracting, Solar System giant planets radiate more energy than they receive from the Sun. Applying the first and second principles of thermodynamics, one can determine their cooling rate, luminosity, and temperature at a given age. Measurements of Saturn's infrared intrinsic luminosity, however, reveal that this planet is significantly brighter than predicted for its age. This excess luminosity is usually attributed to the immiscibility of helium in the hydrogen-rich envelope, leading to "rains" of helium-rich droplets. Existing evolution calculations, however, suggest that the energy released by this sedimentation process may not be sufficient to resolve the puzzle. Here, we demonstrate using planetary evolution models that the presence of layered convection in Saturn's interior, generated, like in some parts of Earth oceans, by the presence of a compositional gradient, significantly reduces its cooling. It can explain the planet's present luminosity for a wide range of configurations without invoking any additional source of energy. This suggests a revision of the conventional homogeneous adiabatic interior paradigm for giant planets, and questions our ability to assess their heavy element content. This reinforces the possibility for layered convection to help explaining the anomalously large observed radii of extrasolar giant planets.Comment: Published in Nature Geoscience. Online publication date: April 21st, 2013. Accepted version before journal editing and with Supplementary Informatio

Development of the piggyBac transposable system for Plasmodium berghei and its application for random mutagenesis in malaria parasites

Background: The genome of a number of species of malaria parasites ( Plasmodium spp.) has been sequenced in the hope of identifying new drug and vaccine targets. However, almost one-half of predicted Plasmodium genes are annotated as hypothetical and are difficult to analyse in bulk due to the inefficiency of current reverse genetic methodologies for Plasmodium. Recently, it has been shown that the transposase piggyBac integrates at random into the genome of the human malaria parasite P. falciparum offering the possibility to develop forward genetic screens to analyse Plasmodium gene function. This study reports the development and application of the piggyBac transposition system for the rodent malaria parasite P. berghei and the evaluation of its potential as a tool in forward genetic studies. P. berghei is the most frequently used malaria parasite model in gene function analysis since phenotype screens throughout the complete Plasmodium life cycle are possible both in vitro and in vivo. Results: We demonstrate that piggyBac based gene inactivation and promoter-trapping is both easier and more efficient in P. berghei than in the human malaria parasite, P. falciparum. Random piggyBac-mediated insertion into genes was achieved after parasites were transfected with the piggyBac donor plasmid either when transposase was expressed either from a helper plasmid or a stably integrated gene in the genome. Characterization of more than 120 insertion sites demonstrated that more than 70 most likely affect gene expression classifying their protein products as non-essential for asexual blood stage development. The non-essential nature of two of these genes was confirmed by targeted gene deletion one of which encodes P41, an ortholog of a human malaria vaccine candidate. Importantly for future development of whole genome phenotypic screens the remobilization of the piggyBac element in parasites that stably express transposase was demonstrated. Conclusion: These data demonstrate that piggyBac behaved as an efficient and random transposon in P. berghei. Remobilization of piggyBac element shows that with further development the piggyBac system can be an effective tool to generate random genome-wide mutation parasite libraries, for use in large-scale phenotype screens in vitro and in viv

Effects of regular salt marsh haying on marsh plants, algae, invertebrates and birds at Plum Island Sound, Massachusetts

Author Posting. © The Author(s), 2009. This is the author's version of the work. It is posted here by permission of Springer for personal use, not for redistribution. The definitive version was published in Wetlands Ecology and Management 17 (2009): 469-487, doi: 10.1007/s11273-008-9125-3.The haying of salt marshes, a traditional activity since colonial times in New England, still occurs in about 400 ha of marsh in the Plum Island Sound estuary in northeastern Massachusetts. We took advantage of this haying activity to investigate how the periodic large-scale removal of aboveground biomass affects a number of marsh processes. Hayed marshes were no different from adjacent reference marshes in plant species density (species per area) and end-of-year aboveground biomass, but did differ in vegetation composition. Spartina patens was more abundant in hayed marshes than S. alterniflora, and the reverse was true in reference marshes. The differences in relative covers of these plant species were not associated with any differences between hayed and reference marshes in the elevations of the marsh platform. Instead it suggested that S. patens was more tolerant of haying than S. alterniflora. S. patens had higher stem densities in hayed marshes than it did in reference marshes, suggesting that periodic cutting stimulated tillering of this species. Although we predicted that haying would stimulate benthic chlorophyll production by opening up the canopy, we found differences to be inconsistent, possibly due to the relatively rapid regrowth of S. patens and to grazing by invertebrates on the algae. The pulmonate snail, Melampus bidendatus was depleted in its δ13C content in the hayed marsh compared to the reference, suggesting a diet shift to benthic algae in hayed marshes. The stable isotope ratios of a number of other consumer species were not affected by haying activity. Migratory shorebirds cue in to recently hayed marshes and may contribute to short term declines in some invertebrate species, however the number of taxa per unit area of marsh surface invertebrates and their overall abundances were unaffected by haying over the long term. Haying had no impact on nutrient concentrations in creeks just downstream from hayed plots, but the sediments of hayed marshes were lower in total N and P compared to references. In sum, haying appeared to affect plant species composition but had only short-term affects on consumer organisms. This contrasts with many grassland ecosystems, where an intermediate level of disturbance, such as by grazing, increases species diversity and may stimulate productivity. From a management perspective, periodic mowing could be a way to maintain S. patens habitats and the suite of species with which they are associated.This research was supported by the Plum Island Ecosystem Long Term Ecological Research program (OCE-972692 and OCE 0423565) of the National Science Foundation (NSF). J. Horowitz and J. Ludlam were supported by NSF Research Experience for Undergraduate (REU) grants when they were students at Hampshire College and Gordon College respectively

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives