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
3599 results for Mathematical Sciences
Generalization of a suffix tree for RNA structural pattern matching
- Tetsuo Shibuya
- 2003
- Algorithmica (New York)
Value-based management of design reuse
- Juan Antonio Carballo
- David L. Cohn
- et al.
- 2003
- SPIE Advanced Microelectronic Manufacturing 2003
Implicit gamma theorems (I): Pseudoroots and pseudospectra
- Jean-Pierre Dedieu
- Myong-Hi Kim
- et al.
- 2003
- Foundations of Computational Mathematics
Scene-based Scalable Video Summarization
- Ying Li
- C.-C. Jay Kuo
- et al.
- 2003
- SPIE ITCom 2003
Distributed supply chain simulation using a generic job running framework
- Haifeng Xi
- Heng Cao
- et al.
- 2003
- WSC 2003
An achromatic refractive laser beam reshaper
- C. Michael Jefferson
- John A. Hoffnagle
- 2003
- SPIE Optical Science and Technology 2003
Analysis and control of correlated Web server queues
- Soumyadip Ghosh
- Mark S. Squillante
- 2003
- Optics East 2003
A simulation-based tool for inventory analysis in a server computer manufacturing environment
- Heng Cao
- Feng Cheng
- et al.
- 2003
- WSC 2003
Current Developments of a High Performance CA Resist for Mask Making Application
- Wu-Song Huang
- Wei He
- et al.
- 2003
- Photomask and Next-Generation Lithography Mask Technology 2003