Results 21 to 30 of about 1,012,925 (234)
Tightening the Complexity of Equivalence Problems for Commutative Grammars [PDF]
, 2015 We show that the language equivalence problem for regular and context-free commutative grammars is coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for communication-free Petri ...
Haase, Christoph, Hofman, Piotr
core +3 more sources
Trace Equivalence Decision: Negative Tests and Non-determinism [PDF]
, 2011 We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability.
Cheval, Vincent +2 more
core +2 more sources
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
, 2016 We introduce p-equivalence by asymptotic probabilities, which is a weak almost-equivalence based on zero-one laws in finite model theory. In this paper, we consider the computational complexities of p-equivalence problems for regular languages and ...
Nakamura, Yoshiki
core +2 more sources
Equivalences, Identities, Symmetric Differences, and Congruences in Orthomodular Lattices
, 2003 It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated.
Megill, Norman D., Pavicic, Mladen
core +2 more sources
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
European Papers, 2016 (Series Information) European Papers - A Journal on Law and Integration, 2016 1(3), 1105-1115 | European Forum Insight of 22 December 2016 | (Table of Contents) I. Introduction. - II. The Judgment of the Grand Chamber. - III.
Asier Garrido-Muñoz
doaj +1 more source
Lite: Jurnal Bahasa, Sastra, dan Budaya, 2022 This research examines idiomatic expressions found in the translation of Twain’s ‘The Adventures of Huckleberry Finn’ from English into Indonesian; identifies the characteristics of idiomatic expressions; and investigates translator’s decision to apply ...
Lutfia Hanim
doaj +1 more source
Non-commutative crepant resolutions: scenes from categorical geometry [PDF]
, 2011 Non-commutative crepant resolutions are algebraic objects defined by Van den Bergh to realize an equivalence of derived categories in birational geometry.
A. Morita Equivalence +1 more
core +4 more sources