CORC

浏览/检索结果: 共10条,第1-10条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID 其他
2009-01-01
Zhu, Jiaqi; Huang, Yu; Wang, Hanpin
收藏  |  浏览/下载:4/0  |  提交时间:2015/11/12
Recovery Characteristics of NBTI of pMOSFETs with Oxynitride Dielectrics Under Drain Bias 其他
2008-01-01
Yang, Jiaqi; Pan, Junyan; Huang, Lihua; Liu, Xiaoyan; Han, Ruqi; Kang, Jinfeng; Zhang, L. F.; Zhu, Z. W.; Liao, C. C.; Wu, H. M.
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/10
A new temporal logic CTL[k-QDDC] and its verification 其他
2008-01-01
Zhu, Jiaqi; Wang, Hanpin; Xu, Zhongyuan
收藏  |  浏览/下载:8/0  |  提交时间:2015/11/12
Improved exponential time lower bound of knapsack problem under BT model 其他
2007-01-01
Li, Xin; Liu, Tian; Peng, Han; Qian, Liyan; Sun, Hongtao; Xu, Jin; Xu, Ke; Zhu, Jiaqi
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/16
A note on quantum fingerprinting without entanglement 其他
2007-01-01
Cui, Peng; Li, Xin; Liu, Tian; Peng, Han; Qian, Liyan; Sun, Hongtao; Zhou, Jin; Zhu, Jiaqi
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
Formalizing Web service choreography interface 其他
2007-01-01
Huang, Yu; Xu, Chunxiang; Wang, Hanpin; Xia, Yunni; Zhu, Jiaqi; Zhu, Cheng
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
Analyzing data dependence based on workflow net 其他
2007-01-01
Huang, Yu; Wang, Hanpin; Zhao, Wen; Zhu, Jiaqi
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
Improved exponential time lower bound of knapsack problem under BT model 其他
2007-01-01
Xin, Li; Tian, Liu; Han, Peng; Liyan, Qian; Hongtao, Sun; Jin, Xu; Ke, Xu; Jiaqi, Zhu
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/17
Analyzing data dependence based on workflow net 其他
2007-01-01
Yu, Huang; Hanpin, Wang; Wen, Zhao; Jiaqi, Zhu
收藏  |  浏览/下载:7/0  |  提交时间:2015/11/13
Formalizing Web service choreography interface 其他
2007-01-01
Yu, Huang; Yunni, Xia; Chunxiang, Xu; Jiaqi, Zhu; Hanpin, Wang; Cheng, Zhu
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13


©版权所有 ©2017 CSpace - Powered by CSpace