# Some formulas of variance of uncertain random variable

- Yuhong Sheng
^{1}Email author and - Kai Yao
^{2}

**2**:12

https://doi.org/10.1186/2195-5468-2-12

© Sheng and Yao; licensee Springer. 2014

**Received: **4 March 2014

**Accepted: **16 April 2014

**Published: **7 May 2014

## Abstract

Uncertainty and randomness are two basic types of indeterminacy. Chance theory was founded for modeling complex systems with not only uncertainty but also randomness. As a mixture of randomness and uncertainty, an uncertain random variable is a measurable function on the chance space. It is usually used to deal with measurable functions of uncertain variables and random variables. There are some important characteristics about uncertain random variables. The expected value is the average value of uncertain random variable in the sense of chance measure and represents the size of uncertain random variable. The variance of uncertain random variable provides a degree of the spread of the distribution around its expected value. In order to describe the variance of uncertain random variable, this paper provides some formulas to calculate the variance of uncertain random variables through chance distribution and inverse chance distribution. Several practical examples are also provided to calculate the variance for through chance distribution inverse chance distribution.

### Keywords

Chance theory Uncertain random variable Inverse chance distribution Variance## Introduction

Probability theory is a branch of mathematics for studying the behavior of random phenomena. In order to deal with randomness, Kolmogorov[1] defined a probability measure as a set function satisfying the following three axioms: (i) normality, (ii) nonnegativity, and (iii) additivity. Before applying it in practice, we should first obtain the probability distribution *via* statistics or test the probability distribution to make sure it is close enough to the real frequency, either of which is based on a lot of observed data. However, due to the technological or economical difficulties, we sometimes have no observed data. In this case, we have to rely on domain experts evaluating their belief degree about the chances that the possible events happen. According to Kahneman and Tversky[2], human tends to overweight unlikely events, so the belief degree generally has a much larger range than the real frequency. As a result, the probability theory is not applicable in this case; otherwise, it may lead to counterintuitive results[3]. Liu[4] gave some examples of it.

The uncertainty theory is a branch of mathematics for modeling belief degrees. In order to deal with human uncertainty, Liu[5] first presented uncertain measure as a set function satisfying four measure axioms: (i) normality, (ii) duality, (iii) subadditivity, and (iv) product axiom[6]. As a fundamental concept in uncertainty theory, the uncertain variable was presented by Liu[5] in 2007. In order to describe the uncertain variable, Liu[5] introduced the concept of uncertainty distribution. Liu[3] proposed the concept of inverse uncertainty distribution, and Liu[4] verified a sufficient and necessary condition for it. After that, many researchers widely studied the uncertainty theory and made significative progress. Gao[7] studied the properties of continuous uncertain measure. Peng and Iwamura[8] proved a sufficient and necessary condition for uncertainty distribution. Furthermore, a measure inversion theorem was given by Liu[3] that may yield uncertain measures of some special events from the uncertainty distribution of the corresponding uncertain variable. In addition, the concept of independence was proposed by Liu[6]. After, Liu[3] presented the operational law of uncertain variables. In order to rank uncertain variables, Liu[5] proposed the concept of expected value of uncertain variables. The linearity of expected value operator was verified by Liu[3]. As an important contribution, Liu and Ha[9] derived a useful formula for calculating the expected values of strictly monotone functions of independent uncertain variables. Meanwhile, Liu[5] presented the concept of variance of uncertain variables and also proposed some formulas to calculate the variance through uncertainty distribution. Recently, Yao[10] proposed a formula to calculate the variance using inverse uncertainty distribution. Sheng and Kar[11] verified some results of moment of uncertain variable through inverse uncertainty distribution.

However, in many cases, randomness and uncertainty exist simultaneously in a complex system. In order to describe such a system, Liu[12] pioneered the concepts of uncertain random variable and chance measure. Meanwhile, Liu[12] defined the concepts of chance distribution, expected value and variance for uncertain random variable. Following that, Liu[13] presented the operational law of uncertain random variable, and proposed uncertain random programming as a branch of mathematical programming involving uncertain random variables. In addition, Guo and Wang[14] proved a formula for calculating the variance of uncertain random variables. Yao and Gao[15] verified a law of large numbers for uncertain random variables of independent and identical distribution. Gao and Yao[16] proposed uncertain random process.

