Results 11 to 20 of about 323,082 (307)
Tietze Equivalences as Weak Equivalences [PDF]
Applied Categorical Structures, 2021 A given monoid usually admits many presentations by generators and relations and the notion of Tietze equivalence characterizes when two presentations describe the same monoid: it is the case when one can transform one presentation into the other using the two families of so-called Tietze transformations.
Simon Henry, Samuel Mimram
openaire +5 more sources
Configuration equivalence is not equivalent to isomorphism [PDF]
International Journal of Algebra and Computation, 2017 Giving a condition for the amenability of groups, Rosenblatt and Willis first introduced the concept of configuration. From the beginning of the theory, the question whether the concept of configuration equivalence coincides with the concept of group isomorphism was posed.
Ali Rejali, Meisam Soleimani Malekan
openaire +4 more sources
The Review of Symbolic Logic, 2016 AbstractLogicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called ...
Thomas William Barrett, Hans Halvorson
openaire +3 more sources
Strong Equivalence of Qualitative Optimization Problems [PDF]
, 2013 We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences
Truszczyński, Miroslaw +2 more
core +3 more sources
Deciding equivalence-based properties using constraint solving [PDF]
, 2013 Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Véronique Cortier +5 more
core +1 more source
D-Equivalence and K-Equivalence [PDF]
Journal of Differential Geometry, 2002 Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. They are called {\it $D$-equivalent} if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories, while {\it $K$-equivalent} if they are birationally equivalent and the pull-backs of their canonical divisors to a common resolution ...
openaire +3 more sources
Comparative Cognition Research Demonstrates the Similarity between Humans and Other Animals
Animals, 2023 The field of comparative cognition represents the interface between the cognitive behavior of humans and other animals. In some cases, research demonstrates that other animals are capable of showing similar cognitive processes.
Thomas R. Zentall
doaj +1 more source
Bias and equivalence of the Strengths Use and Deficit Correction Questionnaire
SA Journal of Industrial Psychology, 2016 Orientation: For optimal outcomes, it is suggested that employees receive support from their organisation to use their strengths and improve their deficits.
Crizelle Els +2 more
doaj +1 more source
Equivalent relationships between indicators of underground mining of ore deposits
Горные науки и технологии, 2018 In connection with development of underground mining method and the need to combine the principles of resource saving and natural environment protection, the indicators of the cost/environmentally-effective ore mining techniques need to be understood. It
Vladimir I. Golik +2 more
doaj +1 more source
Four equivalent equivalences of reductions
Electronic Notes in Theoretical Computer Science, 2002 AbstractTwo co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations of such a notion of equivalence, based on permutation, standardisation, labelling and projection, respectively. We prove that the characterisations all yield the same
Vincent van Oostrom, Roel C. de Vrijer
openaire +4 more sources