A method for finding new sets of axioms for classes of semigroups

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices

The bowfin genome illuminates the developmental evolution of ray-finned fishes.

The bowfin (Amia calva) is a ray-finned fish that possesses a unique suite of ancestral and derived phenotypes, which are key to understanding vertebrate evolution. The phylogenetic position of bowfin as a representative of neopterygian fishes, its archetypical body plan and its unduplicated and slowly evolving genome make bowfin a central species for the genomic exploration of ray-finned fishes. Here we present a chromosome-level genome assembly for bowfin that enables gene-order analyses, settling long-debated neopterygian phylogenetic relationships. We examine chromatin accessibility and gene expression through bowfin development to investigate the evolution of immune, scale, respiratory and fin skeletal systems and identify hundreds of gene-regulatory loci conserved across vertebrates. These resources connect developmental evolution among bony fishes, further highlighting the bowfin's importance for illuminating vertebrate biology and diversity in the genomic era

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

Fatores edáficos determinando a ocorrência de leguminosas herbáceas em savanas amazônicas

Fatores edáficos vem sendo indicados como determinantes para a distribuição de comunidades de plantas na Amazônia. O objetivo deste estudo foi investigar quais fatores edáficos determinam a ocorrência de leguminosas herbáceas em savanas amazônicas. Para tanto, foi realizado um inventário da flora herbácea da família Leguminosae em 34 parcelas permanentes estabelecidas em duas áreas de savana de Roraima, norte da Amazônia brasileira. As espécies Chamaecrista desvauxii (24,9%), Aeschynomene histrix (15,7%) e Galactia jussiaeana (10,8%) foram as de maior índice de valor de importância. Todas com grande abundância e ampla distribuição. Os resultados indicaram baixa densidade ou ausência de indivíduos e espécies em parcelas estabelecidas em solos mal drenados (hidromórficos). Diversidade e riqueza de espécies tendeu a ser maior em habitats formados por solos bem drenados, mais férteis e com menor concentração de alumínio trocável. É sugerido que solos pobres e sazonalmente alagados reduzam as chances de ocorrência e afetem negativamente a riqueza/diversidade de leguminosas herbáceas nas áreas de savana de Roraima

Habitat requirements of Tetanocera elata (Diptera: Sciomyzidae): case study of a dry meadow in western Ireland

Terrestrial slugs are pervasive pests of agriculture throughout temperate regions and have the potential to disrupt the germination of seedlings, cause damage to fruiting bodies of crops, and vector plant pathogens. Tetanocera elata Fabricius (Diptera: Sciomyzidae), a widely distributed Palaearctic species, is an obligate mesoparasitoid and predator of pestiferous slugs including Deroceras reticulatum Müller (Stylommatophora: Agriolimacidae). It has the potential to be developed as a native natural enemy in a conservation biological control programme as an alternative to chemical molluscicides. To better understand the ecological requirements of this species, a detailed observational study was conducted at a site in the west of Ireland possessing naturally occurring T. elata populations. Comparison of local patches where T. elata were recovered revealed no association with plant community composition. Taller dead vegetation was associated with T. elata presence throughout the site. Within the area of greatest T. elata aggregation, there was a significantly greater percentage cover of dead vegetation where T. elata occurred. Abundance of T. elata was also significantly correlated to hedgerow proximity. Results of this study are directly applicable for the design of a conservation biological control programme, which effectively satisfies the principal habitat requirements of T. elata populations

The Strategy Challenge in SMT Solving

Abstract. High-performance SMT solvers contain many tightly integrated, hand-crafted heuristic combinations of algorithmic proof methods. While these heuristic combinations tend to be highly tuned for known classes of problems, they may easily perform badly on classes of problems not anticipated by solver developers. This issue is becoming increasingly pressing as SMT solvers begin to gain the attention of practitioners in diverse areas of science and engineering. We present a challenge to the SMT community: to develop methods through which users can exert strategic control over core heuristic aspects of SMT solvers. We present evidence that the adaptation of ideas of strategy prevalent both within the Argonne and LCF theorem proving paradigms can go a long way towards realizing this goal. Prologue. Bill McCune, Kindness and Strategy, by Grant Passmore I would like to tell a short story about Bill, of how I met him, and one way his work and kindness impacted my life