Results 51 to 60 of about 321,292 (267)
Constraint contextual rewriting
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ARMANDO, ALESSANDRO, RANISE S.
openaire +2 more sources
Extending Context-Sensitivity in Term Rewriting [PDF]
We propose a generalized version of context-sensitivity in term rewriting based on the notion of "forbidden patterns". The basic idea is that a rewrite step should be forbidden if the redex to be contracted has a certain shape and appears in a certain ...
Bernhard Gramlich +2 more
core +5 more sources
ABSTRACT Background Patients with high‐risk neuroblastoma who either are refractory to induction chemotherapy or relapse following multi‐modal treatment have a dismal prognosis. Based on data from the BEACON trial, since 2021 the UK national guidelines recommend bevacizumab, irinotecan, and temozolomide (BIT) for patients with relapsed/refractory ...
Thomas J. Jackson +20 more
wiley +1 more source
Intensification of reflection in writings by pre-service teachers: a systemic-functional approach
This research aims to identify the linguistic-discursive aspects embedded in the educator’s rewriting commands and pre-service teacher’s response in the rewriting process of the Supervised Pre-Service Teaching Report genre in a Language and Literature ...
Aliny Sousa Mendes +3 more
doaj +1 more source
Projections for infinitary rewriting
Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequential reduction.
de Vrijer, Roel +2 more
core +1 more source
Infinitary Combinatory Reduction Systems: Confluence [PDF]
We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Henk Barendregt +2 more
core +5 more sources
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
The research presents typology and semantics of the rewriting plots in V. Sharov's novels «Tract in trace» (1991) and «The Raising of Lazarus» (2002) in two aspects: receptive and historical, or historiosophical. In V.
A. I. Pantuhina
doaj +1 more source
Secure Querying of Recursive XML Views: A Standard XPath-based Technique [PDF]
Most state-of-the art approaches for securing XML documents allow users to access data only through authorized views defined by annotating an XML grammar (e.g. DTD) with a collection of XPath expressions.
Imine, Abdessamad, Mahfoud, Houari
core +6 more sources
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source

