Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Description

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 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-IX Semi-online Machine Covering on Two Hierarchical Machines with Discrete Processing Times (Gangxiong Wu, Weidong Li)....Pages 1-7 Improved Algorithms for Properly Learning Mixture of Gaussians (Xuan Wu, Changzhi Xie)....Pages 8-26 A New Method for Retinal Image Semantic Segmentation Based on Fully Convolution Network (Yuning Cao, Xiaojuan Ban, Zhishuai Han, Bingyang Shen)....Pages 27-45 Formal Analysis and Verification for Three-Party Authentication Protocol of RFID (Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong)....Pages 46-60 Security Proof of KerNeeS Protocol Based on Logic of Events (Ke Yang, Meihua Xiao, Jia Chen)....Pages 61-79 An Interest-Matrix-Based Mechanism for Selfish Bin Packing (Xia Chen, Xin Chen, Qizhi Fang)....Pages 80-92 Connected [1,2]-Sets in Graphs (Chao Zhang, Chengye Zhao)....Pages 93-98 Study of Multilevel Parallel Algorithm of KPCA for Hyperspectral Images (Rulin Xu, Chang Gao, Jingfei Jiang)....Pages 99-115 A New Approximation Algorithm for Flow Shop with Transporter Coordinate (Xin Han, Yinling Wang)....Pages 116-140 A Kernel Method with Manifold Regularization for Interactive Segmentation (Haohao Chen, En Zhu, Xinwang Liu, Junnan Zhang, Jianping Yin)....Pages 141-149 Chronic Wounds Image Generator Based on Deep Convolutional Generative Adversarial Networks (Junnan Zhang, En Zhu, Xifeng Guo, Haohao Chen, Jianping Yin)....Pages 150-158 Back Matter ....Pages 159-159