The impact of a reduction in drug supply on demand for and compliance with treatment for drug dependence

Background: In early 2001, Australia experienced a sudden, dramatic and;sustained decrease in heroin availability that was accompanied by sharp increases in price and decreases in street level purity-the so-called heroin shortage. These unprecedented changes occurred in a context of widespread treatment availability, which made it possible for the first time to examine the impact of a sharp reduction in heroin supply in New South Wales (NSW) on entry to and adherence with treatment for heroin dependence. Given the evidence of drug substitution by some users. the current paper also examines the effects of the shortage on entry to treatment for other forms of drug dependence. Methods: Interrupted time-series analysis of the number of persons entering opioid pharmacotherapy and other treatment modalities in NSW for heroin dependence and for the treatment for other types of drug dependence. Findings: The heroin shortage was associated with a reduction in the number of younger persons entering opioid pharmacotherapy. There was a dramatic decrease in the number of persons entering heroin withdrawal or assessment only treatment episodes. There appear to have been small improvements in adherence to and retention in heroin treatment after the reduction in heroin supply. Relatively small increases were observed in numbers being treated for cocaine dependence. Conclusions: In the context of good treatment provision, a reduction in heroin supply appeared to produce modest improvements in intermediate outcomes. Supply and demand reduction measures, when both are implemented successfully, may be complementary. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Conceptualizing special interest tourism - frameworks for analysis

To advance understanding of Special Interest Tourism (SIT), this paper will explore the complexities of this phenomenon in the early 21st century. First, a look at what is out there, both from a supply and demand perspective, will serve to paint a broad picture at macro-level. The paper will present a discussion of the SIT phenomenon at the macro-level within a triangular relationship of supply, demand and media. Then, a more specific look at SIT attempts to clarify the ambiguity of the term. Finally, a look at micro-level from the consumer's perspective will introduce the concepts of enduring and situational involvement, and the nature of the product. Proposed frameworks are presented to provide structure and possible directions for future research and as a means of progressing conceptual development. (c) 2004 Elsevier Ltd. All rights reserved.

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.