Mechanisms of exercise training in patients with heart failure

Background The reduction of exercise capacity because of fatigue and dyspnea in patients with heart failure can be improved with exercise training. We sought to examine the mechanisms of exercise training, as an adjunctive treatment strategy for patients with heart failure. Methods a reviewed the published data on the possible mechanisms of effect of exercise training in heart failure. Results Symptoms of heart failure may be explained on the basis of abnormal skeletal muscle perfusion and structure and endothelial function. Exercise training has been shown to engender changes in muscle structure and biochemistry and vascular function, although effects on cardiac function have not been detected uniformly and may require longer training periods. Conclusions A suitable, long-term program of exercise training may reverse unfavorable interactions among the heart, vessels, and skeletal muscles. These improvements may be preserved with an ongoing maintenance program.

Distribution of Sugarcane mosaic virus in sugarcane plants

Variation in the concentration of virus in different parts of the plant has implications for virus-indexing programs. To allow more reliable detection of Sugarcane mosaic virus (SCMV), the distribution of the virus in sugarcane plants after artificial inoculation was studied using a reverse transcription polymerase chain reaction (RT-PCR) assay. Leaves of susceptible and moderately resistant sugarcane were mechanically inoculated with SCMV 6 weeks after planting. Weekly for 8 weeks after inoculation, plants were examined for mosaic symptoms and samples of leaves, roots and tillers were tested by RT-PCR to detect virus. SCMV moved from the point of inoculation to younger leaves, roots and tillers and eventually to leaves that emerged prior to inoculation. The pattern of SCMV distribution in moderately resistant and susceptible cultivars was not substantially different. However, the virus moved more slowly in the moderately resistant than in the susceptible cultivar. Young leaves proved to be the most suitable tissue for testing.

On the evaluation of some differential formulations for the pom-pom constitutive model

In recent years, progress has been made in modelling long chain branched polymers by the introduction of the so-called pompom model. Initially developed by McLeish and Larson (1998), the model has undergone several improvements or alterations, leading to the development of new formulations. Some of these formulations however suffer from certain mathematical defects. The purpose of the present paper is to review some of the formulations of the pom-pom constitutive model, and to investigate their possible mathematical defects. Next, an alternative formulation is proposed, which does not appear to exhibit mathematical defects, and we explore its modelling performance by comparing the predictions with experiments in non-trivial rheometric flows of an LDPE melt. The selected rheometric flows are the double step strain, as well as the large amplitude oscillatory shear experiments. For LAOS experiments, the comparison involves the use of Fourier-transform analysis.

Decreased coumarin 7-hydroxylase activities and CYP2A6 expression levels in humans caused by genetic polymorphism in CYP2A6 promoter region (CYP2A6*9)

