Results 81 to 90 of about 5,627 (286)
Biochemical network matching and composition
, 2010 This paper looks at biochemical network matching and ...
Goodfellow, Martin +5 more
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Improved single and multiple approximate string matching [PDF]
, 2004 We present a new algorithm for multiple approximate string matching. It is based on reading backwards enough l-grams from text windows so as to prove that no occurrence can contain the part of the window read, and then shifting the window. Three variants
Fredriksson, Kimmo, Navarro, Gonzalo
core +2 more sources
Alignment-free comparison of metagenomics sequences via approximate string matching. [PDF]
Bioinform Adv, 2022 Chen J, Yang L, Li L, Goodison S, Sun Y.
europepmc +1 more source
Advanced Science, EarlyView.OAML harbors recurrent IGLL5 mutations that reinforce CD79A/CD79B‐associated BCR signaling. Mechanistic analysis of the S47G and A54G variants reveals induction of CXCL10/CXCL11, enhanced CD8+ T‐cell recruitment, and exhaustion‐associated dysfunction, supporting an immune‐tolerant niche.
Andi Zhao +12 more
wiley +1 more source
Hardware Accelerators for Regular Expression Matching and Approximate String Matching [PDF]
, 2009 This paper introduces hardware accelerators for regular expression matching and approximate string matching. The hardware for regular expression matching accepts a subclass of regular expressions, and achieves a high throughput string matching for a wide
Mikami, Sadatoshi +3 more
core
G3BP1 Succinylation at K413 is Critical for Cardiac Function by Modulating PI3K‐AKT‐mTOR Signal Axis
Advanced Science, EarlyView.Schematic illustrating the impact of G3BP1 succinylation at K413 on cardiac function. In the healthy human heart, G3BP1 succinylation maintains homeostatic mTOR signaling. In patients with dilated cardiomyopathy (DCM) and heart failure (HF), G3BP1 de‐succinylation induces RagA expression and disrupts the binding of the TSC1/2 complex, leading to the ...
Yuan Zhang +9 more
wiley +1 more source
Pattern-matching with bounded gaps in genomic sequences
Revista Colombiana de Computación, 2009 Recently, some pattern matching algorithms allowing gaps were introduced in Crochemore et al. [Approximate string matching with gaps. Nordic Journal of Computing, 9 (2002):54–65, 2002], where upper-bounded, strict-bounded and unbounded gaps were ...
Yoan José Pinzon Ardila, Shu Wang
doaj
The stringdist Package for Approximate String Matching [PDF]
The R Journal, 2014 Comparing text strings in terms of distance functions is a common and fundamental task in many statistical text-processing applications. Thus far, string distance functionality has been somewhat scattered around R and its extension packages, leaving users with inconistent interfaces and encoding handling.
openaire +1 more source
Sublinear Approximate String-Matching and Biological Applications
, 1994 Given a text string of length n and a pattern string of length m over a b-letter alphabet, the k differences approximate string matching problem asks for all locations in the text where the pattern occurs with at most k differences (substitutions ...
Lawler, E. L., Chang, W. I.
core +1 more source