On the Whitehead spectrum of the circle

The seminal work of Waldhausen, Farrell and Jones, Igusa, and Weiss and Williams shows that the homotopy groups in low degrees of the space of homeomorphisms of a closed Riemannian manifold of negative sectional curvature can be expressed as a functor of the fundamental group of the manifold. To determine this functor, however, it remains to determine the homotopy groups of the topological Whitehead spectrum of the circle. The cyclotomic trace of B okstedt, Hsiang, and Madsen and a theorem of Dundas, in turn, lead to an expression for these homotopy groups in terms of the equivariant homotopy groups of the homotopy fiber of the map from the topological Hochschild T-spectrum of the sphere spectrum to that of the ring of integers induced by the Hurewicz map. We evaluate the latter homotopy groups, and hence, the homotopy groups of the topological Whitehead spectrum of the circle in low degrees. The result extends earlier work by Anderson and Hsiang and by Igusa and complements recent work by Grunewald, Klein, and Macko.Comment: 52 page

Automated derivation of the adjoint of high-level transient finite element programs

In this paper we demonstrate a new technique for deriving discrete adjoint and tangent linear models of finite element models. The technique is significantly more efficient and automatic than standard algorithmic differentiation techniques. The approach relies on a high-level symbolic representation of the forward problem. In contrast to developing a model directly in Fortran or C++, high-level systems allow the developer to express the variational problems to be solved in near-mathematical notation. As such, these systems have a key advantage: since the mathematical structure of the problem is preserved, they are more amenable to automated analysis and manipulation. The framework introduced here is implemented in a freely available software package named dolfin-adjoint, based on the FEniCS Project. Our approach to automated adjoint derivation relies on run-time annotation of the temporal structure of the model, and employs the FEniCS finite element form compiler to automatically generate the low-level code for the derived models. The approach requires only trivial changes to a large class of forward models, including complicated time-dependent nonlinear models. The adjoint model automatically employs optimal checkpointing schemes to mitigate storage requirements for nonlinear models, without any user management or intervention. Furthermore, both the tangent linear and adjoint models naturally work in parallel, without any need to differentiate through calls to MPI or to parse OpenMP directives. The generality, applicability and efficiency of the approach are demonstrated with examples from a wide range of scientific applications

When counting cattle is not enough: multiple perspectives in agricultural and veterinary research

A traditional approach in agricultural and veterinary research is focussing on the biological perspective where large cattle-databases are used to analyse the dairy herd. This approach has yielded valuable insights. However, recent research indicates that this knowledge-base can be further increased by examining agricultural and veterinary challenges from other perspectives. In this paper we suggest three perspectives that may supplement the biological perspective in agricultural and veterinary research; the economic-, the managerial-, and the social perspective. We review recent studies applying or combining these perspectives and discuss how multiple perspectives may improve our understanding and ability to handle cattle-health challenges

Cohesive versus Flexible Evolution of Functional Modules in Eukaryotes

Although functionally related proteins can be reliably predicted from phylogenetic profiles, many functional modules do not seem to evolve cohesively according to case studies and systematic analyses in prokaryotes. In this study we quantify the extent of evolutionary cohesiveness of functional modules in eukaryotes and probe the biological and methodological factors influencing our estimates. We have collected various datasets of protein complexes and pathways in Saccheromyces cerevisiae. We define orthologous groups on 34 eukaryotic genomes and measure the extent of cohesive evolution of sets of orthologous groups of which members constitute a known complex or pathway. Within this framework it appears that most functional modules evolve flexibly rather than cohesively. Even after correcting for uncertain module definitions and potentially problematic orthologous groups, only 46% of pathways and complexes evolve more cohesively than random modules. This flexibility seems partly coupled to the nature of the functional module because biochemical pathways are generally more cohesively evolving than complexes

CUDASW++2.0: enhanced Smith-Waterman protein database search on CUDA-enabled GPUs based on SIMT and virtualized SIMD abstractions

<p>Abstract</p> <p>Background</p> <p>Due to its high sensitivity, the Smith-Waterman algorithm is widely used for biological database searches. Unfortunately, the quadratic time complexity of this algorithm makes it highly time-consuming. The exponential growth of biological databases further deteriorates the situation. To accelerate this algorithm, many efforts have been made to develop techniques in high performance architectures, especially the recently emerging many-core architectures and their associated programming models.</p> <p>Findings</p> <p>This paper describes the latest release of the CUDASW++ software, CUDASW++ 2.0, which makes new contributions to Smith-Waterman protein database searches using compute unified device architecture (CUDA). A parallel Smith-Waterman algorithm is proposed to further optimize the performance of CUDASW++ 1.0 based on the single instruction, multiple thread (SIMT) abstraction. For the first time, we have investigated a partitioned vectorized Smith-Waterman algorithm using CUDA based on the virtualized single instruction, multiple data (SIMD) abstraction. The optimized SIMT and the partitioned vectorized algorithms were benchmarked, and remarkably, have similar performance characteristics. CUDASW++ 2.0 achieves performance improvement over CUDASW++ 1.0 as much as 1.74 (1.72) times using the optimized SIMT algorithm and up to 1.77 (1.66) times using the partitioned vectorized algorithm, with a performance of up to 17 (30) billion cells update per second (GCUPS) on a single-GPU GeForce GTX 280 (dual-GPU GeForce GTX 295) graphics card.</p> <p>Conclusions</p> <p>CUDASW++ 2.0 is publicly available open-source software, written in CUDA and C++ programming languages. It obtains significant performance improvement over CUDASW++ 1.0 using either the optimized SIMT algorithm or the partitioned vectorized algorithm for Smith-Waterman protein database searches by fully exploiting the compute capability of commonly used CUDA-enabled low-cost GPUs.</p

Continuous and Periodic Expansion of CAG Repeats in Huntington's Disease R6/1 Mice

Huntington's disease (HD) is one of several neurodegenerative disorders caused by expansion of CAG repeats in a coding gene. Somatic CAG expansion rates in HD vary between organs, and the greatest instability is observed in the brain, correlating with neuropathology. The fundamental mechanisms of somatic CAG repeat instability are poorly understood, but locally formed secondary DNA structures generated during replication and/or repair are believed to underlie triplet repeat expansion. Recent studies in HD mice have demonstrated that mismatch repair (MMR) and base excision repair (BER) proteins are expansion inducing components in brain tissues. This study was designed to simultaneously investigate the rates and modes of expansion in different tissues of HD R6/1 mice in order to further understand the expansion mechanisms in vivo. We demonstrate continuous small expansions in most somatic tissues (exemplified by tail), which bear the signature of many short, probably single-repeat expansions and contractions occurring over time. In contrast, striatum and cortex display a dramatic—and apparently irreversible—periodic expansion. Expansion profiles displaying this kind of periodicity in the expansion process have not previously been reported. These in vivo findings imply that mechanistically distinct expansion processes occur in different tissues

Early diverging lineages within Cryptomycota and Chytridiomycota dominate the fungal communities in ice-covered lakes of the McMurdo Dry Valleys, Antarctica

Antarctic ice-covered lakes are exceptional sites for studying the ecology of aquatic fungi under conditions of minimal human disturbance. In this study, we explored the diversity and community composition of fungi in five permanently covered lake basins located in the Taylor and Miers Valleys of Antarctica. Based on analysis of the 18S rRNA sequences, we showed that fungal taxa represented between 0.93% and 60.32% of the eukaryotic sequences. Cryptomycota and Chytridiomycota dominated the fungal communities in all lakes; however, members of Ascomycota, Basidiomycota, Zygomycota, and Blastocladiomycota were also present. Of the 1313 fungal OTUs identified, the two most abundant, belonging to LKM11 and Chytridiaceae, comprised 74% of the sequences. Significant differences in the community structure were determined among lakes, water depths, habitat features (i.e., brackish vs. freshwaters), and nucleic acids (DNA vs. RNA), suggesting niche differentiation. Network analysis suggested the existence of strong relationships among specific fungal phylotypes as well as between fungi and other eukaryotes. This study sheds light on the biology and ecology of basal fungi in aquatic systems. To our knowledge, this is the first report showing the predominance of early diverging lineages of fungi in pristine limnetic ecosystems, particularly of the enigmatic phylum Cryptomycota.National Science Foundation/[PLR1439774]/NSF/Estados UnidosNational Science Foundation/[PLR1115245]/NSF/Estados UnidosNational Science Foundation/[PLR 1543537]/NSF/Estados UnidosNational Aeronautics and Space Administration/[NNH14ZDA001N-PSTAR]/NASA/Estados UnidosUCR::Vicerrectoría de Docencia::Ciencias Básicas::Facultad de Ciencias::Escuela de Biologí

Genomic characterization of Nontuberculous Mycobacteria

YesMycobacterium tuberculosis and Mycobacterium leprae have remained, for many years, the primary species of the genus Mycobacterium of clinical and microbiological interest. The other members of the genus, referred to as nontuberculous mycobacteria (NTM), have long been underinvestigated. In the last decades, however, the number of reports linking various NTM species with human diseases has steadily increased and treatment difficulties have emerged. Despite the availability of whole genome sequencing technologies, limited effort has been devoted to the genetic characterization of NTM species. As a consequence, the taxonomic and phylogenetic structure of the genus remains unsettled and genomic information is lacking to support the identification of these organisms in a clinical setting. In this work, we widen the knowledge of NTMs by reconstructing and analyzing the genomes of 41 previously uncharacterized NTM species. We provide the first comprehensive characterization of the genomic diversity of NTMs and open new venues for the clinical identification of opportunistic pathogens from this genus