SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

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

Regressão linear com duplo truncamento na distribuição da variável dependente

Do problema do ajuste de uma regressão linear, quando a distribuição da variável dependente tem duplo truncamento, utilizando a função de máxima verossimilhança e um processo iterativo.

Análise multivariada: um exemplo usando modelo log-linear

Apresenta-se de forma resumida análise multivariada de dados categóricos, usando modelo log-linear para a situação de uma tabela de contingência 2 x 2 x 2.

Ordenação de populações em amplas classes de nível de saúde, segundo um indicador abrangente definido por uma função discriminante linear

Utilizando a função discriminante linear, propõe-se um indicador de nível de saúde abrangente de vários indicadores usuais, a saber: o coeficiente de mortalidade geral (CMG), indicador quantificado de Guedes (IG), esperança de vida ao nascer (EV), coeficiente de natalidade (CN), coeficiente de mortalidade infantil (CMI) e coeficiente de mortalidade por doenças transmissíveis (CMDT). Para a padronização dos dois últimos, foi proposta e utilizada uma população padrão mediana; para sua formação, cada grupo etário concorre com a mediana das percentagens de participação desse grupo na composição da população de cada um dos 44 países estudados. A análise crítica das equações de funções discriminantes obtidas com a técnica passo a 2895 2060 1000 passo ascendente (stepwise), mostrou que o valor: Z = 2895/CMI + 2060/CN + 1000/CMDTp, pode ser utilizado como indicador abrangente, permitindo a ordenação de países em amplas classes de nível de saúde.

Body composition, muscle strength, functional capacity, and physical disability risk in liver transplanted familial amyloidotic polyneuropathy patients

Abstract: Background: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease leading to sensory and motor polyneuropathies, and functional limitations. Liver transplantation is the only treatment for FAP, requiring medication that negatively affects bone and muscle metabolism. The aim of this study was to compare body composition, levels of specific strength, level of physical disability risk, and functional capacity of transplanted FAP patients (FAPTx) with a group of healthy individuals (CON). Methods: A group of patients with 48 FAPTx (28 men, 20 women) was compared with 24 CON individuals (14 men, 10 women). Body composition was assessed by dual-energy X-ray absorptiometry, and total skeletal muscle mass (TBSMM) and skeletal muscle index (SMI) were calculated. Handgrip strength was measured for both hands as was isometric strength of quadriceps. Muscle quality (MQ) was ascertained by the ratio of strength to muscle mass. Functional capacity was assessed by the six-minute walk test. Results: Patients with FAPTx had significantly lower functional capacity, weight, body mass index, total fat mass, TBSMM, SMI, lean mass, muscle strength, MQ, and bone mineral density. Conclusion: Patients with FAPTx appear to be at particularly high risk of functional disability, suggesting an important role for an early and appropriately designed rehabilitation program.

Strength, muscle quality and functional capacity in liver transplanted familial amyloidotic polineuropathy patients

Liver transplantation is the unique treatment for several end-stage diseases. Familial Amiloidotic Polineuropathy (FAP) is a neurodegenerative disease related with systemic deposition of amyloidal fiber mainly on peripheral nervous system, clinically translated by an autonomous sensitive-motor neuropathy with severe functional limitations in some cases. The unique treatment for FAP disease is a liver transplant with a very aggressive medication to muscle metabolism and force production. To our knowledge there are no quantitative characterizations of body composition, strength or functional capacity in this population.

Knee muscle strength, balance and functional independence in persons with stroke

Purpose: to investigate the relationship between knee muscle strength, balance and functional independence within the first month after stroke. Relevance: cerebral vascular disease is one of the main causes of morbidity, disability and mortality in developed countries. Problems with movement control are frequent after stroke. Lower limb weakness and impaired balance are common problems that are related with the risk of falls and are likely to interfere with the ability to perform daily life activities. Physiotherapy intervention usually starts early after stroke and addresses impairments related to movement and posture in order to improve motor recovery and restore function.

Muscle strength, balance and functional independence in persons with stroke

Cerebral vascular disease is one of the main causes of morbidity, disability and mortality in developed countries. Problems with movement control are frequent after stroke. Lower limb weakness and impaired balance are common problems that are related with the risk of falls and are likely to interfere with the ability to perform daily life activities. Physiotherapy intervention usually starts early after stroke and addresses impairments related to movement and posture in order to improve motor recovery and restore function. Purpose: to investigate the relationship between knee muscle strength, balance and functional independence within the first month after stroke.

Simulação numérica do comportamento de lajes: aplicação do método dos elementos finitos a problemas tridimensionais de elasticidade linear usando o freeFEM++

