Relevant bibliographies by topics / Structural Semantics

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Structural Semantics'

Author: Grafiati
Published: 4 June 2021
Last updated: 2 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Structural 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.

Journal articles on the topic "Structural Semantics"

1

Derevianko, V. "PRAGMATIC ASPECTS OF SEMANTICS OF TRANSFORMED PHRASES." Comparative studies of Slavic languages and literatures. In memory of Academician Leonid Bulakhovsky, no. 36 (2020): 13–24. http://dx.doi.org/10.17721/2075-437x.2020.36.02.

Full text
Abstract:
The article deals with the problem of pragmatic aspects of the semantics of transformed phrases. Functional-pragmatic features of transformed phrases are explored on examples of structural-semantic transformations of the distributionof the component composition. The structural analysis is presented and the formal features of the phraseological transformations updated by the spreading of the component composition is analyzed. An attempt to find out the causes and purposes of the authors using of the structural-semantic transformations of the component composition spreading of phrases and their influence on the phraseological significance is made in the article.In accordance with the author’s intentions, the pragmatic potential of phraseological transformations in the Czech opinion journalism is clarified. Comparing meaning of the actualized phraseological transformations with the values of phraseological invariants (based on the Czech National Corps), the author identified 5 types of the semantic landslides: 1) specification of semantics; 2) the literalization of semantics; 3) intensification of semantics; 4) expression of semantics; 5) explication of semantics. The pragmatic potential of phraseological semantics modeling is outlined.
APA, Harvard, Vancouver, ISO, and other styles
2

Cousot, Patrick, and Radhia Cousot. "Bi-inductive Structural Semantics." Electronic Notes in Theoretical Computer Science 192, no. 1 (October 2007): 29–44. http://dx.doi.org/10.1016/j.entcs.2007.08.015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cousot, Patrick, and Radhia Cousot. "Bi-inductive structural semantics." Information and Computation 207, no. 2 (February 2009): 258–83. http://dx.doi.org/10.1016/j.ic.2008.03.025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Johansen, Christian, and Olaf Owe. "Dynamic structural operational semantics." Journal of Logical and Algebraic Methods in Programming 107 (October 2019): 79–107. http://dx.doi.org/10.1016/j.jlamp.2019.05.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mosses, Peter D. "Modular structural operational semantics." Journal of Logic and Algebraic Programming 60-61 (July 2004): 195–228. http://dx.doi.org/10.1016/j.jlap.2004.03.008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Aceto, Luca, and Wan Fokkink. "Guesteditors'introduction:Specialissueon Structural Operational Semantics." Journal of Logic and Algebraic Programming 60-61 (July 2004): 1–2. http://dx.doi.org/10.1016/j.jlap.2004.03.010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Steingartner, William, and Valerie Novitzká. "Categorical model of structural operational semantics for imperative language." Journal of information and organizational sciences 40, no. 2 (December 9, 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.

Full text
Abstract:
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes. In our paper we present a new approach to structural operational semantics. We model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps. The advantage of using categorical model is its exact mathematical structure with many useful proved properties and its graphical illustration of program behavior as a path, i.e. a composition of morphisms. Our approach is able to accentuate dynamics of structural operational semantics. For simplicity, we assume that data are intuitively typed. Visualization and facility of our model is not only a new model of structural operational semantics of imperative programming languages but it can also serve for education purposes.
APA, Harvard, Vancouver, ISO, and other styles
8

Moradi, Mohammad, and MohammadReza Keyvanpour. "XML and Semantics." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 5 (October 1, 2015): 1174. http://dx.doi.org/10.11591/ijece.v5i5.pp1174-1179.

Full text
Abstract:
Since the early days of introducing eXtensible Markup Language (XML), owing to its expressive capabilities and flexibilities, it became the defacto standard for representing, storing, and interchanging data on the Web. Such features have made XML one of the building blocks of the Semantic Web. From another viewpoint, since XML documents could be considered from content, structural, and semantic aspects, leveraging their semantics is very useful and applicable in different domains. However, XML does not by itself introduce any built-in mechanisms for governing semantics. For this reason, many studies have been conducted on the representation of semantics within/from XML documents. This paper studies and discusses different aspects of the mentioned topic in the form of an overview with an emphasis on the state of semantics in XML and its presentation methods.
APA, Harvard, Vancouver, ISO, and other styles
9

