Results 111 to 120 of about 12,133 (300)
A Term Rewriting System for Kuratowski's Closure-Complement Problem [PDF]
, 2012 We present a term rewriting system to solve a class of open problems that are generalisations of Kuratowski's closure-complement theorem. The problems are concerned with finding the number of distinct sets that can be obtained by applying combinations of
Al-Hassani, Osama +6 more
core +1 more source
Implementations of Term Rewriting Systems [PDF]
The Computer Journal, 1991 Two main applications of term rewriting systems are equational reasoning in theorem provers and equational computation in programming languages. The present paper examines a number of term rewriting systems in terms of how rewriting is used in different implementations of theorem provers, the use of rewriting techniques in logic programming languages ...
Miki Hermann +2 more
openaire +1 more source
MiR‐513a promotes human erythroid differentiation by modulating c‐Jun
FEBS Open Bio, EarlyView.During early human erythropoiesis, miR‐513a promoted erythroid differentiation in primary human CD34+ hematopoietic stem‐progenitor cells and human TF‐1 erythroleukemic cells by indirectly decreasing c‐Jun and phospho‐c‐Jun expression, which are associated with increased GATA1 expression.
MinJung Kim +11 more
wiley +1 more source
Acute caffeine treatment protects the developing retina from ischemia‐induced cell death
FEBS Open Bio, EarlyView.Caffeine reduces cell death in the developing retina under ischemia (OGD). This effect does not involve BDNF upregulation or antioxidant pathways (NRF2/VEGF). Neuroprotection occurs mainly through adenosine A2A receptor antagonism, decreasing glutamate release and excitotoxicity, highlighting caffeine's potential as an acute neuroprotective agent in ...
Amanda Alves Nascimento +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.Early‐life exposure to a high‐fat diet altered intact Achilles tendons in rat offspring, making them thinner, stiffer, and molecularly distinct even without injury. These findings suggest that developmental high‐fat diet exposure may impair tendon quality and increase susceptibility to mechanical overload or tendon injury later in life.
Heyong Yin +3 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science 5 (1998) to appear
, 1998 We consider a number of problems which arise when performing term rewriting in algebraic specifications with each operator having an evaluation strategy for its arguments. Each problem is illustrated with an OBJ3 example.
Term Rewriting With, Steven Eker
core
Disambiguation of Regular Expressions with Backreferences via Term Rewriting
Моделирование и анализ информационных системIn this paper we focus on regular expressions with acyclic backreferences and treat them as a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term rewriting rules, we introduce an algorithm for memory disambiguation of ...
Daria N. Ismagilova +1 more
doaj +1 more source
FEBS Open Bio, EarlyView.KIF26B plays an important role in kidney development. We engineered mice lacking the C‐terminal region of KIF26B and found severe kidney defects, including bilateral renal agenesis, similar to full Kif26b knockout mice. The mutation disrupted nephron progenitor condensation and reduced Gdnf‐Wnt11 signaling, showing that the KIF26B C‐terminal region is ...
Yuta Yamamura +19 more
wiley +1 more source
Orderings for term-rewriting systems
20th Annual Symposium on Foundations of Computer Science (sfcs 1979), 1979 AbstractMethods of proving that a term-rewriting system terminates are presented. They are based on the intuitive notion of ‘simplification orderings’, orderings in which any term that is syntactically simpler than another is smaller than the other.
openaire +2 more sources
FEBS Open Bio, EarlyView.In a murine model of myocardial ischemia and reperfusion (MI/R), the CD36 azapeptide ligand MPE‐298 reduces cardiac injury and transiently lowers left ventricular long‐chain fatty acids (LCFAs) accumulation 3 h after reperfusion, accompanied by a decrease of oxidative stress and inflammation‐associated genes' expression in the heart and adipose tissue.
Jade Gauvin +12 more
wiley +1 more source