General formalism of the quantum equivalence principle
Abstract A consistent theory of quantum gravity will require a fully quantum formulation of the classical equivalence principle. Such a formulation has been recently proposed in terms of the equality of the rest, inertial and gravitational mass operators, and for non-relativistic particles in a weak gravitational field.
Saurya Das +2 more
openaire +4 more sources
Translating the Slavonic Present Participles in the Early Romanian Psalters (16th Century)
It is often said that early Romanian biblical translations from Church Slavonic follow the source texts slavishly. This is believed to be especially true about the 16th century Romanian Psalters, a group of seven texts (both printed and hand-copied ...
Ion-Mihai Felea
doaj +1 more source
Proverbs as Representative of Ethics and Culture: An Analytical Study of Some English Proverbs and their Egyptian Colloquial Arabic Counterparts [PDF]
Translation is an effective tool for transferring ideas and concepts from one culture to another. Due to translation's great role in transmitting culture and ethics, the researcher chooses some English proverbs and their Egyptian Colloquial Arabic ...
داليا عبدالوهاب مسعود عبد الوهاب
doaj +1 more source
Affordance Equivalences in Robotics: A Formalism
Automatic knowledge grounding is still an open problem in cognitive robotics. Recent research in developmental robotics suggests that a robot's interaction with its environment is a valuable source for collecting such knowledge about the effects of robot's actions.
Mihai Andries +4 more
openaire +5 more sources
Identifying Non-Sublattice Equivalence Classes Induced by an Attribute Reduction in FCA
The detection of redundant or irrelevant variables (attributes) in datasets becomes essential in different frameworks, such as in Formal Concept Analysis (FCA).
Roberto G. Aragón +2 more
doaj +1 more source
Problems in the theoretical foundation of the functional-equivalent approach
The functional-equivalent approach to Bible translation is based on a specific view of communication, viz. that it is a process which takes place within a closed cultural circle. This view of communication results in a view of the Bible as a time-bound
G. J. C. Jordaan
doaj +1 more source
An Order-Theoretic Study on Formal Concept Analysis
This paper employs an order-theoretic framework to explore the intricacies of formal concepts. Initially, we establish a natural correspondence among formal contexts, preorders, and the resulting partially ordered sets (posets).
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
doaj +1 more source
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes ...
Véronique Cortier +5 more
core +1 more source
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior [PDF]
Several application domains require formal but flexible approaches to the comparison problem. Different process models that cannot be related by behavioral equivalences should be compared via a quantitative notion of similarity, which is usually achieved
Alessandro Aldini
doaj +1 more source
Trace Equivalence Decision: Negative Tests and Non-determinism [PDF]
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