Monelle, Raymond. "Structural Semantics and Instrumental Music." Music Analysis 10, no. 1/2 (March 1991): 73. http://dx.doi.org/10.2307/853999.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Haridi, Seif, Sverker Janson, and Catuscia Palamidessi. "Structural operational semantics for AKL." Future Generation Computer Systems 8, no. 4 (September 1992): 409–21. http://dx.doi.org/10.1016/0167-739x(92)90072-j.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Structural Semantics"

1

Sofroniou, Sofronis A. "Structural semantics of Byzantine Greek /." Nicosia : Kykkos research centre, 1989. http://catalogue.bnf.fr/ark:/12148/cb37492422s.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jackson, Stuart Andrew. "Representation grounding : investigating a connectionist procedural semantics for structural analogues." Thesis, University of Exeter, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.332929.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Staton, Samuel. "Name-passing process calculi : operational models and structural operational semantics." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Coleman, Joseph William. "Constructing a tractable reasoning framework upon a fine-grained structural operational semantics." Thesis, University of Newcastle upon Tyne, 2008. http://hdl.handle.net/10443/898.

Full text
Abstract:
The primary focus of this thesis is the semantic gap between a fine-grained structural operational semantics and a set of rely/guarantee-style development rules. The semantic gap is bridged by considering the development rules to be a part of the same logical framework as the operational semantics, and a set of soundness proofs show that the development rules, though making development easier for a developer, do not add any extra power to the logical framework as a whole. The soundness proofs given are constructed to take advantage of the structural nature of the language and its semantics; this allows for the addition of new development rules in a modular fashion. The particular language semantics allows for very fine-grained concurrency. The language itself includes a construct for nested parallel execution of statements, and the semantics is written so that statements can interfere with each other between individual variable reads. The language also includes an atomic block construct for which the semantics is an embodiment of a form of software transactional memory. The inclusion of the atomic construct helps illustrate the inherent expressive weakness present in the rely/guarantee rules with respect to termination properties. As such, two development rules are proposed for the atomic construct, one of which has serious restrictions in its application, and another for which the termination property does not hold.
APA, Harvard, Vancouver, ISO, and other styles
5

Da, Silva Fabio. "Correctness proofs of compilers and debuggers : an approach based on structural operational semantics." Thesis, University of Edinburgh, 1992. http://hdl.handle.net/1842/13542.

Full text
Abstract:
In this thesis we study the use of semantics-based formal methods in the specification and proof of correctness of compilers and debuggers. We use a Structural Operational Semantics as the basis for the specification of compilers and propose a notion of correctness based on an observational equivalence relation. We define program evaluation and a notion of evaluation step based on a Structural Operational Semantics and use these definitions as the basis for the specification of debuggers. Debugger correctness is then defined by an equivalence relation between a specification and an implementation of the debugger based on the bisimulation concept. The main results of this thesis are: a definition of a variant of Structural Operational Semantics, called Relational Semantics, which is the underlying formalism of this thesis; the definition of a notion of Observational Equivalence between Relational Semantics Specifications; a formulation of the problem of compiler correctness using Observational Equivalence; an evaluation model for programming languages and a definition of an evaluation step; an abstract definition of Interpreter-debuggers; a specification notation for the formal specification of debuggers, called DSL; a notion of equivalence between debuggers using bisimulation; a study on Compiler-debuggers and the problems involved in their definition. These results form a theory for the formal specification and proofs of correctness of compilers and debuggers. Our starting point is that the use of this theory helps in building better compilers and debuggers. It is our goal to provide theoretical foundations and tools to show that our methods are achievable.
APA, Harvard, Vancouver, ISO, and other styles
6

Toro-Bermudez, Mauricio. "Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14588/document.

