Results 71 to 80 of about 5,536 (225)
Metaphor in the Z. Freud's Works
RUDN Journal of Language Studies, Semiotics and Semantics, 2011 The article treats economic metaphors in the medical sublanguage (medical LSP). There are analyzed two famous works by Z. Freud - «Jenseits des Lustprinzips» and «Das ökonomische Problem des Masochismus».
E M Kakzanova
doaj
Egzamin na tłumacza przysięgłego a normy przekładowe
Między Oryginałem a Przekładem, 2016 Sworn Translator Exam and Translation Norms: Example of the Specialized Terminology and Phraseology Benchmarks Applied to the Translations of Economic Texts from Polish to French This study deals with prescriptive norms applied to the national ...
Regina Solová
doaj +1 more source
Quantum Reality and Measurement: A Quantum Logical Approach
, 2010 The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state.
A. Einstein +20 more
core +1 more source
TERMINOLOGY SYSTEM DEVELOPMENT IN MARITIME SUBLANGUAGE
Naukovy Visnyk of South Ukrainian National Pedagogical University named after K. D. Ushynsky: Linguistic Sciences, 2023 The article examines the principles of maritime terms terminology formation, and provides their translation into Ukrainian. Under the conditions of the English-Ukrainian and Ukrainian-English dictionaries absence in the field of the maritime industry, the problem of scientific and technical literature translation, being a tool of intercultural ...
Tetiana Korolova +3 more
openaire +1 more source
Этническая культура, 2023 The work is devoted to the study of the vocabulary of youth groups in Yoshkar-Ola in 1980–1990. The purpose of this article is to characterize the local features of the language of Yoshkar-Ola youth unofficial groups. The research material was the jargon
Elena G. Tonkova, Elena S. Yarygina
doaj +1 more source
CTL and Equivalent Sublanguages of CTL [PDF]
, 1997 Specifications of finite state algorithms with a complex temporal behavior such as protocols or hardware systems are often given in temporal logics as e.g. CTL or CTL*. On the one hand, CTL offers in comparison to CTL* efficient model checking algorithms, but on the other hand, CTL seems to suffer from a limited expressiveness.
Klaus Schneider, D. Schmid
openaire +1 more source
Lambda: the ultimate sublanguage (experience report) [PDF]
Proceedings of the ACM on Programming Languages, 2019 We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.
Yallop, Jeremy, White, Leo
openaire +1 more source
Неофилология, 2020 The subject of this study is the structural and semantic organization of oil sphere abbreviations. The process of abbreviation is considered in accordance with the principle of language economy in the rapidly growing industry vocabulary in response to ...
S. V. Kalinina
doaj +1 more source
On conservativity of concurrent Haskell [PDF]
, 2011 The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case ...
Sabel, David (Dr.) +1 more
core +1 more source
Controlled generation in example-based machine translation [PDF]
, 2003 The theme of controlled translation is currently in vogue in the area of MT. Recent research (Sch¨aler et al., 2003; Carl, 2003) hypothesises that EBMT systems are perhaps best suited to this challenging task.
Gough, Nano, Way, Andy
core +2 more sources