920 resultados para Reactive Probabilistic Automata
Resumo:
Cognitive radio (CR) with spectrum-sharing has been envisioned as emerging technology for the next generation of mobile and wireless networks by allowing the unlicensed customers simultaneously utilize the licensed radio frequency spectrums. However, the CR has faced some practical challenges due to its deduced system performance as compared to non spectrum-sharing counterpart. In this paper, we therefore consider the potential of incorporating the cooperative communications into CR by introducing the concept of reactive multiple decode-and-forward (DF) relays. In particular, we derive new results for exact and asymptotic expressions for the performance of cognitive relay networks with K-th best relay selection. Our novel results have exhibited the significance of using relay networks to enhance the system performance of CR.
Resumo:
The present study assessed whether increased fruit and vegetable (F&V) intake reduced the concentrations of the inflammatory marker serum amyloid A (SAA) in serum, HDL2 and HDL3 and whether the latter reduction influenced any of the functional properties of these HDL subfractions. The present study utilised samples from two previous studies: (1) the FAVRIT (Fruit and Vegetable Randomised Intervention Trial) study - hypertensive subjects (systolic blood pressure (BP) range 140-190 mmHg; diastolic BP range 90-110 mmHg) were randomised to receive a 1-, 3- or 6-portion F&V/d intervention for 8 weeks, and (2) the ADIT (Ageing and Dietary Intervention Trial) study - older subjects (65-85 years) were randomised to receive a 2- or 5-portion F&V/d intervention for 16 weeks. HDL2 and HDL3 were isolated by rapid ultracentrifugation. Measurements included the following: serum high-sensitive C-reactive protein (hsCRP) by an immunoturbidimetric assay; serum IL-6 and E-selectin and serum-, HDL2- and HDL3-SAA by ELISA procedures; serum-, HDL2- and HDL3-cholesterol ester transfer protein (CETP) activity by a fluorometric assay. Although the concentrations of hsCRP, IL-6 and E-selectin were unaffected by increasing F&V intake in both studies (P>0·05 for all comparisons), those of SAA in HDL3 decreased in the FAVRIT cohort (P= 0·049) and those in HDL2 and HDL3 decreased in the ADIT cohort (P= 0·035 and 0·032), which was accompanied by a decrease in the activity of CETP in HDL3 in the FAVRIT cohort (P= 0·010) and in HDL2 in the ADIT cohort (P= 0·030). These results indicate that SAA responds to increased F&V intake, while other inflammatory markers remain unresponsive, and this leads to changes in HDL2 and HDL3, which may influence their antiatherogenic potential. Overall, the present study provides tangible evidence of the effectiveness of increased F&V intake, which may be of use to health policy makers and the general public.
Resumo:
Design and operation of Fe0 permeable reactive barriers (PRBs) can be improved by understanding the long-term mineralogical transformations that occur within PRBs. Changes in mineral precipitates, cementation, and corrosion of Fe0 filings within an in situ pilot-scale PRB were examined after the first 30 months of operation and compared with results of a previous study of the PRB conducted 15 months earlier using X-ray diffraction and scanning electron microscopy employing energy dispersive X-ray and backscatter electron analyses. Iron (oxy)hydroxides, aragonite, and maghemite and/or magnetite occurred throughout the cores collected 30 mo after installation. Goethite, lepidocrocite, mackinawite, aragonite, calcite, and siderite were associated with oxidized and cemented areas, while green rusts were detected in more reduced zones. Basic differences from our last detailed investigation include (i) mackinawite crystallized from amorphous FeS, (ii) aragonite transformed into calcite, (iii) akaganeite transformed to goethite and lepidocrocite, (iv) iron (oxy)hydroxides and calcium and iron carbonate minerals increased, (v) cementation was greater in the more recent study, and (vi) oxidation, corrosion, and disintegration of Fe0 filings were greater, especially in cemented areas, in the more recent study. If the degree of corrosion and cementation that was observed from 15 to 30 mo after installation continues, certain portions of the PRB (i.e., up-gradient entrance of the ground water to the Fe0 section of the PRB) may last less than five more years, thus reducing the effectiveness of the PRB to mitigate contaminants.
Resumo:
Permeable reactive barriers (PRBs) of zero-valent iron (Fe0) are increasingly being used to remediate contaminated ground water. Corrosion of Fe0 filings and tbe formation of precipitates can occur when the PRB material comes in contact with ground water and may reduce the lifespan and effectiveness of the barrier. At present, there are no routine procedures for preparing and analyzing the mineral precipitates from Fe0 PRB material. These procedures are needed because mineralogical composition of corrosion products used to interpret the barrier processes can change with iron oxidation and sample preparation. The objectives of this study were (i) to investigate a method of preparing Fe0 reactive barrier material for mineralogical analysis by X-ray diffraction (XRD), and (ii) to identify Fe mineral phases and rates of transformations induced by different mineralogical preparation techniques. Materials from an in situ Fe0 PRB were collected by undisturbed coring and processed for XRD analysis after different times since sampling for three size fractions and by various drying treatments. We found that whole-sample preparation for analysis was necessary because mineral precipitates occurred within the PRB material in different size fractions of the samples. Green rusts quickly disappeared from acetone-dried samples and were not present in air-dried and oven-dried samples Maghemite/magnetite content increased over time and in oven-dried samples, especially after heating to 105°C. We conclude that care must be taken during sample preparation of Fe0 PRB material, especially for detection of green rusts, to ensure accurate identification of minerals present within the barrier system.
Resumo:
AgentSpeak is a logic-based programming language, based on the Belief-Desire-Intention (BDI) paradigm, suitable for building complex agent-based systems. To limit the computational complexity, agents in AgentSpeak rely on a plan library to reduce the planning problem to the much simpler problem of plan selection. However, such a plan library is often inadequate when an agent is situated in an uncertain environment. In this paper, we propose the AgentSpeak+ framework, which extends AgentSpeak with a mechanism for probabilistic planning. The beliefs of an AgentSpeak+ agent are represented using epistemic states to allow an agent to reason about its uncertain observations and the uncertain effects of its actions. Each epistemic state consists of a POMDP, used to encode the agent’s knowledge of the environment, and its associated probability distribution (or belief state). In addition, the POMDP is used to select the optimal actions for achieving a given goal, even when facing uncertainty.
Resumo:
Obesity has been linked with elevated levels of C-reactive protein (CRP), and both have been associated with increased risk of mortality and cardiovascular disease (CVD). Previous studies have used a single ‘baseline’ measurement and such analyses cannot account for possible changes in these which may lead to a biased estimation of risk. Using four cohorts from CHANCES which had repeated measures in participants 50 years and older, multivariate time-dependent Cox proportional hazards was used to estimate hazard ratios (HR) and 95 % confidence intervals (CI) to examine the relationship between body mass index (BMI) and CRP with all-cause mortality and CVD. Being overweight (≥25–<30 kg/m2) or moderately obese (≥30–<35) tended to be associated with a lower risk of mortality compared to normal (≥18.5–<25): ESTHER, HR (95 % CI) 0.69 (0.58–0.82) and 0.78 (0.63–0.97); Rotterdam, 0.86 (0.79–0.94) and 0.80 (0.72–0.89). A similar relationship was found, but only for overweight in Glostrup, HR (95 % CI) 0.88 (0.76–1.02); and moderately obese in Tromsø, HR (95 % CI) 0.79 (0.62–1.01). Associations were not evident between repeated measures of BMI and CVD. Conversely, increasing CRP concentrations, measured on more than one occasion, were associated with an increasing risk of mortality and CVD. Being overweight or moderately obese is associated with a lower risk of mortality, while CRP, independent of BMI, is positively associated with mortality and CVD risk. If inflammation links CRP and BMI, they may participate in distinct/independent pathways. Accounting for independent changes in risk factors over time may be crucial for unveiling their effects on mortality and disease morbidity.
Resumo:
The purpose of this study was to determine serum profiles of cytokines at a protein level and Creactive protein (CRP) during the development of postweaning multisystemic wasting syndrome (PMWS) in experimentally inoculated pigs. Levels of serum IFN-alpha, IL-6, IL-10, and CRP were examined for a 35-day period in 10 piglets experimentally infected with PCV2 at 3 weeks of age. Four of the infected piglets developed severe PMWS at 14 to 21 days post-infection (d.p.i.) and died prior to termination of the experiment. The remaining six PCV2-infected piglets experienced transient fever, but did not display overt clinical signs of PMWS and were considered as subclinically infected. A bioassay was used to detect IL-6 and ELISAs were used to detect IFN-alpha, IL-10, and CRP. There were no significant differences in cytokine or CRP expression from 0 to 7 d.p.i. between the PMWS-affected and the subclinically infected piglets. Levels of IL-10 and CRP were elevated from 10 and 14 d.p.i. respectively in the PMWS-affected piglets compared to the subclinically infected piglets. There were no significant differences in IFN-alpha and IL-6 expression between the PMWS-affected piglets and the subclinically infected piglets. The present study shows that elevated levels of serum CRP and IL-10 were associated with PCV2-infected piglets that subsequently developed severe PMWS. This may help to provide further insight into the immunoaetiogenesis of this syndrome.
Resumo:
Credal networks are graph-based statistical models whose parameters take values in a set, instead of being sharply specified as in traditional statistical models (e.g., Bayesian networks). The computational complexity of inferences on such models depends on the irrelevance/independence concept adopted. In this paper, we study inferential complexity under the concepts of epistemic irrelevance and strong independence. We show that inferences under strong independence are NP-hard even in trees with binary variables except for a single ternary one. We prove that under epistemic irrelevance the polynomial-time complexity of inferences in credal trees is not likely to extend to more general models (e.g., singly connected topologies). These results clearly distinguish networks that admit efficient inferences and those where inferences are most likely hard, and settle several open questions regarding their computational complexity. We show that these results remain valid even if we disallow the use of zero probabilities. We also show that the computation of bounds on the probability of the future state in a hidden Markov model is the same whether we assume epistemic irrelevance or strong independence, and we prove an analogous result for inference in Naive Bayes structures. These inferential equivalences are important for practitioners, as hidden Markov models and Naive Bayes networks are used in real applications of imprecise probability.
Resumo:
Semi-qualitative probabilistic networks (SQPNs) merge two important graphical model formalisms: Bayesian networks and qualitative probabilistic networks. They provide a very general modeling framework by allowing the combination of numeric and qualitative assessments over a discrete domain, and can be compactly encoded by exploiting the same factorization of joint probability distributions that are behind the Bayesian networks. This paper explores the computational complexity of semi-qualitative probabilistic networks, and takes the polytree-shaped networks as its main target. We show that the inference problem is coNP-Complete for binary polytrees with multiple observed nodes. We also show that inferences can be performed in linear time if there is a single observed node, which is a relevant practical case. Because our proof is constructive, we obtain an efficient linear time algorithm for SQPNs under such assumptions. To the best of our knowledge, this is the first exact polynomial-time algorithm for SQPNs. Together these results provide a clear picture of the inferential complexity in polytree-shaped SQPNs.
Resumo:
This paper explores the application of semi-qualitative probabilistic networks (SQPNs) that combine numeric and qualitative information to computer vision problems. Our version of SQPN allows qualitative influences and imprecise probability measures using intervals. We describe an Imprecise Dirichlet model for parameter learning and an iterative algorithm for evaluating posterior probabilities, maximum a posteriori and most probable explanations. Experiments on facial expression recognition and image segmentation problems are performed using real data.
Resumo:
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments.
Resumo:
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.
Resumo:
This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with precise, imprecise, indeterminate and qualitative probabilistic assessments. The paper shows how this can be achieved through the theory of credal networks. New exact and approximate inference algorithms based on multilinear programming and iterated/loopy propagation of interval probabilities are presented; their superior performance, compared to existing ones, is shown empirically.
Resumo:
This paper explores semi-qualitative probabilistic networks (SQPNs) that combine numeric and qualitative information. We first show that exact inferences with SQPNs are NPPP-Complete. We then show that existing qualitative relations in SQPNs (plus probabilistic logic and imprecise assessments) can be dealt effectively through multilinear programming. We then discuss learning: we consider a maximum likelihood method that generates point estimates given a SQPN and empirical data, and we describe a Bayesian-minded method that employs the Imprecise Dirichlet Model to generate set-valued estimates.
Resumo:
When an agent wants to fulfill its desires about the world, the agent usually has multiple plans to choose from and these plans have different pre-conditions and additional effects in addition to achieving its goals. Therefore, for further reasoning and interaction with the world, a plan selection strategy (usually based on plan cost estimation) is mandatory for an autonomous agent. This demand becomes even more critical when uncertainty on the observation of the world is taken into account, since in this case, we consider not only the costs of different plans, but also their chances of success estimated according to the agent's beliefs. In addition, when multiple goals are considered together, different plans achieving the goals can be conflicting on their preconditions (contexts) or the required resources. Hence a plan selection strategy should be able to choose a subset of plans that fulfills the maximum number of goals while maintaining context consistency and resource-tolerance among the chosen plans. To address the above two issues, in this paper we first propose several principles that a plan selection strategy should satisfy, and then we present selection strategies that stem from the principles, depending on whether a plan cost is taken into account. In addition, we also show that our selection strategy can partially recover intention revision.