Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Sustainable Tourism and Eradication of Poverty (Step): impact assessment of a tourism development program in Brazil

This paper aims to evaluate the social impacts of the Tourism Development Program (Prodetur) in the northeastern town of Porto Seguro, Bahia, Brazil. The method used is based on the difference in difference technique applied to the 1991 and 2000 Census microdata. The results suggest social advances following from poverty relief based on income - where the benefits are distributed, generally, in a relatively equal manner between the native and migrant population. There is a relative deterioration in the sanitary situation, which consists of a very serious problem in the mid- and long-term, whose costs are mostly borne by the native population. Therefore, maintaining the natural capital is the main aspect that distances Porto Seguro’s tourism supply from the concept of sustainability. The article also relies on difference in difference estimators to assess the impacts of local public policies related to the sector.

A supervised versus home-based program effects on liver transplanted familial amyloidotic polyneuropathy patients: walking, fatigue and quality of life

Purpose: To evaluate the effects of a six months exercise training program on walking capacity, fatigue and health related quality of life (HRQL). Relevance: Familial amyloidotic polyneuropathy disease (FAP) is an autossomic neurodegenerative disease, related with systemic deposition of amyloidal fibre mainly on peripheral nervous system and mainly produced in the liver. FAP often results in severe functional limitations. Liver transplantation is used as the only therapy so far, that stop the progression of some aspects of this disease. Transplantation requires aggressive medication which impairs muscle metabolism and associated to surgery process and previous possible functional impairments, could lead to serious deconditioning. Reports of fatigue are common feature in transplanted patients. The effect of supervised or home-based exercise training programs in FAP patients after a liver transplant (FAPTX) is currently unknown.

Effects of an exercise training program in physical condition after liver transplantation in familial amyloidotic polyneuropathy: a case report

Introduction: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease that leads to sensory and motor polyneuropathies as well as functional limitations. So far, liver transplantation is the only treatment for FAP because the mutated protein causing the disease is mainly produced in the liver. With the increasing survival of transplant recipients, functional and cardiovascular problems as consequences of immunosuppressant side effects are increasing associated with sedentary lifestyles and/or retransplantation status. We sought to analyze the impact of exercise training programs on 1 FAP patient’s course long-term after liver transplantation. Methodology. A FAP patient (female; 49 years of age; body mass index 18.8 kg/m2) underwent a liver transplantation 133 months before assessment. She was assessed for body composition, isometric quadriceps muscle strength, functional capacity, fatigue, and levels of physical activity before and after a 6-month period of combined exercise training. Results: After the exercise training program, almost all variables were improved, namely, total body skeletal muscle mass, proximal femoral bone mineral density, quadriceps strength, maximal oxygen consumption on 6 minutes walk test (6mwt) or VO2peak, total ventilation on 6mwt, and fatigue. The improvement in distance on 6mwt (69.2 m) was clinically significant. Preintervention the levels of physical activity were below international recommendations for health; after the program they achieved the recommendations. Conclusion: The results showed an improvement in functional capacity with a decrease in future disability risk associated with a better lifestyle with respect to physical activity levels in 1 patient.

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies who refer the possible positive effects of physical exercise in functional consequences of PAD.

A supervised versus home-based program effects on liver transplanted familial amyloidotic polyneuropathy patients: walking, fatigue and quality of life

Familial amyloidotic polyneuropathy is a systemic deposition of amyloidal fibre mainly on peripheral nervous system (but also in other systems like heart, gastrointestinal tract, kidneys, etc) and mainly produced in the liver. Purpose of this study: to evaluate the effects of a six months exercise training program(supervised or home-based) on walking capacity, fatigue and health related quality of life (HRQL) on Familial Amyloidotic Polyneuropathy patients submitted to a liver transplant.

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies that refer the possible positive effects of physical exercise in functional consequences of PAD. The purpose of this study was to verify the results of a home-based (HB) weekly supervised physical exercise program in patients with IC in consequence of PAD in lower limbs, and observe the medium number of diary steps walked by the subjects of our study.

The importance of the program for the promotion of physical activity in perceived fatigue in people with multiple sclerosis

The aims of the study is to examine for intervention program of physical activity in the perception of fatigue, in patients with multiple sclerosis.

