Approximate controllability of second-order distributed implicit functional systems

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

RACE, RESOURCES, AND POLITICAL PARTICIPATION IN A BRAZILIAN CITY

Does race influence political behavior in Brazil? Using data from Belo Horizonte, Brazil, we explore whether an individual`s propensity to take part in a political association is affected by race, independent of socioeconomic position and of the availability of resources derived from this position. We found that white individuals participate more in political associations than do black individuals; however, after taking into account the differences in all types of resources, we found no difference in participation by racial groups. Nevertheless, by interacting race, skills, and income, it turns out that different racial groups use the same resources differently. A white individual`s propensity to participate politically is significantly more affected by income than a similar black individual`s propensity. Therefore, we argue that race mediates the effect of resources on political participation, which means that either different groups may use different resources or different groups can differ in how intensively they use resources.

How can and do Australian doctors promote physical activity?

Background. Physical inactivity is recognized as an important public health issue. Yet little is known about doctors' knowledge, attitude, skills, and resources specifically relating to the promotion of physical activity. Our survey assessed the current practice, perceived desirable practice, confidence, and barriers related to the promotion of physical activity in family practice, Methods. A questionnaire was developed and distributed to all 1,228 family practitioners in Perth, Western Australia. Results. We received a 71% response (n = 789). Family practitioners are most likely to recommend walking to sedentary adults to improve fitness and they are aware of the major barriers to patients participating in physical activity. Doctors are less confident at providing specific advice on exercise and may require further skills, knowledge, and experience, Although they promote exercise to patients through verbal advice in the consultation, few use written materials or referral systems, Conclusions. There are significant differences between self-reports of current practice and perceived desirable practice in the promotion of physical activity by doctors, Future strategies need to address the self-efficacy of family physicians and involve resources of proven effectiveness. The potential of referral systems for supporting efforts to increase physical activity by Australians should be explored. (C) 1997 Academic Press.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.