914 resultados para Reactive Probabilistic Automata


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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since 9/11, 2001, a new form of religious extremism has arguably emerged, one which paradoxically portrays itself as a counter to another perceived extremism regarded as a real and imminent threat. Within North America and Western Europe, as elsewhere, there is an upsurge of various forms of reactionary rhetoric and opposition expressed towards Islam and Muslims. An increase in extremist behaviour, even violence, is appearing from quarters opposed to, or varyingly fearful of, Islamic extremism if not Islam or Muslims. Islamophobia, as a manifestation of fear of an exclusionary Islam, manifests as exclusionary or negatively reactive behaviours with Muslims and Islam as the target. This article explores the idea that Islamophobia can be regarded as a manifestation of religious extremism and, further, that such extremism is construable as “reactive co-radicalization.” It focuses on two European cases – the 2009 Swiss ban on the building of minarets and the 2011 Norwegian massacre carried out by Anders Breivik – as examples of this “reactive co-radicalization.” This term, I suggest, is an apt denominator for the exclusionary reaction to the rising presence of Islam within otherwise secular, albeit nominally Christian, Western European and North American societies, among others.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Extremist rhetoric and behaviour, including violence, emanating from those fearing and opposed to Islamic extremism—and typically generalising that to Islam or Muslims—is undeniable. Equally, there is evidence of Muslim rhetoric that fires up fears of a threatening West and antipathy to religious ‘others’ as damned infidels, including Christians and Jews who are otherwise regarded as co-religionists—as ‘peoples of the Book’. Mutual discontent and antipathy abound. On the one hand, Islamic extremism provokes a reactionary extremism from parts, at least, of the non-Muslim world; on the other hand, Muslim extremism appears often in response to the perception of an aggressive and impositional colonising non-Muslim world. ‘Reactive Co-Radicalization’, I suggest, names this mutual rejection and exclusionary circle currently evident, in particular, with respect to many Muslim and non-Muslim communities. This article discusses reactive co-radicalization as a hermeneutical perspective on religious extremism with particular reference to two European cases.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We investigated whether a pure perceptual stream is sufficient for probabilistic sequence learning to occur within a single session or whether correlated streams are necessary, whether learning is affected by the transition probability between sequence elements, and how the sequence length influences learning. In each of three experiments, we used six horizontally arranged stimulus displays which consisted of randomly ordered bigrams xo and ox. The probability of the next possible target location out of two was either .50/.50 or .75/.25 and was marked by an underline. In Experiment 1, a left vs. right key response was required for the x of a marked bigram in the pure perceptual learning condition and a response key press corresponding to the marked bigram location (out of 6) was required in the correlated streams condition (i.e., the ring, middle, or index finger of the left and right hand, respectively). The same probabilistic 3-element sequence was used in both conditions. Learning occurred only in the correlated streams condition. In Experiment 2, we investigated whether sequence length affected learning correlated sequences by contrasting the 3-elements sequence with a 6-elements sequence. Significant sequence learning occurred in all conditions. In Experiment 3, we removed a potential confound, that is, the sequence of hand changes. Under these conditions, learning occurred for the 3-element sequence only and transition probability did not affect the amount of learning. Together, these results indicate that correlated streams are necessary for probabilistic sequence learning within a single session and that sequence length can reduce the chances for learning to occur.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Reactive oxygen species (ROS) protect the host against a large number of pathogenic microorganisms. ROS have different effects on parasites of the genus Leishmania: some parasites are susceptible to their action, while others seem to be resistant. The role of ROS in L. amazonensis infection in vivo has not been addressed to date. Methods: In this study, C57BL/6 wild-type mice (WT) and mice genetically deficient in ROS production by phagocytes (gp91phox−/− ) were infected with metacyclic promastigotes of L. amazonensis to address the effect of ROS in parasite control. Inflammatory cytokines, parasite loads and myeloperoxidase (MPO) activity were evaluated. In parallel, in vitro infection of peritoneal macrophages was assessed to determine parasite killing, cytokine, NO and ROS production. Results: In vitro results show induction of ROS production by infected peritoneal macrophages, but no effect in parasite killing. Also, ROS do not seem to be important to parasite killing in vivo, but they control lesion sizes at early stages of infection. IFN-γ, TNF-α and IL-10 production did not differ among mouse strains. Myeloperoxidase assay showed augmented neutrophils influx 6 h and 72 h post - infection in gp91phox−/− mice, indicating a larger inflammatory response in gp91phox−/− even at early time points. At later time points, neutrophil numbers in lesions correlated with lesion size: larger lesions in gp91phox−/− at earlier times of infection corresponded to larger neutrophil infiltrates, while larger lesions in WT mice at the later points of infection also displayed larger numbers of neutrophils. Conclusion: ROS do not seem to be important in L. amazonensis killing, but they regulate the inflammatory response probably by controlling neutrophils numbers in lesions.