Results 51 to 60 of about 1,496,296 (350)
There are many ways that could be done to introduce culture of a country to the international world, one of them is through translation works. This research is conducted by using qualitative approach and content analysis method.
Melliana, Nurul Fitriani, Yoga Pratama
doaj +1 more source
Experts claim that individual differences in children's formal understanding of mathematical equivalence have consequences for mathematics achievement; however, evidence is lacking. A prospective, longitudinal study was conducted with a diverse sample of
Nicole M. McNeil+4 more
semanticscholar +1 more source
Effect of problem-based learning tutor seniority on medical students’ emotions: an equivalence study
Background The effectiveness of peer learning has been recognized and discussed by many scholars, and implemented in the formal curriculums of medical schools internationally.
Osamu Nomura+4 more
doaj +1 more source
On the equivalence between real and siperfield 5D formalisms [PDF]
We explicitly prove the equivalence and construct a dictionary between two different supersymmetric formalisms for five-dimensional theories commonly used in the literature. One is the real formalism, which consists in doubling the number of degrees of freedom and then imposing reality constraints and the other is the usual superfield formalism.
David Diego, David Diego
openaire +4 more sources
Deciding equivalence-based properties using constraint solving [PDF]
Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Abadi+39 more
core +3 more sources
The Two Trends in the Sea of Bible Translation: Nowadays English Translations of the Bible [PDF]
The article analyses the nowadays situation in the English Bible translation: the enormous number of translations and the two main trends – formal equivalence (literal translation) and functional equivalence (idiomatical translation).
Olga Sushkova
doaj
On the semantic equivalence of language syntax formalisms
Abstract Several formalisms for language syntax specification exist in literature. In this paper, we prove that longstanding syntactical transformations between context-free grammars and algebraic signatures are adjoint functors and/or adjoint equivalences that preserve the abstract syntax of the generated terms.
Samuele Buro, Isabella Mastroeni
openaire +4 more sources
Proof of the equivalence theorem in the chiral lagrangian formalism [PDF]
A general proof of the equivalence theorem in electroweak theories with the symmetry breaking sector described by the chiral Lagrangian is given in the $R_ $ gauge by means of the Ward-Takahashi identities. The precise form of the theorem contains a modification factor $C_{mod}$ associated with each external Goldstone boson similar to that in the ...
Yu-Ping Kuang+4 more
openaire +4 more sources
Chiral Lagrangians for Baryons coupled to massive Spin-1 Fields [PDF]
We analyze the effective low--energy field theory of Goldstone bosons and baryons chirally coupled to massive spin--1 fields. We use the electromagnetic baryon form factors to demonstrate the formal equivalence between the vector and the tensor field ...
Borasoy, B., Meißner, Ulf-G.
core +2 more sources
Formal Verification of Fault-Tolerant Hardware Designs
Digital circuits for space applications can suffer from operation failures due to radiation effects. Error detection and mitigation techniques are widely accepted solutions to improve dependability of digital circuits under Single Event Upsets (SEUs) and
Luis Entrena+6 more
doaj +1 more source