Type-based termination of recursive definitions

This paper introduces "lambda-hat", a simply typed lambda calculus supporting inductive types and recursive function definitions with termination ensured by types. The system is shown to enjoy subject reduction, strong normalisation of typable terms and to be stronger than a related system "lambda-G" in which termination is ensured by a syntactic guard condition. The system can, at will, be extended to also support coinductive types and corecursive function definitions.Information Society Technologies (IST) - Fifth Framework Programm (FP5) - TYPES.Fundação para a Ciência e a Tecnologia (FCT) – PRAXIS XXI/C/EEI/14172/98.INRIA-ICCTI.Estonian Science Foundation (ETF) - grant no. 4155

Cardiac Doppler Variation with Volume Status Changes in General Intensive Care

Num grupo de 64 doentes de uma Unidade de Cuidados Intensivos, 24 dos quais submetidos a ventilação mecânica, foi determinada a influência da modificação da volémia nas características do Doppler cardíaco, através da negativização do balanço hídrico e correspondente modificação da pressão venosa central. Com a modificação da volémia, a relação E/A do fluxo transvalvular mitral mostrou uma tendência para reduzir, o tempo de desaceleração da onda E mitral para diminuir, o tempo de relaxamento isovolumétrico para aumentar, e a veia cava inferior reduziu o seu diâmetro expiratório e aumentou o valor do colapso inspiratório. Não se observou uma correlação significativa entre os valores das variáveis estudadas e a modificação da volémia, inclusivamente entre a pressão venosa central e o balanço hídrico. A modificação da volémia em doentes críticos modifica as características de determinados parâmetros de ecocardiografia- -Doppler, mas não é possível predizer a magnitude dessa variação

Biossolubilização de fonolito por microrganismos do solo solubilizadores de potássio.

A produção nacional de fertilizantes potássicos atende somente 10% da demanda do agronegócio brasileiro. Como os solos brasileiros, em geral, possuem baixa fertilidade, verifica-se a necessidade de pesquisas visando novas fontes deste nutriente para a produção agrícola. Neste estudo, procurou-se avaliar o potencial de diferentes estirpes de microrganismos pertencentes à coleção de Microrganismos Multifuncionais da Embrapa Milho e Sorgo quanto à biossolubilização de potássio a partir da rocha fonolito in vitro. Testaram-se 13 isolados, sendo três bactérias e dez fungos quanto à taxa de solubilização em meio de cultura líquido, após 10 dias de agitação, sob temperatura de 28°C. Os teores de potássio foram determinados nos sobrenadantes das culturas enriquecidas após a filtração. Os resultados mostraram que a biodisponibilidade de potássio nos meios de cultura variaram significativamente em função dos isolados. A bactéria B30 foi a estirpe mais eficiente na solubilização de K, com incremento de 70% de solubilização, em relação ao controle não inoculado. Observou-se uma correlação negativa entre os valores do pH no meio de cultura e taxa de solubilização das estirpes. Estes resultados sugerem que os microrganismos avaliados podem ser utilizados para otimizar a biodisponibilidade de potássio a partir de rochas silicáticas

Biossolublização de fosfatos naturais e crescimento de milheto (Pennisetum americanum).

O setor agrícola no país vem ganhando espaço devido sua contribuição ao desenvolvimento econômico nacional. Porém, grande parte dos solos brasileiros possui baixa disponibilidade de fósforo (P), acabando por limitar este crescimento e gerando uma dependência elevada de fertilizantes fosfatados, em sua maioria importados. Este fato justifica estudos para uso de fontes alternativas de fósforo, como os fosfatos naturais de rocha. Neste trabalho, buscou-se avaliar a liberação de P por microrganismos a partir de fosfatos de Araxá e de Itafós, em dois cultivos consecutivos de milheto em casa de vegetação. Foram conduzidos dois ensaios, utilizando-se duas bactérias previamente selecionadas como biossolubilizadoras de P in vitro (CMMSB70 e CMMSB30), sendo um com inoculante bioprocessado e outro com rochas não-bioprocessado, no total de 12 tratamentos cada, duas estirpes de bactérias combinadas com três fontes de P (duas rochas e supertriplo), além de tratamentos controle (fontes de P sem bactéria; sem rocha sem bactérias). Os tratamentos foram dispostos em delineamento inteiramente casualizado, com quatro repetições. Após a coleta em cada cultivo, avaliou-se a produção de massa seca da parte aérea na fase de pré-florescimento. No segundo cultivo, houve ganho de cerca de 20% de massa seca para o tratamento de Rocha Araxá e Itafós com inoculação de B32 e B70 respectivamente, com relação ao tratamento com a rocha, sem microrganismos. De acordo com os resultados obtidos, pode-se, de forma preliminar, inferir que a adição de microrganismos selecionados pode agregar valor aos fertilizantes fosfatos de rocha

Rehabilitation of a Child with Neonatal Brachial Plexus Palsy: Case Report Described by Parents

This paper presents a case report of a child with Neonatal Brachial Plexus Palsy on the right arm, with C5, C6, and C7 nerve injuries. The symptoms presented at birth and at the time of diagnosis were absence of movement in the right arm but with mobility of the fingers; internal rotation of the injured limb with elbow extension; active flexion of the wrist and fingers; and ulnar deviation of the hand. The rehabilitation plan followed the conservative approach and included different intervention strategies (passive and active mobilisation, kinesio tape, use of splints, bimanual stimulation, etc.) carried out by the occupational therapist and the physical therapist. The rehabilitation allowed the child to have a functional limb for daily activities, with bimanual motor integration and coordination; passive and active range of motion in the different joints except for pronation, sensibility, and maintained strength. In conclusion, it can be said that this case report describes a set of rehabilitation strategies that were used in the conservative treatment of a child with NBPP and the functional gains they allowed. Early intervention, parental involvement in the rehabilitation process, and continuous follow-up of the child favoured the prognosis and allowed the prevention of functional sequelae of the limb.info:eu-repo/semantics/publishedVersio

The analysis of European lacquer : optimization of thermochemolysis temperature of natural resins

In order to optimize chromatographic analysis of European lacquer, thermochemolysis temperature was evaluated for the analysis of natural resins. Five main ingredients of lacquer were studied: sandarac, mastic, colophony, Manila copal and Congo copal. For each, five temperature programs were tested: four fixed temperatures (350, 480, 550, 650 degrees C) and one ultrafast thermal desorption (UFD), in which the temperature rises from 350 to 660 degrees C in 1 min. In total, the integrated signals of 27 molecules, partially characterizing the five resins, were monitored to compare the different methods. A compromise between detection of compounds released at low temperatures and compounds formed at high temperatures was searched. 650 degrees C is too high for both groups, 350 degrees C is best for the first, and 550 degrees C for the second. Fixed temperatures of 480 degrees C or UFD proved to be a consensus in order to detect most marker molecules. UFD was slightly better for the molecules released at low temperatures, while 480 degrees C showed best compounds formed at high temperatures