This paper further studies the variance of uncertain random variables and provides some formulas to calculate the variance through inverse chance distribution. The rest of this paper is organized as follows: Section ‘Preliminary’ presents some basic concepts and theorems about uncertain random variables and recalled some concepts of expected value, variance, and so on. Some formulas about the variance are derived through chance distribution and inverse chance distribution in Section ‘Variance of uncertain random variable’. Finally, some conclusions are given in Section ‘Conclusions’.

## Preliminary

In this section, we will introduce some useful definitions and theorems about random variable, uncertain variable and uncertain random variable.

### Random variable

Let
be a *σ*-algebra on a nonempty set Ω. A set function$Pr:\mathcal{A}\to [0,1]$ is called a probability measure if it satisfies the following axioms:

Axiom 1: (Normality axiom) Pr{Ω} = 1 for the universal set Ω.

Axiom 2: (Nonnegativity axiom)$Pr\{\mathcal{A}\}\ge 0$ for any event .

**Definition 1.** *(Kolmogorov*[1]*) The set function* Pr *is called a probability measure if it satisfies the normality, nonnegativity, and additivity axioms.*

*σ*-algebra is defined as follows:Let$({\mathrm{\Omega}}_{k},{\mathcal{A}}_{k},{\text{Pr}}_{k})$ be probability spaces for

*k*= 1,2,⋯. It has been proven that there is a unique probability measure Pr on the product

*σ*-algebra such that

*k*= 1,2,⋯, respectively. This conclusion is called

*product probability theorem*. Such a probability measure is called

*product probability measure*, denoted by

### Uncertain variable

**Definition 2.** *(Liu*[5]*) Let*
*be a σ-algebra on a nonempty set* Γ. *A set function*$\mathcal{M}:\mathcal{L}\to [0,1]$*is called an uncertain measure if it satisfies the following axioms:*

*Axiom 1:* (Normality axiom)$\mathcal{M}\{\mathrm{\Gamma}\}=1$*for the universal set* Γ.

*Axiom 2: (Duality axiom)*$\mathcal{M}\{\mathrm{\Lambda}\}+\mathcal{M}\{{\mathrm{\Lambda}}^{c}\}=1$*for any event* Λ.

*Axiom 3: (Subadditivity axiom) For every countable sequence of events*Λ

_{1},Λ

_{2},⋯,

*we have*

*Besides, the product uncertain measure on the product σ-algebra*
*is defined by Liu*[6]*as follows:*

*Axiom 4: (Product axiom) Let*$({\mathrm{\Gamma}}_{k},{\mathcal{L}}_{k},{\mathcal{M}}_{k})$

*be uncertainty spaces for k*= 1,2,⋯.

*Then the product uncertain measure*

*is an uncertain measure satisfying*

*where* Λ_{
k
}*are arbitrarily chosen events from*${\mathcal{L}}_{k}$*for k* = 1,2,⋯, *respectively.*

An uncertain variable is essentially a measurable function from an uncertainty space to the set of real numbers. In order to describe an uncertain variable, a concept of uncertainty distribution is defined as follows.

**Definition 3.**

*(Liu*[5]

*) Let ξ be an uncertain variable. Then its uncertainty distribution is defined by*

*for any real number x*.

An uncertainty distribution Φ is said to be regular if its inverse function Φ^{-1}(*α*) exists and is unique for each *α* ∈ (0,1). Inverse uncertainty distribution plays an important role in the operation of independent uncertain variables.

The expected value of uncertain variable is the average value of uncertain variable in the sense of uncertain measure and it represents the size of uncertain variable. The variance of uncertain variable provides a degree of the spread of the distribution around its expected value.

**Definition 4.**

*(Liu*[5]

*) The expected value of an uncertain variable ξ is defined by*

*provided that at least one of the two integrals is finite.*

**Theorem 1.**

*(Liu*[5]

*) Let ξ be an uncertain variable with uncertainty distribution*Φ.

