Results 91 to 100 of about 90,486 (306)
Logical Characterization of Bisimulation Metrics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the ...
Valentina Castiglioni +2 more
doaj +1 more source
A van Benthem Theorem for Quantitative Probabilistic Modal Logic [PDF]
arXiv, 2018 In probabilistic transition systems, behavioural metrics provide a more fine-grained and stable measure of system equivalence than crisp notions of bisimilarity. They correlate strongly to quantitative probabilistic logics, and in fact the distance induced by a probabilistic modal logic taking values in the real unit interval has been shown to coincide
arxiv
Hierarchies of probabilistic logics
International Journal of Approximate Reasoning, 2014 Our aim is to present what we call the lower and the upper hierarchy of the real valued probability logics with probability operators of the form P ? s and Q F , where s ? 0 , 1 Q = 0 , 1 ? Q and F is a recursive subset of 0 , 1 Q . The intended meaning of P ?
Nebojša Ikodinović +3 more
openaire +2 more sources
Mobility‐Lifetime Products in Organic Infrared Photodiodes with Peak Absorption at 1550 nm
Advanced Electronic Materials, EarlyView.This study analyzes the mobility‐lifetime products in organic infrared photodiodes with different donor‐to‐acceptor ratios to examine charge collection performance. Abstract Infrared photodiodes based on organic semiconductors are promising for low‐cost sensors that operate at room temperature. However, their realization remains hampered by poor device
Bogyeom Seo +7 more
wiley +1 more source
A Probabilistic Variant of Projection Temporal Logic [PDF]
arXiv, 2011 In this paper, we propose Probabilistic discrete-time Projection Temporal Logic (PrPTL), which extends Projection Temporal Logic (PTL) with probability. To this end, some useful formulas are derived and some logic laws are given. Further, we define Time Normal Form (TNF) for PrPTL as the standard form and prove that any PrPTL formulas can be rewritten ...
arxiv
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation [PDF]
arXiv, 2023 Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to account for it.
arxiv
Advanced Electronic Materials, EarlyView.Herein, the development of a protective face mask based on a hierarchically porous cerium metal‐organic framework intensifying the bacterial entrapment ability and catalytic ROS generation at ambient condition is presented. It presents almost 100% antimicrobial efficacies for different bacteria even though in insufficient light (e.g.
Jiaqi Xu +7 more
wiley +1 more source
Finite predicate-driven logic networks method for enhanced education data analysis
Радіоелектронні і комп'ютерні системиThe subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj +1 more source
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version) [PDF]
arXiv, 2016 A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic ALCP that is designed for representing context-dependent knowledge, where the actual context taking place is uncertain.
arxiv
The Value of Device Characterization for the Optimization of Organic Solar Cells
Advanced Energy Materials, EarlyView.Using the example of organic photovoltaics (OPV), this study examines whether and when additional measurements can be helpful in process optimization. A virtual laboratory based on real solar cells serves as a benchmark function to compare two different approaches for process optimization, namely black‐box optimization (black circle) and model‐based ...
Leonard Christen +4 more
wiley +1 more source