Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

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

Effect of filler content on morphology and physical-chemical characteristics of poly(vinylidene fluoride)/NaY-zeolite filled membranes

Poly(vinylidene fluoride) electrospun membranes have been prepared with different NaY zeolite contents up to 32%wt. Inclusion of zeolites induces an increase of average fiber size from ~200 nm in the pure polymer up to ~500 nm in the composite with 16%wt zeolite content. For higher filler contents, a wider distribution of fibers occurs leading to a broader size distributions between the previous fiber size values. Hydrophobicity of the membranes increases from ~115º water contact angle to ~128º with the addition of the filler and is independent on filler content, indicating a wrapping of the zeolite by the polymer. The water contact angle further increases with fiber alignment up to ~137º. Electrospun membranes are formed with ~80 % of the polymer crystalline phase in the electroactive  phase, independently on the electrospinning processing conditions or filler content. Viability of MC3T3-E1 cells on the composite membranes after 72 h of cell culture indicates the suitability of the membranes for tissue engineering applications.

Growth and physiological characteristics of the weed false johnsongrass ( Sorghum arundinaceum (Desv.) Stapf)

ABSTRACT Sorghum arundinaceum (Desv.) Stapf is a weed that belongs to the Poaceae family and is widespread throughout Brazil. Despite the frequent occurrence, infesting cultivated areas, there is little research concerning the biology and physiology of this species. The objective of this research was to evaluate the growth, carbon partitioning and physiological characteristics of the weed Sorghum arundinaceum in greenhouse. Plants were collected at regular intervals of seven days, from 22 to 113 days after transplanting (DAT). In each sample, we determined plant height, root volume, leaf area and dry matter, and subsequently we perfomed the growth analysis, we have determined the dry matter partitioning among organs, the accumulation of dry matter, the specific leaf area, the relative growth rate and leaf weight ratio. At 36, 78 and 113 DAT, the photosynthetic and transpiration rates, stomatal conductance, CO2 concentration and chlorophyll fluorescence were evaluated. The Sorghum arundinaceum reached 1.91 in height, with slow initial growth and allocated much of the biomass in the roots. The photosynthetic rate and the maximum quantum yield of FSII are similar throughout the growth cycle. At maturity the Sorghum arundinaceum presents higher values of transpiration rate, stomatal conductance and non-photochemical quenching coefficient (NPQ).

Surface plasmon resonance as a tool in the functional analisys of an immunodominant site in foot-and-mouth disease virus

A fast and direct surface plasmon resonance (SPR) method for the kinetic analysis of the interactions between peptide antigens and immobilised monoclonal antibodies (mAb) has been established. Protocols have been developed to overcome the problems posed by the small size of the analytes (< 1600 Da). The interactions were well described by a simple 1:1 bimolecular interaction and the rate constants were self-consistent and reproducible. The key features for the accuracy of the kinetic constants measured were high buffer flow rates, medium antibody surface densities and high peptide concentrations. The method was applied to an extensive analysis of over 40 peptide analogues towards two distinct anti-FMDV antibodies, providing data in total agreement with previous competition ELISA experiments. Eleven linear 15-residue synthetic peptides, reproducing all possible combinations of the four replacements found in foot-and-mouth disease virus (FMDV) field isolate C-S30, were evaluated. The direct kinetic SPR analysis of the interactions between these peptides and three anti-site A mAbs suggested additivity in all combinations of the four relevant mutations, which was confirmed by parallel ELISA analysis. The four-point mutant peptide (A15S30) reproducing site A from the C-S30 strain was the least antigenic of the set, in disagreement with previously reported studies with the virus isolate. Increasing peptide size from 15 to 21 residues did not significantly improve antigenicity. Overnight incubation of A15S30 with mAb 4C4 in solution showed a marked increase in peptide antigenicity not observed for other peptide analogues, suggesting that conformational rearrangement could lead to a stable peptide-antibody complex. In fact, peptide cyclization clearly improved antigenicity, confirming an antigenic reversion in a multiply substituted peptide. Solution NMR studies of both linear and cyclic versions of the antigenic loop of FMDV C-S30 showed that structural features previously correlated with antigenicity were more pronounced in the cyclic peptide. Twenty-six synthetic peptides, corresponding to all possible combinations of five single-point antigenicity-enhancing replacements in the GH loop of FMDV C-S8c1, were also studied. SPR kinetic screening of these peptides was not possible due to problems mainly related to the high mAb affinities displayed by these synthetic antigens. Solution affinity SPR analysis was employed and affinities displayed were generally comparable to or even higher than those corresponding to the C-S8c1 reference peptide A15. The NMR characterisation of one of these multiple mutants in solution showed that it had a conformational behaviour quite similar to that of the native sequence A15 and the X-ray diffraction crystallographic analysis of the peptide ? mAb 4C4 complex showed paratope ? epitope interactions identical to all FMDV peptide ? mAb complexes studied so far. Key residues for these interactions are those directly involved in epitope ? paratope contacts (141Arg, 143Asp, 146His) as well as residues able to stabilise a particular peptide global folding. A quasi-cyclic conformation is held up by a hydrophobic cavity defined by residues 138, 144 and 147 and by other key intrapeptide hydrogen bonds, delineating an open turn at positions 141, 142 and 143 (corresponding to the Arg-Gly-Asp motif).

