Browsing by Subject
Showing results 423 to 442 of 2601
< previous
next >
- Axiomatization | Completeness theorem | Decidability | Independence | Probabilistic support 1
- Axiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilities 2
- Axiomatization | Decidability | Probabilistic logic | Temporal logic 1
- Axiomatization | Decidability | Strong completeness | Temporal logic | Zero time transitions 1
- Axiomatization | Probabilistic logic | Strong completeness | Uncertainty 1
- Axiomatization | Strong completeness | Weighted formulas 1
- Azumaya algebras | Braided monoidal categories | Brauer group | Drinfel'd double | Hopf algebras 1
- Azumaya algebras | Braided monoidal categories | Brauer group | Galois objects | Quasi-triangular Hopf algebras | Radford biproducts 1
- b(αn ,βn )-hypermetric spaces | G-metric | fixed point 1
- B-coefficients | Dynamic programming | Economic dispatch | Penalty factors | Separable approximation | Transmission losses 1
- b-metric-like | fixed point | Suzuki (α, F)-contraction | α-admissible mapping 1
- B2C e-commerce | Fuzzy AHP | MCDM | pandemic 1
- Backward adaptive algorithm | Jayant's quantizer | Scalar quantization 1
- Bag | Multiset 1
- Bags | Bugs | Diameter | Extremal graphs | Graph | Index | Radius 1
- Baire Property | Game Reflection | Martin's Maximum 1
- Balanced allocation of clients | Discrete location | Variable neighborhood search 1
- Balanced allocation of customers | Discrete location | Evolutionary computations | Genetic algorithms 1
- Balanced clustering | Complexity | Sum-of-squares 1
- Balanced clustering | Minimum sum-of-squares | Optimization 1