Slicing functional programs 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 targeting either the imperative or the object oriented 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

A Methodology for GUI Layer Redefinition Through Virtualization and Computer Vision

Nowadays despite improvements in usability and intuitiveness users have to adapt to the proposed systems to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, and fulfill system's specifications. This paper proposes an approach to improve this situation enabling graphical user interface redefinition through virtualization and computer vision with the aim of increasing the system's usability. To achieve this goal the approach is based on enriched task models, virtualization and picture-driven computing.

Effects of age on histological parameters of the sweat glands of Nellore cattle

The sweat glands are important in thermoregulation of cattle in a warm environment as they help dissipate heat through evaporation. Studies on gland histology are important to define its secretion potential and the capacity of perspiration and heat removal. The objective of this study was to determine, by histomorphometry, glandular epithelium height, the depth of the gland, length of the glandular portion and number of glands per cm2 of the sweat glands of the three age groups of Nellore cattle. Thirty females were used in this study. They were equally divided into calves, heifers and cows. Histological sections were obtained and analyzed by digital images in Trinocular BX40 Olympus microscope coupled to an Oly - 200 camera, connected to a computer. The images were obtained with microscope with 2x, 4x, 10x and 40x magnification objectives. The measurements were performed using HL Image 97 program. The height of glandular epithelium, depth of the glands, length and density of the glandular portion per cm2 , were all analyzed. The calves showed greater height of the glandular epithelium than heifers (P = 0.0024), and cows (P = 0.0191). The depth of the gland was not influenced by age. Cows had higher length of secretory portion than heifers (P = 0.0379) and calves (P = 0.0077). Heifers had a greater number of sweat glands per cm2 of skin than cows (P = 0.023). In cattle, the height of glandular epithelium and the density decreases as animals get older. On the other hand, the length of the secretor portion increases but with no changes in the depth of the sweat glands

Computer-aided recognition of dental implants in X-ray images

Dental implant recognition in patients without available records is a time-consuming and not straightforward task. The traditional method is a complete user-dependent process, where the expert compares a 2D X-ray image of the dental implant with a generic database. Due to the high number of implants available and the similarity between them, automatic/semi-automatic frameworks to aide implant model detection are essential. In this study, a novel computer-aided framework for dental implant recognition is suggested. The proposed method relies on image processing concepts, namely: (i) a segmentation strategy for semi-automatic implant delineation; and (ii) a machine learning approach for implant model recognition. Although the segmentation technique is the main focus of the current study, preliminary details of the machine learning approach are also reported. Two different scenarios are used to validate the framework: (1) comparison of the semi-automatic contours against implant’s manual contours of 125 X-ray images; and (2) classification of 11 known implants using a large reference database of 601 implants. Regarding experiment 1, 0.97±0.01, 2.24±0.85 pixels and 11.12±6 pixels of dice metric, mean absolute distance and Hausdorff distance were obtained, respectively. In experiment 2, 91% of the implants were successfully recognized while reducing the reference database to 5% of its original size. Overall, the segmentation technique achieved accurate implant contours. Although the preliminary classification results prove the concept of the current work, more features and an extended database should be used in a future work.

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.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Projecto de entreposto frigorífico a R-744/R-717 para produtos congelados

Pretende-se com este trabalho de Projecto de Mestrado conceber uma câmara frigorífica de 20000 m3 para armazenar produtos congelados e estudar um sistema frigorífico com dois fluidos frigorigénios que serão o CO2 (R-744) e o NH3 (R-717) O trabalho inicia-se com a definição dos objectivos principais para o projecto de um sistema frigorífico deste tipo. Após a definição dos objectivos, o projecto propõe um estudo termodinâmico do CO2 (R-744) como fluido frigorigénio, definindo se o seu historial de utilização, características principais, diagrama pressão-entalpia com a distinção das diversas fases do fluído, comparação em diversos parâmetros com outros fluidos, o porquê da utilização deste fluído, problemas comuns em sistemas com a presença deste fluído, entre outros parâmetros de estudo. De seguida será feito o dimensionamento de uma câmara frigorífica de 20000 m3 para armazenar produtos congelados paletizados através de um balanço térmico manual e um balanço térmico informático através do programa da Centauro comparando no final o resultado dos dois métodos. Será feito uma descrição das características básicas da câmara frigorífica com um esquema simples do edifício. Será abordado de seguida o sistema frigorífico a CO2 (R-744) e a NH3 (R-717) nas suas diversas características, nomeadamente no cálculo de caudais, diagrama pressão-entalpia, dimensionamento de tubagens e finalmente selecção de equipamento. Procede-se assim também ao estudo um sistema apenas a NH3 (R-717) com as suas diversas características nomeadamente no cálculo de caudais, diagrama pressão-entalpia, dimensionamento de tubagens e finalmente selecção dos equipamentos mais importantes, para que desta forma se proceda à comparação dos dois sistemas a nível energético, consumo eléctrico e manutenção de equipamentos. Finalmente proceder-se-á interpretação de resultados com o objectivo final de escolher a melhor solução nos vários parâmetros de comparação, para o esquema em questão.

Concepção de uma pequena turbina eólica destinada ao segmento doméstico (simplificação e análise aerodinâmica das pás)

O trabalho que se apresenta incide sobre o estudo aerodinâmico das pás de uma turbina eólica de pequeno porte, com vista à simplificação geométrica, de forma a que estas sejam baratas e de fácil concepção. A teoria da quantidade de movimento do elemento de pá (BEMT), que é o modelo de referência para o projecto e análise aerodinâmica das pás das turbinas eólicas, foi utilizada neste trabalho de forma a projectar e analisar aerodinamicamente as pás da turbina. Sendo assim, desenvolveu-se um programa computacional em MATLAB, denominado de “Turbina”, de forma a implementar a teoria BEM. Introduzindo os dados dos parâmetros de projecto no programa (potência requerida, o número de pás, velocidade do vento, a TSR e o tipo de perfil alar), obtêm-se os parâmetros geométricos das pás (distribuição da corda ao longo da envergadura, o raio da pá e a distribuição da torção da pá), os parâmetros aerodinâmicos e de desempenho. Uma pá ideal foi calculada e de seguida foi modificada de forma a obter-se uma pá simples e menos carregada aerodinamicamente. Introduzidas as modificações na geometria da pá ideal, obtiveram-se duas configurações distintas. Uma configuração linear, onde a distribuição da corda e do ângulo de torção se tornam lineares, e outra configuração bi-linear, onde a distribuição da corda continua linear mas o ângulo de torção se torna bi-linear, isto é, a pá é composta por dois troços onde cada troço apresenta uma distribuição linear do ângulo de torção geométrica. As conclusões demonstram que a configuração bi-linear é uma boa alternativa a configuração ideal, apresentando uma redução do desempenho do rotor de 2.8% para um aumento do raio da pá em 1.41%, para se obter a mesma potência da configuração ideal. A análise aos perfis alares, utilizados neste trabalho, foi efectuada a partir dos programas comerciais ICEM e FLUENT. De forma a automatizar a análise de CFD, três programas foram desenvolvidos utilizando a linguagem de programação “C”. Os programas são denominados de “Malha2D”, “Calcula_Coeficientes” e “Plot_Graficos”. Finalmente, um estudo paramétrico foi feito de forma a avaliar a influências das variáveis de projecto no desempenho geral da turbina.

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.