*If the expected value exists, then*

*E*[

*ξ*] = (

*a*+

*b*)/2; the expected value of the normal uncertain variable$\xi \sim \mathcal{N}(e,\sigma )$ is

*E*[

*ξ*] =

*e*; and the expected value of the lognormal uncertain variable$\xi \sim \mathcal{\text{LOGN}}(e,\sigma )$ is

Liu and Ha[9] proposed a generalized formula for expected value by inverse uncertainty distribution.

**Theorem 2.**

*(Liu and Ha*[9]

*) Let ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }

*be independent uncertain variables with uncertainty distributions*Φ

_{1},Φ

_{2},⋯,Φ

_{ n },

*respectively. If f*(

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n })

*is strictly increasing with respect to ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ m }

*and strictly decreasing with respect to ξ*

_{m+1},

*ξ*

_{m+2},⋯,

*ξ*

_{ n },

*then the uncertain variable ξ*=

*f*(

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n })

*has an expected value*

Based on this result, Liu[6] proved the linearity property of the expected value operator. For two independent uncertain variables *ξ* and *η*, we have *E*[*a* *ξ* + *b* *η*] = *a* *E*[*ξ*] + *b* *E*[*η*] where *a* and *b* are real numbers.

**Definition 5.**

*(Liu*[5]

*) Let ξ be an uncertain variable with finite expected value E*[

*ξ*].

*Then the variance of ξ is*

Based on this stipulation, the variance of the linear uncertain variable$\xi \sim \mathcal{L}(a,b)$ is *V*[*ξ*] = (*b*-*a*)^{2}/12 and the variance of the normal uncertain variable$\xi \sim \mathcal{N}(e,\sigma )$ is *V*[*ξ*] = *σ*^{2}.

In 2013, Yao[10] proved a formula to calculate the variance of an uncertain variable *via* the inverse uncertainty distribution.

**Theorem 3.**

*(Yao*[10]

*) Let ξ be an uncertain variable with a regular uncertainty distribution*Φ.

*If the expected value E*[

*ξ*]

*exists, then the variance is*

### Uncertain random variable

In 2013, Liu[12] first proposed chance theory, which is a mathematical methodology for modeling complex systems with both uncertainty and randomness, including chance measure, uncertain random variable, chance distribution, operational law, expected value, and so on. The chance space refers to the product$(\mathrm{\Gamma},\mathcal{L},\mathcal{M})\times (\mathrm{\Omega},A,\text{Pr})$, in which$(\mathrm{\Gamma},\mathcal{L},\mathcal{M})$ is an uncertainty space and$(\mathrm{\Omega},A,\text{Pr})$ is a probability space.

**Definition 6.**

*(Liu*[12]

*) Let*$(\mathrm{\Gamma},\mathcal{L},\mathcal{M})\times (\mathrm{\Omega},A,\text{Pr})$

*be a chance space, and let*$\mathrm{\Theta}\in \mathcal{L}\times A$

*be an uncertain random event. Then the chance measure of*Θ

*is defined as*

- (i)
Ch{Γ × Ω} = 1;

- (ii)
Ch{Θ} + Ch{Θ

^{ c }} = 1 for and event Θ; - (iii)
Ch{Θ

_{1}} ≤ Ch{Θ_{2}} for any real number set Θ_{1}⊂ Θ_{2}.

for a sequence of events Θ_{1},Θ_{2},⋯.

**Definition 7.** *(Liu*[12]*) An uncertain random variable is a measurable function ξ from a chance space*$(\mathrm{\Gamma},\mathcal{L},\mathcal{M})\times (\mathrm{\Omega},A,\text{Pr})$*to the set of real numbers, i*.*e*., *ξ* ∈ *B is an event for any Borel set B*.

Random variables and uncertain variables can be regarded as special cases of uncertain random variables. Let *η* be a random variable, *τ* be an uncertain variable. Then *η* + *τ* and *η* × *τ* are both uncertain random variables.

**Theorem 4.**

*(Liu*[12]

*) Let f*:

*R*

^{ n }→

