Sign in
Divide-and-conquer verification method for noisy intermediate-scale quantum computation.
Yuki Takeuchi
Yasuhiro Takahashi
Tomoyuki Morimae
Seiichiro Tani
Published in:
Quantum (2022)
Keyphrases
</>
verification method
quantum computation
model checking
temporal logic
noisy data
machine learning
scale space
real time
data mining
data streams
feature space
lower bound
expert systems
probabilistic model
input image