Results 21 to 30 of about 5,859,765 (291)
Probabilistic Algorithmic Randomness
The Journal of Symbolic Logic, 2013 AbstractWe introduce martingales defined by probabilistic strategies, in which randomness is used to decide whether to bet. We show that different criteria for the success of computable probabilistic strategies can be used to characterize ML-randomness, computable randomness, and partial computable randomness.
Sam Buss, Mia Minnes
openaire +2 more sources
Evaluation of tractogram filtering methods using human-like connectome phantoms
NeuroImage, 2023 Tractography algorithms are prone to reconstructing spurious connections. The set of streamlines generated with tractography can be post-processed to retain the streamlines that are most biologically plausible.
Tabinda Sarwar +5 more
doaj +1 more source
An algorithm for probabilistic planning
Artificial Intelligence, 1995 AbstractWe define the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of propositions representing the goal, a probability threshold, and actions whose effects depend on the execution-time state of the world and on random chance.
Nicholas Kushmerick +2 more
openaire +1 more source
An Algorithm for Probabilistic Alternating Simulation [PDF]
, 2012 In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based algorithm for computing the largest PA-simulation, which is to our knowledge the first such ...
Chenyi Zhang 0001, Jun Pang 0001
openaire +5 more sources
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +1 more source
Stan: A Probabilistic Programming Language
Journal of Statistical Software, 2017 Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log probability function over parameters conditioned on specified data and constants.
Bob Carpenter +9 more
semanticscholar +1 more source
Cost Preserving Bisimulations for Probabilistic Automata [PDF]
Logical Methods in Computer Science, 2014 Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled by weak probabilistic bisimulation serving as the reference notion for ...
Andrea Turrini, Holger Hermanns
doaj +1 more source
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata [PDF]
Logical Methods in Computer Science, 2021 The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimilarity
Giorgio Bacci +5 more
doaj +1 more source
Replica procedure for probabilistic algorithms as a model of gene duplication [PDF]
, 2011 In the present paper we propose to describe gene networks in biological systems using probabilistic algorithms. We describe gene duplication in the process of biological evolution using introduction of the replica procedure for probabilistic algorithms ...
S. Kozyrev, A. Khrennikov
semanticscholar +1 more source
Pharmacoepidemiology and Drug Safety, 2015 To compare probabilistic and deterministic algorithms for linking mothers and infants within electronic health records (EHRs) to support pregnancy outcomes research.
E. Baldwin +3 more
semanticscholar +1 more source