*R be a measurable function, and ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }

*uncertain random variables on the chance space*$(\mathrm{\Gamma},\mathcal{L},\mathcal{M})\times (\mathrm{\Omega},A,\text{Pr})$.

*Then ξ*=

*f*(

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }

*) is an uncertain random variable determined by*

*for all* (*γ*, *ω*) ∈ Γ × Ω.

To calculate the chance measure, Liu[13] presented a definition of chance distribution.

**Definition 8.**

*(Liu*[13]

*) Let ξ be an uncertain random variable. Then its chance distribution is defined by*

*for any*$x\in \mathcal{R}$.

The chance distribution of a random variable is just its probability distribution, and the chance distribution of an uncertain variable is just its uncertainty distribution.

**Theorem 5.**

*(Liu*[13]

*) Let η*

_{1},

*η*

_{2},⋯,

*η*

_{ m }

*be independent random variables with probability distributions*Ψ

_{1},Ψ

_{2},⋯,Ψ

_{ m }

*, respectively, and let τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*be uncertain variables. Then the uncertain random variable ξ*=

*f*

*(*

*η*

_{1},

*η*

_{2},⋯,

*η*

_{ m },

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*) has a chance distribution*

*F*(

*x*,

*y*

_{1},⋯,

*y*

_{ m })

*is the uncertainty distribution of uncertain variable*

*for any real numbers y*_{1}, *y*_{2},⋯, *y*_{
m
}.

*η*be a random variable with probability distribution Ψ, and let

*τ*be an uncertain variable with uncertainty distribution Υ, by Theorem 5 we proved that the sum

*ξ*=

*η*+

*τ*has a chance distribution

*η*be a positive random variable with probability distribution Ψ, and let

*τ*be a positive uncertain variable with uncertainty distribution Υ; by Theorem 5, we proved that the product

*ξ*=

*η*

*τ*has a chance distribution

*η*be a random variable with probability distribution Ψ, and let

*τ*be an uncertain variable with uncertainty distribution Υ; by Theorem 5, we proved that the minimum

*ξ*=

*η*∧

*τ*has a chance distribution

*η*be a random variable with probability distribution Ψ, and let

*τ*be an uncertain variable with uncertainty distribution Υ; by Theorem 5, we proved that the maximum

*ξ*=

*η*∨

*τ*has a chance distribution

**Definition 9.**

*(Liu*[13]

*) Let ξ be an uncertain random variable. Then its expected value is defined by*

*provided that at least one of the two integrals is finite.*

*ξ*. Liu[13] proved a formula to calculate the expected value of uncertain random variable with chance distribution, that is,

For a random variable *η* and an uncertain variable *τ*, Liu[13] proved that *E*[*η* + *τ*] = *E*[*η*] + *E*[*τ*] and *E*[*η* × *τ*] = *E*[*η*] × *E*[*τ*]. In fact, we have the following theorem about the expected value of uncertain random variables.

**Theorem 6.**

*(Liu*[13]

*) Let η*

_{1},

*η*

_{2},⋯,

*η*

_{ m }

*be independent random variables with probability distributions*Ψ

_{1},Ψ

_{2},⋯,Ψ

_{ m }

*, respectively, and let τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*be uncertain variables (not necessarily independent), then the uncertain random variable ξ*=

*f*

*(*

*η*

_{1},

*η*

_{2},⋯,

*η*

_{ m },

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*) has an expected value*

*where E*[*f*(*y*_{1}, *y*_{2},⋯, *y*_{
m
}, *τ*_{1}, *τ*_{2},⋯, *τ*_{
n
})] *is the expected value of the uncertain variable f*(*y*_{1}, *y*_{2},⋯, *y*_{
m
}, *τ*_{1}, *τ*_{2},⋯, *τ*_{
n
}) *for any real numbers y*_{1}, *y*_{2},⋯, *y*_{
m
}.

**Theorem 7.**

*(Liu*[13]

*) Let η*

_{1},

*η*

_{2},⋯,

*η*

_{ m }

*be independent uncertain random variables with probability distributions Ψ*

_{1},Ψ

