![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
41st NCTCS 2023: Guangzhou, China
- Zhiping Cai
, Mingyu Xiao
, Jialin Zhang
:
Theoretical Computer Science - 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers. Communications in Computer and Information Science 1944, Springer 2024, ISBN 978-981-99-7742-0
Computational Theory and Models
- Haotian Zhang, Rao Li, Zewei Wu, Guodong Sun:
Nonmonotone Submodular Maximization Under Routing Constraints. 3-17 - Hao Wen
, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong:
A Formal Approach for Traceability Preservation in Software Development Process. 18-35 - Shengli Zhang, Jing Chen:
Generalized Properties of Generalized Fuzzy Sets GFScom and Its Application. 36-64 - Dongliang Zhou
, Lihui Lei
:
A Novel Method for Signal Sequence Classification Based on Markov Reward Models. 65-81
Approximation Algorithms
- Jiadong Peng, Zhanmao Cao:
An Optimal Algorithm Based on Fairness of Resource Allocation in Wireless Mesh Networks. 85-95 - Menghan Cao:
An Approximation Algorithm for Stochastic Power Cover Problem. 96-106 - Yucheng Liu:
ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures. 107-132 - Yaru Yang, Wuyun Fu, Honglin Ding:
Scheduling with Hierarchies and Overload Cost. 133-147
Artificial Intelligence
- Wencheng Sun, Zhiping Cai, Xiaoyong Chen:
Region-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learning. 151-160 - Yipeng Wang, Boyu Chen, Yujian Song, Deyue Zhang:
Intelligent Decision Making for Tanker Air Control Conflict Deployment. 161-169 - Yu He
, Meiling Cai
:
Efficient Recommendation Algorithm for Employment of College Students for Various Majors. 170-189 - Yanyi Li, Pin Xu, Haoyuan Chen, Yufei Han, Guojian Xiao, Kuan Li, Jianping Yin:
Coordinated Reconstruction Dual-Branch Network for Low-Dose PET Reconstruction. 190-200
Networks and Security
- Erfei Jia, Dongwen Tian, Tian Nan, Longjie Li
:
Link Prediction in Dynamic Networks Based on Topological and Historical Information. 203-220 - Na Shan, Wenxin Yang, Zhaozhi Zhang, Longjie Li
:
Link Prediction in Multiplex Network Based on Regression and Conditional Probability. 221-236 - Boya Liu
, Haitao Ye
, Jizhou Chen, Yong Xia, Jieren Cheng
:
A Zero Trust Model for Networked Self-Service Terminals. 237-247 - Meihua Xiao
, Shanshan Qiao
, Tao Liu
, Ke Yang
, Zehuan Li
, Dongming Zhan
:
Modeling and Verification of WPA3 Security Protocol Based on SPIN. 248-265
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.