A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity
- Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Publications
Date
Featured collections
Popular topics
10 results at IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates
- Atsushi Matsuo
- Shigeru Yamashita
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
An Efficient Method to Decompose and Map MPMCT Gates That Accounts for Qubit Placement
- Atsushi Matsuo
- Wakaki Hattori
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Zero-knowledge and correlation intractability
- Satoshi Hada
- Toshiaki Tanaka
- 2006
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Simultaneous adaptation of echo cancellation and spectral subtraction for in-car speech recognition
- Osamu Ichikawa
- Masafumi Nishimura
- 2005
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Formal Treatment of Non-repudiation Protocols
- Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Constructing the Suffix Tree of a Tree with a Large Alphabet
- Tetsuo Shibuya
- 2003
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Adaptive blind source separation using a risk-sensitive criterion
- Junya Shimizu
- 2003
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Interval finding and its application to data mining
- Takeshi Fukuda
- Yasuhiko Morimoto
- et al.
- 1997
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Diagnosis of computer systems by stochastic Petri nets Part II (Theory)
- G.S. Shedler
- Satoshi Moriguchi
- 1993
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences