Causal attributions in Brazilian children's reasoning about health and illness

INTRODUCTION: At a time when a great number of diseases can be prevented by changing one's habits and life style, investigations have focused on understanding what adults and children believe to be desirable health practices and uncovering the factors associated with successful adherence to such practices. For these, causal attributions for health and illness were investigated among 96 Brazilian elementary school students. METHODS: Ninety six subjects, aged 6 to 14, were interviewed individually and their causal attributions were assessed through 14 true-false items (e.g. people stay well [healthy] because they are lucky). The relationship between the children's causal attributions and demographic characteristics were also examined. RESULTS: Overall, the results were consistent with previous researches. "Taking care of oneself" was considered the most important cause of good health. "Viruses and germs" and "lack of self-care" were the most selected causes of illness. Analyses revealed significant relationship between subjects' causal attribution and their age, school grade level, socioeconomic status and gender. CONCLUSIONS: The study findings suggest that there may be more cross-cultural similarities than differences in children's causal attributions for health and illness. Finding ways to help individuals engage in appropriate preventive-maintenance health practices without developing an exaggerated notion that the individuals can control their own health and illness is a challenge which remains to be addressed by further research.

Variation talk: Articulating meaning in statistics

Little is known about the way that teachers articulate notions of variation in their own words. The study reported here was conducted with 17 prospective secondary math and science teachers enrolled in a preservice teacher education course which engaged them in statistical inquiry of testing data. This qualitative study examines how these preservice teachers articulated notions of variation as they compared two distributions. Although the teachers made use of tandard statistical language, they also expressed rich views of variation through nonstandard terminology. This paper details the statistical language used by the rospective teachers, categorizing both standard and nonstandard expressions. Their nonstandard language revealed strong relationships between expressions of variation and expressions of distribution. Implications and the benefits of nonstandard language in statistics are outlined.

Temporal reasoning about action and change

Abstract not available

A discrete formalism for reasoning about action and change

This paper presents a discrete formalism for temporal reasoning about actions and change, which enjoys an explicit representation of time and action/event occurrences. The formalism allows the expression of truth values for given fluents over various times including nondecomposable points/moments and decomposable intervals. Two major problems which beset most existing interval-based theories of action and change, i.e., the so-called dividing instant problem and the intermingling problem, are absent from this new formalism. The dividing instant problem is overcome by excluding the concepts of ending points of intervals, and the intermingling problem is bypassed by means of characterising the fundamental time structure as a well-ordered discrete set of non-decomposable times (points and moments), from which decomposable intervals are constructed. A comprehensive characterisation about the relationship between the negation of fluents and the negation of involved sentences is formally provided. The formalism provides a flexible expression of temporal relationships between effects and their causal events, including delayed effects of events which remains a problematic question in most existing theories about action and change.

Spatial and temporal variation in distribution of mangroves in Moreton Bay, subtropical Australia: a comparison of pattern metrics and change detection analyses based on aerial photographs

An assessment of the changes in the distribution and extent of mangroves within Moreton Bay, southeast Queensland, Australia, was carried out. Two assessment methods were evaluated: spatial and temporal pattern metrics analysis, and change detection analysis. Currently, about 15,000 ha of mangroves are present in Moreton Bay. These mangroves are important ecosystems, but are subject to disturbance from a number of sources. Over the past 25 years, there has been a loss of more than 3800 ha, as a result of natural losses and mangrove clearing (e.g. for urban and industrial development, agriculture and aquaculture). However, areas of new mangroves have become established over the same time period, offsetting these losses to create a net loss of about 200 ha. These new mangroves have mainly appeared in the southern bay region and the bay islands, particularly on the landward edge of existing mangroves. In addition, spatial patterns and species composition of mangrove patches have changed. The pattern metrics analysis provided an overview of mangrove distribution and change in the form of single metric values, while the change detection analysis gave a more detailed and spatially explicit description of change. An analysis of the effects of spatial scales on the pattern metrics indicated that they were relatively insensitive to scale at spatial resolutions less than 50 m, but that most metrics became sensitive at coarser resolutions, a finding which has implications for mapping of mangroves based on remotely sensed data. (C) 2003 Elsevier Science B.V. All rights reserved.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Report about the scope and distribution of large urban distressed areas in European cities

LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Karyotypic variation and geographic distribution of Anopheles campestris-like (Diptera: Culicidae) in Thailand

Seventy-one isolines of Anopheles campestris-like were established from wild-caught females collected from human-biting and animal-biting traps at 12 locations in Thailand. All isolines had an average branch summation of seta 2-VI pupal skins ranging from 20.3-30.0 branches, which is in the range of An. campestris (17-58 branches). They showed three different karyotypes based on the amount of extra heterochromatin in the sex chromosomes, namely Forms B (X2, Y2), E (X1, X2, X3, Y5) and a new karyotypic Form F (X2, X3, Y6). Form B has been found only in Chaing Mai and Kamphaeng Phet populations, while Forms E and F are widely distributed throughout the species range. Genetic crosses between the 12 isolines, which were arbitrarily selected as representatives of An. campestris-like Forms B, E and F, revealed genetic compatibility that provided viable progeny through F2 generations, suggesting a conspecific nature of these karyotypic forms. These results are supported by the very low intraspecies variation (genetic distance < 0.005) of ITS2, COI and COII from genomic DNA of the three karyotypic forms.

A Study on the Transport and Distribution of Atmospheric Aerosols and its Influence on Regional Meteorological Parameters over the Indian Subcontinent

This doctoral thesis addresses the growing concern about the significant changes in the climatic and weather patterns due to the aerosol loading that have taken place in the Indo Gangetic Plain(IGP)which includes most of the Northern Indian region. The study region comprises of major industrial cities in India (New Delhi, Kanpur, Allahabad, Jamshedpur and Kolkata). Northern and central parts of India are one of the most thickly populated areas in the world and have the most intensely farmed areas. Rapid increase in population and urbanization has resulted in an abrupt increase in aerosol concentrations in recent years. The IGP has a major source of coal; therefore most of the industries including numerous thermal power plants that run on coal are located around this region. They inject copious amount of aerosols into the atmosphere. Moreover, the transport of dust aerosols from arid locations is prevalent during the dry months which increase the aerosol loading in theatmosphere. The topography of the place is also ideal for the congregation of aerosols. It is bounded by the Himalayas in the north, Thar Desert in the west, the Vindhyan range in the south and Brahmaputra ridge in the east. During the non‐monsoon months (October to May) the weather in the location is dry with very little rainfall. Surface winds are weak during most of the time in this dry season. The aerosols that reach the location by means of long distance transport and from regional sources get accumulated under these favourable conditions. The increase in aerosol concentration due to the complex combination of aerosol transport and anthropogenic factors mixed with the contribution from the natural sources alters the optical properties and the life time of clouds in the region. The associated perturbations in radiative balance have a significant impact on the meteorological parameters and this in turn determines the precipitation forming process. Therefore, any change in weather which disturbs the normal hydrological pattern is alarming in the socio‐economic point of view. Hence, the main focus of this work is to determine the variation in transport and distribution of aerosols in the region and to understand the interaction of these aerosols with meteorological parameters and cloud properties.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.