Log in

Relevant bibliographies by topics / Substitution Semantics / Journal articles

To see the other types of publications on this topic, follow the link: Substitution Semantics.

Journal articles on the topic 'Substitution Semantics'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Substitution Semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Poutiainen, Hannu. "Self-Re-Interpretations (Of the Trace): From Restricted to General Substitutability." Derrida Today 8, no. 2 (November 2015): 156–74. http://dx.doi.org/10.3366/drt.2015.0108.

Full text

Abstract:

This article elaborates on Christopher Norris's claim that certain aspects of Derrida's work are amenable to formalisation in modal-logical terms. Norris contends that any adequate analysis of the logic behind Derrida's work must provide an account of the notions of possibility, necessity, and necessary possibility, particularly as they are related to Derrida's notion of iterability. This article examines the further hypothesis that Derrida's understanding of modality, according to which possibilities must be accounted for even if they are never realised, might even better be described in term

APA, Harvard, Vancouver, ISO, and other styles

2

Tretyakova, Irina Y. "Peculiarities of occasional substitution in phraseological units with a colour-component." Verhnevolzhski Philological Bulletin 2, no. 25 (2021): 55–63. http://dx.doi.org/10.20323/2499-9679-2021-2-25-55-63.

Full text

Abstract:

The article is devoted to occasional transformations of phraseological units in the modern Russian language. The relevance of the study is based on the attention of scientists to the problems of variability of language units in speech. The novelty of the study is based on insufficient knowledge about transformation capacity of idioms from various thematic, phraseological and semantic groups and fields. One of the groups unites idioms with the colour-component featuring semantic peculiarities, which determine specific transforming processes. The article studies transformations of phraseological

APA, Harvard, Vancouver, ISO, and other styles

3

BOUDOL, GÉRARD, PIERRE-LOUIS CURIEN, and CAROLINA LAVATELLI. "A semantics for lambda calculi with resources." Mathematical Structures in Computer Science 9, no. 4 (August 1999): 437–82. http://dx.doi.org/10.1017/s0960129599002893.

Full text

Abstract:

We present the λ-calculus with resources λr, and two variants of it: a deterministic restriction λm and an extension λcr with a convergence testing operator. These calculi provide a control on the substitution process – deadlocks may arise if not enough resources are available to carry out all the substitutions needed to pursue a computation. The design of these calculi was motivated by Milner's encoding of the λ-calculus in the π-calculus. As Boudol and Laneve have shown elsewhere, the discriminating power of λm (given by the contextual observational equivalence) over λ-terms coincides with t

APA, Harvard, Vancouver, ISO, and other styles

4

Yamasaki, Susumu, Mikio Yoshida, and Shuji Doshita. "A fixpoint semantics of Horn sentences based on substitution sets." Theoretical Computer Science 51, no. 3 (1987): 309–24. http://dx.doi.org/10.1016/0304-3975(87)90039-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

AHRENS, BENEDIKT. "Modules over relative monads for syntax and semantics." Mathematical Structures in Computer Science 26, no. 1 (December 5, 2014): 3–37. http://dx.doi.org/10.1017/s0960129514000103.

Full text

Abstract:

We give an algebraic characterization of the syntax and semantics of a class of untyped functional programming languages.To this end, we introduce a notion of 2-signature: such a signature specifies not only the terms of a language, but also reduction rules on those terms. To any 2-signature (S, A) we associate a category of ‘models’. We then prove that this category has an initial object, which integrates the terms freely generated by S, and which is equipped with reductions according to the rules given in A. We call this initial object the programming language generated by (S, A). Models of

APA, Harvard, Vancouver, ISO, and other styles

6

KAMAREDDINE, FAIROUZ. "THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES." International Journal of Foundations of Computer Science 09, no. 03 (September 1998): 321–49. http://dx.doi.org/10.1142/s0129054198000210.

Full text

Abstract:

We show the soundness of a λ-calculus ℬ where de Bruijn indices are used, substitution is explicit, and reduction is step-wise. This is done by interpreting ℬ in the classical calculus where the explicit substitution becomes implicit and de Bruijn indices become named variables. This is the first flat semantics of explicit substitution and step-wise reduction and the first clear account of exactly when α-reduction is needed.

APA, Harvard, Vancouver, ISO, and other styles

7

GORDON, ANDREW D., PAUL D. HANKIN, and SØREN B. LASSEN. "Compilation and equivalence of imperative objects." Journal of Functional Programming 9, no. 4 (July 1999): 373–426. http://dx.doi.org/10.1017/s0956796899003482.

