This is to announce the publication of a paper concerning an application of meadows. The paper “Probabilistic Thread Algebra” (doi:10.7561/SACS.2015.2.211) has now been published. This paper introduce an algebraic theory of mathematical objects that represent the behaviours produced by probabilistic instruction sequences under execution. It concerns an application of meadows because functions whose range is the carrier of a meadow are taken as probability measures.
 Follow Meadows as a New Theme in the Theory of Rings and Fields on WordPress.com

Recent Posts
Categories
 Announcement of Publication (13)
 Uncategorized (1)
Tags
 abstract data type
 Adams conditioning
 Bayesian conditioning
 Boolean algebra
 cancellation meadow
 common meadow
 completeness
 complex number
 conditional value
 configuration
 correlation
 courtroom reasoning
 covariance
 division by zero
 divisive meadow
 equational axiomatization
 equational axiom system
 event space
 expansion field
 expectation value
 forensic expert
 fraction
 fraction as pair
 independence
 initial algebra specification
 instruction sequence
 involutive meadow
 Jeffrey's conditioning
 Kolmogorov's probability axioms
 likelihood ratio
 meadow
 noninvolutive meadow
 polynomial
 probabilistic computation
 probabilistic scheduling policy
 probability function
 probability mass function
 probability theory
 random variable
 rational number
 sample space
 signed meadow
 simple fraction
 soundness
 term rewriting
 thread
 transreal number
 trier of fact
 variance
 variety
 wheel
Archives
 December 2017 (1)
 July 2017 (1)
 January 2017 (2)
 December 2016 (1)
 August 2016 (1)
 July 2016 (1)
 June 2016 (1)
 April 2016 (2)
 February 2016 (1)
 January 2016 (3)
Links