Genetic Changes Over Breeding Generations of \u3cem\u3eFestulolium\u3c/em\u3e

Festulolium hybrids are a valuable breeding source for tolerance to abiotic stress and to make grass more persistent under drought and in cold environments. In 2004, the EU Commission enlarged the definition of Festulolium which may now include all hybrids between Lolium sp. and Festuca sp. and not only those between L. multiflorum and F. pratensis. We here report allele frequencies at two unlinked PCR-based marker loci in populations derived from tetraploid (2n=4x=28) L. multiflorum x F. glaucescens hybrids where breeding history enables us to test the effects of selection vs that of genetic drift

Efficient Large-scale Trace Checking Using MapReduce

The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval for which logged events must be buffered to check satisfaction of the specification. The former issue can be addressed by distributed and parallel trace checking algorithms that can take advantage of modern cloud computing and programming frameworks like MapReduce. Still, the latter issue remains open with current state-of-the-art approaches. In this paper we address this memory scalability issue by proposing a new semantics for MTL, called lazy semantics. This semantics can evaluate temporal formulae and boolean combinations of temporal-only formulae at any arbitrary time instant. We prove that lazy semantics is more expressive than standard point-based semantics and that it can be used as a basis for a correct parametric decomposition of any MTL formula into an equivalent one with smaller, bounded time intervals. We use lazy semantics to extend our previous distributed trace checking algorithm for MTL. We evaluate the proposed algorithm in terms of memory scalability and time/memory tradeoffs.Comment: 13 pages, 8 figure

Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic with aggregating modalities, over large execution traces. The algorithm exploits the structure of the formula to parallelize the evaluation, with a significant gain in time. We report on the assessment of the implementation - based on the Hadoop framework - of the proposed algorithm and comment on its scalability.Comment: 16 pages, 6 figures, Extended version of the SEFM 2014 pape

Wigner crystal versus Fermionization for one-dimensional Hubbard models with and without long-range interactions

The ground state properties of Hubbard model with or without long-range interactions in the regime with strongly repulsive on-site interaction are investigated by means of the exact diagonalization method. We show that the appearance of $N$-crests in the density profile of a trapped N-fermion system is a natural result of "fermionization" between antiparallel-spin fermions in the strongly repulsive limit and can not be taken as the only signature of Wigner crystal phase, as the static structure factor does not show any signature of crystallization. On the contrary, both the density distribution and static structure factor of Hubbard model with strong long-range interactions display clear signature of Wigner crystal. Our results indicate the important role of long-range interaction in the formation of Wigner crystal.Comment: 7 pages, 7 figure

Simian immunodeficiency virus infection in wild-caught chimpanzees from Cameroon

Simian immunodeficiency viruses (SIVcpz) infecting chimpanzees (Pan troglodytes) in west central Africa are the closest relatives to all major variants of human immunodeficiency virus type 1 ([HIV-1]; groups M, N and O), and have thus been implicated as the source of the human infections; however, information concerning the prevalence, geographic distribution, and subspecies association of SIVcpz still remains limited. In this study, we tested 71 wild-caught chimpanzees from Cameroon for evidence of SIVcpz infection. Thirty-nine of these were of the central subspecies (Pan troglodytes troglodytes), and 32 were of the Nigerian subspecies (Pan troglodytes vellerosus), as determined by mitochondrial DNA analysis. Serological analysis determined that one P. t. troglodytes ape (CAM13) harbored serum antibodies that cross-reacted strongly with HIV-1 antigens; all other apes were seronegative. To characterize the newly identified virus, 14 partially overlapping viral fragments were amplified from fecal virion RNA and concatenated to yield a complete SIVcpz genome (9,284 bp). Phylogenetic analyses revealed that SIVcpzCAM13 fell well within the radiation of the SIVcpzPtt group of viruses, as part of a clade including all other SIVcpzPtt strains as well as HIV-1 groups M and N. However, SIVcpzCAM13 clustered most closely with SIVcpzGAB1 from Gabon rather than with SIVcpzCAM3 and SIVcpzCAM5 from Cameroon, indicating the existence of divergent SIVcpzPtt lineages within the same geographic region. These data, together with evidence of recombination among ancestral SIVcpzPtt lineages, indicate long-standing endemic infection of central chimpanzees and reaffirm a west central African origin of HIV-1. Whether P. t. vellerosus apes are naturally infected with SIVcpz requires further study

Mannose-Specific Lectins from Marine Algae: Diverse Structural Scaffolds Associated to Common Virucidal and Anti-Cancer Properties.

To date, a number of mannose-specific lectins have been isolated and characterized from seaweeds, especially from red algae. In fact, man-specific seaweed lectins consist of different structural scaffolds harboring a single or a few carbohydrate-binding sites which specifically recognize mannose-containing glycans. Depending on the structural scaffold, man-specific seaweed lectins belong to five distinct structurally-related lectin families, namely (1) the griffithsin lectin family (beta-prism I scaffold); (2) the Oscillatoria agardhii agglutinin homolog (OAAH) lectin family (beta-barrel scaffold); (3) the legume lectin-like lectin family (beta-sandwich scaffold); (4) the Galanthus nivalis agglutinin (GNA)-like lectin family (beta-prism II scaffold); and, (5) the MFP2-like lectin family (MFP2-like scaffold). Another algal lectin from Ulva pertusa, has been inferred to the methanol dehydrogenase related lectin family, because it displays a rather different GlcNAc-specificity. In spite of these structural discrepancies, all members from the five lectin families share a common ability to specifically recognize man-containing glycans and, especially, high-mannose type glycans. Because of their mannose-binding specificity, these lectins have been used as valuable tools for deciphering and characterizing the complex mannose-containing glycans from the glycocalyx covering both normal and transformed cells, and as diagnostic tools and therapeutic drugs that specifically recognize the altered high-mannose N-glycans occurring at the surface of various cancer cells. In addition to these anti-cancer properties, man-specific seaweed lectins have been widely used as potent human immunodeficiency virus (HIV-1)-inactivating proteins, due to their capacity to specifically interact with the envelope glycoprotein gp120 and prevent the virion infectivity of HIV-1 towards the host CD4+ T-lymphocyte cells in vitro

QTLs for Morphogenetic Traits in Medicago Truncatula

Plant morphogenesis that includes growth, development and flowering date, drives a large number of agronomical important traits in both grain and forage crops. Quantitative trait locus (QTL) mapping is a way to locate zones of the genome that are involved in the variations observed in a segregating population. Co-location of QTLs and candidate genes is an indication of the involvement of the genes in the variation. The objective of this study was to analyse segregation of aerial morphogenetic traits in a mapping population of recombinant inbred lines of the model legume species M. truncatula , to locate QTLs and candidate genes

Synthesis by the polyol process and ionic conductivity of nanostructured La2Mo2O9 powders

International audienceLa2Mo2O9 nanostructured powders were synthesized by the polyol process. The effects of the nature of the polyol, the refluxing time, the hydrolysis ratio, the metal concentration and the addition of hydroxide ions, on the purity and morphology of the powders are determined. Two main morphologies are observed, the particles being in the shape of platelets or spheres, with respectively diethylene glycol or ethylene glycol as solvent. A specific surface area of 24 m2/g was reached by varying the metal concentration. The conductivity measurements were recorded on pellets that present in some cases a closed porosity, the relative density reaching 95% without any milling step. According to the synthesis parameters, the grain conductivity can be slightly increased, the total conductivity remaining only slightly lower than that of pellets made of powders synthesized by solid state reaction