Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this ...

Scientific studies of consciousness rely on objects whose existence is assumed to be independent any consciousness. On the contrary, we assume fundamental, and that one main features characterized as being other-dependent. We set up a framework which naturally subsumes this feature by defining compact closed category where morphisms represent conscious processes. These are composition generator...

The chance-based compositional techniques utilized by composer John Cage in such works as “String Quartet in Four Parts” and “Music of Changes” made use of a compositional framework of gamuts and gamut squares that serves as the object-model for a compositional software application capable of transforming musical data cells using both chance-based and probabilitydriven functions. Written in Jav...

In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our modeltheoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-o...

In this paper we present a novel approach to modelling distributional semantics that represents meaning as distributions over relations in syntactic neighborhoods. We argue that our model approximates meaning in compositional configurations more effectively than standard distributional vectors or bag-of-words models. We test our hypothesis on the problem of judging event coreferentiality, which...

Abstraction is an operation of software specifications widely used in formal development and verification. One of the desirable features of the operation is compositionality. It would make abstraction easier to deal with if a system can be abstracted by composing the individual abstractions of the components of the original system. It is considered that compositional abstractions of aspect-orie...

Little attention has been paid to distributional compositional methods which employ syntactically structured vector models. As word vectors belonging to different syntactic categories have incompatible syntactic distributions, no trivial compositional operation can be applied to combine them into a new compositional vector. In this article, we generalize the method described by Erk and Padó (20...