Full text
Abstract:
La plupart des scénarios multimédia interactifs sont basés sur des spécifications informelles, il n'est donc pas possible de vérifier formellement des propriétés de ces systèmes. Nous préconisons la nécessité d'un modèle général et formel. Partitions interactives est un formalisme pour décrire des scénarios multimédia interactifs. Nous proposons une nouvelle sémantique pour les partitions interactives basée sur les structures d'événements temporisés. Avec une telle sémantique, nous pouvons spécifier des propriétés pour le système, en particulier, des propriétés sur les traces, qui sont difficiles à préciser avec la programmation par contraintes. Nous présentons également une sémantique opérationnelle des partitions interactives basée sur le calcul non-déterministe, temporisé, concurrent, par contraintes (ntcc) et nous rapportons la sémantique operationelle à la semantique en structures d'événements temporisés. Avec la sémantique opérationnelle, nous pouvons décrire formellement le comportement d'un scenario dont les durées des objets temporels peuvent être des intervalles d'entiers arbitraires. La sémantique opérationnelle est obtenue à partir de la sémantique en structures d'événements temporisés de la partition interactive. Pour fournir une telle traduction, nous avons d'abord défini la forme normale d'une structure d'événements temporisés, dans laquel les événements liés avec une durée zéro sont regroupés en un seul. Nous avons également défini la notion de structures d'événements temporisés répartissables, de telle sorte que son graphe de contraintes peut être expédié en se fondant uniquementsur la propagation locale. Nous croyons que la sémantique opérationnelle basée sur ntcc offre certains avantages par rapport à la sémantique des partitions interactives basée sur des réseaux de Petri; par exemple, les durées des objets temporels peuvent être des intervalles d'entiers arbitraires, tandis que dans la plupart des modèles de partitions interactives, les intervalles ne peut être utilisés que pour représenterles relations telles que l'égalité et les inégalités. Nos modèles ntcc de partitions interactives sont exécutés en utilisant Ntccrt, un interprète temps réel pour ntcc. Nos modèles peuvent également être vérifiés automatiquement en utilisant ntccMC, un vérificateur pour ntcc, de temps borné, basée sur les automates finis, que nous introduisons dans cette thèse. En utilisant ntccMC, nous pouvons vérifier des propriétés de logique de temps linéaire avec des contrantes (CLTL). Dans cette thèse, nous introduisons deux extensions du formalisme de partitions interactives:(1) l'une pour gérer le traitement audio en utilisant le langage de programmation français Faustet (2) l'autre pour traiter des condition et des branchements, permettant de spécifier des choix et des boucles. Pour la première extension, nous présentons une sémantique basée sur les structures d'événements temporisés et des idées sur la façon de définir une sémantique opérationnelle. Pour la deuxième extension, nous présentons une mise en oeuvre et la comparaison des résultats du jitter relative moyenne d'une implémentation d'un arpège base sur l'algorithme de Karplus-Strong par rapport aux implémentations existants écrits dans Pure Data. Nous définissons aussi un format de sauvegarde XML pour les partitions interactives et pour la extension avec branchement conditionnel. Un format de sauvegarde est crucial pour assurer la persistance des partitions
Technology has shaped the way on which we compose and produce music. Notably, the invention of microphones and computers pushed the development of new music styles in the 20th century. In fact, several artistic domains have been benefiting from such technology developments ; for instance, Experimental music, non-linear multimedia, Electroacoustic music, and interactive multimedia. In this dissertation, we focus on interactive multimedia.Interactive multimedia deals with the design of scenarios where multimedia content and interactive events are handled by computer programs. Examples of such scenarios are multimedia art installations, interactive museum exhibitions, some Electroacoustic music pieces, and some Experimental music pieces. Unfortunately, most interactive multimedia scenarios are based on informal specifications, thus it is not possible to formally verify properties of such systems. We advocate the need of a general and formal model. Interactive scores is a formalism to describe interactive multimedia scenarios. We propose new semantics for interactive scores based on timed eventstructures. With such a semantics, we can specify properties for the system, in particular, properties about traces, which are difficult to specify as constraints. In fact, constraints are an important part of the semantic model of interactive scores because the formalism is based on temporal constraints among the objects of the scenario. We also present an operational semantics of interactive scores based on the non-deterministic timed concurrent constraint (ntcc) calculus and we relate such a semantics to the timed event structures semantics. With the operational semantics, we formally describe the behavior of a score whose temporal object durations can be arbitrary integer intervals. The operational semantics is obtained from the timed event structures semantics of the score. To provide such a translation, we first define the normal form of a timed event structure in which events related with zero-duration delays are collapsed into a single one. We also define the notion of dispatchable timed event structures. Event structures such that its constraint graph can be dispatched by relying only on local propagation.We believe that operational semantics in ntcc offers some advantages over existing Petri nets semantics for interactive scores; for instance, the duration of the temporal objects can be arbitrary integer intervals, whereas inprevious models of interactive scores, such durations can only be intervals to represent equalities and inequalities. In this dissertation, we also introduce two extensions of the formalism of interactive scores : (1) one to handle audio processing using the Fast AUdio Stream (Faust) languageand (2) another one to handle conditional branching, allowing designers to specify choices and loops. For the first extension, we present a timed event structures semantics and ideas on how to define operational semantics. For the second extension, we present an implementation and results comparing the average relative jitter of an implementation ofan arpeggio based on Karplus-Strong with respect to existing implementations of Karplus written in Pure Data. We also define a XML file format for interactive scores and for the conditional branching extension. A file format is crucial to assure the persistence of the scores. Ntcc models of interactive scores are executed using Ntccrt, a real-time capable interpreter for ntcc. They can also be verified automatically using ntccMC, a bounded-time automata based model checker for ntcc which we introduce in this dissertation. Using ntccMC, we can verify properties expressed on constraint linear-time logic. Ntcc has been used in the past, not only for multimedia interaction models, but alsofor system biology, security protocols and robots
APA, Harvard, Vancouver, ISO, and other styles
7

