The ambiguity of natural language can be an important source of creative concepts. In compositional languages, a many-to-many network of associations exists linking concepts by the polysemy and synonymy of utterances. This network allows utterances to represent the combination of concepts, forming new and potentially interesting compound meanings. At the same time, new experiences of external a...

in this paper, a simplified formulation for compositional reservoir simulator is presented. these types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. the procedure for solving compositional model equations is completely described. for equilibrium calculation, property estimation peng robinson equation of state is used. this equation was ...

We present an approach to compositional refinement of action systems and their interfaces. Our approach is intended to provide a support for the component-oriented development of action systems. We introduce a notion of context-sensitive simulation that is related to the rely-guarantee methods for program verification. We consider conditions under which context-sensitive simulation preserves co...

Multivariate outlier detection is usually based on Mahalanobis distances, by plugging in robust estimates of location and covariance. For compositional data, carrying only relative information, a special transformation needs to be consulted in order to be able to work in the appropriate geometry. The effect of the transformation is discussed in this contribution. Furthermore, different possibil...

This work is motivated by the following question: given a sample of compositional data trajectories (i.e. sequences of composition measurements along a domain), how can one propose a segmentation procedure leading to homogeneous classes? In other words, our contribution aims at studying statistical methods suited for clustering compositional data, when the observations are constituted by trajec...

Structured analysis methods for real-time systems (SA/RT) are widely accepted by the industrial world as a mature approach to real-time systems design. These methods use highly expressive graphical speci cation languages to specify system requirements. Giving semantics to SA/RT speci cations via selected formal models has the advantage of not only retaining their user-friendly and problem-orien...

This article presents a system created in the computer-aided composition environment OpenMusic in order to handle complex compositional data related to sound synthesis processes. This system gathers two complementary strategies: the use of sound analysis data as basic material, and the specification of abstract rules in order to automatically process and extend this basic material.