Results 11 to 20 of about 256,327 (314)
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
Triadic Automata and Machines as Information Transformers
Information, 2020 Algorithms and abstract automata (abstract machines) are used to describe, model, explore and improve computers, cell phones, computer networks, such as the Internet, and processes in them.
Mark Burgin
doaj +1 more source
The Semantics of Heart: Translation Problems
ELOPE, 2005 Words hardly ever occur on their own, because they can hardly mean anything on their own, when asked about the meaning of an isolated word, in order to figure it out, what one does is try to place it in a context or use it in a collocation.
Hortensia Pârlog
doaj +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
Legal Translation in Algeria: The Justice Scales to The Test of Equivalence
Altralang Journal, 2023 Legal translation is a specialized area of translation that requires a deep understanding of legal systems, legal terminology, and the cultural context in which the legal document was created.
Adila BENAOUDA
doaj +1 more source
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 +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.
Hubert Comon-Lundh +5 more
core +1 more source