The empirical basis of substance use disorders diagnosis: research recommendations for the Diagnostic and Statistical Manual of Mental Disorders, fifth edition (DSM-V)

Aims This paper presents the recommendations, developed from a 3-year consultation process, for a program of research to underpin the development of diagnostic concepts and criteria in the Substance Use Disorders section of the Diagnostic and Statistical Manual of Mental Disorders (DSM) and potentially the relevant section of the next revision of the International Classification of Diseases (ICD). Methods A preliminary list of research topics was developed at the DSM-V Launch Conference in 2004. This led to the presentation of articles on these topics at a specific Substance Use Disorders Conference in February 2005, at the end of which a preliminary list of research questions was developed. This was further refined through an iterative process involving conference participants over the following year. Results Research questions have been placed into four categories: (1) questions that could be addressed immediately through secondary analyses of existing data sets; (2) items likely to require position papers to propose criteria or more focused questions with a view to subsequent analyses of existing data sets; (3) issues that could be proposed for literature reviews, but with a lower probability that these might progress to a data analytic phase; and (4) suggestions or comments that might not require immediate action, but that could be considered by the DSM-V and ICD 11 revision committees as part of their deliberations. Conclusions A broadly based research agenda for the development of diagnostic concepts and criteria for substance use disorders is presented.

Mapping the I-3 gene for resistance to Fusarium wilt in tomato: application of an I-3 marker in tomato improvement and progress towards the cloning of I-3

Fusarium wilt of tomato, caused by the fungal pathogen, Fusarium oxysporum f. sp. lycopersici (Fol), is an economically damaging disease that results in huge losses in Australia and other countries worldwide. The I-3 gene, which confers resistance to Fol race 3, has been described in wild tomato, Lycopersicon pennellii, accessions LA716 and PI414773. We are pursuing the isolation of I-3 from LA716 by map-based cloning. We have constructed a high-resolution map of the I-3 region and have identified markers closely flanking I-3 as well as markers co-segregating with I-3. In addition, construction of a physical map based on these markers has been initiated. This review describes the context of our research and our progress towards isolating the I-3 gene. It also describes some important practical outcomes of our work, including the development and use of a PCR-based marker for marker-assisted selection for I-3, and the finding that the I-3 gene from LA716 is different to that from PI1414773, which we have now designated I-7. Tomato varieties combining I-3 and I-7 have been developed and are currently being introduced into commercial production to further safeguard tomato crops against Fusarium wilt.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.