Results 91 to 100 of about 12,133 (300)
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Rewriting and suppressing UMLS terms for improved biomedical term identification
Journal of Biomedical Semantics, 2010 Background Identification of terms is essential for biomedical text mining.. We concentrate here on the use of vocabularies for term identification, specifically the Unified Medical Language System (UMLS).
Hettne Kristina M +4 more
doaj +1 more source
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic [PDF]
Logical Methods in Computer Science, 2018 We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive way.
Jörg Endrullis +4 more
doaj +1 more source
Braids via term rewriting [PDF]
Theoretical Computer Science, 2019 In this paper, the authors introduce a presentation of the Artin braid groups different from the classical Artin presentation. This presentation is called \emph{colored braids presentation}, it is finite, but with far more generators than the classical one. A word representing a braid in this presentation is called a \emph{braid code}.
Jörg Endrullis, Jan Willem Klop
openaire +1 more source
Molecular Oncology, EarlyView.Dormant cancer cells can hide in distant organs for years, evading treatment and the immune system. This review highlights how signals from the surrounding tissue and immune environment keep these cells inactive or trigger their reawakening. Understanding these mechanisms may help develop therapies to eliminate or control dormant cells and prevent ...
Kanishka Tiwary +1 more
wiley +1 more source
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems [PDF]
, 2011 We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity.
Toyama, Yoshihito +3 more
core +1 more source
Rewriting techniques for relative coherence [PDF]
Logical Methods in Computer ScienceA series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable assumptions ...
Samuel Mimram
doaj +1 more source
Molecular Oncology, EarlyView.Both cg12821679MAPRE3 methylation and MAPRE3 expression are significantly associated with overall survival (OS) of non‐small cell lung cancer. Meanwhile, MAPRE3 expression significantly modified the effect of smoking cessation on OS. Smoking cessation benefits OS merely for patients with high MAPRE3 expression.
Chao Chen +14 more
wiley +1 more source
Architectural specification, exploration and simulation through rewriting-logic
Revista Colombiana de Computación, 2002 In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description
Mauricio Ayala Rincón +4 more
doaj
Hydra Battles and AC Termination [PDF]
Logical Methods in Computer ScienceWe present a new encoding of the Battle of Hercules and Hydra as a rewrite system with AC symbols. Unlike earlier term rewriting encodings, it faithfully models any strategy of Hercules to beat Hydra.
Nao Hirokawa, Aart Middeldorp
doaj +1 more source