The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Model-based clustering in gene expression microarrays: An application to breast cancer data

In microarray studies, the application of clustering techniques is often used to derive meaningful insights into the data. In the past, hierarchical methods have been the primary clustering tool employed to perform this task. The hierarchical algorithms have been mainly applied heuristically to these cluster analysis problems. Further, a major limitation of these methods is their inability to determine the number of clusters. Thus there is a need for a model-based approach to these. clustering problems. To this end, McLachlan et al. [7] developed a mixture model-based algorithm (EMMIX-GENE) for the clustering of tissue samples. To further investigate the EMMIX-GENE procedure as a model-based -approach, we present a case study involving the application of EMMIX-GENE to the breast cancer data as studied recently in van 't Veer et al. [10]. Our analysis considers the problem of clustering the tissue samples on the basis of the genes which is a non-standard problem because the number of genes greatly exceed the number of tissue samples. We demonstrate how EMMIX-GENE can be useful in reducing the initial set of genes down to a more computationally manageable size. The results from this analysis also emphasise the difficulty associated with the task of separating two tissue groups on the basis of a particular subset of genes. These results also shed light on why supervised methods have such a high misallocation error rate for the breast cancer data.

A modified Weibull distribution

A new lifetime distribution capable of modeling a bathtub-shaped hazard-rate function is proposed. The proposed model is derived as a limiting case of the Beta Integrated Model and has both the Weibull distribution and Type I extreme value distribution as special cases. The model can be considered as another useful 3-parameter generalization of the Weibull distribution. An advantage of the model is that the model parameters can be estimated easily based on a Weibull probability paper (WPP) plot that serves as a tool for model identification. Model characterization based on the WPP plot is studied. A numerical example is provided and comparison with another Weibull extension, the exponentiated Weibull, is also discussed. The proposed model compares well with other competing models to fit data that exhibits a bathtub-shaped hazard-rate function.

Evaluation of cyclooxygenase 2 inhibitor use in patients admitted to a large teaching hospital

Background: The heavy usage of coxibs in Australia far outstrips the predicted usage that was based on the treatment of patients with risk factors for upper gastro-intestinal adverse events from conventional anti--inflammatory agents. This raises questions regarding the appropriateness of prescribing. Aims: To determine: (i) the relationship between prescriptions for cyclooxygenase 2 (COX-2) inhibitors and objective evidence of inflammatory arthritis, (ii) prior experience with paracetamol and/or conventional non-steroidal anti-inflammatory drugs (NSAIDs), and (iii) contraindications to the use of NSAIDs. Methods: Drug utilization evaluation and rheumato-logical assessment was conducted on 70 consecutive patients admitted on COX-2 inhibitors to a 480-bed metropolitan hospital. The main outcome measures were: the indication for COX-2 inhibitor; objective -evidence of inflammatory arthritis; previous trial of -paracetamol or conventional NSAIDs; and patient -satisfaction. Results: Only 11 patients (16%) had symptoms or signs of an inflammatory arthropathy, and met Pharmaceut-ical Benefits Schedule criteria for prescribing a COX-2 inhibitor. Fifty-nine patients (84%) had chronic osteo-arthritis, degenerative spinal disease, injury or malignancy, without overt active inflammation. Fourteen patients (20%) had trialled regular paracetamol prior to using any NSAID treatment. Conventional NSAIDs had been previously used by 51 patients (73%). Eleven patients (16%) reported previous adverse gastrointestinal effects from conventional NSAIDs. On the basis of significant renal impairment (creatinine clearance 5/10). Conclusions: Drug utilization data indicate that COX-2 inhibitors are frequently used first line for degenerative osteoarthritis in the absence of overt inflammation, without prior adequate trial of paracetamol and with disregard for the cautions and contraindications of these agents. These findings may explain the unprecedented Pharmaceutical Benefits Schedule expenditure on COX-2 inhibitors in Australia.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Lectures and other types of teaching

A questionnaire on lectures was completed by 351 students (84% response) and 35 staff (76% response) from all five years of the veterinary course at the University of Queensland. Staff and students in all five years offered limited support for a reduction in the number of lectures in the course and the majority supported a reduction in the number of lectures in the clinical years. Students in the clinical years only and appropriate staff agreed that the number of lectures in fifth year should be reduced but were divided as to whether lectures in fifth year should be abolished. There was limited support for replacement of some lectures by computer assisted learning (CAL) programs, but strong support for replacement of some lectures by subject-based problem based learning (PBL) and strong support for more self-directed learning by students. Staff and students strongly supported the inclusion of more clinical problem solving in lectures in the clinical years and wanted these lectures to be more interactive. There was little support for lectures in the clinical years to be of the same type as in the preclinical years.

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.

