Symbols:Abbreviations/E

From ProofWiki
Jump to navigation Jump to search
Previous  ... Next

E

EDA

Exploratory data analysis.

Exploratory data analysis is the process of performing preliminary examination of raw data in order to gain insight into their general structure and characteristics, and often identify outliers.

Tools used in this activity include:

For multivariate data or particularly large data sets, kernel density estimation methods can be used.

Having performed an exploratory data analysis, the data engineer may be better placed to make a decision as to what formal statistical methods may then be appropriate.


EE

Context: Predicate Logic.

Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation ($\text {EI}$).


EG

Context: Predicate Logic.

Rule of Existential Generalisation.


EI

Context: Predicate Logic.

Rule of Existential Instantiation.

Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation ($\text {EG}$). Beware.


essup

Essential supremum.


Let $\struct {X, \Sigma, \mu}$ be a measure space.

Let $f : X \to \R$ be an essentially bounded function:

$\map \mu {\set {x \in X : \size {\map f x} > c} } = 0$

The essential supremum of $\size {\map f x}$ is the supremum of all possible $c$, and is written $\essup \size {\map f x}$.


EMF

Context: Electromagnetism.

Electromotive force.

Electromotive force is a quantity that measures the source of potential energy in an electric circuit.

It is defined as the amount of work per unit electric charge.


Previous  ... Next