Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings (Communications in Computer and Information Science, 768)

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory. Front Matter ....Pages I-XXI Front Matter ....Pages 1-1 Multi-resource Fair Allocation with Bounded Number of Tasks in Cloud Computing Systems (Weidong Li, Xi Liu, Xiaolu Zhang, Xuejie Zhang)....Pages 3-17 Learning Latent Topics from the Word Co-occurrence Network (Wu Wang, Houquan Zhou, Kun He, John E. Hopcroft)....Pages 18-30 Fusion of Global and Local Deep Representation for Effective Object Retrieval (Mao Wang, Yuewei Ming, Qiang Liu, Jianping Yin)....Pages 31-45 ETSW: An Encounter History Tree Based Routing Protocol in Opportunistic Networks (Haoyan Liang, Zhigang Chen, Jia Wu, Peiyuan Guan)....Pages 46-59 DFP: A Data Fragment Protection Scheme for mHealth in Wireless Network (Lin Zhang, Zhigang Chen, Deyu Zhang)....Pages 60-74 A Greedy Heuristic Based on Corner Occupying Action for the 2D Circular Bin Packing Problem (Kun He, Mohammed Dosh)....Pages 75-85 Efficient Forwarding Strategy for Opportunistic Network Based on Node Similarity (Yucheng Lin, Zhigang Chen, Jia Wu)....Pages 86-100 Transmission Failure Tolerance and Node Punishment Mechanism in Opportunistic Network Based on Repeated-Game (Bin-an Yin, Zhigang Chen, Jia Wu)....Pages 101-115 Front Matter ....Pages 117-117 Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID (Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu)....Pages 119-132 Double-Spending Detection for Fast Bitcoin Payment Based on Artificial Immune (Zhengjun Liu, Hui Zhao, Wen Chen, Xiaochun Cao, Haipeng Peng, Jin Yang et al.)....Pages 133-143 Research on Information Organizations and Intelligent Retrievals for Digital Library Based on Ontology and Semantic Web (Guangjun Guo, Zhigang Chen, Dong Xie, Mei Li)....Pages 144-154 Front Matter ....Pages 155-155 Deep Compression on Convolutional Neural Network for Artistic Style Transfer (Jian Hu, Kun He, John E. Hopcroft, Yaren Zhang)....Pages 157-166 Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule (Youjun Lu, Daoyun Xu, Jincheng Zhou)....Pages 167-181 Improving Accuracy of Sybil Account Detection in OSNs by Leveraging Victim Prediction (Qingqing Zhou, Zhigang Chen, Rui Huang)....Pages 182-197 Landmark-Based Spectral Clustering with Local Similarity Representation (Wanpeng Yin, En Zhu, Xinzhong Zhu, Jianping Yin)....Pages 198-207 Query Optimization Strategies in Probabilistic Relational Databases (Caicai Zhang, Zhongsheng Cao, Hong Zhu)....Pages 208-220 Recommendation Method of Ore Blending Based on Thermodynamic Principle and Adaptive Step Size (Huan Wang, Bingyang Shen, Yuxing Gao, Yuning Cao, Xiaojuan Ban)....Pages 221-232 A Survey of Personalised Image Retrieval and Recommendation (Zhenyan Ji, Weina Yao, Huaiyu Pi, Wei Lu, Jing He, Haishuai Wang)....Pages 233-247 A Fast Interactive Item-Based Collaborative Filtering Algorithm (Zhenyan Ji, Zhi Zhang, Canzhen Zhou, Haishuai Wang)....Pages 248-257 Front Matter ....Pages 259-259 The Impact of the Mesh Partitioning Factors on CFD Simulation (Chen Cui, Juan Chen, Feihao Wu, Miao Wang, Yuyang Sun, Xinhai Xu)....Pages 261-276 Bat Algorithm Based Low Power Mapping Methods for 3D Network-on-Chips (Jiazheng Li, Guozhi Song, Yue Ma, Cheng Wang, Baohui Zhu, Yan Chai et al.)....Pages 277-295 A Hybrid Adaptive Dissemination Solution Based on Geographic Distance for Vehicular Ad Hoc Networks (Qi Fu, Anhua Chen, Yunxia Jiang, Zhigang Chen, Yankai Song)....Pages 296-309 Front Matter ....Pages 311-311 Near Optimal Online Resource Allocation Scheme for Energy Harvesting Cloud Radio Access Network with Battery Imperfections (Sijing Duan, Zhigang Chen, Deyu Zhang)....Pages 313-327 Singular Point Probability Improve LSTM Network Performance for Long-term Traffic Flow Prediction (Boyi Liu, Jieren Cheng, Kuanqi Cai, Pengchao Shi, Xiangyan Tang)....Pages 328-340 A Bi-directional Evolution Algorithm for Financial Recommendation Model (Jingming Xue, Lu Huang, Qiang Liu, Jianping Yin)....Pages 341-354 Back Matter ....Pages 355-356