Two Logical Verification of Quantum NOT Gate.
Alauddin AhmedAtiqur RahmanMohammed AnwerNazmul HaqueMorshed U. ChowdhuryPublished in: ACIS-ICIS (2007)
Keyphrases
- quantum inspired
- model checking
- face verification
- quantum computation
- quantum computing
- asynchronous circuits
- signature verification
- logical framework
- formal verification
- probabilistic logic
- databases
- face detection
- verification method
- logical operations
- artificial intelligence
- neural network
- logic programs
- evolutionary algorithm
- logical representation
- face recognition
- nano scale