The rational reconstruction of the research program on classic rationalism: Locke and the empiricist approach

This article intends to rationally reconstruct Locke`s theory of knowledge as incorporated in a research program concerning the nature and structure of the theories and models of rationality. In previous articles we argued that the rationalist program can be subdivided into the classical rationalistic subprogram, which includes the knowledge theories of Descartes, Locke, Hume and Kant, the neoclassical subprogram, which includes the approaches of Duhem, Poincare and Mach, and the critical subprogram of Popper. The subdivision results from the different views of rationality proposed by each one of these subprograms, as well as from the tools made available by each one of them, containing theoretical instruments used to arrange, organize and develop the discussion on rationality, the main one of which is the structure of solution of problems. In this essay we intend to reconstruct the assumptions of Locke`s theory of knowledge, which in our view belongs to the classical rationalistic subprogram because it shares with it the thesis of the identity of (scientific) knowledge and certain knowledge.

The impact of Six Sigma in the performance of a Pollution Prevention program

The diffusion of Pollution Prevention faces organizational barriers as for instance resistance to change, insufficient support from decision-makers, unclear project leadership, insufficient employee accountability and inflexible organizational structures. To understand how to overcome such barriers, the performance of a Pollution Prevention program of a multinational corporation is analyzed. The quantitative analyses of 2096 Pollution Prevention projects conducted between 1995 and 2007 support the conclusion that the performance of the Pollution Prevention program increased after the implementation of the Six Sigma program. Moreover, the analyses of 1906 Pollution Prevention projects and 31,133 Six Sigma projects for cost reduction in 27 countries indicate that in countries where the implementation of Six Sigma is more expressive, pollution is prevented more than in countries with less expressive Six Sigma implementation. In fact, the Six Sigma implementation improved the organizational capability for data based project management. Therefore, comparing six years before and six years after the Six Sigma implementation, the total number of Pollution Prevention projects recognized increased 6.9 times and the total amount of pollution prevented increased by 62%. The qualitative analysis describes how the Six Sigma program interacts with the Pollution Prevention program in the studied company. (C) 2009 Elsevier Ltd. All rights reserved.

Program sustainability of a community-based intervention to prevent falls among older Australians

Multi-strategy interventions have been demonstrated to prevent falls among older people, but studies have not explored their sustainability. This paper investigates program sustainability of Stay on Your Feet (SOYF), an Australian multi-strategy falls prevention program (1992-1996) that achieved a significant reduction in falls-related hospital admissions. A series of surveys assessed recall, involvement and current falls prevention activities, 5 years post-SOYF in multiple original SOYF stakeholder groups within the study area [general practitioners (GPs), pharmacists, community health (CH) staff shire councils (SCs) and access committees (ACs)]. Focus groups explored possible behavioural changes in the target group. Surveys were mailed, except to CH staff and ACs. who participated in guided group sessions and were contacted via the telephone, respectively. Response rates were: GPs. 67% (139/209); pharmacists, 79% (53/67); CH staff, 63% (129/204); SCs, 90% (9/10); ACs, 80% (8/10). There were 73 older people in eight focus groups. Of 117 GPs who were practising during SOYF 80% recalled SOYF and 74% of these reported an influence on their practice. Of 46 pharmacists operating a business during SOYF, 45% had heard of SOYF and 79% of these reported being 'somewhat' influenced. Of 76 community health staff (59%) in the area at that time, 99% had heard of SOYF and 82% reported involvement. Four SCs retained a SOYF resource, but none thought current activities were related. Seven ACs reported involvement, but no activities were sustained. Thirty-five focus group participants (48%) remembered SOYF and reported a variety of SOYF-initiated behaviour changes. Program sustainability was clearly demonstrated among health practitioners. Further research is required to assess long-term effect sustainability.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

Career counseling: Applying the systems theory framework of career development

