Results 41 to 50 of about 30,147 (189)
SMORE: Synteny Modulator of Repetitive Elements
Life, 2017 Several families of multicopy genes, such as transfer ribonucleic acids (tRNAs) and ribosomal RNAs (rRNAs), are subject to concerted evolution, an effect that keeps sequences of paralogous genes effectively identical.
Sarah J. Berkemer +3 more
doaj +1 more source
PLoS ONE, 2014 Accurate orthology prediction is crucial for many applications in the post-genomic era. The lack of broadly accepted benchmark tests precludes a comprehensive analysis of orthology inference.
Kalliopi Trachana +6 more
doaj +1 more source
Enzyme commission number, kegg orthology number, enzyme name and ROS substrate metabolized.
, 2023 Enzyme commission number, kegg orthology number, enzyme name and ROS substrate metabolized.
Douglas A. Campbell (8026640) +4 more
core +1 more source
Microbial Cell, 2016 In order to combat the on-going malaria epidemic, discovery of new drug targets remains vital. Proteins that are essential to survival and specific to malaria parasites are key candidates.
January Weiner 3rd, Taco W.A. Kooij
doaj +1 more source
Proceedings of the ACM on Programming LanguagesWe study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polynomial-time equivalence checking that is sound with respect to Boolean algebra semantics.
Guilloud, Simon, Kuncak, Viktor
openaire +2 more sources
Logical Methods in Computer Science, 2017 We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and to optimise proof search ...
openaire +8 more sources
Reconstruction of the evolutionary landscape of biological processes involved in the early stages of the metastatic cascade [PDF]
Genetics and Molecular BiologyMetastasis is not a de novo functional module innovation but rather the pathological redeployment of deeply conserved biological programs. Here, we reconstruct the evolutionary landscape of biological functions involved in the early stages of the ...
Gleison M. Azevedo +6 more
doaj +2 more sources
quercusTOA: integrating functional annotations and comparative genomics across oak lineages
Frontiers in BioinformaticsOaks (Quercus L.) are key components of Northern Hemisphere Forest ecosystems, yet the integration of their rapidly growing genomic resources remains challenging. Here, we present quercusTOA, a genomic and functional resource that integrates nine Quercus
Fernando Mora-Márquez +3 more
doaj +1 more source
Graph-based methods for large-scale protein classification and orthology inference [PDF]
, 2009 The quest for understanding how proteins evolve and function has been a prominent and costly human endeavor. With advances in genomics and use of bioinformatics tools, the diversity of proteins in present day genomes can now be studied more efficiently ...
Kuzniar, A.
core
The axioms for implication in orthologic [PDF]
Czechoslovak Mathematical Journal, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source