Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Supporting content-based image retrieval and computer-aided diagnosis systems with association rule-based techniques

In this work, we take advantage of association rule mining to support two types of medical systems: the Content-based Image Retrieval (CBIR) systems and the Computer-Aided Diagnosis (CAD) systems. For content-based retrieval, association rules are employed to reduce the dimensionality of the feature vectors that represent the images and to improve the precision of the similarity queries. We refer to the association rule-based method to improve CBIR systems proposed here as Feature selection through Association Rules (FAR). To improve CAD systems, we propose the Image Diagnosis Enhancement through Association rules (IDEA) method. Association rules are employed to suggest a second opinion to the radiologist or a preliminary diagnosis of a new image. A second opinion automatically obtained can either accelerate the process of diagnosing or to strengthen a hypothesis, increasing the probability of a prescribed treatment be successful. Two new algorithms are proposed to support the IDEA method: to pre-process low-level features and to propose a preliminary diagnosis based on association rules. We performed several experiments to validate the proposed methods. The results indicate that association rules can be successfully applied to improve CBIR and CAD systems, empowering the arsenal of techniques to support medical image analysis in medical systems. (C) 2009 Elsevier B.V. All rights reserved.

DETERMINATION OF ENERGY VALUE OF HAMBURGERS AND MEATBALLS BY DIRECT CALORIMETRY AND FOOD ANALYSIS COMPOSITION. COMPARISON WITH NUTRITION INFORMATION DISPLAYED ON PACKAGES

The nutritional composition found in the laboratory and those present on labels of manufactured foods can differ significantly. The purpose of this study was to determine the nutritional composition of hamburgers and meatballs and compare them with your labels. The food analysis was performed following the Analytical Standards Institute`s Adolfo Lutz and energy content was determined by bomb calorimetry. Regarding the energy value, all the samples had values less than informed on the label. The content of lipids of hamburgers and meatballs ( except the beef) were lower than those reported on the label. The values of protein for the meatballs and chicken hamburger had lower values than those labels. Thus, the labels may overestimate as underestimate some nutritional values, leading to population erroneous information.

An association rule-based method to support medical image diagnosis with efficiency

In this paper, we propose a method based on association rule-mining to enhance the diagnosis of medical images (mammograms). It combines low-level features automatically extracted from images and high-level knowledge from specialists to search for patterns. Our method analyzes medical images and automatically generates suggestions of diagnoses employing mining of association rules. The suggestions of diagnosis are used to accelerate the image analysis performed by specialists as well as to provide them an alternative to work on. The proposed method uses two new algorithms, PreSAGe and HiCARe. The PreSAGe algorithm combines, in a single step, feature selection and discretization, and reduces the mining complexity. Experiments performed on PreSAGe show that this algorithm is highly suitable to perform feature selection and discretization in medical images. HiCARe is a new associative classifier. The HiCARe algorithm has an important property that makes it unique: it assigns multiple keywords per image to suggest a diagnosis with high values of accuracy. Our method was applied to real datasets, and the results show high sensitivity (up to 95%) and accuracy (up to 92%), allowing us to claim that the use of association rules is a powerful means to assist in the diagnosing task.

The role of integrated information acquisition and management in the analysis of coastal ecosystem change

This book chapter represents a synthesis of the work which started in my PhD and which has been the conceptual basis for all of my research since 1993. The chapter presents a method for scientists and managers to use for selecting the type of remotely sensed data to use to meet their information needs associated with a mapping, monitoring or modelling application. The work draws on results from several of my ARC projects, CRC Rainforest and Coastal projects and theses of P.Scarth , K.Joyce and C.Roelfsema.

Influence of third-generation oral contraceptives on the complexity analysis and symbolic dynamics of heart rate variability

Objective To evaluate the influence of oral contraceptives (OCs) containing 20 mu mu g ethinylestradiol (EE) and 150 mu mu g gestodene (GEST) on the autonomic modulation of heart rate (HR) in women. Methods One-hundred and fifty-five women aged 24 +/-+/- 2 years were divided into four groups according to their physical activity and the use or not of an OC: active-OC, active-non-OC (NOC), sedentary-OC, and sedentary-NOC. The heart rate was registered in real time based on the electrocardiogram signal for 15 minutes, in the supine-position. The heart rate variability (HRV) was analysed using Shannon`s entropy (SE), conditional entropy (complexity index [CInd] and normalised CInd [NCI]), and symbolic analysis (0V%, 1V%, 2LV%, and 2ULV%). For statistical analysis the Kruskal-Wallis test with Dunn post hoc and the Wilcoxon test (p < 0.05 was considered significant) were applied. Results Treatment with this COC caused no significant changes in SE, CInd, NCI, or symbolic analysis in either active or sedentary groups. Active groups presented higher values for SE and 2ULV%, and lower values for 0V% when compared to sedentary groups (p < 0.05). Conclusion HRV patterns differed depending on life style; the non-linear method applied was highly reliable for identifying these changes. The use of OCs containing 20 mu mu g EE and 150 mu mu g GEST does not influence HR autonomic modulation.

Histology of the regenerate and docking site in bone transport

Bone transport is based on the principle of distraction osteogenesis described by Ilizarov and is a consecrated method for the treatment of segmental bone defects. One of its most problematic and, paradoxically, least studied aspects is the consolidation of the docking site. We studied histologically the ossification of the docking site and regenerate to determine any difference between them. Nine adult sheep were submitted to correction of a 1-cm tibial diaphyseal defect using a system of plate-fixed bone transport, with latency period of 1 week and 0.2 mm distraction of the transported segment four times a day. The sheep were divided into three groups of three animals each, according to the observation period of 3, 6 or 12 weeks between the fixation of the transported fragment and the euthanasia. The docking site and the regenerate were studied histologically on sections stained with Masson trichrome. The main mode of docking site ossification was the endochondral one and although intramembranous ossification was also observed simultaneously, it was limited to rare and small foci. In contrast, intramembranous ossification played the major role in the regenerate, with bone formation evolving from the base segment to the target segment. The experimental bone transport model proposed in the present study permits us to conclude that there is a clear difference between the ossification of the docking site and of the regenerate.