Jingzhong Zhang

37 papers Journal 30Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Research on Construction Methodology of Digital Twins for Communication Infrastructure. CNML Yujing Zhang, Yu Zhang, Yang Yu, Rui Zong, Jingzhong Zhang, Xiang Zhang
2023	J	`jnl`	Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. J. Autom. Reason. Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu
2022	—	`conf`	Attention-Based Densely Connected Convolutional Network for Chromosome Classification. ICCAI Zhenjia Gong, Bo Peng, Ao Shen, Yan Gong, Jingzhong Zhang, Song Lang, Yanwei Zhang, Linyu Xu, Hanqing Zheng, Yakang Dai, Chunying Pang
2022	J	`jnl`	Design of Compact Mid-Infrared Cooled Echelle Spectrometer Based on Toroidal Uniform-Line-Spaced (TULS) Grating. Sensors Qingyu Wang, Honghai Shen, Weiqi Liu, Jingzhong Zhang, Ling-Tong Meng
2022	J	`jnl`	Improved One-Stage Detectors with Neck Attention Block for Object Detection in Remote Sensing. Remote. Sens. Kaiqi Lang, Mingyu Yang, Hao Wang, Hanyu Wang, Zilong Wang, Jingzhong Zhang, Honghai Shen
2022	J	`jnl`	Linear-Nonlinear Switching Active Disturbance Rejection Speed Controller for Permanent Magnet Synchronous Motors. Sensors Ying Qu, Bin Zhang, Hairong Chu, Xiaoxia Yang, Honghai Shen, Jingzhong Zhang
2022	J	`jnl`	Optimal Compensation of MEMS Gyroscope Noise Kalman Filter Based on Conv-DAE and MultiTCN-Attention Model in Static Base Environment. Sensors Zimin Huo, Fuchao Wang, Honghai Shen, Xin Sun, Jingzhong Zhang, Yaobin Li, Hairong Chu
2021	J	`jnl`	Automated Discovery of Geometric Theorems Based on Vector Equations. J. Autom. Reason. Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen
2020	J	`jnl`	Automatic recommendation of user interface examples for mobile app development. Int. J. Comput. Sci. Eng. Xiaohong Shi, Xiangping Chen, Yongsheng Rao, Kaiyuan Li, Zhensheng Xu, Jingzhong Zhang
2020	J	`jnl`	Video Preview Generation for Interactive Educational Digital Resources based on the GUI Traversal. Intell. Autom. Soft Comput. Xiaohong Shi, Chao Ma, Yongsheng Rao, Xiangping Chen, Jingzhong Zhang
2019	J	`jnl`	Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity. J. Syst. Sci. Complex. Jingzhong Zhang, Xicheng Peng, Mao Chen
2018	J	`jnl`	An advanced operating environment for mathematics education resources. Sci. China Inf. Sci. Yongsheng Rao, Jingzhong Zhang, Yu Zou, Yanchun Sun, Xiangping Chen, Songhua Xu
2018	J	`jnl`	Website Fingerprinting Attack on Anonymity Networks Based on Profile Hidden Markov Model. IEEE Trans. Inf. Forensics Secur. Zhongliu Zhuo, Yang Zhang, Zhi-Li Zhang, Xiaosong Zhang, Jingzhong Zhang
2016	J	`jnl`	A multi-granularity heuristic-combining approach for censorship circumvention activity identification. Secur. Commun. Networks Zhongliu Zhuo, Xiaosong Zhang, Ruixing Li, Ting Chen, Jingzhong Zhang
2016	J	`jnl`	Improving data field hierarchical clustering using Barnes-Hut algorithm. Pattern Recognit. Lett. Zhongliu Zhuo, Xiaosong Zhang, Weina Niu, Guowu Yang, Jingzhong Zhang
2015	J	`jnl`	Exact bivariate polynomial factorization over ℚ by approximation of roots. J. Syst. Sci. Complex. Yong Feng, Wenyuan Wu, Jingzhong Zhang, Jingwei Chen
2014	J	`jnl`	Mouse IDGenes: a reference database for genetic interactions in the developing mouse brain. Database J. Biol. Databases Curation Michaela Matthes, Martin Preusse, Jingzhong Zhang, Julia Schechter, Daniela Mayer, Bernd Lentes, Fabian J. Theis, Nilima Prakash, Wolfgang Wurst, Dietrich Trümbach
2014	—	`conf`	The Sustainability of Digital Educational Resources. ICMS Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang
2013	J	`jnl`	Parallel computation of real solving bivariate polynomial systems by zero-matching method. Appl. Math. Comput. Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2012	J	`jnl`	A complete algorithm to find exact minimal polynomial by approximations. Int. J. Comput. Math. Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2012	J	`jnl`	A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. Jianguo Jiang, Jingzhong Zhang
2012	J	`jnl`	The expansion of real forms on the simplex and applications CoRR Yong Yao, Jia Xu, Jingzhong Zhang
2011	J	`jnl`	Obtaining exact interpolation multivariate polynomial by approximation. J. Syst. Sci. Complex. Yong Feng, Xiaolin Qin, Jingzhong Zhang, Xun Yuan
2010	J	`jnl`	A complete algorithm to find exact minimal polynomial by approximations CoRR Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2010	—	`conf`	Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. Automated Deduction in Geometry Yu Zou, Jingzhong Zhang
2010	J	`jnl`	Detecting Simultaneous Integer Relations for Several Real Vectors CoRR Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang
2010	J	`jnl`	Exact Bivariate Polynomial Factorization in Q by Approximation of Roots CoRR Yong Feng, Wenyuan Wu, Jingzhong Zhang
2010	J	`jnl`	Parallel computation of real solving bivariate polynomial systems by zero-matching method CoRR Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2009	—	`conf`	Exact polynomial factorization by approximate high degree algebraic numbers. SNC Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang
2009	J	`jnl`	Finding Exact Minimal Polynomial by Approximations CoRR Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2009	—	`conf`	Finding exact minimal polynomial by approximations. SNC Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang
2008	J	`jnl`	Obtaining Exact Interpolation Multivariate Polynomial by Approximation CoRR Yong Feng, Jingzhong Zhang, Xiaolin Qin, Xun Yuan
2004	—	`conf`	An Introduction to Logical Animation. IWMM/GIAE Jingzhong Zhang, Chuanzhong Li
2002	J	`jnl`	On Number of Circles Intersected by a Line. J. Comb. Theory A Lu Yang, Jingzhong Zhang, Weinian Zhang
2000	J	`jnl`	A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators. Int. J. Robotics Res. Hongguang Fu, Lu Yang, Jingzhong Zhang
1999	J	`jnl`	The intelligent CAI system for chemistry based on automated reasoning. J. Comput. Sci. Technol. Xiaojing Wang, Jingzhong Zhang
1990	J	`jnl`	The Parallel Numerical Method of Mechanical Theorem Proving. Theor. Comput. Sci. Jingzhong Zhang, Lu Yang, Mike Deng