Full text

Abstract:

We adopt the untyped imperative object calculus of Abadi and Cardelli as a minimal setting in which to study problems of compilation and program equivalence that arise when compiling object-oriented languages. We present both a big-step and a small-step substitution-based operational semantics for the calculus. Our first two results are theorems asserting the equivalence of our substitution-based semantics with a closure-based semantics like that given by Abadi and Cardelli. Our third result is a direct proof of the correctness of compilation to a stack-based abstract machine via a small-step

APA, Harvard, Vancouver, ISO, and other styles

8

Maziarz, Marek, Stanisław Szpakowicz, and Maciej Piasecki. "Semantic relations among adjectives in Polish WordNet 2.0: a new relation set, discussion and evaluation." Cognitive Studies | Études cognitives, no. 12 (November 24, 2015): 149–79. http://dx.doi.org/10.11649/cs.2012.011.

Full text

Abstract:

Semantic relations among adjectives in Polish WordNet 2.0: a new relation set, discussion and evaluationAdjectives in wordnets are often neglected: there are many fewer of them than nouns, and relations among them are sometimes not as varied as those among nouns or verbs. Polish WordNet 1.0 was no exception. Version 2.0 aims to correct that. We present an overview of a much larger set of lexical-semantic relations which connect adjectives to the other parts of the network. Our choice of relations has been motivated by linguistic considerations, especially the concerns of the Polish lexical sem

APA, Harvard, Vancouver, ISO, and other styles

9

Fontaine, Matthieu. "Singular Terms, Identity, and the Creation of Fictional Characters." Disputatio 11, no. 54 (December 1, 2019): 207–29. http://dx.doi.org/10.2478/disp-2019-0017.

Full text

Abstract:

Abstract How to interpret singular terms in fiction? In this paper, we address this semantic question from the perspective of the Artifactual Theory of Fiction (ATF). According to the ATF, fictional characters exist as abstract artifacts created by their author, and preserved through the existence of copies of an original work and a competent readership. We pretend that a well-suited semantics for the ATF can be defined with respect to a modal framework by means of Hintikka’s world lines semantics. The question of the interpretation of proper names is asked in relation to two inference rules,

APA, Harvard, Vancouver, ISO, and other styles

10

Afanasyeva, Olesya. "Analysis Of Aspects Of Messages Hiding In Text Environments." Journal of KONBiN 34, no. 1 (September 1, 2015): 5–16. http://dx.doi.org/10.1515/jok-2015-0019.

Full text

Abstract:

Abstract In the work are researched problems, which arise during hiding of messages in text environments, being transmitted by electronic communication channels and the Internet. The analysis of selection of places in text environment (TE), which can be replaced by word from the message is performed. Selection and replacement of words in the text environment is implemented basing on semantic analysis of text fragment, consisting of the inserted word, and its environment in TE. For implementation of such analysis is used concept of semantic parameters of words coordination and semantic value of

APA, Harvard, Vancouver, ISO, and other styles

11

Elgedawy, Islam. "Web Services Conversation Adaptation Using Conditional Substitution Semantics of Application Domain Concepts." ISRN Software Engineering 2013 (October 9, 2013): 1–26. http://dx.doi.org/10.1155/2013/408267.

Full text

Abstract:

Internet of Services (IoS) vision allows users to allocate and consume different web services on the fly without any prior knowledge regarding the chosen services. Such chosen services should automatically interact with one another in a transparent manner to accomplish the required users' goals. As services are chosen on the fly, service conversations are not necessarily compatible due to incompatibilities between services signatures and/or conversation protocols, creating obstacles for realizing the IoS vision. One approach for overcoming this problem is to use conversation adapters. However,

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Y., Y. Zhang, Y. Zhou, and M. Zhang. "Knowledge Forgetting in Answer Set Programming." Journal of Artificial Intelligence Research 50 (May 19, 2014): 31–70. http://dx.doi.org/10.1613/jair.4297.

Full text

Abstract:

The ability of discarding or hiding irrelevant information has been recognized as an important feature for knowledge based systems, including answer set programming. The notion of strong equivalence in answer set programming plays an important role for different problems as it gives rise to a substitution principle and amounts to knowledge equivalence of logic programs. In this paper, we uniformly propose a semantic knowledge forgetting, called HT- and FLP-forgetting, for logic programs under stable model and FLP-stable model semantics, respectively. Our proposed knowledge forgetting discards

