Theoretical Computer Science

1. Front Matter

   Pages I-IX

   PDF

2. Semi-online Machine Covering on Two Hierarchical Machines with Discrete Processing Times

   • Gangxiong Wu, Weidong Li

   Pages 1-7

3. Improved Algorithms for Properly Learning Mixture of Gaussians

   • Xuan Wu, Changzhi Xie

   Pages 8-26

4. A New Method for Retinal Image Semantic Segmentation Based on Fully Convolution Network

   • Yuning Cao, Xiaojuan Ban, Zhishuai Han, Bingyang Shen

   Pages 27-45

5. Formal Analysis and Verification for Three-Party Authentication Protocol of RFID

   • Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong

   Pages 46-60

6. Security Proof of KerNeeS Protocol Based on Logic of Events

   • Ke Yang, Meihua Xiao, Jia Chen

   Pages 61-79

7. An Interest-Matrix-Based Mechanism for Selfish Bin Packing

   • Xia Chen, Xin Chen, Qizhi Fang

   Pages 80-92

8. Connected [1,2]-Sets in Graphs

   • Chao Zhang, Chengye Zhao

   Pages 93-98

9. Study of Multilevel Parallel Algorithm of KPCA for Hyperspectral Images

   • Rulin Xu, Chang Gao, Jingfei Jiang

   Pages 99-115

10. A New Approximation Algorithm for Flow Shop with Transporter Coordinate

    • Xin Han, Yinling Wang

    Pages 116-140

11. A Kernel Method with Manifold Regularization for Interactive Segmentation

    • Haohao Chen, En Zhu, Xinwang Liu, Junnan Zhang, Jianping Yin

    Pages 141-149

12. Chronic Wounds Image Generator Based on Deep Convolutional Generative Adversarial Networks

    • Junnan Zhang, En Zhu, Xifeng Guo, Haohao Chen, Jianping Yin

    Pages 150-158

13. Back Matter

    Pages 159-159

    PDF

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.

• approximation algorithms
• artificial intelligence
• cryptography
• data security
• distributed computer systems
• formal logic
• formal methods
• graph theory
• image processing
• image segmentation
• learning algorithms
• model checking
• mutual authentication
• security systems
• semantics
• software engineering
• specifications
• telecommunication networks
• algorithm analysis and problem complexity

• Hefei University of Technology, Hefei, China

  Lian Li

• Shanghai University of Finance and Economics, Shanghai, China

  Pinyan Lu

• Huazhong University of Science and Technology, Wuhan, China

  Kun He

Policies and ethics