Formal Analysis of Quantum Systems using Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of ...
Timothy A.S. Davidson +2 more
doaj +1 more source
A typology of lexical semantic relations between nominal lexemes of Slavic origin with identical roots in Serbian and Bulgarian (a comparative approach) [PDF]
Južnoslovenski Filolog, 2018 This paper discusses the semantic relations between common nouns of Slavic origin in contemporary Serbian and Bulgarian, as well as their phonological and prosodic adaptations and integrations in the respective lexical systems.
Aleksić Mariana Z.
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
Algebraic Structure of Combined Traces [PDF]
Logical Methods in Computer Science, 2013 Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are able to capture
Lukasz Mikulski
doaj +1 more source
Study the Reasons for Translators’ Slippage in the Translation Referential Meaning (A Case Study of the Translation the Second Volume of the Book Al- Ayyam) [PDF]
پژوهشهای ترجمه در زبان و ادبیات عربی, 2023 Keywords: Book of Al-Ayyam, Taha Hossein, Khadiv Jam, Al-Ayyam Translating, Referential Meaning, Slippage in theReferential Meaning.IntroductionWhether we consider the translation unit as a word, a sentence, a text, or even a concept, the quest for ...
Horiyeh Kokabi Dana, Ali Saedavi
doaj +1 more source
Transactions of the Association for Computational Linguistics, 2021 Language models trained on billions of tokens have recently led to unprecedented results on many NLP tasks. This success raises the question of whether, in principle, a system can ever “understand” raw text without access to some form of grounding.
William Merrill +3 more
doaj +1 more source
A case study of the euphemism of Nahj al-Balaghah based on the model of Carmen Garces [In Persian] [PDF]
آموزش زبان، ادبیات و زبانشناسی, 2021 This study seeks to answer the question of how Persian translations of the euphemisms of Nahj al-Balaghah have been presented using the second level of the Garcés translation evaluation model - the syntactic level of lexicography by a comparative ...
Tahereh Mohseni +1 more
doaj +1 more source
Some binominal size noun constructions in English and French: a contrastive corpus-based perspective
NJES: Nordic Journal of English studies, 2015 This paper compares binominal size noun constructions in English and French from a contrastive perspective based on analysis of parallel and monolingual corpus data.
Lieselotte Brems
doaj +1 more source
An Analytical Study of the Translations of Genesis 1:26-27 in the Akuapem-Twi Bible
Journal of Mother-Tongue Biblical Hermeneutics and Theology, 2022 In Ghana, the Western missionaries who introduced Christianity into the country reduced some Ghanaian languages into written form and then translated the Bible into these languages.
Emmanuel Twumasi-Ankrah +3 more
doaj +1 more source
Computing with Infinite Objects: the Gray Code Case [PDF]
Logical Methods in Computer Science, 2023 Infinite Gray code has been introduced by Tsuiki as a redundancy-free representation of the reals. In applications the signed digit representation is mostly used which has maximal redundancy.
Dieter Spreen, Ulrich Berger
doaj +1 more source