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.

A high-throughput screening method for general cytotoxicity part I Chemical toxicity

Foi desenvolvido um método destinado a fazer a triagem rápida e o escalonamento da toxicidade geral exercida por xenobióticos tendo como modelo o Saccharomyces cerevisiae. Para padronizar as condições de experimentação foi estabelecida a relação entre a absorvência a 525 nm e o número de células em suspensão por mililitro de meio de cultura e calculadas uma curva padrão e respectiva equação definidora (Y=6,8219E-08X + 0,0327) Culturas de Saccharomyces cerevisiae em meio completo para leveduras (YPD - 1% de glucose 2%, de peptona 0,5% e extracto de levedura 1%) foram expostas a diferentes concentrações de nicotina e a inibição do crescimento avaliada.

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 eficácia do exame telerradiográfico de tórax como técnica de "screening" em população hospitalar

É analisada a eficácia da telerradiografía de tórax como técnica de "screening" em população hospitalar. Utilizando-se uma técnica prospectiva não concorrente, é evidenciado que pouco benefício traz ao paciente a chapa de tórax AP na internação, na primeira consulta ou no pré-operatório em geral. Para sete em cada 100 pacientes foi diagnosticado importante patologia assintomática. Nenhum paciente entre 0 e 19 anos teve anormalidade evidenciada pela chapa. Recomenda-se, para esta faixa, a eliminação do exame, e para pacientes acima de 20 anos a introdução da abreugrafia, ao invés da telerradiografia de tórax.

Diagnostic performance of visual screening tests in the elderly

This study aimed to determine and evaluate the diagnostic accuracy of visual screening tests for detecting vision loss in elderly. This study is defined as study of diagnostic performance. The diagnostic accuracy of 5 visual tests -near convergence point, near accommodation point, stereopsis, contrast sensibility and amsler grid—was evaluated by means of the ROC method (receiver operating characteristics curves), sensitivity, specificity, positive and negative likelihood ratios (LR+/LR−). Visual acuity was used as the reference standard. A sample of 44 elderly aged 76.7 years (±9.32), who were institutionalized, was collected. The curves of contrast sensitivity and stereopsis are the most accurate (area under the curves were 0.814−p = 0.001, C.I.95%[0.653;0.975]— and 0.713−p = 0.027, C.I.95%[0,540;0,887], respectively). The scores with the best diagnostic validity for the stereopsis test were 0.605 (sensitivity 0.87, specificity 0.54; LR+ 1.89, LR−0.24) and 0.610 (sensitivity 0.81, specificity 0.54; LR+1.75, LR−0.36). The scores with higher diagnostic validity for the contrast sensibility test were 0.530 (sensitivity 0.94, specificity 0.69; LR+ 3.04, LR−0.09). The contrast sensitivity and stereopsis test's proved to be clinically useful in detecting vision loss in the elderly.

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.

In vitro toxicity screening of silica-coated superparamagnetic iron oxide nanoparticles in glial cells

Nanotechnology industry is progressing with prospects of substantial benefits to economics and science. Superparamagnetic iron oxide nanoparticles (ION) have been showing excellent magnetic properties, biocompatibility and biodegradability, broadening their potential applications and importance in the biomedical field

Survey of cyclopids (Crustacea, Copepoda) in Brazil and preliminary screening of their potential as dengue vector predators

INTRODUCTION: Cyclopid copepods are known to be good mosquito controllers, specially as regards the larvae of the dengue vectors Aedes aegypti and Ae. albopictus. MATERIAL AND METHOD: The objective of the study was to survey the local copepod fauna and search for new strains of M. longisetus var. longisetus, comparing the potential of the samples found with the current strain ML-01 against Ae. albopictus larvae, under laboratory conditions. Eleven bodies of water in Campinas, SP, Brazil, were screened for copepods by collecting 1.5 l of water from each of then. The predatory potential of adults copepods was evaluated over 24 h, in the laboratory, for groups of 5 individuals preying upon 30 first instar Ae. albopictus larvae. RESULTS AND CONCLUSION: The following cyclopid species were found: Metacyclops mendocinus, Tropocyclops prasinus, Eucyclops sp, Eucyclops serrulatus, Eucyclops solitarius, Eucyclops ensifer, Macrocyclops albidus var. albidus and Mesocyclops longisetus var. longisetus. The predatory potential of these copepods ranged from nil to 97.3%. A sample collected in the field containing only M. longisetus var. longisetus showed the best control efficiency with no significant difference from a three-year old laboratory culture (ML-01) of the same species evaluated for comparison. The sample with few M. albidus var. albidus was ranked in second place showing an average 25.9% efficiency. The use of copepods in trap tires as dengue vector controllers is discussed.

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.