APA, Harvard, Vancouver, ISO, and other styles

13

Sidorova, Natal’ya A., and Elena V. Kurochkina. "Semantics of Value-Marked Discourse." Vestnik of Northern (Arctic) Federal University. Series Humanitarian and Social Sciences, no. 6 (December 15, 2020): 63–71. http://dx.doi.org/10.37482/2687-1505-v064.

Full text

Abstract:

This article aimed to assert the idea of value-definiteness of discourse semantics. Utterances and discourse based on the values of communicants or their ideas about values are here referred to as value-marked. The authors applied the value-activity system approach to the study of speech communication within the framework of the study on discourse semantics. The research is based on English and Russian utterances, in which the values of communicants are actualized explicitly. It was established that utterances of this type have a special property: they enable discourse semantics to replace the

APA, Harvard, Vancouver, ISO, and other styles

14

Gray, John W. "Semantics of the typed λ-calculus with substitution in a cartesian closed category". Journal of Pure and Applied Algebra 89, № 1-2 (жовтень 1993): 107–26. http://dx.doi.org/10.1016/0022-4049(93)90089-c.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

LE CHARLIER, BAUDOUIN, SABINA ROSSI, and PASCAL VAN HENTENRYCK. "Sequence-based abstract interpretation of Prolog." Theory and Practice of Logic Programming 2, no. 1 (December 18, 2001): 25–84. http://dx.doi.org/10.1017/s1471068402001114.

Full text

Abstract:

Abstract interpretation is a general methodology for systematic development of program analyses. An abstract interpretation framework is centered around a parametrized non-standard semantics that can be instantiated by various domains to approximate different program properties. Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practical considerations, notably making Prolog competitive with imperative languages, such frameworks fail to capture some of the control structur

APA, Harvard, Vancouver, ISO, and other styles

16

Torzhok, Albina, and Elena Voevoda. "Complex Syntactic Whole: the Use of Grammatical Forms of the Predicate for Expressing Communicative Intentions." Scientific Research and Development. Modern Communication Studies 3, no. 6 (December 17, 2014): 33–38. http://dx.doi.org/10.12737/7162.

Full text

Abstract:

The article considers the role of the grammatical forms of the predicate in expressing communicative intentions of the speaker within complex syntactic whole. Analyzing the specifics of substitution, the author points out that implicit substitution, or deletion, is made with the help of zero substitute, while explicit substitution or replacement, implies the use of the verb ‘to do’. This type of substitution exists as a separate grammatical phenomenon based on the opposition to the explicit form of the predicate. Auxiliary and modal verbs serve as mark

APA, Harvard, Vancouver, ISO, and other styles

17

Bakaytis, Igor I. "Attributive Characterization Sentences in Russian and German." NSU Vestnik. Series: Linguistics and Intercultural Communication 17, no. 4 (2019): 49–62. http://dx.doi.org/10.25205/1818-7935-2019-17-4-49-62.

Full text

Abstract:

One of the reasons for changes in translation of such sentences, as it seems to us, is the fact that standard characterization schemes in Russian and German have different semantic potentials, that is, meanings that can be implicitly represented in the characterization structure of one language cannot be rendered by a similar structure in another. The purpose of this contrastive study is therefore to find out how identical the characterization structures in Russian and German are from the point of view of semantic potential. To achieve this goal, we analyze the causes of changes in rendering a

APA, Harvard, Vancouver, ISO, and other styles

18

Kazmi, Ali. "Some Remarks on Indiscernibility." Canadian Journal of Philosophy Supplementary Volume 18 (1992): 167–78. http://dx.doi.org/10.1080/00455091.1992.10717302.

Full text

Abstract:

If α and α’ are distinct variables and ϕ and ϕ’ are open sentences of some language, where ϕ’ is the result of replacing one or more free occurrences of a in α with free occurrences of α’ in ϕ’, then a universal closure of ⌜(α=α’ → (ϕ → ϕ’))⌝, is an indiscernibility principle of that language. For instance, (1) is an indiscernibility principle.The existence of opaque constructions falsifies the familiar unrestricted principle of substitution which affirms that co-referential expressions are intersubstitutable in all contexts without change of truth-value. But indiscernibility principles are an

APA, Harvard, Vancouver, ISO, and other styles

19

CAVE, ANDREW, and BRIGITTE PIENTKA. "Mechanizing proofs with logical relations – Kripke-style." Mathematical Structures in Computer Science 28, no. 9 (August 2, 2018): 1606–38. http://dx.doi.org/10.1017/s0960129518000154.