Sarkar, Arkopaul. "Semantic Data Integration in Manufacturing Design with a Case Study of Structural Analysis." Ohio University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1407492780.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

NESTOR, Paulo Henrique do Espírito Santo. "Historiografia-linguística da semântica estrutural de Greimas." Universidade Federal de Goiás, 2012. http://repositorio.bc.ufg.br/tede/handle/tde/2405.

Full text
Abstract:
Made available in DSpace on 2014-07-29T16:19:04Z (GMT). No. of bitstreams: 1 Dissertacao Paulo H E S Nestor.pdf: 1361687 bytes, checksum: 5a8a47ade153030671e653f74c72b403 (MD5) Previous issue date: 2012-02-24
The studies of meaning brought many internal and external controversies to the Linguistics, since the early thoughts from Plato and Aristotle in the old Greece. In the twentieth century, such discussions were intensified and built a polarization, in which there were the ones who defended the relevance of the studies on meaning, and the ones who believed to be impossible to develop those researches. In addition, the Linguistic Historiography is the approach developed in this thesis, in order to interpret the work Structural Semantics` theoretical productivity from the author Algirdas Julien Greimas, one of the linguists who defended vehemently the importance and legitimacy of the meaning analysis. Moreover, this guideline is justified due to the pertinence of this work in the linguistics setting, highlighted in different texts that deal with it as a watershed in the language studies. The Strcutural Semantics was published for the first time in French (1966), and it portrays surprisingly many aspects concerning the existing ideas in that period related to the meaning. Perhaps, Greimas lived in the most productive moment for the language studies of the twentieth century. Furthermore, it was in this period that Course in General Linguistics (Ferdinad de Saussure), Prolegomena a Theory to Language (Louis Hjelmslev), Morphology of the Folktale (Vladimir Propp) etc were published. Besides, Greimas lived for a long time in France, the epicenter of many theoretical discussions concerning both, language (langue) and language (langage). Though, his writings were not only read in this country, but also in many others, such as, Brazil where the Structural Semantics started to be part of many articles, dissertations and thesis` references. The respective work made changes in the research contexts of meaning that went beyond the linguistic semantic field, not only about the object, but also to the meaning and no longer to the sign, concerning the method that was completely different from the ones used so far in the Linguistics
Os estudos da significação suscitaram várias controvérsias, internas e externas à linguística, desde as reflexões iniciais de Platão e Aristóteles na Grécia Antiga. No século XX, tais discussões se intensificaram e contruíram uma polarização, na qual havia os que defendiam a importância dos estudos da significação e os que acreditavam serem impossíveis tais pesquisas. Esta dissertação realiza uma abordagem historiográfico-linguistica que busca interpretar a produtividade teórica da obra Semântica estrutural, escrita por Algirdas Julien Greimas, um dos linguisticas que defenderam com maior veemência a relevância e a legitimidade do exame acerca da significação. Tal diretriz se justifica graças à pertinência dessa obra no cenário da linguística, evidenciada nos vários textos que a tratam como um divisor de águas nos estudos da linguagem. A semântica estrutural foi publicada pela primeira em francês (1966), trata-se de um texto revelador de vários aspectos concernentes às idéias existentes nesse período relacionadas à significação. Greimas viveu durante o período que, talvez, tenha sido o mais produtivo para os estudos da linguagem no século XX. Basta lembrar que nesse intervalo foram publicadas as obras: Cursos de linguistica geral (Ferdinand de Saussure), Prolegômenos a uma teoria da linguagem (Louis Hjelmslev), muito tempo na França, epicentro da ebulição de várias discussões teóricas relativas à linguagem e à língua. Porém, seus escritos não circularam apenas nesse país, chegaram a vários outros, inclusive no Brasil, onde a Semântica estrutural passou a fazer parte de muitas bibliografias de artigos, dissertações e teses. A respectiva obra causou alterações no contexto das pesquisas acerca da significação que repercutiram além do âmbito próprio da semântica linguística, tanto no que se diz respeito ao objeto a significação e não mais o signo, quanto no que se refere ao médico, que se diferenciava drasticamente dos utilizados, até entaõ, em linguística.
APA, Harvard, Vancouver, ISO, and other styles
9