Constructing and reconstructing teaching roles: A focus on generative metaphors and dichotomies

Over the last several decades, a shift in thinking has brought to the fore the power of language as more than simply a method of expression. Indeed, language is a constituent part of social practices and social identity. For teachers, both pre-service and in-service, teaching roles are often represented through surface and generative metaphors, the latter of which are tacit. In order to study the way in which language, and in particular metaphor, influences thinking about teaching roles, the authors of this article combined their data to examine the metaphoric discourse of both pre-service and in-service teachers. Contextualizing two separate studies in their respective teacher education programs, this article highlights the obstacle of unexposed generative metaphors and the value of ongoing professional development. In addition, it emphasizes the importance of deconstructing traditional dichotomies as central to teacher education reform.

Historical and dialectical perspectives on the teaching of Aboriginal and Torres Strait Islander musics in the Australian education system

Indigenous studies (also referred to as Aboriginal and Torres Strait Islander studies) has a double identity in the Australian education system, consisting of the education of Indigenous students and education of all students about Aboriginal and Torres Strait Islander cultures and histories. Through explanations of the history of the inclusion of Aboriginal and Torres Strait Islander musics in Australian music education, this article critiques ways in which these musics have been positioned in relation to a number of agendas. These include definitions of Aboriginal and Torres Strait Islander musics as types of Australian music, as ethnomusicological objects, as examples of postcolonial discourse, and as empowerment for Indigenous students. The site of discussion is the work of the Australian Society for Music Education, as representative of trends in Australian school-based music education, and the Centre for Aboriginal Studies in Music at the University of Adelaide, as an example of a tertiary music program for Indigenous students.

Portal do software p??blico brasileiro

O Portal do Software P??blico Brasileiro consolida-se como uma iniciativa que conseguiu criar um ambiente comum para compartilhar solu????es de software no setor p??blico, racionalizar a gest??o dos recursos de inform??tica, reaproveitar as solu????es de software existentes para diminuir custos e atividades redundantes, estabelecer parcerias e a????es cooperadas, refor??ar a pol??tica p??blica de estimular o uso de software livre e definir uma forma de licenciamento de software que sustente o compartilhamento de solu????es entre os ??rg??os do setor p??blico de acordo com as prerrogativas legais brasileiras e a Constitui????o Federal. Esta iniciativa trouxe como inova????o o compartilhamento de ???software p??blico???, que oficializou um novo modelo de licenciamento e de gest??o das solu????es desenvolvidas na administra????o p??blica, estabelecendo parceria entre diversos ??rg??os, institui????es, empresas e cidad??os, e hoje conta com mais de 100 mil participantes

Cursos abiertos en l??nea:?? un escenario para la gesti??n personal del conocimiento?

A partir de uma discuss??o dos antecedentes e caracter??sticas dos cursos on-line, este artigo descreve uma solu????o tecnol??gica de apoio ?? realiza????o deste tipo de curso, baseada no uso de ferramentas p??blicas e de uso gratuito(isto ??, que n??o requerem instala????o em um servidor pr??prio). Esta ?? uma prova de conceito que busca evidenciar as possibilidades e obst??culos associados ?? oferta deste tipo de pr??tica educativa em um contexto latino-americano.

Gravitational waves : a 100-year tool applied to the dark energy problem

Recent observations from type Ia Supernovae and from cosmic microwave background (CMB) anisotropies have revealed that most of the matter of the Universe interacts in a repulsive manner, composing the so-called dark energy constituent of the Universe. Determining the properties of dark energy is one of the most important tasks of modern cosmology and this is the main motivation for this work. The analysis of cosmic gravitational waves (GW) represents, besides the CMB temperature and polarization anisotropies, an additional approach in the determination of parameters that may constrain the dark energy models and their consistence. In recent work, a generalized Chaplygin gas model was considered in a flat universe and the corresponding spectrum of gravitational waves was obtained. In the present work we have added a massless gas component to that model and the new spectrum has been compared to the previous one. The Chaplygin gas is also used to simulate a L-CDM model by means of a particular combination of parameters so that the Chaplygin gas and the L-CDM models can be easily distinguished in the theoretical scenarios here established. We find that the models are strongly degenerated in the range of frequencies studied. This degeneracy is in part expected since the models must converge to each other when some particular combinations of parameters are considered.