Achieving Phase-based Logic Bit Storage in Mechanical Metronomes.
Tianshi WangPublished in: CoRR (2017)
Keyphrases
- random access memory
- magnetic tape
- logical operations
- classical logic
- multi valued
- flash memory
- storage requirements
- storage and retrieval
- random access
- deontic logic
- automated reasoning
- file system
- modal logic
- logic programming
- shift register
- random number generator
- proof theory
- virtual memory
- preprocessing phase
- programming language
- truth values
- digital circuits
- storage systems
- computational properties
- logical framework
- learning phase
- storage space
- logic programs