_{2},⋯,Ψ

_{ m }, and let

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*be independent uncertain random variables with uncertainty distributions Υ*

_{1},Υ

_{2},⋯,Υ

_{ n },

*respectively. If f*

*(*

*η*

_{1},

*η*

_{2},⋯,

*η*

_{ m },

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*) is a strictly increasing or strictly decreasing function with respect to τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ n }

*, then the uncertain random variable*

*has an expected value*

*η*be a random variable with probability distribution Ψ, and let

*τ*be an uncertain variable with uncertainty distribution Υ. With these, we proved that

## Variance of uncertain random variable

This section will introduce the concept of variance for uncertain random variable as well as a stipulation on the formula to calculate the variance.

**Definition 10.**

*(Liu*[13]

*) Let ξ be an uncertain random variable with a finite expected value E*[

*ξ*].

*Then the variance of ξ is*

*ξ*-

*E*[

*ξ*])

^{2}is a nonnegative uncertain random variable, we also have

How to obtain variance from chance distribution? Since the chance measure is a subadditivity measure, the variance of uncertain random variable cannot be derived simply by the chance distribution. In this case, Guo and Wang[14] suggest to a stipulation as follows:

**Stipulation 1.**(Guo and Wang[14])

*Let ξ be an uncertain random variable with a chance distribution*Φ

*. If ξ has a finite expected value E*[

*ξ*]

*, then*

Based on this stipulation, we will give some formulas to calculate the variance of an uncertain random variable with the chance distribution and the inverse chance distribution.

**Theorem 8.**

*Let ξ be an uncertain random variable with a chance distribution*Φ.

*If ξ has a finite expected value E*[

*ξ*],

*then*

**Proof:**This theorem is based on Stipulation 1 that says the variance of

*ξ*is

*x*and

*y*with (

*x*-

*E*[

*ξ*])

^{2}, the change of variables and integration by parts produced, we have

*x*and

*y*with (

*x*-

*e*)

^{2}, we obtain

The theorem is verified.

**Theorem 9.**

*Let ξ be an uncertain random variable with a regular chance distribution*Φ.

*If ξ has a finite expected value E*[

*ξ*],

*then*

**Proof:**Substituting Φ(

*x*) with

*r*and

*x*with Φ

^{-1}(

*r*), it follows from the change of variables of integration and Theorem 8 that the variance is

The theorem is verified.

**Example 1.**

*Let η be a random variable with probability distribution*Ψ,

*and let τ be an uncertain variable with uncertainty distribution*Υ.

*Then by Theorem 8, the sum ξ*=

*η*+

*τ has the variance*

*where*$\mathrm{\Phi}(x)\phantom{\rule{0.3em}{0ex}}={\int}_{-\infty}^{+\infty}\mathrm{{\rm Y}}(x-y)\mathrm{d}\mathrm{\Psi}(y)$

*and E*[

*ξ*] =

*E*[

*η*] +

*E*[

*τ*].

*By Theorem 9, the sum ξ*=

*η*+

*τ has the variance*

**Example 2.**

*Let η be a random variable with probability distribution*Ψ,

*and let τ be an uncertain variable with uncertainty distribution*Υ.

*Then by Theorem 8, the product ξ*=

*η*

*τ has the variance*

*where*$\mathrm{\Phi}(x)={\int}_{-\infty}^{+\infty}\mathrm{{\rm Y}}(x/y)\mathrm{d}\mathrm{\Psi}(y)$

*and E*[

*ξ*] =

*E*[

*η*]

*E*[

*τ*].

*By Theorem 9, the product ξ*=

*η*

*τ has the variance*

**Example 3.**

*Let η be a random variable with probability distribution*Ψ,

*and let τ be an uncertain variable with uncertainty distribution*Υ.

*Then by Theorem 8, the minimum ξ*=

*η*∧

*τ has the variance*

*where*Φ(

*x*) = Ψ(

*x*) + Υ(

*x*) - Ψ(

*x*)Υ(

*x*)

