Search Results for ""
1521 - 1530 of 2405 for Conjunctive Normal FormSearch Results
![](/common/images/search/spacer.gif)
Given a decimal-valued floating-point operation in the IEEE 754-2008 standard, the preferred exponent is the value of the exponent q which preserves the quantum of the ...
The quantum of a finite floating-point representation is the value of a unit in the last position of its significand. In general, the quantum is equal to the radix raised to ...
As of 2014, the IEEE 754-2008 is the most commonly implemented standard for floating-point arithmetic. This framework is a massive overhaul of its predecessor IEEE 754-1985 ...
The inverse Gaussian distribution, also known as the Wald distribution, is the distribution over [0,infty) with probability density function and distribution function given ...
The map-Airy distribution is a statistical distribution having probability density function and distribution function P(x) = 2e^(-2x^3/3)[xAi(x^2)-Ai^'(x^2)] (1) D(x) = (2) ...
The margin of error is an estimate of a confidence interval for a given measurement, result, etc. and is frequently cited in statistics. While phrases such as, "The poll has ...
Given a random variable x and a probability density function P(x), if there exists an h>0 such that M(t)=<e^(tx)> (1) for |t|<h, where <y> denotes the expectation value of y, ...
The graph complement of a perfect graph is itself perfect. Originally known as the weak perfect graph conjecture (Fulkerson 1971), the result was subsequently proved by ...
Two lines, vectors, planes, etc., are said to be perpendicular if they meet at a right angle. In R^n, two vectors a and b are perpendicular if their dot product a·b=0. (1) In ...
The integral kernel in the Poisson integral, given by K(psi)=1/(2pi)(1-|z_0|^2)/(|z_0-e^(ipsi)|^2) (1) for the open unit disk D(0,1). Writing z_0=re^(itheta) and taking ...
![](/common/images/search/spacer.gif)
...