85 resultados para Reactive Probabilistic Automata


Relevância:

20.00% 20.00%

Publicador:

Resumo:

For a three-dimensional vertically-oriented fault zone, we consider the coupled effects of fluid flow, heat transfer and reactive mass transport, to investigate the patterns of fluid flow, temperature distribution, mineral alteration and chemically induced porosity changes. We show, analytically and numerically, that finger-like convection patterns can arise in a vertically-oriented fault zone. The onset and patterns of convective fluid flow are controlled by the Rayleigh number which is a function of the thermal properties of the fluid and the rock, the vertical temperature gradient, and the height and the permeability of the fault zone. Vigorous fluid flow causes low temperature gradients over a large region of the fault zone. In such a case, flow across lithological interfaces becomes the most important mechanism for the formation of sharp chemical reaction fronts. The degree of rock buffering, the extent and intensity of alteration, the alteration mineralogy and in some cases the formation of ore deposits are controlled by the magnitude of the flow velocity across these compositional interfaces in the rock. This indicates that alteration patterns along compositional boundaries in the rock may provide some insights into the convection pattern. The advective mass and heat exchanges between the fault zone and the wallrock depend on the permeability contrast between the fault zone and the wallrock. A high permeability contrast promotes focussed convective flow within the fault zone and diffusive exchange of heat and chemical reactants between the fault zone and the wallrock. However, a more gradual permeability change may lead to a regional-scale convective flow system where the flow pattern in the fault affects large-scale fluid flow, mass transport and chemical alteration in the wallrocks

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Diagnosis of osteoarthritis (OA) is based upon the clinical orthopaedic examination and the radiographic assessment, both of which can be non-specific and insensitive in early joint disease. The aim of our study was to investigate if there is an increase in serum levels of C-reactive protein (CRP) in degenerative joint disease (DJD) and if CRP could be used to help diagnose OA. We also wished to investigate whether it was possible to distinguish a joint with clinically and radiographically confirmed OA from a healthy joint by comparing lactate dehydrogenase (LDH) levels within the synovial fluid and the serum. We have shown a difference in synovial LDH levels between diseased and healthy joints (P<0.0001). There was also a significant difference between LDH in arthritic synovial fluid and serum, with no correlation between the values. Despite the fact that the values of our clinical patients tended to be higher than the values of our control group (P=0.05) all measured values were within the normal limits of previous publications. From these data, we conclude that single measurements of serum CRP do not permit detection of OA in clinical patients and that serum LDH is not a reliable marker for osteoarthritis. LDH levels in the synovial fluid could be of diagnostic value for identifying osteoarthritis.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Analysis of human serum reactivities to antigenic components of soluble Taenia solium metacestode proteins showed the predominant presence of determinants shared by T. solium, Echinococcus multilocularis and E. granulosus. Two polypeptides were demonstrated by SDS-PAGE and Western blot or enzyme-linked immunoelectrotransfer blot (EITB) assay to bind serum and CSF antibodies only from T. solium cysticercosis patients. These species-specific antigenic polypeptides focused between pH 4.6 and 3.9 after resolution by isoelectric focusing followed by EITB. The high species-specificity demonstrated by the present techniques offers the opportunity to confirm serologically an infection by T. solium metacestode.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND Record linkage of existing individual health care data is an efficient way to answer important epidemiological research questions. Reuse of individual health-related data faces several problems: Either a unique personal identifier, like social security number, is not available or non-unique person identifiable information, like names, are privacy protected and cannot be accessed. A solution to protect privacy in probabilistic record linkages is to encrypt these sensitive information. Unfortunately, encrypted hash codes of two names differ completely if the plain names differ only by a single character. Therefore, standard encryption methods cannot be applied. To overcome these challenges, we developed the Privacy Preserving Probabilistic Record Linkage (P3RL) method. METHODS In this Privacy Preserving Probabilistic Record Linkage method we apply a three-party protocol, with two sites collecting individual data and an independent trusted linkage center as the third partner. Our method consists of three main steps: pre-processing, encryption and probabilistic record linkage. Data pre-processing and encryption are done at the sites by local personnel. To guarantee similar quality and format of variables and identical encryption procedure at each site, the linkage center generates semi-automated pre-processing and encryption templates. To retrieve information (i.e. data structure) for the creation of templates without ever accessing plain person identifiable information, we introduced a novel method of data masking. Sensitive string variables are encrypted using Bloom filters, which enables calculation of similarity coefficients. For date variables, we developed special encryption procedures to handle the most common date errors. The linkage center performs probabilistic record linkage with encrypted person identifiable information and plain non-sensitive variables. RESULTS In this paper we describe step by step how to link existing health-related data using encryption methods to preserve privacy of persons in the study. CONCLUSION Privacy Preserving Probabilistic Record linkage expands record linkage facilities in settings where a unique identifier is unavailable and/or regulations restrict access to the non-unique person identifiable information needed to link existing health-related data sets. Automated pre-processing and encryption fully protect sensitive information ensuring participant confidentiality. This method is suitable not just for epidemiological research but also for any setting with similar challenges.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Acid rock drainage (ARD) is a problem of international relevance with substantial environmental and economic implications. Reactive transport modeling has proven a powerful tool for the process-based assessment of metal release and attenuation at ARD sites. Although a variety of models has been used to investigate ARD, a systematic model intercomparison has not been conducted to date. This contribution presents such a model intercomparison involving three synthetic benchmark problems designed to evaluate model results for the most relevant processes at ARD sites. The first benchmark (ARD-B1) focuses on the oxidation of sulfide minerals in an unsaturated tailing impoundment, affected by the ingress of atmospheric oxygen. ARD-B2 extends the first problem to include pH buffering by primary mineral dissolution and secondary mineral precipitation. The third problem (ARD-B3) in addition considers the kinetic and pH-dependent dissolution of silicate minerals under low pH conditions. The set of benchmarks was solved by four reactive transport codes, namely CrunchFlow, Flotran, HP1, and MIN3P. The results comparison focused on spatial profiles of dissolved concentrations, pH and pE, pore gas composition, and mineral assemblages. In addition, results of transient profiles for selected elements and cumulative mass loadings were considered in the intercomparison. Despite substantial differences in model formulations, very good agreement was obtained between the various codes. Residual deviations between the results are analyzed and discussed in terms of their implications for capturing system evolution and long-term mass loading predictions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Prediction of psychosis in patients at clinical high risk (CHR) has become a mainstream focus of clinical and research interest worldwide. When using CHR instruments for clinical purposes, the predicted outcome is but only a probability; and, consequently, any therapeutic action following the assessment is based on probabilistic prognostic reasoning. Yet, probabilistic reasoning makes considerable demands on the clinicians. We provide here a scholarly practical guide summarising the key concepts to support clinicians with probabilistic prognostic reasoning in the CHR state. We review risk or cumulative incidence of psychosis in, person-time rate of psychosis, Kaplan-Meier estimates of psychosis risk, measures of prognostic accuracy, sensitivity and specificity in receiver operator characteristic curves, positive and negative predictive values, Bayes’ theorem, likelihood ratios, potentials and limits of real-life applications of prognostic probabilistic reasoning in the CHR state. Understanding basic measures used for prognostic probabilistic reasoning is a prerequisite for successfully implementing the early detection and prevention of psychosis in clinical practice. Future refinement of these measures for CHR patients may actually influence risk management, especially as regards initiating or withholding treatment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVES Levels of inflammatory biomarkers associate with changes of coronary atheroma burden in statin-treated patients with stable coronary artery disease. This study sought to determine changes of plaque composition in vivo in relation to high-sensitivity C-reactive protein (hs-CRP) levels in patients with ST-elevation myocardial infarction (STEMI) receiving high-intensity statin therapy. METHODS The IBIS-4 study performed serial (baseline and 13-month), 2-vessel intravascular ultrasound (IVUS) and radiofrequency-IVUS of the non-infarct-related arteries in patients with STEMI treated with high-intensity statin therapy. The present analysis included 44 patients (80 arteries) with serial measurements of hs-CRP. RESULTS At follow-up, median low-density lipoprotein cholesterol (LDL-C) levels decreased from 126 to 77 mg/dl, HDL-C increased from 44 to 47 mg/dl, and hs-CRP decreased from 1.6 to 0.7 mg/L. Regression of percent atheroma volume (-0.99%, 95% CI -1.84 to -0.14, p = 0.024) was accompanied by reduction of percent fibro-fatty (p = 0.04) and fibrous tissue (p < 0.001), and increase in percent necrotic core (p = 0.006) and dense calcium (p < 0.001). Follow-up levels of hs-CRP, but not LDL-C, correlated with changes in percent necrotic core (p = 0.001) and inversely with percent fibrous tissue volume (p = 0.008). Similarly, baseline-to-follow-up change of hs-CRP correlated with the change in percent necrotic core volume (p = 0.02). CONCLUSIONS In STEMI patients receiving high-intensity statin therapy, stabilization of VH-IVUS-defined necrotic core was confined to patients with lowest on-treatment levels and greatest reduction of hs-CRP. Elevated CRP levels at follow-up may identify progression of high-risk coronary plaque composition despite intensive statin therapy and overall regression of atheroma volume.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a probabilistic justification logic, PPJ, to study rational belief, degrees of belief and justifications. We establish soundness and completeness for PPJ and show that its satisfiability problem is decidable. In the last part we use PPJ to provide a solution to the lottery paradox.