Breadth-first search and the Andrews-Curtis conjecture

Andrews and Curtis conjectured in 1965 that every balanced presentation of the trivial group can be transformed into a standard presentation by a finite sequence of elementary transformations. Recent computational work by Miasnikov and Myasnikov on this problem has been based on genetic algorithms. We show that a computational attack based on a breadth-first search of the tree of equivalent presentations is also viable, and seems to outperform that based on genetic algorithms. It allows us to extract shorter proofs (in some cases, provably shortest) and to consider the length thirteen case for two generators. We prove that, up to equivalence, there is a unique minimum potential counterexample.

Tourism as a contributor to development in Sri Lanka: An overview and a case study

General background is provided on the potential of tourism growth to contribute to economic development, paying particular attention to the experience of Sri Lanka. An overview of trends in inbound tourism to Sri Lanka is presented with particular consideration being given to its number of inbound tourist arrivals. Sri Lanka’s comparative position in international tourism markets, the composition of its tourist arrivals by area of origin, the extent of foreign earnings by the Sri Lankan tourism industry and variations in the amount of these earnings, and the extent of employment generation by this industry are examined. Regional aspects of the tourism industry in Sri Lanka are given special consideration, and this is followed by a report on the regional economic impact of tourism of Pinnawala Elephant Orphanage. This major tourist attraction near the edge of the Western Highlands of Sri Lanka is shown to make a significant contribution to economic decentralisation. A general discussion follows of tourism development in the Sri Lankan context. The main factors that have hindered tourism growth in Sri Lanka and its decentralisation are considered. Indications are that major impediment posed by civil disturbance and terrorism is at an end in Sri Lanka.

Continuity of care and readmission in two service systems: a comparative Victorian and Groningen case-register study

Objective: We compared service consumption, continuity of care and risk of readmission in a record linkage follow-up study of cohorts of patients with schizophrenia and related disorders in Victoria (Australia) and in Groningen (The Netherlands). These areas are interesting to compare because mental health care is in a different stage of deiustitutionalization. More beds are available in Groningen and more community resources are available in Victoria. Method: The cohorts were followed for 4 years, since discharge from inpatient services using record linkage data available in the psychiatric case-registers in both areas. Survival analysis was used to study continuity of care and risk of readmission. Results: Available indicators showed a higher level of continuity of care in Victoria. While the relative risk of readmission was the same in both areas and not affected by aftercare contact after discharge, the number of days spent in hospital was much higher in the Groningen register area. Conclusion: These findings provide further support for earlier reports that the risk of readmission is predominantly affected by attributes of mental illness. However, the duration of admissions, is strongly affected by service system variables, including the provision of continuity of care.

Gene replacement with the human BRCA1 locus: tissue specific expression and rescue of embryonic lethality in mice

We have generated transgenic mice that harbor a 140 kb genomic fragment of the human BRCA1 locus (TgN.BRCA1(GEN)). We find that the transgene directs appropriate expression of human BRCA1 transcripts in multiple mouse tissues, and that human BRCA1 protein is expressed and stabilized following exposure to DIVA damage, Such mice are completely normal, with no overt signs of BRCA1 toxicity commonly observed when BRCA1 is expressed from heterologous promoters. Most importantly, however, the transgene rescues the otherwise lethal phenotype associated with the targeted hypomorphic allele (Brca1(Delta exIISA)). Brca1(-/-); TgN.BRCA1(GEN) bigenic animals develop normally and can be maintained as a distinct line. These results show that a 140 kb fragment of chromosome 17 contains all elements necessary for the correct expression, localization, and function of the BRCA1 protein, Further, the model provides evidence that function and regulation of the human BRCA1 gene can be studied and manipulated in a genetically tractable mammalian system.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Participatory approach for the identification of dairy industry needs in the design of research, development and extension actions: Australian and Brazilian case studies

In both Australia and Brazil there are rapid changes occurring in the macroenvironment of the dairy industry. These changes are sometimes not noticed in the microenvironment of the farm, due to the labour-intensive nature of family farms, and the traditionally weak links between production and marketing. Trends in the external environment need to be discussed in a cooperative framework, to plan integrated actions for the dairy community as a whole and to demand actions from research, development and extension (R, D & E). This paper reviews the evolution of R, D & E in terms of paradigms and approaches, the present strategies used to identify dairy industry needs in Australia and Brazil, and presents a participatory strategy to design R, D & E actions for both countries. The strategy incorporates an integration of the opinions of key industry actors ( defined as members of the dairy and associated communities), especially farm suppliers ( input market), farmers, R, D & E people, milk processors and credit providers. The strategy also uses case studies with farm stays, purposive sampling, snowball interviewing techniques, semi-structured interviews, content analysis, focus group meetings, and feedback analysis, to refine the priorities for R, D & E actions in the region.

Structured ontology and information retrieval for email search and discovery

This paper discusses an document discovery tool based on formal concept analysis. The program allows users to navigate email using a visual lattice metaphor rather than a tree. It implements a virtual file structure over email where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in email discovery. The system described provides more flexibility in retrieving stored emails than what is normally available in email clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems.

El Nino and arboviral disease prediction

Recent El Nino events have stimulated interest in the development of modeling techniques to forecast extremes of climate and related health events. Previous studies have documented associations between specific climate variables (particularly temperature and rainfall) and outbreaks of arboviral disease. In some countries, such diseases are sensitive to Fl Nino. Here we describe a climate-based model for the prediction of Ross River virus epidemics in Australia. From a literature search and data on case notifications, we determined in which years there were epidemics of Ross River virus in southern Australia between 1928 and 1998. Predictor variables were monthly Southern Oscillation index values for the year of an epidemic or lagged by 1 year. We found that in southeastern states, epidemic years were well predicted by monthly Southern Oscillation index values in January and September in the previous year. The model forecasts that there is a high probability of epidemic Ross River virus in the southern states of Australia in 1999. We conclude that epidemics of arboviral disease can, at least in principle, be predicted on the basis of climate relationships.