O presente trabalho entende a dedução das Equações de Compatibilidade, Equilíbrio, bem como as Leis Constitutivas, de modo a resolver numericamente problemas de Elasticidade Linear formulados para Lajes de Betão. A solução numérica é obtida usando o Método dos Elementos Finitos, implementado em freeFEM++, e comparada com os resultados conseguidos no SAP2000 e com os dados tabelados nas Tabelas de Barès, validando-se desta forma os modelos implementados através do freeFEM++.

Sistema de movimentação linear extensível com accionamentos electromecânicos sincronizados

Esta dissertação tem como objectivo estudar uma solução mecânica e eléctrica que permita anular o tempo de uma operação de não produção numa linha de prensagem instalada numa fábrica de indústria automóvel, a Autoeuropa. No início desta dissertação começa-se por encontrar uma solução de movimentadores telescópicos compatíveis com as restrições de espaço, os requisitos de sincronismo entre ambos e os objectivos de anulação do tempo de não operação. Seguidamente passou-se a uma fase de modelação do sistema mecânico, para permitir estudar o comportamento dinâmico do sistema proposto. Encontrado o movimentador mecânico adequado e feita a sua modelação foram estudadas possíveis soluções para o accionar, bem como formas de o controlar. Este sistema multimáquina foi estudado com dois tipos de máquinas eléctricas e métodos de controlo devido a necessitar de uma dinâmica bastante rápida, com exigência de grande sincronismo entre os dois movimentadores separados, e ainda com vista a tentar explorar a possibilidade de ter menor número de variadores electrónicos do que de máquinas eléctricas. Para tal recorreu-se ao ambiente Matlab para modelar e simular todo o sistema proposto nas suas variantes. Por fim são extraídas diversas conclusões, procurando-se clarificar a viabilidade da ideia e escolher a melhor opção de accionamento. No caso estudado, como o objectivo futuro é aplicar a solução proposta num ambiente industrial definido, há que ter em atenção não só a melhor opção técnica mas também o preço.

Mortality among patients with non-affective functional psychoses in a metropolitan area of South-Eastern Brazil

High mortality rates among those suffering from schizophrenia and related psychoses have been consistently described in developed societies. However, to date there is a lack of data on this matter in Brazil. In order to examine this issue, a prospective 2-year follow-up study was carried out in S. Paulo. The sample consisted of 120 consecutive admissions to psychiatric hospitals in a defined catchment area, aged 18 to 44 years old, with clinical diagnoses of non-affective functional psychoses according to the ICD-9. After 2 years, 116 (96.7%) subjects were traced. During the study period there were 7 deaths (6.0% of those traced), 5 (4.3%) due to suicide. All but one of the suicides occurred in the first year after discharge from hospital. Age and sex Standardised Mortality Ratios (relative to rates for the population of the city of Sao Paulo) were 8.4 for overall mortality (95% confidence interval: 4.0-15.9) and 317.9 for deaths due to suicide (95% confidence interval: 125.2-668.3). These results are in agreement with previous studies, and show that in Brazil non-affective functional psychoses are life-threatening illnesses, which need adequate care, particularly when patients go back to live in the community after hospital discharge.

New insights into functional regulation in MS-based drug profiling

We present a novel data analysis strategy which combined with subcellular fractionation and liquid chromatography-mass spectrometry (LC-MS) based proteomics provides a simple and effective workflow for global drug profiling. Five subcellular fractions were obtained by differential centrifugation followed by high resolution LC-MS and complete functional regulation analysis. The methodology combines functional regulation and enrichment analysis into a single visual summary. The workflow enables improved insight into perturbations caused by drugs. We provide a statistical argument to demonstrate that even crude subcellular fractions leads to improved functional characterization. We demonstrate this data analysis strategy on data obtained in a MS-based global drug profiling study. However, this strategy can also be performed on other types of large scale biological data.

Toplological Entropy in the Syncronization of Piecewise Linear and Monotone Maps. Coupled Duffing Oscillators

In this paper is presented a relationship between the synchronization and the topological entropy. We obtain the values for the coupling parameter, in terms of the topological entropy, to achieve synchronization of two unidirectional and bidirectional coupled piecewise linear maps. In addition, we prove a result that relates the synchronizability of two m-modal maps with the synchronizability of two conjugated piecewise linear maps. An application to the unidirectional and bidirectional coupled identical chaotic Duffing equations is given. We discuss the complete synchronization of two identical double-well Duffing oscillators, from the point of view of symbolic dynamics. Working with Poincare cross-sections and the return maps associated, the synchronization of the two oscillators, in terms of the coupling strength, is characterized.