Imagem percebida de Lisboa como destino turístico por parte do mercado finlandês

RESUMO: O presente estudo pretende analisar a imagem percebida de Lisboa como destino turístico por parte do mercado finlandês, considerando as seguintes perguntas de partida: a) quais os elementos que caracterizam a imagem percebida de Lisboa como destino turístico por parte dos turistas finlandeses; b) quais os factores com maior predominância na imagem percebida e c) qual o perfil do turista finlandês que visita Lisboa. Para atingir os objectivos deste estudo, foi realizado um inquérito por questionário a turistas finlandeses em Lisboa, de forma autoministrada, nos meses de Maio, Junho, Setembro e Outubro de 2008, no último dia da sua estada. Para além de questões que visaram compreender a imagem percebida de Lisboa como destino turístico, por parte dos inquiridos, o questionário incluiu perguntas sobre as suas características sócio-demográficas. Os resultados confirmaram as três componentes da imagem propostas no modelo de Echtner e Ritchie: psicológica-funcional, atributos-holística e comum-única. Os mesmos permitem também concluir que os inquiridos valorizam principalmente as características históricas e estéticas da cidade, como também o bom clima e a simpatia da população local. Por sua vez, os aspectos relativos à programação, eventos, diversão nocturna, interacção com a população local e preços, são os factores menos associados à cidade pelos inquiridos. As qualidades e as características únicas de Lisboa foram destacadas, tendo-se também verificado um elevado grau de satisfação com a visita à cidade e um vasto leque de sugestões dos inquiridos para melhorar Lisboa como destino turístico. ABSTRACT: This study aims to analyze the perceived image of Lisbon as a tourist destination by the Finnish market, considering the following questions: a) what are the elements that characterize the perceived image of Lisbon as a tourist destination by Finnish tourists b ) what features/attributes are most predominant in the perceived image c) what is the sociodemographic profile of the Finnish tourist who visits Lisbon. Data was collected in May, June September and October 2008. The questions were used seeking to identify the image of Lisbon of the respondents as a tourist destination, as well as the socio-demographic characteristics of the tourists. The results identified the three components of the image model proposed by Ritchie and Echtner: psychological-functional, attributes-holistic and commonunique. The results also allowed to conclude that respondents identify and value particularly historical and aesthetic characteristics, as well as the good weather and the friendliness of the local people whereas factors of the city such as the events, the nightlife, the interaction with the local population and the price level, didn’t particularly convinced the respondents. The qualities and the unique characteristics of Lisbon were highlighted, having also noticed a high degree of satisfaction on the visit to the city and a wide range of suggestions obtained from respondents to improve Lisbon as a tourist destination. TIIVISTELMÄ: Perehdyin tutkielmassani suomalaisten kokemusperäiseen mielikuvaan Lissabonista matkakohteena. Tutkimuksen tavoitteena oli selvittää, millaisia kokemuksia ja mielikuvia suomalaisilla matkailijoilla on Lissabonista matkakohteena. Tutkimus pyrki vastaamaan kolmeen kysymykseen: a) mitkä tekijät luonnehtivat suomalaisten matkailijoiden kokemusperäistä mielikuvaa Lissabonista matkakohteena, b) mitkä ominaisuudet hallitsevat kyseistä mielikuvaa sekä c) mihin sukupuoli-, ikä-, koulutus- ja yhteiskuntaluokkaan Lissabonissa vierailevat suomalaiset matkailijat kuuluivat. Tiedot kerättiin touko-, kesä-, syys- ja lokakuussa 2008. Kyselyssä keskityttiin pääosin matkailijoiden kokemuksiin ja mielikuviin Lissabonista sekä matkan ominaisuuksiin ja matkailijoiden matkakohdetta koskeviin tietoihin. Lisäksi matkailijoita pyydettiin kirjoittamaan, miten Lissabonin asemaa matkakohteena voitaisiin parantaa. Alkuperäisen olettamuksen mukaan tulokset osoittivat Echtnerin ja Richien ehdottaman mallin mukaisesti mielikuvien muodostuvan kolmesta osatekijästä: toiminnallinen-psykologinen, attribuutti-kokonaisvaltainen ja yleinenainutlaatuinen. Tulokset osoittivat vastaajien yhtyvän mielikuvissaan ensisijaisesti kaupungin toiminnallisiin osatekijöihin. Sen sijaan kaupungin tapahtumiin ja yöelämään tai vuorovaikutukseen paikallisten kanssa taikka hintatasoon liittyviä ominaisuuksia ei koettu erityisen merkittäviksi. Vastauksista tulivat selvästi esille Lissabonin vetovoimatekijät ja ainutlaatuiset ominaisuudet matkakohteena. Lisäksi vastaukset osoittivat matkailijoiden olleen suurimmaksi osaksi erittäin tyytyväisiä vierailuunsa kaupungissa. Vastauksiin sisältyi myös useita ehdotuksia Lissabonin aseman parantamiseksi matkailukohteena.

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.

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.

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

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 fibre 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. The purpose of this study was to compare levels of specific strength (isometric strength adjusted by lean mass or muscle quality) and functional capacity (meters in 6 minutes walk test) between FAP patients after a liver transplant (4.1±2 months after transplant surgery) (FAPT) and a healthy group (HG).