Results 31 to 40 of about 23,943 (237)
REWRITING THE WOMEN OF BREWSTER PLACE: MALE VOICES / RÉÉCRITURE DU SÉRIAL THE WOMEN OF BREWSTER PLACE: LES VOIX MASCULINS / RESCRIEREA SERIALULUI FEMEILE DIN BREWSTER: VOCILE MASCULINE [PDF]
Studii si Cercetari Filologice: Seria Limbi Straine Aplicate, 2013 Gloria Naylor’s The Men of Brewster Place (1994) relates the saga of black men in the urban environment of the same name. Coming from different horizons, each with a different and individual story, these men arrive at Brewster Place hoping to cope with
Kouadio Germain N’Guessan
doaj
Extending Context-Sensitivity in Term Rewriting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 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, Felix Schernhammer
doaj +1 more source
Controlling Rewriting by Rewriting
Electronic Notes in Theoretical Computer Science, 1996 AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational systems that are simply rewriting theories controlled by strategies.
Borovanský, Peter +2 more
openaire +1 more source
Explaining presupposition projection with dynamic semantics
Semantics and Pragmatics, 2011 Heim's (1982, 1983b) dynamic semantics provides an attractive system for capturing the basic facts about presupposition projection. A long-standing criticism of this semantics is that it requires for each connective lexical stipulations that are not ...
Daniel Rothschild
doaj +1 more source
Productivity of Non-Orthogonal Term Rewrite Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Productivity is the property that finite prefixes of an infinite constructor term can be computed using a given term rewrite system. Hitherto, productivity has only been considered for orthogonal systems, where non-determinism is not allowed.
Matthias Raffelsieper
doaj +1 more source
Journal of Symbolic Computation, 1996 In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusionabfrom a given setIof them, we generate fromI, using a completion procedure, abi-rewrite system, that is, a pair of rewrite relations and , and seek a common termcsuch thatacandbc.
Levy, Jordi, Agustí, Jaume
openaire +3 more sources
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper is an extended abstract of an analysis of term rewriting where the terms in the rewrite rules as well as the term to be rewritten are compressed by a singleton tree grammar (STG).
Manfred Schmidt-Schauss
doaj +1 more source
Discover FoodPurpose This review aims to evaluate the role of Konjac Glucomannan (KGM) as an emerging nutritional strategy in regulating obesity and metabolic dysfunction through its influences on weight regulation, various metabolic biomarkers and intestinal ...
Anindita Ghosh +2 more
doaj +1 more source
Complexity of Conditional Term Rewriting [PDF]
Logical Methods in Computer Science, 2017 We propose a notion of complexity for oriented conditional term rewrite systems satisfying certain restrictions. This notion is realistic in the sense that it measures not only successful computations, but also partial computations that result in a ...
Cynthia Kop +2 more
doaj +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source