Browsing by Subject
Showing results 1502 to 1521 of 2662
< previous
next >
- Data Privacy | Blockchain | Contact Tracing 1
- Data | Data management | Serbia | Archeology | Database 1
- Decentralised intelligence | Federated learning | Python | Formal verification | CSP process calculus 1
- decentralized intelligence | distributed systems | edge computing | federated learning | Python 1
- Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic 1
- Decidability | Justification logic | Lottery paradox | Probabilistic logic | Strong completeness 1
- decidability | Justification logic | lottery paradox | probabilistic logic | strong completeness 1
- Decidability | Probability amplitudes | Quantum logic | Strong completeness 1
- Decidability | Probability logic | Qualitative probability | Strong completeness 1
- Decision diagram | Implementation | Logic synthesis | Verification | VLSI CAD 1
- Decision diagrams | dependency matrices | functional decision diagrams | nodes dependency | reversible circuits | reversible synthesis 1
- Decision diagrams | Discrete functions | Fourier transform | Non-Abelian groups 1
- Decision diagrams | Fourier transform | Multiple-valued logic | Spectral techniques 1
- decision diagrams | Fourier transform | non-Abelian groups | Systems on groups 1
- decision diagrams | Galois field expressions | multiple-valued logic functions | Reed-Muller expressions | Reed-Muller-Fourier expressions | spectral expressions 1
- decision making | error approximation | full fuzzy program | fuzzy aggregation | linear fractional programming | triangular fuzzy number 1
- Decision tree | Entropy | Minimization | Switching functions 1
- decoder | large vocabulary speech recognition | open source software 1
- Decoding | Fast correlation attack | Keystream generators | Linear feedback shift registers | Stream ciphers 2
- decomposition strategy | hybrid heuristic | integer programming formulation | metaheuristic methods | subtour elimination 1