Results 21 to 30 of about 1,456,568 (303)

General formalism of the quantum equivalence principle

open access: yesCommunications Physics, 2023
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)

open access: yesStudia Ceranea, 2023
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]

open access: yesMağallaẗ Kulliyyaẗ Al-Adāb Bi-Qinā
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

open access: yesFrontiers in Neurorobotics, 2018
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

open access: yesMathematics, 2021
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

open access: yesActa Theologica, 2002
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

open access: yesAxioms, 2023
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]

open access: yes, 2013
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]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2010
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]

open access: yes, 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

Home - About - Disclaimer - Privacy