Models and tools for value systems analysis in collaborative environments

Dissertation to obtain the degree of Doctor in Electrical and Computer Engineering, specialization of Collaborative Networks

Negative non-ground queries in well founded semantics

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Computational Logic

Desenvolvimento de uma framework para a criação de videojogos

Os videojogos são cada vez mais parte integrante da sociedade, sendo que a massificação dos vários dispositivos que se encontram atualmente veio ajudar os videojogos a estarem mais presentes no dia-a-dia das pessoas. Mas a criação de jogos só é possível através de ferramentas bem específicas, as frameworks ou motores de videojogos. Com estas é possível criar os mais diferentes géneros de videojogos para os mais diferentes dispositivos. Contudo, nem todas essas ferramentas são gratuitas, e as que são encontram-se pouco documentadas ou limitadas em determinadas funcionalidades, o que poderá levar mais tempo no desenvolvimento de um videojogo. O trabalho desenvolvido nesta dissertação visa a criação de uma framework capaz de suportar diferentes géneros de videojogos, mas também que facilmente possibilite a alteração ou substituição de diferentes partes internas da framework sem que esta deixe de funcionar. Para isso, foi realizada uma análise ao estado atual do mercado dos videojogos, bem como das ferramentas que possibilitam a criação dos mesmos, passando também pelas interfaces gráficas existentes nos videojogos. Como forma de demonstrar as funcionalidades implementadas na framework, foi desenvolvido um protótipo de um videojogo de luta, tirando-se, assim, partido de algumas das características dessa ferramenta.

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.

Framework-specific DSL para sensoriamento participado

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

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.

Reflections on the legal framework for relations between cooperatives and subsidiaries.

In the light of Portuguese legal system, cooperative enterprises may include an enterprise carried out by a subsidiary, provided they conform to certain requirements. The aim of this paper is to reflect on the issue of the legal framework of the relationship between the cooperative and the subsidiary. There are several problems to be addressed in this paper: (i) How to qualify such a relationship since corresponding to mere investments made by the cooperative? Should it be classified as non-member cooperative transactions or as extraordinary activities? (ii) How to qualify such a relationship when related to the development of preparatory or complementary activities for the economic activity developed between the cooperative and its members? May we speak, in this situation, of a concept of “indirect mutuality”, as provided in other legal systems? (iii) How should we classify and what is the regime of the economic results from the activity developed by the subsidiary? We will conclude, advocating: (i) That the cooperative enterprise may include an enterprise carried out by a subsidiary if this is deemed necessary to satisfy the interests of the members; (ii) The inadmissibility of the concept of “indirect mutuality”; (iii) The inadequacy of qualifying the legal relationship between the cooperative partner (iv) The application, to the economic results coming from the activity developed by the subsidiary, of the regime provided for in the Portuguese Cooperative Code to the results from non-member cooperative transactions; (v) The economic results coming from the activity developed by the subsidiary cannot be appropriated by individual co-operators members, and so should be allocated to indivisible reserves.

Consultoria financeira e apoio financeiro ao comércio: apoios financeiros à modernização do comércio: relatório de estágio na Associação Empresarial da Póvoa de Varzim

Relatório de estágio

A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

A framework for robustness assessment in the context of corroded RC structures

Structural robustness is an emergent concept related to the structural response to damage. At the present time, robustness is not well defined and much controversy still remains around this subject. Even if robustness has seen growing interest as a consequence of catastrophic consequences due to extreme events, the fact is that the concept can also be very useful when considered on more probable exposure scenarios such as deterioration, among others. This paper intends to be a contribution to the definition of structural robustness, especially in the analysis of reinforced concrete structures subjected to corrosion. To achieve this, first of all, several proposed robustness definitions and indicators and misunderstood concepts will be analyzed and compared. From this point and regarding a concept that could be applied to most type of structures and dam-age scenarios, a robustness definition is proposed. To illustrate the proposed concept, an example of corroded reinforced concrete structures will be analyzed using nonlinear analysis numerical methods based on a contin-uum strong discontinuities approach and isotropic damage models for concrete. Finally the robustness of the presented example will be assessed.

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapure, Singapore.

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.

Bringing Context Awareness to IoT-Based Wireless Sensor Networks

IEEE International Conference on Pervasive Computing and Communications (PerCom). 23 to 26, Mar, 2015, PhD Forum. Saint Louis, U.S.A..