Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

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

Effects of a home-based exercise program in body composition, abdominal fat and lipid profile in patients with coronary artery disease

Introduction: Coronary artery disease and aging seems to be associated with a sedentary lifestyle, contributing to increased abdominal fat and consequently metabolic complications. The exercise can break this cycle by stimulating lipolysis and the use of fatty acids. In Europe there is still a lack of cardiac rehabilitation programmes in hospitals, therefore, this study aims to demonstrate the advantages of implementing home-based exercise programmes, as well as, their effects on cardiovascular prevention. This study analyzed the effects of a home-based exercise programme, in patients with coronary artery disease (myocardial infarction for 1 year), in body composition, abdominal fat, lipid profile. Methods: An ongoing randomized controlled trial with a sample of 20 participants were randomly allocated to intervention (n = 10) and control groups (n = 10). Intervention group performed a specific exercise programme during 8 weeks, consisting of ten home based exercises taking into account flexibility, muscle endurance and strength as well as cardiovascular endurance. Skinfolds thickness were measure to calculate the percentage of total fat: Skinfolds used were suprailiac, abdominal horizontal and vertical. Body mass index calculation and blood tests for lipidic profile were performed. Results: After eight weeks the intervention group decreased significantly the percentage of total fat (p < 0.05), the suprailiac skinfold (p < 0.05), the abdominal horizontal and vertical skinfold (p < 0.05) when compared with control group. In the intervention group it was observed after 8 weeks a significant decrease in body mass index, LDL-cholesterol and triglycerides. Conclusions: Home-based exercise programme influenced body composition, abdominal fat and lipid profile. These results highlight the importance of implementing home based exercises that are easy and cheap to implement in cardiac patients, in order to promote health and reduce cardiovascular risk factors.

Factors that Influence Adherence to Exercise among Patients Attending a Cardiac Rehabilitation Program

Objective: The aim of this study was to compare the factors of adherence to physical activity in subjects attending a cardiac rehabilitation program, and subjects who have withdrawal this same program using the Transtheoretical Model of behavior change. Methods: We conducted an observational, cross sectional type study, with a sample of 33 individuals (15 currently participating in the Cardiac Rehabilitation Program and 18 who no more attended the same program), with the questionnaires being personally delivered or sent by mail. For data analysis, we used the computer program SPSS® version 16.0. The significance level was set at 0.05. Results: There were no significant differences in the states of Change, Self-efficacy, Decisional Balance and Change Processes in both groups. We obtained a high Spearman correlation between States of Change and Self-efficacy (r2 = 0.778) and the Pros (r2 = 0.764) and Againsts (r2 = -0.744) in Decisional Balance. However, there were no significant evidence to affirm that States of Change and experiential processes of change (p = 0.465) andbehavioral (p = 0.300) had a correlation. A relationship was found, in terms of proportions between physical activity incorporated or not in a Cardiac Rehabilitation Program and age (p = 0.003), occupation (p = 0.010) and the entity paying the costs of program (p = 0.027). Conclusion: It was concluded that perceived self-efficacy and Pros and Againsts of the Decisional Balance are related to adherence to physical activity. Results also point out that age, profession and the entity paying the costs of the program influences the dropout of Cardiac Rehabilitation Programs.

Privatization and social welfare in an international mixed Stackelberg duopoly

Competition between public and private firms exists in a range of industries like telecommunications, electricity, natural gas, airlines industries, as weel as services including hospitals, banking and education. Some authors studied mixed oligopolies under Cournot competition (firms move simultaneously) and some others considered Stackelberg models (firms move sequentially). Tomaru [1] analyzed, in a Cournot model, how decision-making upon cost-reducing R&D investment by a domestic public firm is affected by privatization when competing in the domestic market with a foreign firm. He shows that privatization of the domestic public firm lowers productive efficiency and deteriorates domestic social welfare. In this paper, we examine the same question but in a Stackelberg formulation instead of Cournot. The model is a three-stage game. In the first stage, the domestic firm chooses the amount of cost-reducing R&D investment. Then, the firms compete à la Stackelberg. Two cases are considered: (i) The domestic firm is the leader; (ii) The foreign firm is the leader. We show that the results obtained in [1] for Cournot competition are robust in the sence that they are also true when firms move sequentially.

