Advertisement

Theoretical Computer Science

36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

  • Lian Li
  • Pinyan Lu
  • Kun He
Conference proceedings NCTCS 2018

Part of the Communications in Computer and Information Science book series (CCIS, volume 882)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Yuning Cao, Xiaojuan Ban, Zhishuai Han, Bingyang Shen
    Pages 27-45
  3. Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong
    Pages 46-60
  4. Ke Yang, Meihua Xiao, Jia Chen
    Pages 61-79
  5. Xia Chen, Xin Chen, Qizhi Fang
    Pages 80-92
  6. Chao Zhang, Chengye Zhao
    Pages 93-98
  7. Rulin Xu, Chang Gao, Jingfei Jiang
    Pages 99-115
  8. Haohao Chen, En Zhu, Xinwang Liu, Junnan Zhang, Jianping Yin
    Pages 141-149
  9. Junnan Zhang, En Zhu, Xifeng Guo, Haohao Chen, Jianping Yin
    Pages 150-158
  10. Back Matter
    Pages 159-159

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Lian Li
    • 1
  • Pinyan Lu
    • 2
  • Kun He
    • 3
  1. 1.Hefei University of TechnologyHefeiChina
  2. 2.Shanghai University of Finance and EconomicsShanghaiChina
  3. 3.Huazhong University of Science and TechnologyWuhanChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-981-13-2712-4
  • Copyright Information Springer Nature Singapore Pte Ltd. 2018
  • Publisher Name Springer, Singapore
  • eBook Packages Computer Science
  • Print ISBN 978-981-13-2711-7
  • Online ISBN 978-981-13-2712-4
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering