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
Conference paper
Publications
26903 results for Science
Improving performance of heterogeneous agents
- Fatma Özcan
- V.S. Subrahmanian
- et al.
- 2004
- Ann. Math. Artif. Intell.
Conference paperSparse LCS Common Substring Alignment
- Gad M. Landau
- Baruch Schieber
- et al.
- 2003
- Information Processing Letters
PaperUnexpected scaling of the performance of carbon nanotube Schottky-barrier transistors
- S. Heinze
- M. Radosavljević
- et al.
- 2003
- Physical Review B - CMMP
PaperCircuit Simulation of Nanotechnology Devices with Non-monotonie I-V Characteristics
- Jiayong Le
- Larry Pileggi
- et al.
- 2003
- ICCAD 2003
Conference paperX-ray absorption spectromicroscopy study of UV-photoinduced surface modification and anisotropy in polyimide films
- M. Zharnikov
- Y. Ouchi
- et al.
- 2003
- Journal of Physical Chemistry B
PaperMockup-driven Fast-prototyping Methodology for Web Requirements Engineering
- Jia Zhang
- Carl K. Chang
- et al.
- 2003
- COMPSAC 2003
Conference paperMediating Electronic Meetings
- Jia Zhang
- Carl K. Chang
- et al.
- 2003
- COMPSAC 2003
Conference paperORGANIZATIONAL CONTROL SYSTEMS AND SOFTWARE QUALITY: A CROSS-NATIONAL STUDY
- Sanjay Gosain
- David P. Darcy
- et al.
- 2003
- AIS-ICIS 2003
Conference paperCONTAINER-MANAGED ETL APPLICATIONS FOR INTEGRATING DATA IN NEAR REAL-TIME
- Josef Schiefer
- Robert M. Bruckner
- 2003
- AIS-ICIS 2003
Conference paper