Table of Contents

• Formalization and Verification of Cyclic GroupYue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng. 1-6 [doi]
• Traffic Sign Classification Based on PrototypesHao Fu, Hongjun Wang. 7-10 [doi]
• Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation RulePeiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao. 11-14 [doi]
• Dominance Matrix of Hypergraph and Its Application in Cyclic Graph JudgementRunqing Xu, Shengling Geng, Banghe Han, Ruize Wu. 15-23 [doi]
• Automatic Generation of Test Cases of Multi-Agent Systems Based on Model CheckingWeijian Tang, Keming Wang. 24-29 [doi]
• Attribute Reduction of Linguistic-Valued Layered Concept LatticeMin Sun, Lu Che, Shihui Wang, Hongdong Wang, Li Zou. 30-34 [doi]
• Multi-View Spatial-Temporal Adaptive Graph Convolutional Networks for Traffic ForecastingZhirong Duan, Yan Yang, Wei Zhou. 35-41 [doi]
• Research on the Breach of Contract of Graduates from the Project of the Training Plan for High-level Minority Talents in ChinaJiang Ming, Shi Yi, Huang Manwen. 42-46 [doi]
• Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection StrategyGuoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao. 47-51 [doi]
• Automatic Construction of Femoral Statistical Model by Clustering MethodGeyang Du, Jungang Han, Jiantao Li, Hao Zhang, Jianrong Zhao. 52-57 [doi]
• A Logic Study of NL Fuzzy DegreeXia He, Tingshu Hu, Jie Hua 0007, Chunmei Wang, Long Hong. 58-62 [doi]
• Feature Selection Using Forest Optimization Algorithm Based on Multi-ethnic StrategyYinfu Liang, Jianhua Liu. 63-68 [doi]
• Spark Performance Optimization Analysis with Multi-Layer Parameter using Shuffling and Scheduling in Different Data Caching OptionsDeleli Mesay Adinew, Zhou Shijie, Ayall Tewodros Alemu. 69-76 [doi]
• Notes on the Architecture, League Training and PFSP in AlphaStarJianyang Zhao, Ningning Zhou, Long Hong. 77-81 [doi]
• Dynamic Rule Activation Method Based on Activation Factor for Extended Belief Rule-based SystemsTianyu Ren, Fei-Fei Ye, Long-Hao Yang, Jun Liu 0001, Yanyan Wang. 82-86 [doi]
• DeepPRFM: Pairwise Ranking Factorization Machine Based on Deep Neural Network EnhancementChenchen Sun, Ningning Zhou, Long Hong, Lihong Jiao. 87-94 [doi]
• A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its AlgorithmFujun Wang, Zining Cao, Shuya Wang, Hui Zong, Weiwei Lu. 95-100 [doi]
• A Feasible System of Automatic Flame Detection and Tracking for Fire-fighting RobotYongqi Hao, Xiaoming Liu, Guofang Huang. 101-106 [doi]
• A Parallel Circuit Design of Chien Search and Forney AlgorithmJingxuan Tan, Liguo Zhang, Xingjin Li, Yingzhao Hui, Jiahui Ma, Shengfei Bai. 107-111 [doi]
• Design of Parallel Algorithm of Transfer Learning based on Weak ClassifierHui Zong, Guanqun Tian, Qiankun Zhao, Long Hong. 112-116 [doi]
• Two-way Delay Compensation Mechanism Based on Full-load DeliveryFachao Li 0001, Juan Wang, Lei Zhou. 117-123 [doi]
• Fault Diagnosis Model of Switching Power Supply Based on Improved DBNLei Zhou, Cheng Yu, Hu Liu, Xin Li, Fenfen Li, Haiyan Zhang. 124-128 [doi]
• A Proximal Regularized Landweber Iteration Method for Electrical Impedance TomographyHongyu Qi, Hongsun Fu, Zhuoyue Wang. 129-133 [doi]
• Study on Potability Water Quality Classification Based on Integrated LearningLiFen Fen, Zhou Lei, Chen Ting. 134-137 [doi]
• Determination of 3-ary α-resolution in LP(X)Hairui Jia, Yang Xu, Yi Liu 0005. 138-146 [doi]
• Fast Division Algorithm for Finite Real NumberTing Chen, Fenfen Li, Jinbao Lin. 147-151 [doi]
• An Improved Self-Corrected Min-Sum Decoding for LDPC CodesXingjin Li, Liguo Zhang, Jingxuan Tan, Jiahui Ma, Yingzhao Hui, Shengfei Bai. 152-156 [doi]
• Fuzzy Logic Systems for the Weakest UninormMinxia Luo, Hongyan Shi, Bei Liu. 157-161 [doi]
• Financial Trading with Feature Preprocessing and Recurrent Reinforcement LearningLin Li. 162-169 [doi]
• Financial Time Series Prediction Based on GGM-GANXin Li, Yangguang Liu, Chen Huang, Xingyu Zhou. 170-174 [doi]
• A Method of Point Cloud Processing in Transformer SubstationXingjun Zhou, Guofang Huang, Jing Zhang, Chao Shan, Xiaoming Liu, Yuhui Tong. 175-181 [doi]
• Research on Evaluation Methods of Ningbo Sci-tech Innovation WorkYuyue Chen, Longjin Lv. 182-186 [doi]
• Intelligent Inspection Method of Transmission Line Robot Based on Tower Image Registration and Object TrackingXuan Jiang, Zhicheng Wu, Guofang Huang, Bin Zhang. 187-192 [doi]
• Hybrid Filter-wrapper Feature Selection Using Water Wave Optimization for Financial Crisis Prediction in EnterprisesXueqin Lu, Wenda He, Qingqing Lu, Yan Tang. 193-199 [doi]
• A Novel Hybrid Grey Wolf Optimizer and Its Application to Feature SelectionTianyi Li, Hongmei Chen. 200-206 [doi]
• Local Learning Joint with the Adaptive Graph for Subspace RepresentationYangbo Wang, Can Gao, Jie Zhou, Zhihui Lai. 207-214 [doi]
• K-Means Clustering with Fairness ConstraintsWeiting Xu, Jie Hu, Shengdong Du, Yan Yang. 215-222 [doi]
• Document-level Event Argument Extraction via Multispan Semantic ReinforcementDong Qiu, Haixia Wang. 223-230 [doi]
• Formal Modeling and Verification of Multi-agent System Based on Timed AutomataXia Wang, Yang Xu, Peiyao Liu. 231-235 [doi]
• A Framework for Feature Construction Based on Neighborhood Rough SetYang Chen, Xin Yang, Jiani Zheng, Wei Wang. 236-241 [doi]
• Semi-supervised Multi-Label Feature Selection Using Hessian Energy based on Maximum Relevance and Minimum RedundancyXinping Wu, Hongmei Chen, Tianrui Li 0001, Hao Chen, Chuan Luo. 242-248 [doi]
• MRI and SPECT Image Fusion Using Saliency CapturingWeiwei Kong, Yang Lei 0001, Liuyuan Cui, Chi Li, Jiawei Xue. 249-253 [doi]
• Segmentation Quality Evaluation Algorithm Based on ClassificationTing Feng, Bo Peng 0006, Zaid Al-Huda, Hao Jia. 254-261 [doi]
• Negative Samples-enhanced Graph Convolutional Neural NetworksWei Duan, Junyu Xuan, Jie Lu 0001. 262-268 [doi]
• Metric Learning with Feature Embedding for Segmentation Quality EvaluationHuixiang Chen 0004, Bo Peng 0006, Zaid Al-Huda, Xiaofan Li. 269-275 [doi]
• A Survey of Learning-Based Methods for Cold-Start, Social Recommendation, and Data Sparsity in E-commerce Recommendation SystemsSihan Yin, Xudong Luo. 276-283 [doi]
• HCSA: A Novel Feature Selection Method based on Improved Crow Search AlgorithmTianyi Li, Hongmei Chen. 284-291 [doi]
• Lifting up Imbalanced Data Classification to SVM Based Ensemble Level on Oversampling Feature SpacesJin Zhang, Shitong Wang. 292-303 [doi]
• Weakly-Supervised Salient Object Detection through Object Segmentation Guided by Scribble AnnotationsXiongying Wang, Zaid Al-Huda, Bo Peng 0006. 304-312 [doi]
• Information Measurements in Dual Hesitant Fuzzy Granular Computing ModelYanxia Wei, Qinghai Wang. 313-319 [doi]
• Sentence Semantic Matching Model Based on Fusing Local and Global FeaturesPengcheng Liu, Linfu Sun. 320-326 [doi]
• Transfer Visual Semantics into Knowledge Graph for Zero-Shot Recognition in Universal DatasetsBeibei Yu, Cheng Xie, Yujin Wang, Hongxin Xiang. 327-331 [doi]
• Execution Time optimization of Workflow Network with Activity Lead-timeXiaoping Qiu, Binci You, Yue Hu. 332-339 [doi]
• Linux Storage IO Important Parameters Filtering Model Based on Random ForestZhangpin Sun, Lijun Chen. 340-346 [doi]
• Discriminant Feature Selection via Minimizing the Minority-emphasis Regularization to Within-class Matrix for Imbalanced DataShuhao Huang, Hongmei Chen. 347-354 [doi]
• Euclidean and Rapid Jacobian-based Saliency Maps AttacksLing Yue, Yong Zhang, Pengfei Wei. 355-361 [doi]
• Calibration Data Prediction of Wind Tunnel Balance Based on Regression TreeTao Ma, Lei Miao, Yikun Du, Hongjun Wang. 362-367 [doi]
• Unbalanced Data Classification Algorithm Based on Hybrid Sampling and Ensemble LearningMeng-fei Wu, Xi-Ming Li. 368-372 [doi]
• A Logic for Iterated Belief RevisionHua Meng, Zhiguo Long, Yong Wang, Bin Xing, Hui Zhang. 373-379 [doi]
• Composing Approximations from Distribution Data under a Fuzzy RelationShaoyong Li, Lin Yu, Zhiyong Hong, Xinglin Liu. 380-384 [doi]
• Particle Swarm Optimization for Clustering EnsembleYu Zheng, Zhiguo Long, Chuanyang Wei, Hongjun Wang. 385-391 [doi]
• Remaining Useful Life Prediction of Lithium Battery via Neural Network EnsembleHengshan Zhang, Di Wu, Zhongmin Wang, Yanping Chen 0006, Jiaxuan Xu. 392-397 [doi]
• On Large-Scale Qualitative Spatio-Temporal Constraint Redundancy RemovalQiyuan Hu, Yang Gao, Zhiguo Long, Hongjun Wang 0002, Tianrui Li 0001, Michael Sioutis. 398-405 [doi]
• ERGAN: High Perform GAN for Eyeglasses RemovalMengyuan Cheng, Xiaopeng Cao. 406-411 [doi]
• NonupleCLMR: Contrastive Learning of Musical Representation with NonupleMIDIJinHong Miao, Yan Yang. 412-419 [doi]
• Kernel Principal Component Analysis Pseudoinverse Learning AlgorithmHuanan Pu, Fusheng Yu. 420-425 [doi]
• Towards Robust Qualitative Spatio-Temporal Reasoning for Hybrid AI SystemsMichael Sioutis, Hua Meng. 426-430 [doi]
• Opposition-based Grey Wolf Optimization Approaches for Feature SelectionZhi Cao, Hongmei Chen. 431-438 [doi]
• Research and Implementation of the Method of Perceiving Distance between UHF Band Passive RFID and Tag Groups IndoorsHonggang Wang, Mengyuan Liu, Junying Jia, Ruo-Yu Pan. 439-443 [doi]
• A Robust Method for Simultaneous Unsupervised Feature Selection and ClusteringNaichuan Zhang, Yanyong Huang. 444-451 [doi]
• NUMA-Aware Contention Scheduling on Multicore SystemsDongsheng He, Lijun Chen, Jinrong Liang, Chunmei Kang, Jiaqing Bai. 452-457 [doi]
• COVID-19's Impact on the Box office: Machine Learning and Difference-in-DifferenceYufan Zheng, Qiaoling Zhen, Minghao Tan, Haoran Hu, Choujun Zhan. 458-463 [doi]
• Detection Model of Nasolaryngology Lesions Based on Multi-scale Contextual Information Fusion and Cascading Mixed AttentionXiaoying Pan, Xingxing Liu, Weidong Bai, Minjie Ma. 464-470 [doi]
• Three-Level and Three-Way Vagueness Similarity Measurements for Electrocardiogram (ECG) Data AnalysisXianyong Zhang, Xiaoxue Wang, Zhiwen Mo, Qian Wang, Xiao Tang. 471-478 [doi]
• Channel Attention-Based Adaptive Near Infrared Spectral Deep Residual Network for Palmprint Image RecognitionXuebin Xu, Xiaomin Xing, Kan Meng. 479-482 [doi]
• A Review of Learning-Based E-commerceSihan Yin, Xudong Luo. 483-490 [doi]
• A Video Synopsis Method for Object Interactive Preservation Combined with Face OrientationQi Tian, Zhixiang Zhu, Chenwu Wang, Pei Wang, Jiangbo Guo, YuTing Wang. 491-496 [doi]
• Predicting Video Game Sales Based on Machine Learning and Hybrid Feature Selection MethodJianbin Li, Yufan Zheng, Haoran Hu, Junhui Lu, Choujun Zhan. 497-502 [doi]
• Trajectory Anomaly Detection with Multi-feature and Multi-resolution Based on Direction GroupingJiangbo Guo, Zhixiang Zhu, Chenwu Wang, Pei Wang, Rongyao Xu, Gen Hou. 503-508 [doi]
• Expression Recognition Based on Image Fusion and Transfer LearningLisha Yang, Hailiang Zhao, Yi Tang. 509-514 [doi]
• A Novel Algorithm of Tube Association and Rearrangement in Multi-camera Video SynopsisGen Hou, Zhixiang Zhu, Chenwu Wang, Pei Wang, Qi Tian, YuTing Wang. 515-520 [doi]
• Applying B and ProB to a Real-world Data Validation ProjectPeng Cheng, Keming Wang. 521-524 [doi]
• Cross Domain Authentication Based on Blockchain for Mobile Terminals in Edge Computing EnvironmentLin Yang, Jianhua Liu. 525-529 [doi]
• Hierarchical Feature Selection via Large Margin Nearest NeighborJian Zheng, Chuan Luo, Tianrui Li 0001, Hongmei Chen. 530-535 [doi]
• Intelligent Transaction Model of Agricultural Supply Chain Based on BlockchainWangwang Liu, Jianhua Liu. 536-540 [doi]
• Robust Multi-label Feature Selection via Low-dimensional Embedding and Manifold RegularizationHaohan Lu, Hongmei Chen. 541-550 [doi]
• Linux Network Situation Prediction Model Based on eBPF and LSTMXiangzhe Zhang, Zhaoyuan Liu, Jiaqing Bai. 551-556 [doi]
• Using 2-tuple Linguistic Model for Multi-source Set-valued Information FusionFeifei Yang, Pengfei Zhang. 557-560 [doi]
• An Overlapping Community Detection Algorithm based on Density Peaks and Label PropagationChuanwei Li, Hongmei Chen, Tianrui Li 0001. 561-564 [doi]
• Visualization Analysis of Spatiotemporal Data of COVID-19Liuyuan Cui, Weiwei Kong. 565-571 [doi]
• A Practical and Secure Certificateless Signcryption for Privacy-Preserving Scheme in Healthcare Management SystemLansana Balde, Jiashu Zhang, Ahmed Elkhalil, Otabek Khudayberdiev. 572-578 [doi]
• Nearest-Neighbor Modified Constructive Covering Oversampling MethodHaoran Shen, Yifei Jiang, Yuan-ting Yan. 579-585 [doi]
• Research on Text Summarization Generator Method Based on Input Text Linguistic Features and Copy MechanismLiuyang Wang, Yangxin Yu. 586-590 [doi]
• Economic Data Prediction Based on Time Series AnalysisChenchao Zhu, Yaya Liu, Lu Wang, Jing Lu. 591-597 [doi]
• A Novel Clustering Algorithm via the Support and K-Nearest Neighbors of DataHengshan Zhang, Xiaoyan Liu, Jiaxuan Xu, Haoru Li, Zhongmin Wang, Yanping Chen 0006. 598-603 [doi]
• Embedding Knowledge Graphs into Multi-vector SpaceXi Cao, Fusheng Yu. 604-610 [doi]
• A Hybrid Prediction Method Based on MODWT-EMD for Time Series in Wireless Sensor NetworksZhongmin Wang, Jingwen Jia, Cong Gao 0002, Yanping Chen 0006, Hong Xia. 611-617 [doi]
• Aspect-Based Sentiment Analysis with a Position-Aware Multi-head Attention NetworkJing Wan, Danya Wang, Ling Sun 0013. 618-623 [doi]
• Musical Noise Reduction Method Based on MMSE Combined with Wiener FilteringQiujuan Tong, Huan Han, Lu Huang, Jun Wang. 624-628 [doi]
• A Bidirectional Learning Method in the Fuzzy Linguistic Formal ContextHongliang Zheng, Shihui Wang, Min Sun, Meiqiao Sun, Li Zou. 629-634 [doi]
• Improving the Question Answering Quality using Answer Candidate Filtering based on Natural-Language FeaturesAleksandr Gashkov, Aleksandr Perevalov, Maria Eltsova, Andreas Both. 635-642 [doi]
• Business Intelligence, Based on the Ralph Kimball Methodology, for Decision-Making in General ManagementAlexander Aguilar-Chávez, Jeshuá Banda-Barrientos, Michael Cabanillas-Carbonell. 643-646 [doi]
• Computational Task Offloading Scheme based on Deep Learning for Financial Big DataZhonglin Wang, Changjuan Zheng. 647-654 [doi]
• Estimating Learner's Perspective in Programming: Analysis of Operation Time Series in Code PuzzlesHiroki Ito, Hiromitsu Shimakawa, Fumiko Harada. 655-661 [doi]
• Prime Filters of QMV*-algebrasYingying Jiang, Wenjuan Chen. 662-667 [doi]
• Credit Grade Prediction Based on Decision Tree ModelJiexian You, Guolan Li, Hongjun Wang. 668-673 [doi]
• Attribute Reduction for Incomplete and Unsupervised Data Based on Fuzzy Rough SetsLinlin Wang, Liang Peng, Gangqiang Zhang. 674-679 [doi]
• Facial Expression Recognition Method Based on Multi-scale Efficient Channel Attention MechanismPeng Zhang, Weiwei Kong. 680-686 [doi]
• Multi-source Information Fusion with Gated Temporal Convolutional Network for Transmission Line Icing Tension PredictionYi Wen, Jianrong Wu, Huan Huang, Jinqiang He, Yongli Liao, Ruihai Li. 687-691 [doi]
• Meta-analysis of Xiaochaihu Decoction in the Treatment of Cancer FeverLei Xu, Lijun Jiang, Hairui Jia, Ruixiao Kong. 692-696 [doi]
• Detection Capability Prediction Based on Broad Learning System during the COVID-19 PandemicJunyan Lin, Minghao Tan, Yufan Zheng, Kaihan Wu, Choujun Zhan. 697-702 [doi]
• Meta-analysis of Atomized Inhalation of Budesonide Salbutamol Combined with Ipratropium Bromide in Treatment of Bronchial AsthmaLimin Du, Yaxue Wang, Junhan Cao, Lei Xui. 703-712 [doi]
• A Multi-label Feature Selection Method Combining Graph and Matrix Coupling DecompositionYunfei Liu, Hongmei Chen. 713-721 [doi]
• Improved ViBe Algorithm for Defect Detection of the Etching Lead Frame MouldWanyu Deng, Shuqi Ye, Hao Li. 722-727 [doi]
• Feature Selection Based on Gain Ratio in Hybrid Incomplete Information SystemsJiazheng Chen, Jingjing Hu, Gangqiang Zhang. 728-735 [doi]
• Bibliometric Analysis of AI Policy Evolution over Ten Years in ChinaChao Yang, Cui Huang, Tong Zhang. 736-741 [doi]
• Dependency-Based Unsupervised Feature Selection in Fuzzy Rough SetLiang Peng, Linlin Wang, Gangqiang Zhang. 742-749 [doi]
• Selecting and Comparing Temporal-Spatial Features for Traffic Incident DetectionHuansong Zhang, Youngjun Shen, Qikai Qu. 750-755 [doi]
• Automatic Measurement of Femoral Neck-Shaft Angle Based on CT Scan DataJiayu Yang, Jungang Han, Zhe Li, Pei Yang, Pengyu Zhan, Enming Li. 756-760 [doi]