Theoretical Computer Science

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.