1![Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi](https://www.pdfsearch.io/img/758aec2b9e9afc97677811c6c87d027b.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
2![Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China](https://www.pdfsearch.io/img/d3fddc2c065e3f89876b695d76d1f05f.jpg) | Add to Reading ListSource URL: www.ickn.orgLanguage: English - Date: 2014-03-07 06:00:27
|
---|
3![Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen](https://www.pdfsearch.io/img/a3ac8d8fe11e9456259033d89c7d1d37.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
4![0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier 0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier](https://www.pdfsearch.io/img/83b77c74c3b20051757d8083ee407160.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
5![Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China](https://www.pdfsearch.io/img/b0e1a225cff2e17b56c9c751c225c24f.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
6![An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters Xueguang Wu1 , Liqian Chen2 and Ji Wang3 National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Cha An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters Xueguang Wu1 , Liqian Chen2 and Ji Wang3 National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Cha](https://www.pdfsearch.io/img/bbff2f9dca2bb3c5255a2ec574d40df0.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
7![3D Attention-Driven Depth Acquisition for Object Identification Kai Xu, Yifei Shi, Lintao Zheng, Junyu Zhang, Min Liu, Hui Huang, Hao Su, Daniel Cohen-Or and Baoquan Chen National University of Defense Technology Shandon 3D Attention-Driven Depth Acquisition for Object Identification Kai Xu, Yifei Shi, Lintao Zheng, Junyu Zhang, Min Liu, Hui Huang, Hao Su, Daniel Cohen-Or and Baoquan Chen National University of Defense Technology Shandon](https://www.pdfsearch.io/img/a2fd43afab7a2ec57cde0d7a56859809.jpg) | Add to Reading ListSource URL: kevinkaixu.net- Date: 2018-03-31 21:41:28
|
---|
8![Attention to Describe Products with Attributes Shuohao Li National University of Defense Technology Changsha, China Kota Yamaguchi Attention to Describe Products with Attributes Shuohao Li National University of Defense Technology Changsha, China Kota Yamaguchi](https://www.pdfsearch.io/img/592d60e6f2b68caeddd14d6231c0c010.jpg) | Add to Reading ListSource URL: vision.is.tohoku.ac.jp- Date: 2017-05-13 04:51:56
|
---|
9![Secure Quantum Key Distribution Network with Bell States and Local Unitary Operations Li Chunyan∗ Department of Physics, National University of Defense Technology, Changsha, Hunan, P. R. China, Quantum communic Secure Quantum Key Distribution Network with Bell States and Local Unitary Operations Li Chunyan∗ Department of Physics, National University of Defense Technology, Changsha, Hunan, P. R. China, Quantum communic](https://www.pdfsearch.io/img/ccc807fd3e98b4567ac58f66bd594bed.jpg) | Add to Reading ListSource URL: 2015.qcrypt.netLanguage: English - Date: 2015-09-22 01:51:24
|
---|
10![Multi-Agent Patrolling under Uncertainty and Threats Shaofei Chen1,2 , Feng Wu2 , Lincheng Shen1 , Jing Chen1 , and Sarvapali Ramchurn2 1 College of Mechatronics and Automation, National University of Defense Technology, Multi-Agent Patrolling under Uncertainty and Threats Shaofei Chen1,2 , Feng Wu2 , Lincheng Shen1 , Jing Chen1 , and Sarvapali Ramchurn2 1 College of Mechatronics and Automation, National University of Defense Technology,](https://www.pdfsearch.io/img/5a80b00606673cdb0ed114fd61556233.jpg) | Add to Reading ListSource URL: www.cs.nmsu.eduLanguage: English - Date: 2014-05-15 11:20:33
|
---|