1,539 research outputs found
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 -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
Characterization of a novel elastase inhibitor from a fan coral = Caractérisation d'un nouvel inhibiteur d'élastase isolé d'une gorgone
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
- …