Alvares, Cláudia Assad. "O discurso paradoxal de Vieira no \'Sermão pelo bom sucesso das Armas de Portugal contra as de Holanda\'." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/8/8142/tde-26022008-140441/.

Full text
Abstract:
Nesta tese, discutem-se, dentre outros, os conceitos de \"auditório universal\", de Perelman (2000); o de \"contrato de comunicação\", de Charaudeau (1992); os conceitos de duplo vínculo e enquadres, propostos por Bateson (1972), e abre-se também espaço para os principais tipos de paradoxos. Nela apresentase ainda a teoria dos semas e de sua combinatória, segundo Langendoen (1971), e, finalmente, analisa-se o sermão pelo Bom sucesso das armas de Portugal contra as de Holanda. O trabalho tem por objetivo evidenciar que o discurso religioso do Padre Antônio Vieira, no Sermão Pelo bom sucesso das armas de Portugal contra as de Holanda, é um discurso paradoxal porque desconstrói a si próprio. Para atingir tal propósito, confrontam-se os argumentos de que Vieira faz uso para dirigir-se a Deus, no referido sermão, com os textos das Sagradas Escrituras; analisa-se a argumentatividade das formas nominais do verbo, com ênfase particular na estrutura do gerúndio, enquanto ato ilocucional, a partir do Sermão da Sexagésima, e descreve-se um tipo de paradoxo pragmático: a roda argumentativa.
In this thesis, among others, the concepts of \"universal auditorium\", from Perelman (2000); \"communication contract\", from Charaudeau (1992); the concepts of double bind and frames, proposed by Bateson (1972) are discussed, and room is opened for the main types of paradox. In this one, the theory of semantic traits and its combinatory, according to Langedoen (1971) is also presented and, finally, the sermon For the good success of Portugal\'s weapons against Holland\'s is analyzed. The work has as a scope to evidence that the religious speech from Father Antônio Vieira, at the sermon For the good success of Portugal\'s weapons against Holland\'s, is a paradoxal speech for it unbuilds itself. To reach such purpose, the arguments Vieira uses to address God are confronted, at the referred sermon, with the Holy Scriptures\' texts; the argumentativity of the nominal forms of the verbs is analyzed, with particular emphasis on the structure of the gerund, as an illocutionary act, starting from Sermon of the Sixtieth, and a kind of pragmatic paradox is created: the argumentative round.
APA, Harvard, Vancouver, ISO, and other styles
10

Bazhar, Youness. "Extension des systèmes de métamodélisation persistant avec la sémantique comportementale." Phd thesis, ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2013. http://tel.archives-ouvertes.fr/tel-00939900.

