Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory [PDF]
, 2012 Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with arbitrary (possibly uncountable) state spaces.
Kerstan, Henning, König, Barbara
openaire +3 more sources
Walter the Banker: The Conjunction Fallacy Reconsidered [PDF]
, 2009 In a famous experiment by Tversky and Kahneman (1983), featuring Linda the bank teller, the participants assign a higher probability to a conjunction of propositions than to one of the conjuncts, thereby seemingly committing a probabilistic fallacy.
Meijs, Wouter +3 more
core +1 more source
Conditions on the existence of maximally incompatible two-outcome measurements in general probabilistic theory [PDF]
Physical Review A, 2017 We formulate the necessary and sufficient conditions for the existence of a pair of maximally incompatible two-outcome measurements in a finite dimensional General Probabilistic Theory. The conditions are on the geometry of the state space, they require existence of two pairs of parallel exposed faces with additional condition on their intersections ...
Jenčová, Anna, Plávala, Martin
openaire +2 more sources
The Evidential Reasoning Approach to Medical Diagnosis using Intuitionistic Fuzzy Dempster-Shafer Theory [PDF]
International Journal of Computational Intelligence Systems, 2015 For medical diagnosis, fuzzy Dempster-Shafer theory is extended to model domain knowledge under probabilistic and fuzzy uncertainty. However, there are some information loss using discrete fuzzy sets and traditional matching degree method.
Yanni Wang +3 more
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Assessment of emergency consequences and hazardous factors impact from the process of explosive conversion products and materials disposal [PDF]
MATEC Web of Conferences, 2020 Purpose is development of tools for assessing the emergency hazard of facility for disposal of explosive conversion products and materials. Results have been obtained by means of the economic and mathematical modelling methods, with use of the ...
Holinko Vasyl +3 more
doaj +1 more source
Algorithmic Verification of Recursive Probabilistic State Machines [PDF]
, 2005 Recursive Markov Chains (RMCs) ([EY05]) are a natural abstract model of procedural probabilistic programs and related systems involving recursion and probability.
Mihalis Yannakakis +3 more
core +1 more source
Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories
PRX Quantum, 2021 To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework.
David Schmid +4 more
doaj +1 more source
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Toward a kinetic-based probabilistic time geography
, 2014 Time geography represents a powerful framework for the quantitative analysis of individual movement. Time geography effectively delineates the space–time boundaries of possible individual movement by characterizing movement constraints.
Nathoo, F.S. +2 more
core +1 more source