175 research outputs found

    Sistemas de cultivo do guaranazeiro.

    Get PDF
    O estudo foi iniciado em 1975 pela CEPLAC, INPA e Embrapa com a implantação de 12 sistemas de cultivo, visando investigar várias formas de manejo para o uso dos solos amazônicos. Dentre eles foi incluído uma parcela de 1 hectare de guaraná cuja condução passou a ser efetuada pela UEPAE de Manaus a partir de 1977

    Verification and Control of Turn-Based Probabilistic Real-Time Games

    Get PDF
    Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their variants. They can be used to produce guarantees on quantitative aspects of system behaviour, for example safety, reliability and performance, or to help synthesise controllers that ensure such guarantees are met. We propose the model of turn-based probabilistic timed multi-player games, which incorporates probabilistic choice, real-time clocks and nondeterministic behaviour across multiple players. Building on the digital clocks approach for the simpler model of probabilistic timed automata, we show how to compute the key measures that underlie quantitative verification, namely the probability and expected cumulative price to reach a target. We illustrate this on case studies from computer security and task scheduling

    Heritability of physical activity traits in Brazilian families: the Baependi Heart Study

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>It is commonly recognized that physical activity has familial aggregation; however, the genetic influences on physical activity phenotypes are not well characterized. This study aimed to (1) estimate the heritability of physical activity traits in Brazilian families; and (2) investigate whether genetic and environmental variance components contribute differently to the expression of these phenotypes in males and females.</p> <p>Methods</p> <p>The sample that constitutes the Baependi Heart Study is comprised of 1,693 individuals in 95 Brazilian families. The phenotypes were self-reported in a questionnaire based on the WHO-MONICA instrument. Variance component approaches, implemented in the SOLAR (Sequential Oligogenic Linkage Analysis Routines) computer package, were applied to estimate the heritability and to evaluate the heterogeneity of variance components by gender on the studied phenotypes.</p> <p>Results</p> <p>The heritability estimates were intermediate (35%) for weekly physical activity among non-sedentary subjects (weekly PA_NS), and low (9-14%) for sedentarism, weekly physical activity (weekly PA), and level of daily physical activity (daily PA). Significant evidence for heterogeneity in variance components by gender was observed for the sedentarism and weekly PA phenotypes. No significant gender differences in genetic or environmental variance components were observed for the weekly PA_NS trait. The daily PA phenotype was predominantly influenced by environmental factors, with larger effects in males than in females.</p> <p>Conclusions</p> <p>Heritability estimates for physical activity phenotypes in this sample of the Brazilian population were significant in both males and females, and varied from low to intermediate magnitude. Significant evidence for heterogeneity in variance components by gender was observed. These data add to the knowledge of the physical activity traits in the Brazilian study population, and are concordant with the notion of significant biological determination in active behavior.</p

    EpIG‐DB: A database of vascular epiphyte assemblages in the Neotropics

    Get PDF
    Vascular epiphytes are a diverse and conspicuous component of biodiversity in tropical and subtropical forests. Yet, the patterns and drivers of epiphyte assemblages are poorly studied in comparison with soil‐rooted plants. Current knowledge about diversity patterns of epiphytes mainly stems from local studies or floristic inventories, but this information has not yet been integrated to allow a better understanding of large‐scale distribution patterns. EpIG‐DB, the first database on epiphyte assemblages at the continental scale, resulted from an exhaustive compilation of published and unpublished inventory data from the Neotropics. The current version of EpIG‐DB consists of 463,196 individual epiphytes from 3,005 species, which were collected from a total of 18,148 relevés (host trees and ‘understory’ plots). EpIG‐DB reports the occurrence of ‘true’ epiphytes, hemiepiphytes and nomadic vines, including information on their cover, abundance, frequency and biomass. Most records (97%) correspond to sampled host trees, 76% of them aggregated in forest plots. The data is stored in a TURBOVEG database using the most up‐to‐date checklist of vascular epiphytes. A total of 18 additional fields were created for the standardization of associated data commonly used in epiphyte ecology (e.g. by considering different sampling methods). EpIG‐DB currently covers six major biomes across the whole latitudinal range of epiphytes in the Neotropics but welcomes data globally. This novel database provides, for the first time, unique biodiversity data on epiphytes for the Neotropics and unified guidelines for future collection of epiphyte data. EpIG‐DB will allow exploration of new ways to study the community ecology and biogeography of vascular epiphytes
    corecore