Financial aspects of heart failure programs of care

As suggested by studies that have examined the economic burden imposed by heart failure and, more specifically where the greatest expenditure occurs, the key to cost-effectively minimising the impact of a sustained heart failure epidemic is to minimise recurrent hospital use-even at the expense of increasing levels of community-based care and prescribed pharmacotherapy [Mark DB. Economics of treating heart failure. Am J Cardiol 1997;80:33H-38H; Weintraub WS, Cole J, Tooley JF. Cost and cost-effectiveness studies in heart failure research. Am Heart J 2002;143:565-76]. This paper examines the potential cost-benefits of applying specialist heart failure programs of care and the range of financial issues that need to be considered when establishing a formal heart failure service. (C) 2005 European Society of Cardiology. Published by Elsevier B.V.

Oscar Asche's Modernisms: Flesh, Colour and Light

The article examines the early 20th century Australian actor, theater director, and writer Oscar Asche and how various aspects of his work are expressive of an aesthetic modernism. His theatrical productions with his wife Lily Brayton are discussed, as well as his solo projects like the highly acclaimed musical "Chu Chin Chow." Asche is described as a "vitalist."

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.