Theoretical Computer Science

41st National Conference, NCTCS 2023, Guangzhou, China, July 21¿23, 2023, Revised Selected Papers
Herausgegeben:Cai, Zhiping; Xiao, Mingyu; Zhang, Jialin

• Broschiertes Buch

Produktbeschreibung

This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21-23, 2023.
The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.

Produktdetails

• Communications in Computer and Information Science 1944
• Verlag: Springer / Springer Nature Singapore / Springer, Berlin
• Artikelnr. des Verlages: 978-981-99-7742-0
• 1st ed. 2024
• Seitenzahl: 280
• Erscheinungstermin: 26. November 2023
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 429g
• ISBN-13: 9789819977420
• ISBN-10: 9819977428
• Artikelnr.: 69026268

Inhaltsangabe

Computational Theory and Model.- Nonmonotone submodular maximization under routing constraints.- A formal approach for traceability preservation in software development process.- Generalized Properties of Generalized Fuzzy sets GFScom and Its Application.- A Novel Method for Signal Sequence Classification based on Markov Reward Models.- Approximation Algorithms.- An Optimal Algorithm based on Fairness of Resource Allocation in Wireless Mesh Networks.- An Approximation Algorithm for Stochastic Power Cover Problem.- -Approximate Bisimulations for Nondeterministic Fuzzy Kripke structures.- Scheduling with hierarchies and overload cost.- Artificial Intelligence.- Region-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learn-ing.- Intelligent Decision Making for Tanker Air Control Conflict Deployment.- Efficient Recommendation Algorithm for Employment of College Students for Various Majors.- Coordinated Reconstruction Dual-Branch Network for Low-dose PET Reconstruction.- Network and Security.- Link prediction in dynamic networks based on topological and historical information.- Link prediction in multiplex network based on regression and conditional probability.- A Zero Trust Model for Networked Self-Service Terminals.- Modeling and Verification of WPA3 Security Protocol Based on SPIN.