Results 11 to 20 of about 32,620 (305)
Model of the decryption and model of the abbreviation formal diversity in the abbreviation group “auto-” [PDF]
The article deals with the principles of the analyses of the formal structure of the equivalence in the families of the equivalence of the compound abbreviations by the example of the abbreviation group “auto”. The relevance of the research is determined
Alamayrekh Yekaterina Yu.
doaj +1 more source
Knowledge Logic and Algebra of Formal Axiology: a Formal Axiomatic Epistemology Theory Sigma Used for Precise Defining the Exotic Condition Under Which Hume-and-Moore Doctrine of logically Unbridgeable Gap Between Statements of Being and Statements of Value is Falsified [PDF]
For the first time, in the formal axiomatic epistemology theory Sigma such a theorem is formally proved which means (in the precisely defined interpretation) that under the condition of knowledge a-priori-ness, a statement of formal-axiological ...
Vladimir O. Lobovikov
doaj +1 more source
Exploring Best Approaches to Bible Translation for Native and Non-Native English Speakers
From around the Reformation period to modern times, many English Bibles have been produced. In their production, many approaches have been employed. These approaches have been categorized in different ways by different scholars.
Babatunde Adekunle Ogunlana
doaj +1 more source
Deviant language in the literary dialogue: An English–Romanian translational view
Drawing on the scholarly acknowledgement regarding the experimental nature of dialogue in Modern and Postmodern literature, this article attempts at investigating the translatability of dialogic utterances displaying deviant language.
Arhire Mona
doaj +1 more source
The aim of this article is to analyse the scope of formal and dynamic equivalence in three press releases published by the European Commission in April 2020. The discussed press releases refer to the issue of the coronavirus pandemic and various measures
Marcelina Pietryga
doaj +1 more source
*-IDEALS AND FORMAL MORITA EQUIVALENCE OF *-ALGEBRAS [PDF]
Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of *-algebras over a ring [Formula: see text] which is the quadratic extension by i of an ordered ring [Formula: see text]. The goal of the present paper is twofold.
Bursztyn, Henrique, Waldmann, Stefan
openaire +3 more sources
This research examines idiomatic expressions found in the translation of Twain’s ‘The Adventures of Huckleberry Finn’ from English into Indonesian; identifies the characteristics of idiomatic expressions; and investigates translator’s decision to apply ...
Lutfia Hanim
doaj +1 more source
General formalism of the quantum equivalence principle
AbstractA 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
Model-Checking Process Equivalences [PDF]
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal ...
Martin Lange +2 more
doaj +1 more source
Checking the equivalence of two Boolean functions, or combinational circuits modeled as Boolean functions, is often desired when reliable and correct hardware components are required.
Wilayat Khan +3 more
doaj +1 more source

