Results 101 to 110 of about 256,327 (314)
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis
, 2012 This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better ...
Fabian, Martin, +4 more
core +1 more source
APTE: An Algorithm for Proving Trace Equivalence [PDF]
, 2014 This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
Cheval, Vincent, Vincent Cheval
core +1 more source
Source language text, parallel text and model translated text: a pilot study in teaching translation
Forma y Función, 2007 The advance in cultural-oriented perspectives in Translation Studies has sometimes played down the text linguistic nature of translation. A pilot study in teaching translation was carried out to make students aware of the text linguistic character of ...
Bolaños Cuellar Sergio
doaj
Pedagogical responsiveness: Focus on the Ukuqonda institute’s mode of engagement in mathematics
Interdisciplinary Journal of Sociality StudiesThis paper was prompted by mathematics teachers’ challenges in implementing the proposed framework that centres on teaching for understanding, as opposed to teaching aimed at producing marks as evidence of achievement.
Satsope Maoto +2 more
doaj +1 more source
Evaluating the Equivalents of Popular Components of Mokhtarnameh Series [PDF]
پژوهشهای ترجمه در زبان و ادبیات عربیThe famous Mukhtarnameh series includes a lot of everyday language, such as idioms, ironies, assimilations, colloquial terms, slang, prayers, curses, and broken up prose, which helps the writers get their ideas across to the readers.
Ali Najafi Ivaki, Mohaddeseh Haddadi
doaj +1 more source
Beyond Substantial Equivalence: Ethical Equivalence
Journal of Agricultural and Environmental Ethics, 2000 The concept of substantial equivalence,introduced for the risk assessment of geneticallymodified (GM) food, is a reducing concept because itignores the context in which these products have beenproduced and brought to the consumer at the end of thefood chain. Food quality cannot be restricted to meresubstance and food acts on human beings not only atthe
openaire +2 more sources
FEBS Letters, EarlyView.Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley +1 more source
Russian Journal of Education and PsychologyBackground. During the study, it was noted the requirements for the professional competence of future translators and it was mentioned about the importance of the ability to model the translation process for a future specialist.
Vladislava A. Vikhlyaeva
doaj +1 more source
FEBS Letters, EarlyView.CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens +8 more
wiley +1 more source
Ricardian Equivalence: an Empirical Application to the Portugese Economy. [PDF]
It is the purpose of this paper to focus on the consequences of the Ricardian offset to the conduct of stabilising fiscal policies. If equivalence prevails there is no scope for effective stabilising fiscal policies.
Carlos Fonseca Marinheiro
core