Jingzhong Zhang

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Mathematics Education

Permanent Magnet Synchronous

Automated Discovery

Top Venues

J. Autom. Reason.

J. Syst. Sci. Complex.

Sci. China Inf. Sci.

Publications

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