We define a concept of probability on an n-valued Lukasiewicz-Moisil algebra and we present some basic properties. The main result is an extension theorem for continuous probabilities, which is already known for probabilities defined on Boolean algebras and MV-algebras. © 1998 Elsevier Science Inc. All rights reserved.

The paper investigates fixed points and attractors of infinite iterated function systems in Cantor space. By means of the theory of formal languages simple examples of the non-coincidence of fixed point and attractor (closure of the fixed point) are given.

This paper presents a partial-order reduction method for performance analysis of max-plus timed systems. Amax-plus timed system is a network of automata, where the timing behavior of deterministic system tasks (events in an automaton) is captured in (max,+) matrices. These tasks can be characterized in various formalisms like synchronous data flow, Petri nets, or real-time calculus. The timing ...

Maximal O(2) consumption (Vo(2 max)) is lower in individuals with Type 2 diabetes than in sedentary nondiabetic individuals. This study aimed to determine whether the lower Vo(2 max) in diabetic patients was due to a reduction in maximal cardiac output (Q(max)) and/or peripheral O(2) extraction. After 11 Type 2 diabetic patients and 12 nondiabetic subjects, matched for age and body composition,...

This paper discusses the new harmonic possibilities enabled through the implementation of Sethares’ theory of the dissonance curve in Max/MSP and its use in a live electronic composition by two of the authors.