Full text
Abstract:
L'Ingénierie Dirigée par les Modèles (IDM) a suscité un grand intérêt grâce aux avantages qu'elle offre. Enparticulier, l'IDM vise à accélérer le processus de développement et à faciliter la maintenance des logiciels. Mais avecl'augmentation permanente de la taille des modèles et de leurs instances, l'exploitation des modèles et de leurs instances,en utilisant des outils classiques présente des insuffisances liées au passage à l'échelle. L'utilisation des bases de donnéesest une des solutions proposées pour répondre à ce problème. Dans ce contexte, deux approches ont été proposées. Lapremière consiste à équiper les outils de modélisation avec des bases de données dédiées au stockage de modèles,appelées model repositories (p. ex. EMFStore). Ces bases de données sont équipées de langages d'exploitation limitésseulement à l'interrogation des modèles et des instances. Par conséquent, ces langages n'offrent aucune capacité poureffectuer des opérations avancées sur les modèles telles que la transformation de modèles ou la génération de code. Ladeuxième approche, que nous suivons dans notre travail, consiste à définir des environnements persistants en base dedonnées dédiés à la méta-modélisation. Ces environnements sont appelés systèmes de méta-modélisation persistants(PMMS). Un PMMS consiste en (i) une base de données dédiée au stockage des méta-modèles, des modèles et de leursinstances, et (ii) un langage d'exploitation associé possédant des capacités de méta-modélisation et d'exploitation desmodèles. Plusieurs PMMS ont été proposés tels que ConceptBase ou OntoDB/OntoQL. Ces PMMS supportentprincipalement la définition de la sémantique structurelle et descriptive des méta-modèles et des modèles en terme de(méta-)classes, (méta-)attributs, etc. Par contre, ces PMMS fournissent des mécanismes limités pour définir la sémantiquecomportementale nécessaire à l'exploitation des modèles et des instances. En effet, la sémantique comportementalepourrait être utile pour calculer des concepts dérivés, effectuer des transformations de modèles, générer du code source,etc. Ainsi, nous proposons dans notre travail d'étendre les PMMS avec la possibilité d'introduire dynamiquement desopérations qui peuvent être implémentées en utilisant des mécanismes hétérogènes. Ces opérations peuvent ainsi utiliserdes mécanismes internes au système de gestion de base de données (p. ex. les procédures stockées) tout comme desmécanismes externes tels que les services web ou les programmes externes (p. ex. Java, C++). Cette extension permetd'améliorer les PMMS en leur donnant une plus large couverture de fonctionnalités et une plus grande flexibilité. Pourvalider notre proposition, elle a été implémentée sur le prototype OntoDB/OntoQ et a été mise en oeuvre dans troiscontextes différents : (1) pour calculer les concepts dérivés dans les bases de données à base ontologique, (2) pouraméliorer une méthodologie de conception de base de données à base ontologique et finalement (3) pour faire de latransformation et de l'analyse des modèles des systèmes embarqués temps réel.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Structural Semantics"

1

Gill, Harjeet Singh. Structural semantics. New Delhi: Bahri Publications, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sofroniou, Sofronios Agathocli. Structural semantics of Byzantine Greek. Nicosia: Kykkos Research Centre, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hennessy, Matthew. The semantics of programming languages: An elementary introduction using structural operational semantics. Chichester [England]: Wiley, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Benedetti, Giulio. The fundamental structural elements of language: Operational semantics. Hauppauge, N.Y: Nova Science Publishers, Inc., 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hüttel, Hans. Transitions and trees: An introduction to structural operational semantics. Cambridge: Cambridge University Press, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

V, T͡Selishchev V., ed. Lingvistika i strukturnai͡a semantika. Novosibirsk: Izd-vo "Nauka," Sibirskoe otd-nie, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Stalmaszczyk, Piotr. Structural predication in generative grammar. Łódź: Wydawn. Uniwersytetu Łódzkiego, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zorman, Marina. O sinonimiji. Ljubljana: Znanstveni inštitut Filozofske fakultete, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Golʹdberg, V. B. Strukturnye svi͡a︡zi v leksiko-semanticheskom pole i͡a︡zyka: Na materiale russkogo i angliĭskogo leksiko-frazeologicheskogo poli͡a︡ "biologicheskoe sushchestvovanie cheloveka" : monografii͡a︡. Tambov: Izd-vo TGU, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Khrolenko, A. T. Semantika folʹklornogo slova. Voronezh: Izd-vo Voronezhskogo universiteta, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Structural Semantics"

1