Implication of an intervention program for the promotion of physical activity in the quality of life of people with multiple sclerosis

The aims of this study is to examine the interest for quality of life of an implementation of program physical activity, with patients of multiple sclerosis.

Evaluation of a program to reduce back pain in nursing personnel

OBJECTIVE: To evaluate the effectiveness of a program designed to reduce back pain in nursing aides. METHODS: Female nursing aides from a university hospital who had suffered episodes of back pain for at least six months were included in the study. Participants were randomly divided into a control group and an intervention group. The intervention program involved a set of exercises and an educational component stressing the ergonomic aspect, administered twice a week during working hours for four months. All subjects answered a structured questionnaire and the intensity of pain was assessed before and after the program using a visual analogue scale (VAS). Student's t-test or the Wilcoxon Rank Sum Test for independent samples, and Chi-square test or the Exact Fisher test for categorical analysis, were used. The McNemar test and the Wilcoxon matched pairs test were used to compare the periods before and after the program. RESULTS: There was a statistically significant decrease in the frequency of cervical pain in the last two months and in the last seven days in the intervention group. There was also a reduction in cervical pain intensity in the two periods (2 months, 7 days) and lumbar pain intensity in the last 7 days. CONCLUSIONS: The results suggest that a program of regular exercise with an emphasis on ergonomics can reduce musculoskeletal symptoms in nursing personnel.

Assessment of a consultation-liaison psychiatry and psychology health care program

OBJECTIVE: To investigate the relevance of subjective criteria adopted by a psychiatry and psychology consultation-liaison service, and their suitability in the evaluation of case registries and objective results. METHODS: Semi-structured interviews were conducted and all supervisors of the university hospital service were interviewed. Routinely collected case registries were also reviewed. Standardized assessment with content analysis for each category was carried out. RESULTS: The results showed distortions in the adopted service focus (doctor-patient relationship) and consultant requests. This focus is more on consulting physician-oriented interventions than on patients. DISCUSSION: Evaluation of the relevance of service criteria could help promoting quality assessment of the services provided, mainly when objective criteria have not yet been established to assure their suitability.

Inexact restoration approaches to solve mathematical program with complementarity constraints

Mathematical Program with Complementarity Constraints (MPCC) finds applica- tion in many fields. As the complementarity constraints fail the standard Linear In- dependence Constraint Qualification (LICQ) or the Mangasarian-Fromovitz constraint qualification (MFCQ), at any feasible point, the nonlinear programming theory may not be directly applied to MPCC. However, the MPCC can be reformulated as NLP problem and solved by nonlinear programming techniques. One of them, the Inexact Restoration (IR) approach, performs two independent phases in each iteration - the feasibility and the optimality phases. This work presents two versions of an IR algorithm to solve MPCC. In the feasibility phase two strategies were implemented, depending on the constraints features. One gives more importance to the complementarity constraints, while the other considers the priority of equality and inequality constraints neglecting the complementarity ones. The optimality phase uses the same approach for both algorithm versions. The algorithms were implemented in MATLAB and the test problems are from MACMPEC collection.

Implications of the Intervention Program for Physical Activity (IPPA) in the perception of illness and wellbeing in people with Multiple Sclerosis (MS)

The aim of this study is to examine the implications of the IPPA in the perception of illness and wellbeing in MS patients. Methods - This is a quasi experimental study non-randomized study with 24 MS patients diagnosed at least 1 year before, and with an EDSS score of under 7. We used the IPPA in 3 groups of eight people in 3 Portuguese hospitals (Lisbon, Coimbra, and Porto). The sessions were held once a week for 90 minutes, over a period of 7 weeks. The instruments used were: We asked the subjects the question “Please classify the severity of your disease?” and used the Personal Wellbeing Scale (PWS) at the beginning (time A) and end (time B) of the IPPA. We used the SPSS version 20. A non-parametric statistical hypothesis test (Wilcoxon test) was used for the variable analysis. The intervention followed the recommendations of the Helsinki Declaration. Results – The results suggest that there are differences between time A and B, the perception of illness decreased (p<0.08), while wellbeing increased (p<0.01). Conclusions: The IPPA can play an important role in modifying the perception of disease severity and personal wellbeing.