RTL2RTL Formal Equivalence: Boosting the Design Confidence [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster design and validation closure. This in turn enforces novel ways of identifying and debugging behavioral inconsistencies early in the design cycle.
M V Achutha Kiran Kumar +2 more
openaire +4 more sources
A Critical Examination of the Translation Philosophy of the Asante-Twi Bible [PDF]
E-Journal of Humanities, Arts and Social Sciences, 2023 Bible translation activities have been documented since the return of the Jewish people from the Babylonian captivity in the period of the 5th century BCE (Before the Common Era).
Yaw Worae +1 more
doaj +1 more source
A Study of Nida’s (1964) Types of Equivalence in Three English Translations of Letters 40 to 60 of Nahj-al-balagheh [In English] [PDF]
آموزش زبان، ادبیات و زبانشناسی, 2022 The main objective of this study is to probe into the issue of equivalency in three translations of Nahj-al-balagheh. More specifically, it is aimed to find out if there was any significant difference between dynamic and formal types of equivalence in ...
Samad Mirza Suzani +1 more
doaj +1 more source
Model of the decryption and model of the abbreviation formal diversity in the abbreviation group “auto-” [PDF]
Актуальные проблемы филологии и педагогической лингвистики, 2020 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
Exploring Best Approaches to Bible Translation for Native and Non-Native English Speakers
E-Journal of Religious and Theological Studies, 2022 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
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]
Антиномии, 2020 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
Półrocznik Językoznawczy Tertium, 2020 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
Deviant language in the literary dialogue: An English–Romanian translational view
Open Linguistics, 2022 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 TRANSLATION OF CIVIL AVIATION SAFETY REGULATION PART 170 AIR TRAFFIC RULES INTO INDONESIAN
Ideas, 2019 The background of this research was based on the continued development of international aviation in the world which was a challenge for the translator to find an equivalent sentence.
Sylvia Tiara +3 more
doaj +1 more source
Model-Checking Process Equivalences [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 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