Browsing by Subject
Showing results 411 to 430 of 2601
< previous
next >
- AutoGraphiX | Automated conjecture making | Graph invariant | Index of a graph | Spectral radius 1
- AutoGraphiX | Conjecture | Matching number | Spectral radius 1
- Automata theory | Cryptography | Security of data 1
- Automated discovery | Eigenvalues | Graph theory | Index 1
- Automatic generation of conjectures | Conjecture | Graph | Laplacian eigenvalues | Laplacian matrix 1
- Automatic programming | local search | variable neighborhood programming 1
- Averaging method | Complex cantilever | Extended asymptotic method Krylov-Bogoliubov-Mitropolsky for nonlinear mechanics | Generalized method of constant variations | Influence coefficients of deflection | Nonlinear dynamics 1
- Axially moving beam | Frequency response | Incremental harmonic balance | Nonlinear energy sink | Vibration attenuation 1
- Axiom independence | Axiomatization | Rectangular V-quasigroup 1
- Axiomatic characterization | Certainty | Entropy | Inaccuracy | Information measure | Pseudo-addition 1
- Axiomatic characterization | Havrda-Charvat-Tsallis entropy | Information measures | Nath entropy | Renyi entropy 1
- Axiomatic system | Logic programming | Theorem proving 1
- 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