Results 21 to 30 of about 256,327 (314)
The Equivalence of Statecharts [PDF]
, 2003 Este documento propone una semántica operativa de composición para un subconjunto no trivial de Statecharts y define una relación de equivalencia entre Statecharts utilizando bisimulación en configuraciones. También se investiga un modelo de rastreo de entrada/respuesta a nivel de comportamiento observable.
Long Quan, Zongyan Qiu, Shengchao Qin
openaire +3 more sources
On Rapid Equivalence and Translational Rapid Equivalence
Kragujevac Journal of Mathematics, 2022 In this paper we will prove some properties of the rapid equivalence and consider some selection principles and games related to rapidly varying sequences.
VALENTINA TIMOTIĆ +2 more
openaire +3 more sources
Intercultural communication problems relating to translation from English into Sesotho
The Journal for Transdisciplinary Research in Southern Africa, 2013 In this article, certain translative communication problems associated with the linguistic and stylistic differences between English and Sesotho are identified and discussed.
Anastacia Sara Motsei
doaj +1 more source
Cluster equivalence and graded derived equivalence
Documenta Mathematica, 2014 In this paper we introduce a new approach for organizing algebras of global dimension at most 2. We introduce the notion of cluster equivalence for these algebras, based on whether their generalized cluster categories are equivalent. We are particularly interested in the question how much information about an algebra is preserved in its generalized ...
Amiot, Claire, Oppermann, Steffen
openaire +4 more sources
Facilitation of the equivalence--equivalence responding. [PDF]
Psicothema, 2011 Universidad de Oviedo. Facultad de Psicología; Plaza Feijoo, s. n.; 33003 Oviedo; Tel. +34985104146; Fax +34985104126;
Gómez Bujedo, Jesús +2 more
openaire +3 more sources
Automating Security Analysis: Symbolic Equivalence of Constraint Systems [PDF]
, 2010 We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy).
Hubert Comon-Lundh +5 more
core +1 more source
Permutation matrices and matrix equivalence over a finite field
International Journal of Mathematics and Mathematical Sciences, 1981 Let F=GF(q) denote the finite field of order q and Fm×n the ring of m×n matrices over F. Let 𝒫n be the set of all permutation matrices of order n over F so that 𝒫n is ismorphic to Sn.
Gary L. Mullen
doaj +1 more source
Eesti ja Soome-ugri Keeleteaduse Ajakiri, 2014 Conversion is a highly efficient and economical word-formation process. It has enriched the English vocabulary considerably; however, translators and lexicographers are faced with the challenge of finding suitable translation equivalents.
Enn Veldi
doaj +1 more source
Equivalence of switching linear systems by bisimulation [PDF]
, 2006 A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated.
Schaft, A.J. van der, +11 more
core +1 more source
New Equivalence Tests for Hardy–Weinberg Equilibrium and Multiple Alleles
Stats, 2020 We consider testing equivalence to Hardy−Weinberg Equilibrium in case of multiple alleles. Two different test statistics are proposed for this test problem. The asymptotic distribution of the test statistics is derived.
Vladimir Ostrovski
doaj +1 more source