Ningning Chen

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 23

Top Topics

Correlation Filters

Visual Tracking

Top Venues

J. Softw. Evol. Process.

Publications

Ningning Chen, Huibiao Zhu
A process calculus SMrCaIT for IoT. J. Softw. Evol. Process. 36 (5) (2024)
Ningning Chen, Huibiao Zhu
A proof system of the CaIT calculus. Frontiers Comput. Sci. 18 (2) (2024)
Ruochi Zhang, Haoran Wu, Yuting Xiu, Kewei Li, Ningning Chen, Yu Wang, Yan Wang, Xin Gao, Fengfeng Zhou
PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids. CoRR (2023)
Fukang Qiao, Xinqiu Fang, Ningning Chen, Minfu Liang, Gang Wu, Fan Zhang
Research on Three-Dimensional Shape Curve Reconstruction Technology for a Scraper Conveyor on an Intelligent Working Face. Sensors 23 (21) (2023)
Zihao Song, Ningning Chen, Qilou Xu
Topology Analysis and Short Circuit Fault Simulation Research of Power Electronic Transformers Based on Modular Multilevel Converter. iSPEC (2023)
Ningning Chen, Huibiao Zhu
IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. IEICE Trans. Inf. Syst. 106 (9) (2023)
Haotian Feng, Xinqiu Fang, Ningning Chen, Yang Song, Minfu Liang, Gang Wu, Xinyuan Zhang
Research on the Three-Machines Perception System and Information Fusion Technology for Intelligent Work Faces. Sensors 23 (18) (2023)
Gang Wu, Xinqiu Fang, Yang Song, Ningning Chen, Minfu Liang, Jiaxuan Li, Fukang Qiao
Simulation Optimization and Application of Shearer Strapdown Inertial Navigation System Modulation Scheme. Sensors 23 (9) (2023)
Ningning Chen, Huibiao Zhu
Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC (2022)
Minfu Liang, Xinqiu Fang, Yang Song, Shuang Li, Ningning Chen, Fan Zhang
Research on Three-Dimensional Stress Monitoring Method of Surrounding Rock Based on FBG Sensing Technology. Sensors 22 (7) (2022)
Yang Song, Xinqiu Fang, Gang Wu, Ningning Chen, Minfu Liang, Ziyue Xu, Fan Zhang
Research on Straightness Perception Compensation Model of FBG Scraper Conveyor Based on Rotation Error Angle. Sensors 22 (17) (2022)
Minfu Liang, Yang Song, Xinqiu Fang, Yuye Jiang, Fan Zhang, Shuang Li, Ningning Chen, Ziyue Xu
Structural Design and Application of Desensitized FBG Force-Measuring Bolt. Sensors 22 (10) (2022)
Yanpei Liu, Qi Zhu, Ningning Chen, Yunjing Zhu, Liping Wang
Computing Offloading and Resource Optimization of Adaptive Data Block Size in Edge Environments. Autom. Control. Comput. Sci. 56 (6) (2022)
Jianwei Zhao, Fuyuan Wei, Ningning Chen, Zhenghua Zhou
Spatial and long-short temporal attention correlation filters for visual tracking. IET Image Process. 16 (11) (2022)
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formalization and Verification of SIP Using CSP. PDCAT (2022)
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
Modeling and Verifying AUPS Using CSP. SEKE (2022)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. 34 (10) (2022)
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE (2021)
Ningning Chen, Huibiao Zhu, Huixing Fang
A Proof System for HRML with Extended Hoare Logic. TASE (2021)
Haiying Dong, Ningning Chen, Xiaoqing Li, Hongwei Li
Improved Adaptive Robust Control for Low Voltage Ride-Through of Front-End Speed Regulation Wind Turbine. IEEE Access 8 (2020)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
Modeling and Verifying NDN-based IoV Using CSP. SEKE (2020)
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC (2020)
Jianwei Zhao, Ningning Chen, Zhenghua Zhou
A temporal sparse collaborative appearance model for visual tracking. Multim. Tools Appl. 79 (19-20) (2020)
Bin Gao, Ningning Chen, Yu Chang
A Hemodynamic Predict of an Intra-Aorta Pump Application in Vitro Using Numerical Analysis. WISM (2009)