Browsing by Subject
Showing results 414 to 433 of 2662
< previous
next >
- Authorization control | Behavioral types | Process calculi | Software verification | Type systems 1
- Autocorrelation coeffecients | Boolean function | Disjoint decomposition | Walsh spectrum 1
- Autocorrelation function | Binary decision diagram (BDD) | Linear transform | Logic synthesis | Spectral technique 1
- Autocorrelation functions | Decision diagrams | Linear transforms | Logic synthesis | Spectral techniques 1
- Autocorrelation | Gray code | Linear transformation | Symmetric function 1
- autoencoders | classification | Gaussian mixture models | KL divergence | machine learning 1
- 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