Formal sciences

Dominance relation

Pareto optimality

Effective sample size

Singularity

Rauch–Tung–Striebel Algorithm

Trie

Kalman filter

State-space model

K‑relation model

Query containment problem

Homomorphism theorem

Database theory

hierarchical softmax

ν‑SVR

Statistical learning theory

Null-move reduction

Stratified Cross-Validation

support vector machine

Structure and Interpretation of Computer Programs

Mizar

Recursive Functions of Symbolic Expressions and Their Computation by Machine

automated theorem proving

Automata Studies

Switching theory

Computational learning theory

Computer science

Denotational semantics

Alpha-beta pruning

Automata theory

winograd schema challenge

Universal Turing machine

Turing machine