Results 51 to 60 of about 189,472 (279)
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
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning [PDF]
, 2001 We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic ...
BIAZZO, Veronica +3 more
openaire +6 more sources
Advanced Functional Materials, EarlyView.A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee +11 more
wiley +1 more source
Lifted Variable Elimination for Probabilistic Logic Programming
, 2014 Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena +4 more
core +1 more source
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
Adapting Logic to Physics: The Quantum-Like Eigenlogic Program
Entropy, 2020 Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic ...
Zeno Toffano, François Dubois
doaj +1 more source
Value of Information in Probabilistic Logic Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In medical decision making, we have to choose among several expensive diagnostic tests such that the certainty about a patient's health is maximized while remaining within the bounds of resources like time and money. The expected increase in certainty in
Sarthak Ghosh, C. R. Ramakrishnan
doaj +1 more source
Atomic Layer Deposition in Transistors and Monolithic 3D Integration
Advanced Functional Materials, EarlyView.Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu +5 more
wiley +1 more source
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]
, 2016 Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound.
Bernardo, Marco, Miculan, Marino
core +2 more sources