Results 41 to 50 of about 24,451 (299)
Strengthening Probabilistic Graphical Models: The Purge-and-Merge Algorithm
IEEE Access, 2021 Probabilistic graphical models (PGMs) are powerful tools for solving systems of complex relationships over a variety of probability distributions. However, while tree-structured PGMs always result in efficient and exact solutions, inference on graph (or ...
Simon Streicher, Johan A. Du Preez
doaj +1 more source
Probabilistic Reasoning With Answer Sets
Theory and Practice of Logic Programming, 2003 AbstractThis paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while causal Bayes nets serve as a probabilistic foundation. We give several non-trivial examples and illustrate the use of P-log for knowledge representation and updating of
Chitta Baral +2 more
openaire +2 more sources
Videogames and open feedback systems to enhance probabilistic reasoning and engagement
International Journal of Serious GamesThis study analyzed the relationship between probabilistic reasoning, feedback type, and engagement across four sessions of an DGBL educational practice with a feedback system.
Andres Felipe Velasco Hernández +2 more
doaj +1 more source
Significance testing as perverse probabilistic reasoning
BMC Medicine, 2011 Truth claims in the medical literature rely heavily on statistical significance testing. Unfortunately, most physicians misunderstand the underlying probabilistic logic of significance tests and consequently often misinterpret their results.
Westover Kenneth D +2 more
doaj +1 more source
Implementing Probabilistic Reasoning
CoRR, 2013 Appears in Proceedings of the First Conference on Uncertainty in Artificial Intelligence (UAI1985)
openaire +3 more sources
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
A Model of Scientific Data Reasoning
Education Sciences, 2022 Data reasoning is an essential component of scientific reasoning, as a component of evidence evaluation. In this paper, we outline a model of scientific data reasoning that describes how data sensemaking underlies data reasoning.
Amy M. Masnick, Bradley J. Morris
doaj +1 more source
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core
Molecular Oncology, EarlyView.We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu +10 more
wiley +1 more source