Another Language for Describing Robot Motions: A Nonlinear Position-dependent Circuit Theory

1996 ◽  
pp. 55-66 ◽  
Author(s):  
Suguru Arimoto
Keyword(s):  
Circuit Theory

scholarly journals Holistic logical arguments in quantum computation

2016 ◽  
Vol 66 (2) ◽  
Author(s):  
Maria Luisa Dalla Chiara ◽  
Roberto Giuntini ◽  
Roberto Leporini ◽  
Giuseppe Sergioli
Keyword(s):  
Quantum Information ◽  
Quantum Computation ◽  
Essential Role ◽  
Circuit Theory ◽  
Logical Connectives ◽  
Quantum Computational Logics

AbstractQuantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a

Sign in / Sign up

Export Citation Format

Share Document