750 resultados para exact approaches
Resumo:
The human gut microbiota, comprising many hundreds of different microbial species, has closely co-evolved with its human host over the millennia. Diet has been a major driver of this co-evolution, in particular dietary non-digestible carbohydrates. This dietary fraction reaches the colon and becomes available for microbial fermentation, and it is in the colon that the great diversity of gut microorganisms resides. For the vast majority of our evolutionary history humans followed hunter-gatherer life-styles and consumed diets with many times more non-digestible carbohydrates, fiber and whole plant polyphenol rich foods than typical Western style diets today.
Resumo:
Gut bacteria can be categorised as being either beneficial or potentially pathogenic due to their metabolic activities and fermentation end-products. Health-promoting effects of the microflora may include immunostimulation, improved digestion and absorption, vitamin synthesis, inhibition of the growth of potential pathogens and lowering of gas distension. Detrimental effects are carcinogen production, intestinal putrefaction, toxin production, diarrhoea/constipation and intestinal infections. Certain indigenous bacteria such as bifidobacteria and lactobacilli are considered to be examples of health-promoting constituents of the microflora. They may aid digestion of lactose in lactose-intolerant individuals, reduce diarrhoea, help resist infections and assist in inflammatory conditions. Probiotics, prebiotics and synbiotics are functional foods that fortify the lactate producing microflora of the human or animal gut.
Resumo:
How can a bridge be built between autonomic computing approaches and parallel computing systems? How can autonomic computing approaches be extended towards building reliable systems? How can existing technologies be merged to provide a solution for self-managing systems? The work reported in this paper aims to answer these questions by proposing Swarm-Array Computing, a novel technique inspired from swarm robotics and built on the foundations of autonomic and parallel computing paradigms. Two approaches based on intelligent cores and intelligent agents are proposed to achieve autonomy in parallel computing systems. The feasibility of the proposed approaches is validated on a multi-agent simulator.
Resumo:
Exact error estimates for evaluating multi-dimensional integrals are considered. An estimate is called exact if the rates of convergence for the low- and upper-bound estimate coincide. The algorithm with such an exact rate is called optimal. Such an algorithm has an unimprovable rate of convergence. The problem of existing exact estimates and optimal algorithms is discussed for some functional spaces that define the regularity of the integrand. Important for practical computations data classes are considered: classes of functions with bounded derivatives and Holder type conditions. The aim of the paper is to analyze the performance of two optimal classes of algorithms: deterministic and randomized for computing multidimensional integrals. It is also shown how the smoothness of the integrand can be exploited to construct better randomized algorithms.
Resumo:
The identification of non-linear systems using only observed finite datasets has become a mature research area over the last two decades. A class of linear-in-the-parameter models with universal approximation capabilities have been intensively studied and widely used due to the availability of many linear-learning algorithms and their inherent convergence conditions. This article presents a systematic overview of basic research on model selection approaches for linear-in-the-parameter models. One of the fundamental problems in non-linear system identification is to find the minimal model with the best model generalisation performance from observational data only. The important concepts in achieving good model generalisation used in various non-linear system-identification algorithms are first reviewed, including Bayesian parameter regularisation and models selective criteria based on the cross validation and experimental design. A significant advance in machine learning has been the development of the support vector machine as a means for identifying kernel models based on the structural risk minimisation principle. The developments on the convex optimisation-based model construction algorithms including the support vector regression algorithms are outlined. Input selection algorithms and on-line system identification algorithms are also included in this review. Finally, some industrial applications of non-linear models are discussed.
Resumo:
It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.
Resumo:
Episodes of high temperature at anthesis, which in rice is the most sensitive stage to temperature, are expected to occur more frequently in future climates. The morphology of the reproductive organs and pollen number, and changes in anther protein expression, were studied in response to high temperature at anthesis in three rice (Oryza sativa L.) genotypes. Plants were exposed to 6 h of high (38 °C) and control (29 °C) temperature at anthesis and spikelets collected for morphological and proteomic analysis. Moroberekan was the most heat-sensitive genotype (18% spikelet fertility at 38 °C), while IR64 (48%) and N22 (71%) were moderately and highly heat tolerant, respectively. There were significant differences among the genotypes in anther length and width, apical and basal pore lengths, apical pore area, and stigma and pistil length. Temperature also affected some of these traits, increasing anther pore size and reducing stigma length. Nonetheless, variation in the number of pollen on the stigma could not be related to measured morphological traits. Variation in spikelet fertility was highly correlated (r=0.97, n=6) with the proportion of spikelets with ≥20 germinated pollen grains on the stigma. A 2D-gel electrophoresis showed 46 protein spots changing in abundance, of which 13 differentially expressed protein spots were analysed by MS/MALDI-TOF. A cold and a heat shock protein were found significantly up-regulated in N22, and this may have contributed to the greater heat tolerance of N22. The role of differentially expressed proteins and morphology during anther dehiscence and pollination in shaping heat tolerance and susceptibility is discussed.