One of seven poor metabolizers of coumarin found in Thai subjects was previously genotyped as heterozygote for the CYP2A6*4 (whole deletion) and CYP2A6*9. Thus, we aimed to investigate the relationship between the genetic polymorphism in the TATA box of the CYP2A6 gene (CYP2A6*9), expression levels of CYP2A6 mRNA and coumarin 7-hydroxylase activities in human livers. Levels of CYP2A6 mRNA were quantified by real-time quantitative reverse transcriptase-polymerase chain reaction. The mean expression levels of CYP2A6 mRNA in individuals with CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 58%, 71% and 21% of the individuals genotyped as CYP2A6*1/*1, respectively. The mean in-vitro coumarin 7-hydroxylase activities in subjects carrying CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 41%, 71% and 12%, respectively, compared to those of the subjects judged as wild-type. Vmax values for coumarin 7-hydroxylation in the liver microsomes from human subjects with genotypes of CYP2A6*1/*1, CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 0.58, 0.26, 0.44 and 0.13 nmol/min/nmol total P450, respectively. CYP2A6 protein levels in human liver microsomes with the CYP2A6*4 and the CYP2A6*9 alleles were markedly decreased. These results suggest that the genetic polymorphism in the promoter region of the CYP2A6 gene (CYP2A6*9) reduced the expression levels of CYP2A6 mRNA and protein in human livers, resulting in the decrease of coumarin 7-hydroxylase activities. Individuals judged as CYP2A6*4/*9 were expected to be poor metabolizers, having extremely low activity of CYP2A6.

Vantagens e desvantagens do preg??o na gest??o de compras no setor p??blico: o caso da Funasa/PB

O presente artigo ?? parte de um estudo explorat??rio cujo objetivo foi analisar as vantagens e desvantagens na aquisi????o de bens e servi??os por meio das modalidades de licita????o preg??o presencial e eletr??nico no servi??o p??blico. Para isso, foi realizado um estudo de caso na Funda????o Nacional de Sa??de da Para??ba. A parte da pesquisa divulgada neste artigo, al??m de uma s??ntese sobre o referencial te??rico, apresenta as caracter??sticas investigadas da modalidade de licita????o preg??o, comparando suas formas presencial e eletr??nica na institui????o estudada. Os resultados apontam aspectos relevantes quanto ??s quest??es: vantagens e desvantagens do preg??o eletr??nico em rela????o ao preg??o presencial e vice-versa; recursos para atendimento de despesas; planejamento anual da FUNASA/PB; economia de pre??o; economia e repasse de recursos para outras necessidades; prazos de fornecimento; treinamento e capacita????o de pessoal. Conclui a exposi????o destacando alguns pontos fortes e fracos do processo, sugerindo medidas a serem avaliadas no que tange a capacita????o de pessoal e planejamento anual na FUNASA/PB.

Análise do processo de implementação de políticas de saúde: Um estudo de caso baseado no enfoque da política institucional

O processo de implementação de políticas públicas tem se apresentado como o elo perdido da ação governamental. Apesar da importância desse processo, esta etapa carece de métodos de análises que deem conta de sua complexidade como forma de lhe garantir uma posição chave dentro do ciclo da análise de políticas públicas. A partir da adaptação do referencial da política institucional, proposta pelo grupo Francês Strategor, que analisa uma instituição sob quatro determinantes – estratégia, estrutura, decisão e identidade-, este estudo propõe-se a analisar o processo de implementação de uma política municipal de saúde voltada para Hipertensos e Diabéticos no município de Venda Nova do Imigrante/ES, avaliada como uma estratégia exitosa. Como resultado, esse estudo evidenciou que o processo exitoso de implementação da política avaliada pautou-se numa decisão participava e colegiada, no reconhecimento e valorização da autonomia profissional e na discussão democrática. Além disso, a estrutura institucional analisada proporcionou uma coordenação menos normativa, que favoreceu momentos de encontro entre o núcleo estratégico e os centros operacionais, rompendo com a excessiva verticalização das estruturas tradicionais. A análise do determinante identidade demonstrou uma apropriação dos valores e da missão institucional e um importante envolvimento dos atores, indicado pelo fortalecimento de parcerias e sinergias internas. A estratégia de implementação dessa política municipal mostrou-se potente no sentido de inverter a lógica do modelo de atenção, dentro de um processo de aprendizado, sendo este o grande diferencial competitivo de sucesso da instituição. A partir desses resultados, o referencial de Strategor se afirma como importante método de análise do processo de implementação, além de sua potência para indicar questões que colaborem para garantir à etapa de implementação uma posição de destaque dentro do ciclo da política pública.

“Também queremos falar” : representações socias dos alunos de ensino médio acerca da política de cotas da UFES

Este estudo buscou conhecer as representações sociais de alunos do ensino médio acerca da política afirmativa de cotas da UFES. Ao escolher realizar esta investigação científica, optei trabalhar com a Teoria das Representações Sociais (TRS), justamente por se tratar de uma pesquisa de natureza qualitativa, permitindo compreender melhor esse conjunto de saberes sociais cotidianos, explicações e afirmações que se originam na vida diária desses alunos. Para coleta e análise dos dados elegi trabalhar com grupos focais e análise de conteúdo, por acreditar que se tratam de técnicas mais apropriadas pelo tempo hábil destinado a tal propósito e o caráter exploratório dessa investigação. Foram eleitos como campo de pesquisa três escolas que ofertam o ensino médio no município de Cachoeiro de Itapemirim. Sendo, respectivamente, uma da rede particular, uma estadual e uma federal. Apresentei também de forma introdutória os principais conceitos sistematizados por Serge Moscovici que serviram de coordenadas para a formulação da TRS. Em um segundo momento, faço um debate dialogado sobre as relações raciais no Brasil através de autores que tentaram interpretar a realidade de um país de passado escravista e patriarcal. Como resultado dos diálogos com alunos do ensino médio, percebi que as representações sociais desses estudantes estão ancorados a um conjunto de palavras ligadas a ideia de igualdade, mérito, preconceito pelas avessas, “medida tapa buraco”. Entretanto, alunos favoráveis às políticas de cotas utilizaram muito a palavra igualdade no sentido material da existência (econômico e social). Percebeu-se também diferenças significativas não somente de instituição para instituição, como uma diversidade muito grande de concepções dentro de uma mesma instituição de ensino. Exemplo disso foi encontrado no IFES de Cachoeiro de Itapemirim, onde a visão sobre as cotas do primeiro grupo pertencente à turma de informática se aproximou mais das representações sociais dos alunos da escola particular, enquanto que as concepções do segundo grupo do curso de eletromecânica se conectavam mais com as falas dos alunos de escola pública.

Estudo da cinética e influência dos métodos de secagem sobre as propriedades físico-químicas de soro de leite

O soro de leite é um subproduto da fabricação do queijo, seja por acidificação ou por processo enzimático. Em condições ideais, a caseína do leite se agrega formando um gel, que posteriormente cortado, induz a separação e liberação do soro. É utilizado de diversas formas em toda a indústria alimentícia, possui rica composição em lactose, sais minerais e proteínas. A desidratação é um dos principais processos utilizados para beneficiamento e transformação do soro. Diante disto, o objetivo deste trabalho foi avaliar a influência dos métodos de secagem: liofilização, leito de espuma (nas temperaturas de 40, 50, 60, 70 e 80ºC) e spray-dryer (nas temperaturas de 55, 60, 65, 70 e 75ºC), sobre as características de umidade, proteína, cor e solubilidade do soro, bem como estudar o seu processo de secagem. O soro foi obtido e desidratado após concentração por osmose reversa, testando 11 tratamentos, em 3 repetições, utilizando um delineamento inteiramente casualizado. Os resultados demonstraram que o modelo matemático que melhor se ajustou foi o modelo de Page, apresentado um coeficiente de determinação ajustado acima de 0,98 e erro padrão da regressão em todas as temperaturas abaixo de 0,04 para o método por leito de espuma. Para o método de liofilização os respectivos valores foram 0,9975 e 0,01612. A partir disso, pode-se elaborar um modelo matemático generalizado, apresentando um coeficiente de determinação igual a 0,9888. No caso do leito de espuma, observou-se que à medida que se aumenta a temperatura do ar de secagem, o tempo de secagem diminui e os valores do coeficiente de difusão efetiva aumentam. Porém, a redução no tempo de secagem entre os intervalos de temperatura, diminui com o aumento da mesma. A energia de ativação para a difusão no processo de secagem do soro foi de 26,650 kJ/mol e para todas as avaliações físico-químicas e tecnológicas, a análise de variância apresentou um valor de F significativo (p<0,05), indicando que há pelo menos um contraste entre as médias dos tratamentos que é significativo.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

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

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

On the discovery of business processes orchestration patterns

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0