Extension of the C-XSC Library with Scalar Products with Selectable Accuracy

The C++ class library C-XSC for scientific computing has been extended with the possibility to compute scalar products with selectable accuracy in version 2.3.0. In previous versions, scalar products have always been computed exactly with the help of the so-called long accumulator. Additionally, optimized floating point computation of matrix and vector operations using BLAS-routines are added in C-XSC version 2.4.0. In this article the algorithms used and their implementations, as well as some potential pitfalls in the compilation, are described in more detail. Additionally, the theoretical background of the employed DotK algorithm and the necessary modifications of the concrete implementation in C-XSC are briefly explained. Run-time tests and numerical examples are presented as well.

Ambiente de alto desempenho com alta exatidão para a resolução de problemas

Este trabalho visa a disponibilização de um ambiente de alto desempenho, do tipo cluster de computadores, com alta exatidão, obtida através da utilização da biblioteca C–XSC. A alta exatidão na solução de um problema é obtida através da realização de cálculos intermediários sem arredondamentos como se fossem em precisão infinita. Ao final do cálculo, o resultado deve ser representado na máquina. O resultado exato real e o resultado representado diferem apenas por um único arredondamento. Esses cálculos em alta exatidão devem estar disponíveis para algumas operações aritméticas básicas, em especial as que possibilitam a realização de somatório e de produto escalar. Com isso, deseja-se utilizar o alto desempenho através de um ambiente de cluster onde se tem vários nodos executando tarefas ou cálculos. A comunicação será realizada por troca de mensagens usando a biblioteca de comunicação MPI. Para se obter a alta exatidão neste tipo de ambiente, extensões ou adaptações nos programas paralelos tiveram que ser disponibilizadas para garantir que a qualidade do resultado final realizado em um cluster, onde vários nodos colaboram para o resultado final do cálculo, mantivesse a mesma qualidade do resultado que é obtido em uma única máquina (ou nodo) de um ambiente de alta exatidão. Para validar o ambiente proposto foram realizados testes básicos abordando o cálculo do produto escalar, a multiplicação entre matrizes, a implementação de solvers intervalares para matrizes densas e bandas e a implementação de alguns métodos numéricos para a resolução de sistemas de equações lineares com a característica da alta exatidão. Destes testes foram realizadas análises e comparações a respeito do desempenho e da exatidão obtidos com e sem o uso da biblioteca C–XSC, tanto em programas seqüenciais como em programas paralelos. Com a conseqüente implementação dessas rotinas e métodos será aberto um vasto campo de pesquisa no que se refere ao estudo de aplicações reais de grande porte que necessitem durante a sua resolução (ou em parte dela) da realização de operações aritméticas com uma exatidão melhor do que a obtida usualmente pelas ferramentas computacionais tradicionais.

Optimization of Rational Approximations by Continued Fractions

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006.

Computer-Assisted Proofs and Symbolic Computations

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.

A Solver for Complex-Valued Parametric Linear Systems

This work reports on a new software for solving linear systems involving affine-linear dependencies between complex-valued interval parameters. We discuss the implementation of a parametric residual iteration for linear interval systems by advanced communication between the system Mathematica and the library C-XSC supporting rigorous complex interval arithmetic. An example of AC electrical circuit illustrates the use of the presented software.

Frequency Of The Allelic Variant C.1150t > C In Exon 10 Of The Fibroblast Growth Factor Receptor 3 (fgfr3) Gene Is Not Increased In Patients With Pathogenic Mutations And Related Chondrodysplasia Phenotypes.

