Results 41 to 50 of about 68,974 (308)
Dialectical Multivalued Logic and Probabilistic Theory
Mathematics, 2017 There are two probabilistic algebras: one for classical probability and the other for quantum mechanics. Naturally, it is the relation to the object that decides, as in the case of logic, which algebra is to be used.
José Luis Usó Doménech +2 more
doaj +1 more source
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall semantics in partially observed discrete-time Markov chains.
R van der Meyden, M K Patra
doaj +1 more source
A Logic for Probabilities in Semantics [PDF]
, 2002 Probabilistic computation has proven to be a challenging and interesting area of research, both from the theoretical perspective of denotational semantics and the practical perspective of reasoning about probabilistic algorithms. On the theoretical side, the probabilistic powerdomain of Jones and Plotkin represents a significant advance.
M. Andrew Moshier, Achim Jung
openaire +1 more source
Logic, Geometry And Probability Theory [PDF]
, 2013 We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T.
Federico Holik, Holik, Federico
core
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Progic 2025: The 12th Workshop on Combining Probability and Logic
The ReasonerReport on the Conference Progic 2025: The 12th Workshop on Combining Probability and Logic, Carnegie Mellon University, Pittsburgh, PA -- April 3–5, 2025.
Eissa Haydar
doaj +1 more source
A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy
Philosophies, 2021 The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science.
Susmit Bagchi
doaj +1 more source
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Naturalizing Logic: How Knowledge of Mechanisms Enhances Inductive Inference
Philosophies, 2021 This paper naturalizes inductive inference by showing how scientific knowledge of real mechanisms provides large benefits to it. I show how knowledge about mechanisms contributes to generalization, inference to the best explanation, causal inference, and
Paul Thagard
doaj +1 more source
Journal of Applied Logic, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources