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

Vector competence experiments with Rocio virus and three mosquito species from the epidemic zone in Brazil

First-generation progeny of field-collected Psorophora ferox, Aedes scapularis, and Aedes serratus from the Rocio encephalitis epidemic zone in S.Paulo State, Brazil, were tested for vector competency in the laboratory. Psorophora ferox and Ae. scapularis are susceptible to per os infection with Rocio virus and can transmit the virus by bite following a suitable incubation period. Oral ID50S for the two species (10(4.1) and 10(4.3) Vero cell plaque forming units, respectively) did not differ significantly. Infection rates in Ae. serratus never exceeded 36%, and, consequently, an ID50 could not be calculated for this species. It is unlikely that Ae. serratus is an epidemiologically important vector of Rocio virus. The utility of an in vitro feeding technique for demonstrating virus transmission by infected mosquitoes and difficulties encountered in working with uncolonized progeny of field-collected mosquitoes are discussed.

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.

Supercritical CO2 extraction of secondary metabolites from Agaricus blazei: experiments and modelling

The mycelium and young fruiting bodies of Agaricus blazei were submitted to supercritical CO2 extraction, in a modified commercial flow apparatus, at temperatures from 40 to 80 ºC, pressures up to 600 bar and CO2 flow-rates from 2.0 to 9.0 g.min-1. The best extraction conditions of secondary metabolites, whereby the degree of solubilization (g extract/100 g of fungi) is the highest, was obtained with pure CO2 at 400 bar, 70 ºC and a CO2 flow rate of 5.7g.min-1. The extract in that conditions were analysed by GC-Ms. In order to increase the extraction yield of secondary metabolites, which are mostly present in glycolipid fractions, a polar compound (ethanol) was used as co-solvent in the proportions of 5 and 10 % (mol/mol). The presence of ethanol increased the yield when compared with the extraction with pure CO2. Moreover, a simple model was applied to the supercritical CO2 extraction of secondary metabolites from Agaricus blazei.

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.

Surge damping analysis in pipe systems: modelling and experiments

The current study focuses on the analysis of pressure surge damping in single pipeline systems generated by a fast change of flow, conditions. A dimensionless form of pressurised transient flow equations was developed. presenting the main advantage of being independent of the system characteristics. In lack of flow velocity profiles. the unsteady friction in turbulent regimes is analysed based on two new empirical corrective-coefficients associated with local and convective acceleration terms. A new, surge damping approach is also presented taking into account the pressure peak time variation. The observed attenuation effect in the pressure wave for high deformable pipe materials can be described by a combination of the non-elastic behaviour of the pipe-wall with steady and unsteady friction effects. Several simulations and experimental tests have been carried out. in order to analyse the dynamic response of single pipelines with different characteristics, such as pipe materials. diameters. thickness. lengths and transient conditions.

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).

Study of the influence of count’s number in myocardium in the determination of reproducible functional parameters in Gated-SPECT studies simulated with GATE

Myocardial Perfusion Gated Single Photon Emission Tomography (Gated-SPET) imaging is used for the combined evaluation of myocardial perfusion and left ventricular (LV) function. But standard protocols of the Gated-SPECT studies require long acquisition times for each study. It is therefore important to reduce as much as possible the total duration of image acquisition. However, it is known that this reduction leads to decrease on counts statistics per projection and raises doubts about the validity of the functional parameters determined by Gated-SPECT. Considering that, it’s difficult to carry out this analysis in real patients. For ethical, logistical and economical matters, simulated studies could be required for this analysis. Objective: Evaluate the influence of the total number of counts acquired from myocardium, in the calculation of myocardial functional parameters (LVEF – left ventricular ejection fraction, EDV – end-diastolic volume, ESV – end-sistolic volume) using routine software procedures.

Numerical optimization experiments using the hyperbolic smoothing strategy to solve MPCC

In this work we solve Mathematical Programs with Complementarity Constraints using the hyperbolic smoothing strategy. Under this approach, the complementarity condition is relaxed through the use of the hyperbolic smoothing function, involving a positive parameter that can be decreased to zero. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

Partitioning taxon, phylogenetic and functional beta diversity into replacement and richness difference components

Copyright © 2013 John Wiley & Sons Ltd.