Results 21 to 30 of about 6,849,468 (275)
Generic Trace Semantics via Coinduction [PDF]
Logical Methods in Computer Science, 2007 Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability.
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
doaj +1 more source
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations [PDF]
Logical Methods in Computer Science, 2008 Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilistic automata.
Lijun Zhang +3 more
doaj +1 more source
On-the-Fly Computation of Bisimilarity Distances [PDF]
Logical Methods in Computer Science, 2017 We propose a distance between continuous-time Markov chains (CTMCs) and study the problem of computing it by comparing three different algorithmic methodologies: iterative, linear program, and on-the-fly.
Giorgio Bacci +3 more
doaj +1 more source
Medičnì Perspektivi, 2023 The attention of scientists to the role of the epigenome in the development of human diseases is associated with the discovery of new non-coding RNA molecules of the epigenome that affect gene expression with changes in protein function and the ...
S.S. Ostrovska +6 more
doaj +1 more source
Model Checking Probabilistic Pushdown Automata [PDF]
Logical Methods in Computer Science, 2006 We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that
Javier Esparza +2 more
doaj +1 more source
Probabilistic Algorithmic Knowledge [PDF]
Logical Methods in Computer Science, 2005 The framework of algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for randomized knowledge algorithms.
Joseph Y. Halpern, Riccardo Pucella
doaj +1 more source
, 2011 Nuclear and plastid sequences from two individuals of a suspected new species of Coccinia from West Africa were added to an available molecular phylogeny for the remaining 27 species of the genus.
Holstein, Norbert, Renner, Susanne S.
core +1 more source
Logical Methods in Computer Science, 2007 We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost certainly eventually reaches either F or a state from which F can no ...
Parosh Aziz Abdulla +2 more
doaj +1 more source
Animals, 2021 Mesenchymal stem cells (MSCs) are used in therapy in animal models and veterinary medicine, due to their capacity of inducing tissue regeneration and immunomodulation.
Santina Di Bella +7 more
doaj +1 more source
Non-Gaussian inflationary shapes in $G^3$ theories beyond Horndeski [PDF]
, 2014 We consider the possible signatures of a recently introduced class of healthy theories beyond Horndeski models on higher-order correlators of the inflationary curvature fluctuation.
Fasiello, Matteo +1 more
core +2 more sources