Knowledge management and its features should be considered as crucial assets in knowledge-critical organizations, such as innovative manufacturing firms, research centres, universities, service companies, etc. Traditional knowledge management approaches are often aimed at unveiling, distributing and sharing knowledge as a stable and standardized result of meaning negotiation and coordination pr...

This paper focused on verbal and non-verbal elements that were found in Chatime advertisements the meaning of these elements. The data used this research taken from advertisement internet. collected by reading finding advertisement. Then, classified based kinds visual their method analyzing was descriptive method. There two types to present result analysis - they formal informal commonly with d...

let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigate some properties of formal local cohomology modules with respect to a serre subcategory. we provide a common language to indicate some properties of formal local cohomology modules. let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigat...

In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of-control evolution processes, proper context dependency management will allow human experts to focus on the meaning interpretation and negotiation processes. This requires support for the detection and resolution of me...

Grammaticalization is the gradual historical development of function morphemes from content morphemes. Among the commonly identified characteristics of this process is what is often called “semantic bleaching”: while becoming more and more functional the morpheme loses most of its meaning. In this paper, I ask what sense we can make of “semantic bleaching” from a formal semantic perspective. I ...

Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, non-deterministic execution of VHDL-93 processes destroys the unique meaning property...

This paper concerns probabilistic instruction sequences. We use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature, rather than an instruction sequence of which the instructions are intended to be processed in a probabilistic way. We propose several kinds of probabilistic...

The present article presents and discusses the recent controversy about the possibility and meaning of relating the game theoretic Nash program to mechanism theory. The non-cooperative foundation of the Nash bargaining solution is used as an example to shed light on the formal relation between traditional non-cooperative support of cooperative solutions and mechanism theoretic implementation of...

In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structures. The model is applied to the task of mapping sentences to hierarchical representations of their underlying meaning. We introduce dynamic programming techniques for efficient training and decoding. In experiments, we ...

In this paper we explore the potential of quantum theory as a formal framework for capturing lexical meaning. We present a novel semantic space model that is syntactically aware, takes word order into account, and features key quantum aspects such as superposition and entanglement. We define a dependency-based Hilbert space and show how to represent the meaning of words by density matrices that...