Controlling chaos in a Lorenz-like system using feedback

We demonstrate that the dynamics of an autonomous chaotic laser can be controlled to a periodic or steady state under self-synchronization. In general, past the chaos threshold the dependence of the laser output on feedback applied to the pump is submerged in the Lorenz-like chaotic pulsation. However there exist specific feedback delays that stabilize the chaos to periodic behavior or even steady state. The range of control depends critically on the feedback delay time and amplitude. Our experimental results are compared with the complex Lorenz equations which show good agreement.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

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.

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).

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.

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.

Response programming in dementia of the Alzheimer type: A kinematic analysis

Although planning is important for the functioning of patients with dementia of the Alzheimer Type (DAT), little is known about response programming in DAT. This study used a cueing paradigm coupled with quantitative kinematic analysis to document the preparation and execution of movements made by a group of 12 DAT patients and their age and sex matched controls. Participants connected a series of targets placed upon a WACOM SD420 graphics tablet, in response to the pattern of illumination of a set of light emitting diodes (LEDs). In one condition, participants could programme the upcoming movement, whilst in another they were forced to reprogramme this movement on-line (i.e. they were not provided with advance information about the location of the upcoming target). DAT patients were found to have programming deficits, taking longer to initiate movements; particularly in the absence of cues. While problems spontaneously programming a movement might cause a greater reliance upon on-line guidance, when both groups were required to guide the movement on-line, DAT patients continued to show slower and less efficient movements implying declining sensori-motor function; these differences were not simply due to strategy or medication status. (C) 1997 Elsevier Science Ltd.

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.

Stuttering treatment control using P300 event-related potentials

Positron emission tomography studies during speech have indicated a failure to show the normal activation of auditory cortical areas in stuttering individuals. In the present study, P300 event-related potentials were used to investigate possible effects of behavioral treatment on the pattern of signal amplitude and latency between waves. In order to compare variations in P300 measurements, a control group paired by age and gender to the group of stutterers, was included in the study. Findings suggest that the group of stutterers presented a significant decrease in stuttering severity after the fluency treatment program. Regarding P300 measurements, stutterers and their controls presented results within normal limits in all testing situations and no significant statistical variations between pre and post treatment testing. When comparing individual results between the testing situations, stutterers presented a higher average decrease in wave latency for the right ear following treatment. The results are discussed in light of previous P300 event-related potentials and functional imaging studies with stuttering adults. Educational objectives: The reader will learn about and be able to describe the: (1) use of P300 event-related potentials in the study of stuttering; (2) differences between stuttering and non-stuttering adults; and (3) effects of behavioral fluency treatment on cerebral activity in stuttering speakers. (C) 2011 Elsevier Inc. All rights reserved.

Effect of aquatic respiratory exercise-based program in patients with fibromyalgia

Objective: This study assessed the effects of an aquatic respiratory exercise-based program in patients with fibromyalgia (FMS). Methods: Forty women, aged between 20 and 60 years, were randomly assigned into two groups of 20 patients: the aquatic respiratory exercise-based program (ARG) and the control group (CTL). The ARG group performed the exercise program for 1 h, four times a week, for 4 weeks which included: (i) warming-Lip; (ii) respiratory exercises, consisting of five different breathing patterns, along With upper, lower limbs and trunk movements (45 min); and (iii) relaxation exercises. Both groups were included in supervised recreational activities of 1 h, once a week, for 4 weeks. Questionnaires were applied before and after intervention to assess quality of life and functional capacity (SF-36, Fibromyalgia Impact Questionnaire [FIQ]), anxiety (Hamilton Anxiety Scale [HAS]), and quality of sleep (Pittsburg Sleep Quality Index [PSQI]). Number of tender points and pain (Visual Analogue Scale [VAS]) were also evaluated. Results: At baseline there was no difference between the two groups, including number of tender points and questionnaire responses. After intervention, the ARG group, compared with the CTL group, showed improvement in SF-36 scores (physical functioning P = 0.001, bodily pain 1) = 0.001, vitality P = 0.009, social functioning P = 0.001, emotional role P = 0.001), in FIQ (total score P = 0.049, work missed P = 0.036, fatigue P = 0.013, morning tiredness P = 0.007) plus in VAS-pain (P = 0.029), VAS-dyspnea (P = 0.04), anxiety (HAS P = 0.005) and quality of sleep (PSQI P = 0.004). Conclusions: The short-term aquatic respiratory exercise-based program improved pain, quality of life, functional capacity, anxiety and quality of sleep in patients with FMS and may be a relevant addition to the treatment of these patients.

Controlling the decoherence of a ''meter'' via stroboscopic feedback

We propose a simple modification of the experimental scheme employed by Brune rt ni. [Phys. Rev. Lett. 79, 4887 (1996)] for the generation and detection of a Schrodinger cat state, in which the decoherence of the cat state can be significantly slowed down using an appropriate feedback.