*and*$E[\xi ]=E[\eta \wedge \tau ]={\int}_{\Re}{\int}_{0}^{1}(y\wedge {\mathrm{{\rm Y}}}^{-1}(\alpha ))\mathrm{d}\alpha \mathrm{d}\mathrm{\Psi}(y)$.

*By Theorem 9, the minimum ξ*=

*η*∧

*τ has the variance*

**Example 4.**

*Let η be a random variable with probability distribution*Ψ,

*and let τ be an uncertain variable with uncertainty distribution*Υ.

*Then by Theorem 8, the maximum ξ*=

*η*∨

*τ has the variance*

*where*Φ(

*x*) = Ψ(

*x*)Υ(

*x*)

*and*$E[\xi ]=E[\eta \vee \tau ]={\int}_{\Re}{\int}_{0}^{1}(y\vee {\mathrm{{\rm Y}}}^{-1}(\alpha ))\mathrm{d}\alpha \mathrm{d}\mathrm{\Psi}(y)$.

*By Theorem 9, the minimum ξ*=

*η*∨

*τ has the variance*

## Conclusions

In this paper, we mainly studied the variance of an uncertain random variable. Some formulas were derived to calculate the variance of an uncertain random variable using chance distribution and the inverse chance distribution. At the same time, several practical examples are also provided to calculate the variance of uncertain random variables with chance distribution and inverse chance distribution.

## Declarations

### Acknowledgements

This work was supported by National Natural Science Foundation of China Grants No.61273044 and No.91224008.

## Authors’ Affiliations

## References

- Kolmogorov AN:
*Grundbegriffe der Wahrscheinlichkeitsrechnung*. Berlin: Julius Springer; 1933.View ArticleMATHGoogle Scholar - Kahneman D, Tversky A: Prospect theory: an analysis of decision under risk.
*Econometrica*1979, 47(2):263—292.View ArticleMATHGoogle Scholar - Liu B:
*Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty*. Berlin: Springer-Verlag; 2010.View ArticleGoogle Scholar - Liu B: Why is there a need for uncertainty theory?
*J. Uncertain Syst*2012, 6(1):3–10.Google Scholar - Liu B:
*Uncertainty Theory*. Berlin: Springer-Verlag; 2007.View ArticleMATHGoogle Scholar - Liu B: Some research problems in uncertainty theory.
*J. Uncertain Syst*2009, 3(1):3–10.Google Scholar - Gao X: Some properties of continuous uncertain measure.
*Int. J. Uncertainty Fuzziness Knowledge-Based Syst*2009, 17(3):419–426. 10.1142/S0218488509005954MathSciNetView ArticleMATHGoogle Scholar - Peng ZX, Iwamura K: A sufficient and necessary condition of uncertainty distribution.
*J. Interdiscip. Math*2010, 13(3):277–285. 10.1080/09720502.2010.10700701MathSciNetView ArticleMATHGoogle Scholar - Liu YH, Ha MH: Expected value of function of uncertain variables.
*J. Uncertain Syst*2010, 4(3):181—186.Google Scholar - Yao K: A formula to calculate the variance of uncertain variable. . http://orsc.edu.cn/online/130831.pdf
- Sheng YH, Samarjit K: Some results of moments of uncertain variable through inverse uncertainty distribution. Fuzzy Optimization Decis. Making (2014 in press)Google Scholar
- Liu YH: Uncertain random variables: a mixture of uncertainty and randomness.
*Soft Comput*2013, 17(4):625–634. 10.1007/s00500-012-0935-0View ArticleMATHGoogle Scholar - Liu YH: Uncertain random programming with applications. Fuzzy Optimization Decis.
*Making*2013, 12(2):153—169.Google Scholar - Guo HY, Wang XS: Variance of uncertain random variables. J. Uncertainty Anal. Appl (2014 in press)Google Scholar
- Yao K, Gao JW: Law of large numbers for uncertain random variables. . http://www.orsc.edu.cn-/online/120401.pdf
- Gao JW, Yao K: Some concepts and theorems of uncertain random process. Int. J. Intell. Syst (2014 in press)Google Scholar
- Hou YC: Subadditivity of chance measure. . http://orsc.edu.cn/online/130602.pdf

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.