Results 1 to 10 of about 695,065 (317)
Lilac: A Modal Separation Logic for Conditional Probability [PDF]
Proc. ACM Program. Lang., 2023 We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutable state where sampling corresponds to dynamic allocation, we show how ...
John M. Li +2 more
semanticscholar +1 more source
Conditional independence on semiring relations [PDF]
International Conference on Database Theory, 2023 Conditional independence plays a foundational role in database theory, probability theory, information theory, and graphical models. In databases, conditional independence appears in database normalization and is known as the (embedded) multivalued ...
Miika Hannula
semanticscholar +1 more source
Scientific Reports, 2023 Robot-assisted therapy can effectively treat upper extremity (UE) paralysis in patients who experience a stroke. Presently, UE, as a training item, is selected according to the severity of the paralysis based on a clinician’s experience.
Takashi Takebayashi +3 more
doaj +1 more source
Classical (Local and Contextual) Probability Model for Bohm–Bell Type Experiments: No-Signaling as Independence of Random Variables [PDF]
Entropy, 2018 We start with a review on classical probability representations of quantum states and observables. We show that the correlations of the observables involved in the Bohm–Bell type experiments can be expressed as correlations of classical random variables.
A. Khrennikov, A. Alodjants
semanticscholar +1 more source
A new proof for the generalized law of large numbers under Choquet expectation
Journal of Inequalities and Applications, 2020 In this article, we employ the elementary inequalities arising from the sub-linearity of Choquet expectation to give a new proof for the generalized law of large numbers under Choquet expectations induced by 2-alternating capacities with mild assumptions.
Jing Chen, Zengjing Chen
doaj +1 more source
Network Defense Strategy Selection Method Based on Single-Point Multi-Step Game [PDF]
Jisuanji gongcheng, 2021 Network security problems occur frequently in the current complex environment,but the existing network defense model based on attack-defense game does not consider the single-point and multi-step characteristics of network attacks,so it can not ...
YANG Lin, WANG Yongjie
doaj +1 more source
On MV-Algebraic Versions of the Strong Law of Large Numbers
Entropy, 2019 Many-valued (MV; the many-valued logics considered by Łukasiewicz)-algebras are algebraic systems that generalize Boolean algebras. The MV-algebraic probability theory involves the notions of the state and observable, which abstract the probability ...
Piotr Nowak, Olgierd Hryniewicz
doaj +1 more source
South East Asia Nursing Research, 2022 Schizophrenia is a neurological disease that affects the patient's perception, thought processes, language, emotions, and social behavior. The clinical manifestation that often appears in schizophrenic patients is self-care deficit (DPD).
Milkhatun Milkhatun +3 more
doaj +1 more source
Wind Energy, 2022 The extreme value theory has been object of engineering studies for more than a century. The analysis of extreme winds plays a key role for complex civil structures and a driving role in different stages of wind turbines lifetime.
Alessio Torrielli +2 more
doaj +1 more source
An independence property for general information [PDF]
, 2016 The aim of this paper was a generalization of independence propery proposed by Kampè de Fèriet and Forte in Information Theory withou probability, called "general infromation".
Divari, Maria, Vivona, Doretta
core +1 more source