Results 31 to 40 of about 9,169,303 (329)
Cognitive neuroscience, 2020 Doerig and colleagues put forward the notion that we need hard and theory-neutral criteria by which to arbitrate between empirical (mechanistic) theories of consciousness.
Johannes Jacobus Fahrenfort, S. van Gaal
semanticscholar +1 more source
Physiological Correlates of Hypnotizability: Hypnotic Behaviour and Prognostic Role in Medicine
Brain Sciences, 2023 Studies in the field of experimental hypnosis highlighted the role of hypnotizability in the physiological variability of the general population.
Eleonora Malloggi +1 more
doaj +1 more source
On the nature of certainty equivalent functionals [PDF]
Journal of Mathematical Economics, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hennessy, David A., Lapan, Harvey E.
openaire +2 more sources
TRADUIRE LES CONTRATS DU DROIT FRANÇAIS PAR ÉQUIVALENCE FONCTIONNELLE/TRANSLATING FRENCH LAW CONTRACTS THROUGH FUNCTIONAL EQUIVALENCE/TRADUCEREA CONTRACTELOR DIN DREPTUL FRANCEZ PRIN INTERMEDIUL ECHIVALENȚEI FUNCȚIONALE [PDF]
Studii si Cercetari Filologice: Seria Limbi Straine Aplicate, 2020 The topic of this paper is represented by the translation of French contracts through functional equivalence. In the first part of the study, we present the avatars of the concept of equivalence in Translation Studies, the notion of dynamic equivalence
Carmen-Ecaterina Ciobâcă +1 more
doaj
Defining functions on equivalence classes [PDF]
ACM Transactions on Computational Logic, 2006 A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable. The elements of a quotient type are equivalence classes : sets of equivalent concrete values.
openaire +2 more sources
A contextual semantics for concurrent Haskell with futures [PDF]
, 2011 In this paper we analyze the semantics of a higher-order functional language with concurrent threads, monadic IO and synchronizing variables as in Concurrent Haskell. To assure declarativeness of concurrent programming we extend the language by implicit,
Sabel, David +3 more
core +1 more source
Deciding equivalence-based properties using constraint solving [PDF]
, 2013 Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Véronique Cortier +5 more
core +1 more source
Tydskrif vir Letterkunde, 2016 Translating extra-linguistic culture-bound concepts in Mofolo presents a daunting challenge to literary translators as such concepts require that the translator possess a substantial amount of knowledge and background of the Sesotho culture.
Mosisili Sebotsa
doaj +1 more source
Strategies for Rendering European Union Legal Terminology into Romanian [PDF]
PhilologiaThe article investigates the principal strategies used in the translation of European Union legal terms based on English–Romanian corpus. Owing to the multilingual character of the European Union and the principle of equal authenticity of all language ...
Gabriela ȘAGANEAN
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