Fokkink, Wan. "Structural Operational Semantics." In Introduction to Process Algebra, 119–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-04293-9_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Peregrin, Jaroslav. "Structural Linguistics and Formal Semantics." In Prague Linguistic Circle Papers / Travaux du cercle linguistique de Prague N.S., 85. Amsterdam: John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/plcp.1.10per.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Klin, Bartek. "Structural Operational Semantics for Weighted Transition Systems." In Semantics and Algebraic Specification, 121–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04164-8_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Shafiei, Mohammad. "A Phenomenological Analysis of the Distinction Between Structural Rules and Particle Rules in Dialogical Logic." In Constructive Semantics, 85–94. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-21313-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fábregas, Antonio. "Structural Sensitivity as an Argument for Semantic Underspecification." In Semantics of Complex Words, 217–40. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-14102-2_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Aceto, Luca, Álvaro García-Pérez, and Anna Ingólfsdóttir. "Rule Formats for Bounded Nondeterminism in Structural Operational Semantics." In Semantics, Logics, and Calculi, 313–43. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27810-0_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Widemann, Baltasar Trancón y. "Structural Operational Semantics for Cellular Automata." In Lecture Notes in Computer Science, 184–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33350-7_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Andrei, Oana, Gabriel Ciobanu, and Dorel Lucanu. "Structural Operational Semantics of P Systems." In Membrane Computing, 31–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11603047_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Johansen, Christian, and Olaf Owe. "Summary of: Dynamic Structural Operational Semantics." In Lecture Notes in Computer Science, 525–28. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34968-4_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mousavi, MohammadReza, and Michel A. Reniers. "Orthogonal Extensions in Structural Operational Semantics." In Automata, Languages and Programming, 1214–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11523468_98.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Structural Semantics"

1

Papadimitriou, Christos H., and Mihalis Yannakakis. "Tie-breaking semantics and structural totality." In the eleventh ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1992. http://dx.doi.org/10.1145/137097.137103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

weiyu, Yu, Yu yinglin, and Xie shengli. "A Novel Image Structural Semantics Modeling." In 2006 International Conference on Communications, Circuits and Systems. IEEE, 2006. http://dx.doi.org/10.1109/icccas.2006.284594.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mosses, Peter D. "Exploiting labels in Structural Operational Semantics." In the 2004 ACM symposium. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/967900.968195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Шамилева, Разета Дадуевна, and Зара Алвиевна Алиева. "STRUCTURAL AND SEMANTIC PECULIARITIES OF ENGLISH ZOONYMIC PHRASEOLOGICAL UNITS." In Сборник избранных статей по материалам научных конференций ГНИИ «Нацразвитие» (Санкт-Петербург, Июль 2021). Crossref, 2021. http://dx.doi.org/10.37539/july318.2021.76.39.004.

Full text
Abstract:
Статья представляет результаты структурного и семантического анализа зоонимических фразеологизмов английского языка. С точки зрения семантики все фразеологизмы поделены на две большие группы (c домашними и дикими животными); проанализированы способы образования фразеологизмов с компонентом-зоонимом, представлен семантический анализ фразеологизмов с наиболее частотными номинантами-зоонимами. The article presents the results of a structural and semantic analysis of zoonymic phraseological units of the English language. From the point of view of semantics, all phraseological units are divided into two large groups (with domestic and wild animals); methods of forming phraseological units with a zoonym component are analyzed. The article presents a semantic analysis of phraseological units with the most frequent nominees-zoonyms.
APA, Harvard, Vancouver, ISO, and other styles
5

Al Farook, Abdullah, Mohammad Shamsul Arefin, and Md Moshiul Hoque. "Structural operational semantics of packages in Java." In 2008 11th International Conference on Computer and Information Technology (ICCIT). IEEE, 2008. http://dx.doi.org/10.1109/iccitechn.2008.4803025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Staton, Sam. "General Structural Operational Semantics through Categorical Logic." In 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.43.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Yu weiyu. "A Model of Structural Semantics of Image." In 2006 IEEE International Conference on Service Operations and Logistics, and Informatics. IEEE, 2006. http://dx.doi.org/10.1109/soli.2006.236010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

weiyu, Yu, Jiang yuanjiao, and Yu yinglin. "A Model of Structural Semantics of Image." In 2006 IEEE International Conference on Service Operations and Logistics, and Informatics. IEEE, 2006. http://dx.doi.org/10.1109/soli.2006.329035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Srivastava, Shashank, Amos Azaria, and Tom Mitchell. "Parsing Natural Language Conversations using Contextual Cues." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/571.