Nonlinear dynamics of the patient’s response to drug effect during general anesthesia

In today’s healthcare paradigm, optimal sedation during anesthesia plays an important role both in patient welfare and in the socio-economic context. For the closed-loop control of general anesthesia, two drugs have proven to have stable, rapid onset times: propofol and remifentanil. These drugs are related to their effect in the bispectral index, a measure of EEG signal. In this paper wavelet time–frequency analysis is used to extract useful information from the clinical signals, since they are time-varying and mark important changes in patient’s response to drug dose. Model based predictive control algorithms are employed to regulate the depth of sedation by manipulating these two drugs. The results of identification from real data and the simulation of the closed loop control performance suggest that the proposed approach can bring an improvement of 9% in overall robustness and may be suitable for clinical practice.

Fractional Order Junctions

Gottfried Leibniz generalized the derivation and integration, extending the operators from integer up to real, or even complex, orders. It is presently recognized that the resulting models capture long term memory effects difficult to describe by classical tools. Leon Chua generalized the set of lumped electrical elements that provide the building blocks in mathematical models. His proposal of the memristor and of higher order elements broadened the scope of variables and relationships embedded in the development of models. This paper follows the two directions and proposes a new logical step, by generalizing the concept of junction. Classical junctions interconnect system elements using simple algebraic restrictions. Nevertheless, this simplistic approach may be misleading in the presence of unexpected dynamical phenomena and requires including additional “parasitic” elements. The novel γ-junction includes, as special cases, the standard series and parallel connections and allows a new degree of freedom when building models. The proposal motivates the search for experimental and real world manifestations of the abstract conjectures.

Integer/fractional decomposition of the impulse response of fractional linear systems

The decomposition of a fractional linear system is discussed in this paper. It is shown that it can be decomposed into an integer order part, corresponding to possible existing poles, and a fractional part. The first and second parts are responsible for the short and long memory behaviors of the system, respectively, known as characteristic of fractional systems.

Nonlinear Dynamics for Local Fractional Burgers Equation Arising in Fractal Flow

The local fractional Burgers’ equation (LFBE) is investigated from the point of view of local fractional conservation laws envisaging a nonlinear local fractional transport equation with a linear non-differentiable diffusion term. The local fractional derivative transformations and the LFBE conversion to a linear local fractional diffusion equation are analyzed.

Echinococcosis in southern Brazil: efforts toward implementation of a control program in Santana do Livramento, Rio Grande do Sul

This investigation aimed to design a strategy for echinococcosis control in Santana do Livramento county, an endemic area in state of Rio Grande do Sul (Brazil). Fecal samples from 65 dogs were obtained from urban, suburban and rural areas. Purging with Arecoline Bromhidrate (AB) was done to visualize Echinococcus granulosus, and Enzyme Linked Immunosorbent Assay (ELISA) was performed to detect parasite coproantigen. Samples were obtained at the beginning and at the end of treatment with Praziquantel. A third fecal sampling was also done in rural areas four months after the end of treatment. Each dog was treated immediately after the first purging and every 30 days for eight months. In urban and suburban areas no infected dogs were found. In rural areas, first evaluation showed 11.36% and 27.69% of infected dogs by AB and ELISA, respectively. No infected dogs were diagnosed in the second evaluation and in the third evaluation 36.84% and 47.37% infected dogs were identified by AB and ELISA, respectively. Medication program to combat dog infection resulted in successful interruption of parasite transmission, but the project failed to create awareness of the need for dog prophylaxis among rural populations as well as to establish a permanent control program in this municipality.

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems

5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.