This paper examines a dataset which is modeled well by the Poisson-Log Normal process and by this process mixed with Log Normal data, which are both turned into compositions. This generates compositional data that has zeros without any need for conditional models or assuming that there is missing or censored data that needs adjustment. It also enables us to model dependence on covariates and wi...

An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed-form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to...

We study the set Ak of integer sequences = ( 1; : : : ; k), de ned by 1 1 2 2 : : : k k 0; and show that the generating function is X 2Ak q j = k Y

Abstract: Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by compo...

Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach ...

Security is an important concern for service based systems, i.e., systems that are composed of autonomous and distributed software services. This is because the overall security of such systems depends on the security of the individual services they deploy and, hence, it is difficult to assess especially in cases where the latter services must be discovered and composed dynamically. This paper ...

Sketches form an integral part of activities ranging from games through explanatory dialogues to doodles. They are also known to be important in the creative stages of design. This paper explores the role of sketching in musical composition. We discuss the historical correlation between changes in graphical notations for music and compositional practice. Contemporary music technologies provide ...

A characterization of module alphabets with the Hamming weight EP (abbreviation for Extension Property) had been settled. A thoughtfully constructed piece-of-art example by J.A.Wood ([7]) finished the tour. In 2009, in [8], Frobenius bimodules were proved to satisfy the EP with respect to symmetrized weight compositions. In [4], the embeddability in the character group of the ambient ring R was...

The method of refinement of component and object systems, known as rCOS, provides a notation with a formally defined relational semantics. In rCOS, the notions of interfaces, contracts, components, and component publications are formally defined. With the definitions of various compositions and refinement relations between contracts and components, the key software artifacts in all phases of a ...