Full text

Abstract:

Proofs with logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe two case studies using the proof environmentBeluga: First, we explain the mechanization of the weak normalization proof for the simply typed lambda-calculus; second, we outline how to mechanize the completeness proof of algorithmic equality for simply typed lambda-terms where we reason about logically equivalent terms. The development of these proofs inBelugarelies on three key ingredients: (1) we encode l

APA, Harvard, Vancouver, ISO, and other styles

20

De Penanros, Hélène. "'Cause' in question. About three ways of starving to death in Lithuanian." Baltic Linguistics 4 (December 31, 2013): 159–86. http://dx.doi.org/10.32798/bl.412.

Full text

Abstract:

The phrases mirti bad-u (‘to die hunger-ins.sg’), mirti iš bad-o (‘to die iš hunger-gen.sg’), mirti nuo bad-o (‘to die nuo hunger-gen.sg’) are generally considered to be synonymous ways to express a cause of death. Still, if the instrumental case, the preposition iš and the preposition nuo may be interchangeable without a difference of interpretation in this expression out of context, these three syntactic constructions cannot be considered equivalent: precise analysis of the contexts where these constructions occur shows that each construction corresponds to a specific semantic value, which d

APA, Harvard, Vancouver, ISO, and other styles

21

Taha, Walid, and Peter Wadler. "Special issue on Semantics, Applications, and Implementation of Program Generation." Journal of Functional Programming 10, no. 6 (November 2000): 627. http://dx.doi.org/10.1017/s0956796800003890.

Full text

Abstract:

Program generation has the prospect of being an integral part of a wide range of software development processes. Recent studies investigate different aspects of program generation systems, including their semantics, their applications, and their implementation. Existing theories and systems address both high-level (source) language and low-level (machine) language generation. A number of programming languages now support program generation and manipulation, with different goals, implementation techniques, and targeted at different applications. In this context, a PLI workshop dedicated to this

APA, Harvard, Vancouver, ISO, and other styles

22

CHEMLA, EMMANUEL, and PAUL ÉGRÉ. "SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY." Review of Symbolic Logic 12, no. 4 (February 15, 2019): 736–67. http://dx.doi.org/10.1017/s1755020318000503.

Full text

Abstract:

AbstractSuszko’s problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski’s structural constraints are relaxed. By so doing, Malinowski introduced a case of so-called mixed consequence, allowing the notion of a designated value to vary between the premises and the conclusions of an argument. In this article we give a more systematic perspecti

APA, Harvard, Vancouver, ISO, and other styles

23

ARNAUD, PIERRE J. L. "Target–error resemblance in French word substitution speech errors and the mental lexicon." Applied Psycholinguistics 20, no. 2 (June 1999): 269–87. http://dx.doi.org/10.1017/s0142716499002052.

Full text

Abstract:

The word substitution errors from a corpus of 2,400 French slips of the tongue were grouped into several categories: contaminational, semantic, formal, and mixed cases; substitutions of syntagmatic codependents also occurred. Semantic and formal substitutions involved a resemblance between target and error. In addition, all substitutions exhibited a strong degree of word class and gender identity. The various types of resemblance were analyzed with reference to three-layer models of lexicalization. They did not make a lemma layer necessary, but stronger evidence came from another error categor

APA, Harvard, Vancouver, ISO, and other styles

24

Khoroz, N. S. "Recent phraseological coinages of the COVID-19 period." Movoznavstvo 316, no. 1 (February 10, 2021): 46–59. http://dx.doi.org/10.33190/0027-2833-316-2021-1-004.

Full text

Abstract:

