Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir +5 more
wiley +1 more source
A species rules syntax model accurately organizes birdsong syllables into songs. [PDF]
Edwards JA, Woolley SMN.
europepmc +1 more source
Congenital heart disease in England: a national cohort study from fetal diagnosis to end of infancy. [PDF]
Huang Q +6 more
europepmc +1 more source
A spontaneous termination mechanism of RNA polymerase V shapes the DNA methylation landscape in plants. [PDF]
Xie G +15 more
europepmc +1 more source
An automated parallel genetic algorithm with parametric adaptation for distributed data analysis. [PDF]
Al-Terkawi L, Migliavacca M.
europepmc +1 more source
Rule-based clinical decision support system for automated assessment of left ventricular diastolic function during stress echocardiography. [PDF]
Rozikhodjaeva G +3 more
europepmc +1 more source
The sequence alignment problem: boundary conditions as the unifying principle. [PDF]
Gagniuc PA, Gagniuc E.
europepmc +1 more source
Related searches:
Decidability of Termination of Grid String Rewriting Rules
SIAM Journal on Computing, 2002Summary: Termination of string rewriting is known undecidable. Termination of string rewriting with only one rule is neither known decidable nor known undecidable. This paper presents a decision procedure for rules \(u\rightarrow v\) such that some letter b from u occurs as often or less often in v. We call such rules ``grid'' rules.
Alfons Geser
exaly +2 more sources
Refined rules termination analysis through transactions
Information Systems, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Danilo Montesi, Elisa Bertino
exaly +3 more sources
Improving Termination Analysis of Active Rules with Priorities. [PDF]
This paper presents an algorithm for termination static analysis ofactive rules with priorities. Active rules termination is an undecidableproblem. Several recent works have suggested proving termination by usingthe concept of triggering graph. We propose here a refinement of theseworks, exploiting the priorities defined between rules.
Couchot, Alain
core +3 more sources