Full text
Abstract:
In this work, we focus on semantic parsing of natural language conversations. Most existing methods for semantic parsing are based on understanding the semantics of a single sentence at a time. However, understanding conversations also requires an understanding of conversational context and discourse structure across sentences. We formulate semantic parsing of conversations as a structured prediction task, incorporating structural features that model the `flow of discourse' across sequences of utterances. We create a dataset for semantic parsing of conversations, consisting of 113 real-life sequences of interactions of human users with an automated email assistant. The data contains 4759 natural language statements paired with annotated logical forms. Our approach yields significant gains in performance over traditional semantic parsing.
APA, Harvard, Vancouver, ISO, and other styles
10

Saïdouni, Djamel Eddine, Nabil Belala, Messaouda Bouneb, Lotfi Beji, Samir Otmane, and Azgal Abichou. "Maximality-Based Structural Operational Semantics for Petri Nets." In INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA’09). AIP, 2009. http://dx.doi.org/10.1063/1.3106484.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Structural Semantics"

1

Hendel, Sylvia. Wealth for Everybody - Semantics and Structure of the Capitalist Metanarrative. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.7220.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zha, H., and Z. Zhang. On matrices with low-rank-plus-shift structure: Partial SVD and latent semantic indexing. Office of Scientific and Technical Information (OSTI), August 1998. http://dx.doi.org/10.2172/663268.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chornodon, Myroslava. FEAUTURES OF GENDER IN MODERN MASS MEDIA. Ivan Franko National University of Lviv, February 2021. http://dx.doi.org/10.30970/vjo.2021.49.11064.

Full text
Abstract:
The article clarifies of gender identity stereotypes in modern media. The main gender stereotypes covered in modern mass media are analyzed and refuted. The model of gender relations in the media is reflected mainly in the stereotypical images of men and woman. The features of the use of gender concepts in modern periodicals for women and men were determined. The most frequently used derivatives of these macroconcepts were identified and analyzed in detail. It has been found that publications for women and men are full of various gender concepts that are used in different contexts. Ingeneral, theanalysisofthe concept-maximums and concept-minimum gender and their characteristics is carried out in the context of gender stereotypes that have been forme dand function in the society, system atizing the a ctual presentations. The study of the gender concept is relevant because it reveals new trends and features of modern gender images. Taking into account the special features of gender-labeled periodicals in general and the practical absence of comprehensive scientific studies of the gender concept in particular, there is a need to supplement Ukrainian science with this topic. Gender psychology, which is served by methods of various sciences, primarily sociological, pedagogical, linguistic, psychological, socio-psychological. Let us pay attention to linguistic and psycholinguistic methods in gender studies. Linguistic methods complement intelligence research tasks, associated with speech, word and text. Psycholinguistic methods used in gender psychology (semantic differential, semantic integral, semantic analysis of words and texts), aimed at studying speech messages, specific mechanisms of origin and perception, functions of speech activity in society, studying the relationship between speech messages and gender properties participants in the communication, to analyze the linguistic development in connection with the general development of the individual. Nowhere in gender practice there is the whole arsenal of psychological methods that allow you to explore psychological peculiarities of a person like observation, experiments, questionnaires, interviews, testing, modeling, etc. The methods of psychological self-diagnostics include: the gender aspect of the own socio-psychological portrait, a gender biography as a variant of the biographical method, aimed at the reconstruction of individual social experience. In the process of writing a gender autobiography, a person can understand the characteristics of his gender identity, as well as ways and means of their formation. Socio-psychological methods of studying gender include the study of socially constructed women’s and men’s roles, relationships and identities, sexual characteristics, psychological characteristics, etc. The use of gender indicators and gender approaches as a means of socio-psychological and sociological analysis broadens the subject boundaries of these disciplines and makes them the subject of study within these disciplines. And also, in the article a combination of concrete-historical, structural-typological, system-functional methods is implemented. Descriptive and comparative methods, method of typology, modeling are used. Also used is a method of content analysis for the study of gender content of modern gender-stamped journals. It was he who allowed quantitatively to identify and explore the features of the gender concept in the pages of periodicals for women and men. A combination of historical, structural-typological, system-functional methods is also implemented in the article. Descriptive and comparative methods, method of typology, modeling are used. A method of content analysis for the study of gender content of modern gender-labeled journals is also used. It allowed to identify and explore the features of the gender concept quantitatively in the periodicals for women and men. The conceptual perception and interpretation of the gender concept «woman», which is highlighted in the modern gender-labeled press in Ukraine, requires the elaboration of the polyfunctionality of gender interpretations, the comprehension of the metaphorical perception of this image and its role and purpose in society. A gendered approach to researching the gender content of contemporary periodicals for women and men. Conceptual analysis of contemporary gender-stamped publications within the gender conceptual sphere allows to identify and correlate the meta-gender and gender concepts that appear in society.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Structural Semantics' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography