Type-based protocol conformance and aliasing control in concurrent java programs

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

Spill-over effects in multi-partner loyalty programs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Positioning of Ontario University Business Programs - Guelph-Humber

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Training-related accidents during teacher-student-assistance activities of medical students

A survey was done to determine the most common hospital accidents with biologically contaminated material among students at the Medical College of the Federal University of Minas Gerais. Six hundred and ninety-four students (between fifth and twelfth semesters of the college course) answered the questionnaire individually. Three-hundred and forty-nine accidents were reported. The accident rate was found to be 33.9% in the third semester of the course, and increased over time, reaching 52.3% in the last semester. Sixty-three percent of the accidents were needlestick or sharp object injuries; 18.3% mucous membrane exposure; 16.6% were on the skin, and 1.7% were simultaneously on the skin and mucous membrane exposure. The contaminating substances were: blood (88.3%), vaginal secretion (1.7%), and others (9.1%). The parts of the body most frequently affected were: hands (67%), eyes (18.9%), mouth (1.7%), and others (6.3%). The procedures being performed when the accidents occurred were: suture (34.1%), applying anesthesia (16.6%), assisting surgery (8.9%), disposing of needles (8.6%), assisting delivery (6.3%), and others (25.9%). Forty-nine percent of those involved reported the accident to the accident control department. Of these 29.2% did not receive adequate medical assistance. Eight percent of those involved used antiretroviral drugs and of these 86% discontinued the treatment on receiving the Elisa method applied to the patient (HIV-negative); 6.4% discontinued the treatment due to its side-effects; and 16% completed the treatment.

Wearable monitoring system for assistance dogs

Despite the recent progresses in robotics, autonomous robots still have too many limitations to reliably help people with disabilities. On the other hand, animals, and especially dogs, have already demonstrated great skills in assisting people in many daily situations. However, dogs also have their own set of limitations. For example, they need to rest periodically, to be healthy (physically and psychologically), and it is difficult to control them remotely. This project aims to “augment” the Assistance dog, by developing a system that compensates some of the dog weaknesses through a robotic device mounted on the dog harness. This specific study, involved in the COCHISE project, focuses on the development of a system for the monitoring of dogs activity and physiological parameters.

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

Aggregating community resources of care and assistance services for the elderly population

Changes in population age structure are a major concern and represent a priority in the agendas and policies of the developed world, which are demanding for renewed models of social and healthcare as well as assistance services to the elderly population. Studies indicate that as far as possible these types of services should desirably be provided at the user’s home, and that ICT-based solutions can have tremendous impact on the delivery of new services. This paper highlight and discusses some of the main results of a project undertaken in a Portuguese Municipality that demonstrates the potential contribution of an e-Marketplace of care and assistance services to the well-being of elderly people. Studies undertaken allowed identifying the main services that should be provided by such e-Marketplace (termed GuiMarket), the relevance that the population grant to this platform and, conversely, the fact that the Digital Divide phenomena influences the potential utilization of this project (and alike projects). The findings support that there is a strong relation between age and qualifications, and between access to ICT and the intended use of GuiMarket.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Paraplegia following intraaortic balloon circulatory assistance

Intraaortic balloon counterpulsation is frequently used in patients experiencing severe ventricular dysfunction following maximal drug therapy. However, even with the improvement of percutaneous insertion techniques, the procedure has always been followed by vascular, infectious, and neurological complications. This article describes a case of paraplegia due to intraaortic balloon counterpulsation in the postoperative period of cardiac surgery.

Response of blood pressure to maximum exercise in hypertensive patients under different therapeutic programs

OBJECTIVE: To evaluate the behavior of blood pressure during exercise in patients with hypertension controlled by frontline antihypertension drugs. METHODS: From 979ergometric tests we retrospectively selected 49 hipertensive patients (19 males). The age was 53±12 years old and normal range rest arterial pressure (<=140/90 mmHg) all on pharmacological monotherapy. There were 12 on beta blockers; 14 on calcium antagonists, 13 on diuretics and 10 on angiotensin converting enzyme inhibitor. Abnormal exercise behhavior of blood pressure was diagnosed if anyone of the following criteria was detected: peak systolic pressure above 220 mmHg, raising of systolic pressure > or = 10 mmHg/MET; or increase of diastolic pressure greater than 15 mmHg. RESULTS: Physiologic response of arterial blood pressure occurred in 50% of patients on beta blockers, the best one (p<0.05), in 36% and 31% on calcium antagonists and on diuretics, respectively, and in 20% on angiotensin converting enzyme inhibitor, the later the leastr one (p<0.05). CONCLUSION: Beta-blockers were more effective than calcium antagonists, diuretics and angiotensin-converting enzyme inhibitors in controlling blood pressure during exercise, and angiotensin converting enzyme inhibitors the least effective drugs.