| Publication | Date of Publication | Type |
|---|
Folded clutter suppression for pulse-Doppler radar based on pulse-agile waveforms IEEE Transactions on Signal Processing | 2024-09-12 | Paper |
The stability of smooth solitary waves for the \(b\)-family of Camassa-Holm equations Physica D | 2024-06-13 | Paper |
Adaptive kriging-assisted optimization of low-thrust many-revolution transfers to geostationary Earth orbit Engineering Optimization | 2023-10-10 | Paper |
Decidability of liveness for concurrent objects on the TSO memory model Dependable Software Engineering. Theories, Tools, and Applications | 2023-08-10 | Paper |
Orbital stability of smooth solitary waves for the \(b\)-family of Camassa-Holm equations Physica D | 2023-03-09 | Paper |
A fast optimal Latin hypercube design method using an improved translational propagation algorithm Engineering Optimization | 2022-12-23 | Paper |
Orbital stability of smooth solitary waves for the $b$-family of Camassa-Holm equations (available as arXiv preprint) | 2022-09-30 | Paper |
| Verifying the correctness of distributed systems via mergeable parallelism | 2022-07-13 | Paper |
The period function of quadratic generalized Lotka-Volterra systems without complex invariant lines Journal of Differential Equations | 2022-02-10 | Paper |
Pulse-order recursive method for inverse covariance matrix computation applied to space-time adaptive processing Science China Information Sciences | 2021-12-15 | Paper |
An improved constant coefficient multiplication algorithm based on cascaded adder graph Science China Information Sciences | 2021-12-15 | Paper |
Improved eigenanalysis canceler based on data-independent clutter subspace estimation for space-time adaptive processing Science China Information Sciences | 2021-12-15 | Paper |
Multistep Collocation Methods for Volterra Integral Equations with Weakly Singular Kernels East Asian Journal on Applied Mathematics | 2021-04-26 | Paper |
Generalised backward differentiation formulae for fractional differential equation East Asian Journal on Applied Mathematics | 2021-04-26 | Paper |
Super implicit multistep collocation methods for weakly singular Volterra integral equations Numerical Mathematics: Theory, Methods and Applications | 2020-10-27 | Paper |
Filter-based adaptive Kriging method for black-box optimization problems with expensive objective and constraints Computer Methods in Applied Mechanics and Engineering | 2020-04-16 | Paper |
Existence of positive solutions for period BVPs with Hilfer derivative Journal of Applied Mathematics and Computing | 2019-08-14 | Paper |
Fast STAP Method Based on PAST with Sparse Constraint for Airborne Phased Array Radar IEEE Transactions on Signal Processing | 2019-02-08 | Paper |
Offline Performance Prediction of PDAF With Bayesian Detection for Tracking in Clutter IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
Improved Probabilistic Multi-Hypothesis Tracker for Multiple Target Tracking With Switching Attribute States IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
MMSE-Based MDL Method for Robust Estimation of Number of Sources Without Eigendecomposition IEEE Transactions on Signal Processing | 2018-07-09 | Paper |
Does $\ell _{p}$ -Minimization Outperform $\ell _{1}$ -Minimization? IEEE Transactions on Information Theory | 2018-06-27 | Paper |
Source Enumeration for High-Resolution Array Processing Using Improved Gerschgorin Radii Without Eigendecomposition IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
Exponential additive Runge-Kutta methods for semi-linear differential equations East Asian Journal on Applied Mathematics | 2017-10-24 | Paper |
High order fractional backward differentiation formulae Applicable Analysis | 2017-09-01 | Paper |
| An approach of CBOC signal tracking based on a pseudo correlation function | 2015-02-11 | Paper |
An accurate SISAR imaging method of ground moving target in forward scatter radar Science China Information Sciences | 2013-08-20 | Paper |
Proving liveness property under strengthened compassion requirements Lecture Notes in Computer Science | 2012-07-16 | Paper |
Auxiliary constructs for proving liveness in compassion discrete systems Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Oscillation of complex high order linear differential equations with coefficients of finite iterated order Electronic Journal of Qualitative Theory of Differential Equations | 2010-04-30 | Paper |
Oscillation of complex high order linear differential equations with coefficients of finite iterated order Electronic Journal of Qualitative Theory of Differential Equations | 2010-04-30 | Paper |
Ground moving target signal model and power calculation in forward scattering micro radar Science in China. Series F | 2010-03-03 | Paper |
HPRF pulse Doppler stepped frequency radar Science in China. Series F | 2010-02-26 | Paper |
| scientific article; zbMATH DE number 5661199 (Why is no real title available?) | 2010-01-21 | Paper |
Building compact MQDF classifier for large character set recognition by subspace distribution sharing Pattern Recognition | 2008-08-15 | Paper |
| scientific article; zbMATH DE number 1501855 (Why is no real title available?) | 2003-02-16 | Paper |
The stability of smooth solitary waves for the $b$-family of Camassa-Holm equations (available as arXiv preprint) | N/A | Paper |
An Anisotropic Constitutive Relationship by a Series of 8 Chain Models (available as arXiv preprint) | N/A | Paper |