臺大學術典藏 |
2018-09-10T08:18:13Z |
Quantum Switching and Quantum String Matching
|
T. S. Lin;S. Y. Kuo; T. S. Lin; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:13Z |
Quantum Transmission Mechanism for Detection
|
T. S. Lin;C. H. Chien;S. Y. Kuo; T. S. Lin; C. H. Chien; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:13Z |
Quantum Indirect Shared Key Protocol
|
T. S. Lin;C. H. Chien;S. Y. Kuo; T. S. Lin; C. H. Chien; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:13Z |
Probabilistic Evaluations of Event-Tree and Fault-Tree in Safety-Critical Systems
|
C. S. Cho;S. C. Dai;W. H. Chung;S. Y. Kuo; C. S. Cho; S. C. Dai; W. H. Chung; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:13Z |
System and Method for Securing Web Application Code and Verifying Correctness of Software
|
Yao-Wen Huang;Fan Yi;Chung-Hung Tsai;Christian Hang;Der-Tsai Lee;Sy-Yen Kuo; Yao-Wen Huang; Fan Yi; Chung-Hung Tsai; Christian Hang; Der-Tsai Lee; Sy-Yen Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:12Z |
Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study
|
H. Z. Chou;H. Yu;K. H. Chang;D. Dobbyn;S. Y. Kuo; H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:12Z |
Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair
|
H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:12Z |
Automating Unreachable Code Diagnosis and Debugging
|
H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:12Z |
Quantum Encrypted Computation Using Quantum Private Queries
|
N. H. Chia;C. H. Chien;S. Y. Kuo; N. H. Chia; C. H. Chien; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Accurately Handle Don’t-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers
|
H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Acquiring Authentic Data in Unattended Wireless Sensor Networks
|
C. M. Yu;C. Y. Chen 3;C. S. Lu;S. Y. Kuo;H. C. Chao; C. M. Yu; C. Y. Chen 3; C. S. Lu; S. Y. Kuo; H. C. Chao; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Non-Interactive Pairwise Key Establishment for Sensor Networks
|
C. M. Yu;C. S. Lu;S. Y. Kuo; C. M. Yu; C. S. Lu; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Quantum Secure Direct Communication With Constant Number of EPR Pairs
|
C. Y. Lu;S. A. Wang;Y. J. Cheng;S. Y. Kuo; C. Y. Lu; S. A. Wang; Y. J. Cheng; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis
|
H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:11Z |
Android/OSGi-based Vehicular Network Management System
|
T. W Chang;J. L Chen;M. C Chen;S. Y. Kuo; T. W Chang; J. L Chen; M. C Chen; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:18:10Z |
Effective Design-for-Testability Techniques for H.264 All-Binary Integer Motion Estimation
|
P. Y. Yeh;B. Y. Ye;S. Y. Kuo; P. Y. Yeh; B. Y. Ye; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T08:12:12Z |
iCon: Utilizing everyday objects as additional, auxiliary and instant tabletop controllers
|
Cheng, K.-Y.;Liang, R.-H.;Chen, B.-Y.;Laing, R.-H.;Kuo, S.-Y.; Cheng, K.-Y.; Liang, R.-H.; Chen, B.-Y.; Laing, R.-H.; Kuo, S.-Y.; SY-YEN KUO; BING-YU CHEN |
臺大學術典藏 |
2018-09-10T07:41:52Z |
延遲線及其應用之類比數位轉換裝置與負載感測電路
|
陳科宏;黃立仁;黃宏瑋;郭斯彥; 陳科宏; 黃立仁; 黃宏瑋; 郭斯彥; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T07:41:52Z |
直流轉直流穩壓器以及誤差放大器
|
陳科宏; 黃立仁; 黃宏瑋; 郭斯彥; SY-YEN KUO; 陳科宏; 黃立仁; 黃宏瑋; 郭斯彥 |
臺大學術典藏 |
2018-09-10T07:41:51Z |
Quantum signature mechanism with GHZ states
|
T. S. Lin;C. C. Lee;S. Y. Kuo; T. S. Lin; C. C. Lee; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T07:41:51Z |
Holography: A Hardware Virtualization Tool for Malware Analysis
|
S. Y. Dai;F. V. Yarochkin;Y. Huang;S. Y. Kuo; S. Y. Dai; F. V. Yarochkin; Y. Huang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T07:41:51Z |
Increasing Reliability for IEEE 802.16j Mobile Multi-hop Relay Networks Planning
|
C. Y. Chen;Y. S. Liang;C. M. Yu;C. H. Ho;S. Y. Kuo; C. Y. Chen; Y. S. Liang; C. M. Yu; C. H. Ho; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T07:41:51Z |
電源供應裝置
|
陳科宏; 黃立仁; 黃宏瑋; 郭斯彥; SY-YEN KUO; 陳科宏; 黃立仁; 黃宏瑋; 郭斯彥 |
臺大學術典藏 |
2018-09-10T07:41:50Z |
Enhancing Bug Hunting Using High-Level Symbolic Simulation
|
H. Z. Chou;I. H. Lin;C. S. Yang;K. H. Chang;S. Y. Kuo; H. Z. Chou; I. H. Lin; C. S. Yang; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
臺大學術典藏 |
2018-09-10T07:41:50Z |
Xprobe2++: Low volume remote network information gathering tool
|
F. V. Yarochkin;O. Arkin;M. Kydyraliev;S. Y. Dai;Y. Huang;S. Y. Kuo; F. V. Yarochkin; O. Arkin; M. Kydyraliev; S. Y. Dai; Y. Huang; S. Y. Kuo; SY-YEN KUO |