In recent years, career development and career counseling have increasingly been informed by concepts emanating from the constructivist worldview. For example, the Systems Theory Framework (STF; M. McMahon, 2002; M. McMahon I W. Patton, 1995; W. Patton I M. McMahon, 1997, 1999) of career development has been proposed as a metatheoretical account of career development. Furthermore, its theoretical constructs may be applied to career counseling. Thus, the STF provides a theoretical and practical consistency to career counseling and addresses concerns about a gulf between career theory and practice. This article discusses the practical application of the STF of career development as a guide to career counseling.

Multicultural career counseling: Theoretical applications of the systems theory framework

Increasing recognition of cultural influences on career development requires expanded theoretical and practical perspectives. Theories of career development need to explicate views of culture and provide direction for career counseling with clients who are culturally diverse. The Systems Theory Framework (STF) is a theoretical foundation that accounts for systems of influence on people's career development, including individual, social, and environmental/societal contexts. The discussion provides a rationale for systemic approaches in multicultural career counseling and introduces the central theoretical tenets of the STF. Through applications of the STF, career counselors are challenged to expand their roles and levels of intervention in multicultural career counseling.

Hematological parameters and anaerobic threshold in Brazilian soccer players throughout a training program

We assessed the responses of hematological parameters and their relationship to the anaerobic threshold of Brazilian soccer players during a training program. Twelve athletes were evaluated at the beginning (week 0, T1), in the middle (week 6, T2), and at the end (week 12, T3) of the soccer training program. On the first day at 7:30 AM, before collecting the blood sample at rest for the determination of the hematological parameters, the athletes were conducted to the anthropometric evaluation. On the second day at 8:30 AM, the athletes had their anaerobic threshold measured. Analysis of variance with Newman-Keuls`post hoc was used for statistical comparisons between the parameters measured during the soccer training program. Correlations between the parameters analyzed were determined using the Pearson`s correlation coefficient. Erythrocytes concentration, hemoglobin, and hematocrit were significantly increased from T1 to T2. The specific soccer training program led to a rise in erythrocytes, hemoglobin, and hematocrit from T1 to T2. We assumed that these results occurred due to the plasma volume reduction and may be explained by the soccer training program characteristics. Furthermore, we did not observe any correlation between the anaerobic threshold and the hematological parameters.

Evaluation of the Efficacy of a Dental Plaque Control Program in Autistic Patients

The aim of this study was to verify the efficacy of a programme for dental plaque control in autistics. Patients were evaluated on five occasions over a period of 180 days using the following instruments: OHI-S, DMF-T, the Fonnes brushing technique and diet questionnaire. Participants were divided into two groups according to level of co-operation on the programme: Group A (co-operative) and Group B (non-cooperative). A statistically significant improvement (p < 0.001) in Oral Hygiene was attained, with 84.2% showing regular or satisfactory hygiene at study end-point. Conclusion: Groups A and B both showed improvement in hygiene (p < 0.001 and p = 0.004), but improvement was significantly higher among co-operative patients (p < 0.001 at 180 days), who also had a higher mean age (p = 0.02).

Massage for Low Back Pain An Updated Systematic Review Within the Framework of the Cochrane Back Review Group