The spread of COVID-19 worldwide has caused certain processes in almost every language. In particular, in the Russian language, there is a phenomenon of adapting well-known fixed phrases to extra-lingual conditions (namely to the life of the country in quarantine) through their various transformations. It is a range of the transformed fixed phrases thematically related to the topic of coronavirus that have become the subject matter of this article. They have been systematized: a) considering the types of transformations applied to them (cases of structural and semantic transformations (substit

APA, Harvard, Vancouver, ISO, and other styles

25

Arkhanhelska, Alla M. "Transformational Potential of the Biblical Idiom “A Wolf in Sheep’s Clothing” in Modern Russian Speech." Vestnik Tomskogo gosudarstvennogo universiteta, no. 462 (2021): 5–13. http://dx.doi.org/10.17223/15617793/462/1.

Full text

Abstract:

The article deals with the defamiliarization of the biblical idiom “a wolf in sheep’s clothing” in the modern Russian media reality and speech, and with the transformational potential of this unit. Based on the transformational paradigm of the idiom “a wolf in sheep’s clothing” in the horizontal analytical dimension, the article aims to identify the incentives of its transformation (internal phraseological modelling) and formation according to the model (external phraseological modelling), to track its temporal and sociocultural markedness inscribing it into the cultural and ideological contex

APA, Harvard, Vancouver, ISO, and other styles

26

Bache, Carl. "The semantics of grammatical categories: a dialectical approach." Journal of Linguistics 21, no. 1 (March 1985): 51–77. http://dx.doi.org/10.1017/s0022226700010021.

Full text

Abstract:

In this paper I want to present a practical descriptive approach to the semantics of grammatical categories, especially of the binary type involving two forms only. In doing so, I hope to be able to attract the attention of linguists concerned with the structure of a comprehensive semantic theory of human language. Substitutional relations of a grammatical kind (as opposed to syntactic and lexical relations) are too often neglected in textbooks on modern semantics. For example, in Ruth Kempson's otherwise excellent introduction to semantic theory (Kempson, 1977), there is no mention of the sem

APA, Harvard, Vancouver, ISO, and other styles

27

Redkovska, T., and N. Grabovska. "VERBALIZATION OF ETHNOCULTURAL COMPONENT IN LEXICON OF SPANISH LANGUAGE." PROBLEMS OF SEMANTICS, PRAGMATICS AND COGNITIVE LINGUISTICS, no. 33 (2018): 100–110. http://dx.doi.org/10.17721/2663-6530.2018.33.07.

Full text

Abstract:

The article discusses some ways of ethnocultural component verbalization in the lexicon of the Spanish language. Current linguistic studies view language both as the main means of communication, and as an instrument of cognition of material and spiritual values inherent in various ethnic groups and cultures. Linguistic phenomena are examined from this perspective by a number of related disciplines, with ethnolinguistics and cultural linguistics being the most prominent in terms of the issues under study. The analysis of manifestations of culturally marked components verbalization in Spanish di

APA, Harvard, Vancouver, ISO, and other styles

28

Aini, Aldila Arin, Islamiah Bastiar, and Sumarlam Sumarlam. "KEMENANGAN DONALD TRUMP SEBAGAI PRESIDEN AMERIKA SERIKAT KE-45 MELALUI ANALISIS KONSTRUKSI KLAUSA RELATIF BAHASA INGGRIS DAN BAHASA INDONESIA SECARA SEMANTIS." Jurnal Penelitian Humaniora 18, no. 1 (March 14, 2017): 10. http://dx.doi.org/10.23917/humaniora.v18i1.3636.

Full text

Abstract:

This research aims (1) to comprehend the relative construction of English andIndonesia language on some texts relating to Donald Trump is elected as the 45thPresident of USA in 2016 semantically, and (2) to describe the analysis of relativeconstructive clauses between English and Indonesia language semantically. Theresearch method is descriptive qualitative. Meanwhile, method of collecting data isagih method and the techniques are substitution, expand, interuption, and mutation.Based on the texts relating to Donald Trump is elected as the President of USA in2016, it is found that the analysis

APA, Harvard, Vancouver, ISO, and other styles

29

COHN, NEIL. "Being explicit about the implicit: inference generating techniques in visual narrative." Language and Cognition 11, no. 1 (March 2019): 66–97. http://dx.doi.org/10.1017/langcog.2019.6.

Full text

Abstract:

abstractInference has long been acknowledged as a key aspect of comprehending narratives of all kinds, be they verbal discourse or visual narratives like comics and films. While both theoretical and empirical evidence points towards such inference generation in sequential images, most of these approaches remain at a fairly broad level. Few approaches have detailed the specific cues and constructions used to signal such inferences in the first place. This paper thereby outlines several specific entrenched constructions that motivate a reader to generate inference. These techniques include conne

APA, Harvard, Vancouver, ISO, and other styles

30

Green, Spence, Marie-Catherine de Marneffe, and Christopher D. Manning. "Parsing Models for Identifying Multiword Expressions." Computational Linguistics 39, no. 1 (March 2013): 195–227. http://dx.doi.org/10.1162/coli_a_00139.

Full text

Abstract:

Multiword expressions lie at the syntax/semantics interface and have motivated alternative theories of syntax like Construction Grammar. Until now, however, syntactic analysis and multiword expression identification have been modeled separately in natural language processing. We develop two structured prediction models for joint parsing and multiword expression identification. The first is based on context-free grammars and the second uses tree substitution grammars, a formalism that can store larger syntactic fragments. Our experiments show that both models can identify multiword expressions

APA, Harvard, Vancouver, ISO, and other styles

31

SADOVETS, O., and O. ORLOVSKA. "Textuality standards as a basis for linguistic analysis of english language texts." Current issues of linguistics and translation studies, no. 19 (October 30, 2020): 43–46. http://dx.doi.org/10.31891/2415-7929-2019-19-9.

Full text

Abstract:

The paper deals with the issue of linguistic analysis of English language texts on the basis of textuality standards which allow to carry out a complete analysis of the text and judge about its communicative value. The appropriateness of linguistic analysis of texts with the consideration of seven standards of textuality have been substantiated. These standards are: coherence (introduction of a new item in the text and subsequent referral to it by means of another item), cohesion (the ways in which components of the sentences in a text are mutually connected grammatically and lexically), inten

APA, Harvard, Vancouver, ISO, and other styles

32

Hosseinpour, Sahereh, Mir Mohammad Reza Alavi Milani, and Hüseyin Pehlivan. "A Step-by-Step Solution Methodology for Mathematical Expressions." Symmetry 10, no. 7 (July 15, 2018): 285. http://dx.doi.org/10.3390/sym10070285.

Full text

Abstract:

In this paper, we propose a methodology for the step-by-step solution of problems, which can be incorporated into a computer algebra system. Our main aim is to show all the intermediate evaluation steps of mathematical expressions from the start to the end of the solution. The first stage of the methodology covers the development of a formal grammar that describes the syntax and semantics of mathematical expressions. Using a compiler generation tool, the second stage produces a parser from the grammar description. The parser is used to convert a particular mathematical expression into an Abstr

APA, Harvard, Vancouver, ISO, and other styles

33

Ratri, Deasy Ade. "A Semantic Analysis of Metaphors Found In “Dream Theatre’s” Selected Lyrics." LUNAR 1, no. 02 (November 6, 2017): 10–22. http://dx.doi.org/10.36526/ln.v1i02.454.

Full text

Abstract:

Metaphor is an implicit comparison in which two unlike objects are compared by identification or substitution of one for the other to suggest common quality shared by the two. It is an implied analogy in which a word or phrase is applied to a person, object, idea or concept to which it is literally or semantically inapplicable. Many students in English Department are still confused in interpreting metaphors’ meaning whereas they have learned semantics. The research aims to find the types of metaphors which are used in Dream Theatre’s selected lyrics then interpret its contextual meaning. There

APA, Harvard, Vancouver, ISO, and other styles

34

WOLTRAN, STEFAN. "A common view on strong, uniform, and other notions of equivalence in answer-set programming." Theory and Practice of Logic Programming 8, no. 2 (March 2008): 217–34. http://dx.doi.org/10.1017/s1471068407003250.

Full text

Abstract:

AbstractLogic programming under the answer-set semantics nowadays deals with numerous different notions of program equivalence. This is due to the fact that equivalence for substitution (known as strong equivalence) and ordinary equivalence are different concepts. The former holds, given programs P and Q, iff P can be faithfully replaced by Q within any context R, while the latter holds iff P and Q provide the same output, that is, they have the same answer sets. Notions in between strong and ordinary equivalence have been introduced as theoretical tools to compare incomplete programs and are

APA, Harvard, Vancouver, ISO, and other styles

35

Aini, Aldila Arin, Islamiah Bastiar, and S. Sumarlam. "KEMENANGAN DONALD TRUMP SEBAGAI PRESIDEN AMERIKA SERIKAT KE-45 MELALUI ANALISIS KONSTRUKSI KLAUSA RELATIF BAHASA INGGRIS DAN BAHASA INDONESIA SECARA SEMANTIS." PRASASTI: Journal of Linguistics 3, no. 1 (April 19, 2018): 1. http://dx.doi.org/10.20961/prasasti.v3i1.19660.

Full text

Abstract:

<p><em>This research aims (1) to comprehend the relative construction of English and Indonesia language on some texts relating to Donald Trump is elected as the 45<sup>th</sup> President of USA in 2016 semantically, and (2) to describe the analysis of relative constructive clauses between English and Indonesia language semantically. The research method is descriptive qualitative. Meanwhile, method of collecting data is agih method and the techniques are substitution, expand, interuption, and mutation. Based on the texts relating to Donald Trump is elected as the Preside

APA, Harvard, Vancouver, ISO, and other styles

36

Siswoyo, Siswoyo. "Analisis Makna Gramatikal Jouken Hyougen To dan Tara dalam Drama Okuribito." LITE: Jurnal Bahasa, Sastra, dan Budaya 14, no. 2 (September 27, 2018): 166–85. http://dx.doi.org/10.33633/lite.v14i2.2328.

Full text

Abstract:

This thesis discusses the substitutions of to and tara conjunction terms of grammatical meaning occour in Okuribito drama. It aims to analyze the substitution of to and tara. The data analysis was conducted by using distributional qualitative method with syntactic and semantic design based on Suzuki Shinoruâ€™s theory. The results of reveal that to and tara conjunctions are mutually substitutable when they show the following meaning: general situation, habitual, hope, thought, and constancy. However, they are not mutually substitutable when they are used to show: assumption, permission, wish,

APA, Harvard, Vancouver, ISO, and other styles

37

MALETTI, ANDREAS. "RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA." International Journal of Foundations of Computer Science 16, no. 04 (August 2005): 723–41. http://dx.doi.org/10.1142/s012905410500325x.

Full text

Abstract:

Bottom-up tree series transducers (tst) over the semiring [Formula: see text] are implemented with the help of bottom-up weighted tree automata (wta) over an extension of [Formula: see text]. Therefore bottom-up [Formula: see text]-weighted tree automata ([Formula: see text]-wta) with [Formula: see text] a distributive Ω-algebra are introduced. A [Formula: see text]-wta is essentially a wta but uses as transition weight an operation symbol of the Ω-algebra [Formula: see text] instead of a semiring element. The given tst is implemented with the help of a [Formula: see text]-wta, essentially sho

APA, Harvard, Vancouver, ISO, and other styles

38

Aryanti, Uti. "Phonological Adaptation of Hokkien Loanwords in Indonesian." Eralingua: Jurnal Pendidikan Bahasa Asing dan Sastra 5, no. 1 (February 14, 2021): 250. http://dx.doi.org/10.26858/eralingua.v5i1.15887.

Full text

Abstract:

Abstract. The Chinese loan words in Indonesian mainly come from the Hokkien. Many scholars have studied the Hokkien loanwords in Indonesian, but they analyzed from the perspective of semantics and culture, and there is still little research on phonological adaptation. This research attempts to answer three questions, namely, what phonological adaptation do the Hokkien loanwords in Indonesian have in the process of being accepted? Are there sound correspondences between Hokkien loanwords in Indonesian? What are the phonological rules for phonological adaptation of Hokkien loanwords in Indonesia

APA, Harvard, Vancouver, ISO, and other styles

39

Kh., Kramarchuk. "FACTORS OF IMAGINATIVE AND SEMANTIC INVERSION OF ARCHETYPAL STRUCTURES OF CONSCIOUSNESS HUMAN AND OF THE ENVIRONMENT IN THE METHOD AND STYLE OF SOCREALISM." Vìsnik Nacìonalʹnogo unìversitetu "Lʹvìvsʹka polìtehnìka". Serìâ Arhìtektura 2, no. 2 (November 2020): 115–24. http://dx.doi.org/10.23939/sa2020.02.115.

Full text

Abstract:

Thіs article is an attempt to highlight the factors of formation in art of the method and style of total socialrealism as a method of substitution. The basic factors are the contradictions of the consciousness of the Russian ethnos, which are due to the inability of semantic essential distinction of the main oppositional categories of existence. The historical organicity of the Russian mentality in the socialist and communist forms of existence has revealed, as well as the historical organicity of the method of substitutions in the construction of antagonistic models of worldview. This method

APA, Harvard, Vancouver, ISO, and other styles

40

Campalani, P., A. Beccati, S. Mantovani, and P. Baumann. "TEMPORAL ANALYSIS OF ATMOSPHERIC DATA USING OPEN STANDARDS." ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences II-4 (April 23, 2014): 21–27. http://dx.doi.org/10.5194/isprsannals-ii-4-21-2014.

Full text

Abstract:

The continuous growth of remotely sensed data raises the need for efficient ways of accessing data archives. The classical model of accessing remote sensing (satellite) archives via distribution of large files is increasingly making way for a more dynamic and interactive data service. A challenge, though, is interoperability of such services, in particular when multi-dimensional data and advanced processing are involved. Individually crafted service interfaces typically do not allow substitution and combination of services. Open standards can provide a way forward if they are powerful enough t

APA, Harvard, Vancouver, ISO, and other styles

41

Ibrahim, Noha, Frédéric Le Mouël, and Stéphane Frénot. "Semantic service substitution in pervasive environments." International Journal of Services, Economics and Management 6, no. 4 (2014): 283. http://dx.doi.org/10.1504/ijsem.2014.068244.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Georgi, Geoff. "A propositional semantics for substitutional quantification." Philosophical Studies 172, no. 5 (June 20, 2014): 1183–200. http://dx.doi.org/10.1007/s11098-014-0343-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Grechanik, Sergei. "Polyprograms and Polyprogram Bisimulation." Modeling and Analysis of Information Systems 25, no. 5 (October 28, 2018): 534–48. http://dx.doi.org/10.18255/1818-1015-2018-5-534-548.

Full text

Abstract:

A polyprogram is a generalization of a program which admits multiple definitions of a single function. Such objects arise in different transformation systems, such as the Burstall-Darlington framework or equality saturation. In this paper, we introduce the notion of a polyprogram in a non-strict first-order functional language. We define denotational semantics for polyprograms and describe some possible transformations of polyprograms, namely we present several main transformations in two different styles: in the style of the Burstall-Darlington framework and in the style of equality saturatio

APA, Harvard, Vancouver, ISO, and other styles

44

Petrosyan, G., L. Ter-Vardanyan, and A. Gaboutchian. "MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W4 (May 10, 2017): 145–50. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017.

Full text

Abstract:

Biometric identification systems use given parameters and function on the basis of Colored Petri Nets as a modelling language developed for systems in which communication, synchronization and distributed resources play an important role. Colored Petri Nets combine the strengths of Classical Petri Nets with the power of a high-level programming language. Coloured Petri Nets have both, formal intuitive and graphical presentations. Graphical CPN model consists of a set of interacting modules which include a network of places, transitions and arcs. Mathematical representation has a well-defined sy

APA, Harvard, Vancouver, ISO, and other styles

45

RIESCO, ADRIÁN, and JUAN RODRÍGUEZ-HORTALÁ. "Singular and plural functions for functional logic programming." Theory and Practice of Logic Programming 14, no. 1 (May 17, 2012): 65–116. http://dx.doi.org/10.1017/s147106841200004x.

Full text

Abstract:

AbstractModern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs) as programs in order to define non-strict and non-deterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice. While the former is the standard choice of modern FLP languages, the latter lacks some basic properties – mainly compositionality – that have prevented its use in practical FLP systems. Traditionally it has been considered that call-time choice induces a si

APA, Harvard, Vancouver, ISO, and other styles

46

Goodhew, S. C., T. A. W. Visser, O. V. Lipp, and P. E. Dux. "Implicit semantic perception in object substitution masking." Journal of Vision 11, no. 11 (September 23, 2011): 161. http://dx.doi.org/10.1167/11.11.161.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Reiss, Jason E., and James E. Hoffman. "Object Substitution Masking Interferes With Semantic Processing." Psychological Science 17, no. 12 (December 2006): 1015–20. http://dx.doi.org/10.1111/j.1467-9280.2006.01820.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Goodhew, Stephanie C., Troy A. W. Visser, Ottmar V. Lipp, and Paul E. Dux. "Implicit semantic perception in object substitution masking." Cognition 118, no. 1 (January 2011): 130–34. http://dx.doi.org/10.1016/j.cognition.2010.10.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Więckowski, Bartosz. "Associative Substitutional Semantics and Quantified Modal Logic." Studia Logica 94, no. 1 (January 27, 2010): 105–38. http://dx.doi.org/10.1007/s11225-010-9222-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

McGregor, Karla K. "Use of Phonological Information in a Word-Finding Treatment for Children." Journal of Speech, Language, and Hearing Research 37, no. 6 (December 1994): 1381–93. http://dx.doi.org/10.1044/jshr.3706.1381.

Full text

Abstract:

Two children with word-finding deficits characterized largely by semantic substitutions participated in a treatment involving phonological information about target words. The treatment was motivated by models of naming where semantic information and phonological information are stored in independent ordered components. Given such models, it is possible to characterize some semantic word-finding substitutions as well as phonological word-finding substitutions as the result of breakdown at the level of the phonological output representation. The treatment was organized according to a single-subj

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!