At first glance Mizar attributes look like unary predicates over mathematical objects enabling a more natural writing and reading. Attributes in Mizar, however, serve additional, more important purposes concerning typing of mathematical objects: Using attributes not only new (sub)types can be introduced, but also the user can characterize further relations between types and in this way make ava...

This paper presents the research involved in the elaboration of the timbre model, a signal model which has been built to better understand the relationship between the perception of timbre and the musical sounds most commonly associated with timbre. The elaboration of the timbre model involves an overview of the related topics in many fields. In particular the signal processing, perceptual and ...