Mutations in the FGFR3 gene cause the phenotypic spectrum of FGFR3 chondrodysplasias ranging from lethal forms to the milder phenotype seen in hypochondroplasia (Hch). The p.N540K mutation in the FGFR3 gene occurs in ∼70% of individuals with Hch, and nearly 30% of individuals with the Hch phenotype have no mutations in the FGFR3, which suggests genetic heterogeneity. The identification of a severe case of Hch associated with the typical mutation c.1620C > A and the occurrence of a c.1150T > C change that resulted in a p.F384L in exon 10, together with the suspicion that this second change could be a modulator of the phenotype, prompted us to investigate this hypothesis in a cohort of patients. An analysis of 48 patients with FGFR3 chondrodysplasia phenotypes and 330 healthy (control) individuals revealed no significant difference in the frequency of the C allele at the c.1150 position (p = 0.34). One patient carrying the combination `pathogenic mutation plus the allelic variant c.1150T > C' had a typical achondroplasia (Ach) phenotype. In addition, three other patients with atypical phenotypes showed no association with the allelic variant. Together, these results do not support the hypothesis of a modulatory role for the c.1150T > C change in the FGFR3 gene.

The C-terminal Region Of The Human P23 Chaperone Modulates Its Structure And Function.

The p23 protein is a chaperone widely involved in protein homeostasis, well known as an Hsp90 co-chaperone since it also controls the Hsp90 chaperone cycle. Human p23 includes a β-sheet domain, responsible for interacting with Hsp90; and a charged C-terminal region whose function is not clear, but seems to be natively unfolded. p23 can undergo caspase-dependent proteolytic cleavage to form p19 (p231-142), which is involved in apoptosis, while p23 has anti-apoptotic activity. To better elucidate the function of the human p23 C-terminal region, we studied comparatively the full-length human p23 and three C-terminal truncation mutants: p23₁₋₁₁₇; p23₁₋₁₃₁ and p23₁₋₁₄₂. Our data indicate that p23 and p19 have distinct characteristics, whereas the other two truncations behave similarly, with some differences to p23 and p19. We found that part of the C-terminal region can fold in an α-helix conformation and slightly contributes to p23 thermal-stability, suggesting that the C-terminal interacts with the β-sheet domain. As a whole, our results suggest that the C-terminal region of p23 is critical for its structure-function relationship. A mechanism where the human p23 C-terminal region behaves as an activation/inhibition module for different p23 activities is proposed.

Avaliação do teor e da estabilidade de vitaminas do complexo B e vitamina C em bebidas isotônicas e energéticas

Vitamin C stability and concentration was evaluated in isotonic beverages and B group vitamins (B1, B2, B3, B5 and B6) in power beverages. The amount of vitamins was found to be above of that declared on the labels, even after the shelf life had been exceeded. A small decrease in the amount of B group vitamins was observed during the shelf life of the products. In the case of vitamin C this decrease was slightly higher. The present research shows the need of increased quality control and inspection.

Caracterização físico-química de filmes comestíveis de amido adicionado de acerola (Malphigia emarginata D.C.)

Edibles films are an alternative to synthetic materials used for packing food products. Barbados cherry is rich in vitamin C and carotenoids. The aim of this study was to characterize and develop films by casting from cassava starch, lyophilized Barbados cherry pulp and glycerol. The films were characterized with respect to thickness, water vapor permeability (WVP), water solubility, vitamin C, carotene and mechanical properties. The interaction of pulp and glycerol reduced film thickness. An increase in pulp concentration up to 60% increased WVP but beyond this concentration reduced both WVP and solubility leading to an increased level of vitamin C and β carotene in the films.

O uso da mitomicina C em cirurgia combinada

Purpose: To analyze the efficacy and safety of intraope-rative mitomycin C (MMC) in combined procedures (extra-capsular cataract extraction + trabeculectomy). Methods: Twenty-four patients were randomized to either MMC (0.5 mg/ml) (n = 14) or saline solution (n = 10) for 3 minutes during the combined procedure. Results: Twelve months after surgery, mean IOP in the MMC group (13.2 ± 2.9 mmHg) was significantly lower than in the control group (16.3 ± 3.9 mmHg) (p = 0.02). The mean number of medications used during the 12-month follow-up in the control group (1.33 ± 0.5) was significantly higher than in the MMC-treated group (0.5 ± 0.5) (p = 0.005). Life table analysis showed a significantly higher probability of IOP control in the MMC group than in the control group (p < 0.01). Conclusions: Intraoperative MMC is safe and effective in pro-moting a better IOP control and reducing the need for postoperative antiglaucoma medications. We suggest intraope-rative MMC to be routinely employed in combined procedures.

Central retinal vein thrombosis as an initial manifestation of heterozygous protein C deficiency: case report

The purpose of this paper is to report a case of central retinal vein thrombosis associated with isolated heterozygous protein C deficiency. Acute occlusion of the central retinal vein presents as one of the most dramatic pictures in ophthalmology. It is often a result of both local and systemic causes. A rare systemic cause is heterozygous protein C deficiency, and it usually occurs in combination with other thrombophilic conditions. This case highlights that isolated heterozygous protein C deficiency may be the cause of central retinal vein thrombosis and underscores the importance of its screening in young patients with this ophthalmologic disease.

O papel do trabalho na transformação do homem em macaco : estudo sobre a disciplina no trabalho do jogador profissional do Sertãozinho F. C

Universidade Estadual de Campinas. Faculdade de Educação Física

Atividade fisica e a relação com a qualidade de vida, ansiedade e depressão em pessoas com sequelas de acidente vascular cerebral isquemico (AVCI)/ c Alberto Martins da Costa

Universidade Estadual de Campinas . Faculdade de Educação Física

Estabilidade oxidativa e microbiológica em carne de galinha mecanicamente separada e adicionada de antioxidantes durante período de armazenamento a -18 °C

Com o objetivo de acompanhar a estabilidade físico-química e microbiológica da carne mecanicamente separada (CMS) de diferentes origens e estocada durante 99 dias a -18 °C, foi realizada prévia mistura de conservante (nitrito de sódio) e antioxidante (eritorbato de sódio) em CMS obtida de duas linhagens de aves: galinhas matrizes de corte e galinhas poedeiras comerciais brancas. Na CMS de cada linhagem foram realizados três diferentes tratamentos: 1) controle (sem aditivos); 2) adição de 150 ppm de nitrito; e 3) adição de 150 ppm de nitrito e 500 ppm de eritorbato. Os resultados encontrados demonstraram que a adição de nitrito isoladamente não impediu a oxidação lipídica, avaliada através do índice de TBARS, nem a alteração na cor, avaliada em colorímetro. Por outro lado, a adição de nitrito juntamente com eritorbato foi efetiva na redução dos problemas de oxidação lipídica na CMS de galinhas matrizes, e em menor grau, na CMS de poedeiras. A adição de nitrito e eritorbato na CMS também melhorou a preservação da cor vermelha desejável (a*) ao longo do tempo. A avaliação da estabilidade microbiológica da CMS, realizada no primeiro e último dia de estocagem congelada, para microrganismos mesófilos, Escherichia coli, Staphylococcus aureus, Clostridium perfringens e Pseudomonas spp., e quinzenalmente para microrganismos psicrotróficos, indicou que não houve uma variação significativa nas contagens em função do tratamento utilizado (diferentes aditivos adicionados). Não foi detectada Salmonella spp. em nenhuma das amostras analisadas. Em função da melhoria da estabilidade oxidativa, recomenda-se a adição de nitrito (150 ppm) e eritorbato (500 ppm) em CMS de galinhas matrizes a ser estocada congelada por um período prolongado.

Vitaminas D e C para poedeiras na fase inicial de produção de ovos

Um experimento foi conduzido com o objetivo de avaliar os efeitos de duas fontes de vitamina D e três níveis de vitamina C sobre as características de desempenho, a qualidade interna e externa dos ovos, os níveis de cálcio total e iônico séricos e a resistência óssea de poedeiras. Foram utilizadas 288 galinhas da linhagem ISA Babcock B300® com 23 semanas de idade, durante um período experimental de 12 semanas. Utilizou-se o delineamento inteiramente ao acaso em arranjo fatorial 2 × 3, com os fatores: fontes de vitamina D (colecalciferol e 25-hidroxicolecalciferol - 25(OH)D3) e de vitamina C (0, 100 e 200 ppm), totalizando seis tratamentos com oito repetições de seis aves. O nível basal de colecalciferol foi de 2.756 UI/kg, correspondendo a 5,51 g do produto comercial Hy.D®/t de ração, como fonte de 25(OH)D3. Os fatores estudados não influenciaram o consumo de ração, a produção, o peso e a massa de ovos. Observou-se efeito da interação de fontes de vitamina sobre a conversão alimentar, que foi melhor quando utilizado metabólito 25(OH)D3 na ausência de vitamina C. Interações foram observadas para porcentagem de albúmen e porcentagem de gema, que aumentaram na presença de 200 ppm de vitamina C. O peso específico dos ovos, as concentrações de cálcio sérico, cinzas ósseas e a resistência à quebra não foram influenciadas pelas fontes de vitamina D e C. Houve interação para porcentagem e espessura de casca, cujos maiores valores foram obtidos com a suplementação de vitamina C na presença de 25(OH)D3. Em poedeiras na fase inicial de produção, a conversão alimentar é melhor com a utilização do 25(OH)D3 e a espessura e porcentagem de casca também melhoram com a utilização de 25(OH)D3 e a suplementação de vitamina C nas dietas (100 ou 200 ppm, respectivamente).