Study Design. Systematic Review. Objectives. To assess the effects of massage therapy for nonspecific low back pain. Summary of Background Data. Low back pain is one of the most common and costly musculoskeletal problems in modern society. Proponents of massage therapy claim it can minimize pain and disability, and speed return to normal function. Methods. We searched MEDLINE, EMBASE, CINAHL from their beginning to May 2008. We also searched the Cochrane Central Register of Controlled Trials (The Cochrane Library 2006, issue 3), HealthSTAR and Dissertation abstracts up to 2006. There were no language restrictions. References in the included studies and in reviews of the literature were screened. The studies had to be randomized or quasi-randomized trials investigating the use of any type of massage (using the hands or a mechanical device) as a treatment for nonspecific low back pain. Two review authors selected the studies, assessed the risk of bias using the criteria recommended by the Cochrane Back Review Group, and extracted the data using standardized forms. Both qualitative and meta-analyses were performed. Results. Thirteen randomized trials were included. Eight had a high risk and 5 had a low risk of bias. One study was published in German and the rest in English. Massage was compared to an inert therapy (sham treatment) in 2 studies that showed that massage was superior for pain and function on both short- and long-term follow-ups. In 8 studies, massage was compared to other active treatments. They showed that massage was similar to exercises, and massage was superior to joint mobilization, relaxation therapy, physical therapy, acupuncture, and self-care education. One study showed that reflexology on the feet had no effect on pain and functioning. The beneficial effects of massage in patients with chronic low back pain lasted at least 1 year after the end of the treatment. Two studies compared 2 different techniques of massage. One concluded that acupuncture massage produces better results than classic (Swedish) massage and another concluded that Thai massage produces similar results to classic (Swedish) massage. Conclusion. Massage might be beneficial for patients with subacute and chronic nonspecific low back pain, especially when combined with exercises and education. The evidence suggests that acupuncture massage is more effective than classic massage, but this need confirmation. More studies are needed to confirm these conclusions, to assess the impact of massage on return-to-work, and to determine cost-effectiveness of massage as an intervention for low back pain.

The actual incidence of congenital adrenal hyperplasia in Brazil may not be as high as inferred - An estimate based on a public neonatal screening program in the state of Goias

The incidence of 21-hydroxylase deficiency (CYP21 D) congenital adrenal hyperplasia (CAH) in Brazil is purportedly one of the highest in the world (1:7,533). However, this information is not based on official data. The aim of this study was to determine the incidence of CYP21 D CAH in the state of Goias, Brazil, based on the 2005 results of government-funded mandatory screening. Of the live births during this period, 92.95% were screened by heel-prick capillary 17 alpha-hydroxyprogesterone (17-OHP). Of these, 82,343 were normal, 28 were at high risk for CAH and 232 at low risk for CAH. Eight cases, all from the high risk group, were confirmed. Eight asymptomatic children at 6-18 months of age still have high 17-OHP levels and await diagnostic definition. Based on the number of confirmed CYP21 D CAH cases among the 82,603 screened, the estimated annual incidence of the disease was 1:10,325, lower than the previously reported rate in Brazil.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Cardiovascular prevention in HIV patients: Results from a successful intervention program

Objectives: To analyze the effect of a prevention program oil the estimated cardiovascular risk calculated by three risk scores. Methods: We prospectively evaluated 87 HIV+ patients with elevated cardiovascular risk estimation. Framirigham (FIRS), PROCAM and National Cholesterol Education Program (ATP-III) were applied. Cardiovascular risk was defined as elevated if >10%. All patients received non-pharmacological (diet, exercise, smoking cessation) and, when appropriate, pharmacological therapy. Results: Mean age was 52 years, 92% were male, 39.1% were smokers, 70.1% had hypertension, 18.4% had diabetes. All patients were under HAART, 56.3% were receiving protease inhibitors (131). After 6 months, intervention was associated to significant changes oil triglycerides (298 242 and 206 +/- 135 mg/dL, p<0.05), total-cholesterol (224 +/- 47 and 189 +/- 38 mg/dL, p<0.001). LDL-cholesterol (129 +/- 44 and 109 +/- 30 mg/dL,p<0.001). Frequencies of patients with elevated cardiac risk before and 6 months after intervention were 92% x 27.6% (p < 0.0001), 80.5% x 50.6% (p < 0.0002), and 25.3% x 14.9% (p = 0.12), for FIRS, ATP III and PROCAM, respectively. Conclusions: An intervention Program focused on reduction of traditional risk factors was able to decrease the frequency of patients with HIV infection and elevated cardiovascular risk estimation. FIRS showed greater sensitivity than the other scores. (C) 2008 Elsevier Ireland Ltd. All rights reserved.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.