| Publication | Date of Publication | Type |
|---|
A -scaled Helmholtz-filtered lattice Boltzmann scheme for the Kelvin-Voigt momentum equation Journal of Computational and Applied Mathematics | 2026-09-08 | Paper |
A lattice Boltzmann method for time-fractional Allen-Cahn equation Computers & Mathematics with Applications | 2026-06-16 | Paper |
Purified Two-Relaxation-Time Lattice Boltzmann Method: Removing Ghost Modes from TRT for Enhanced Stability (available as arXiv preprint) | 2026-01-01 | Paper |
Time-marching representation based quantum algorithms for the Lattice Boltzmann model of the advection-diffusion equation (available as arXiv preprint) | 2026-01-01 | Paper |
A macroscopic-shadow-corrected lattice Boltzmann method for fast, time-accurate simulation of low-Reynolds-number transient flows (available as arXiv preprint) | 2026-01-01 | Paper |
SFC: a time series decomposition attention network with continuous nature for time series analysis Data Mining and Knowledge Discovery | 2025-07-22 | Paper |
Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with spatially dependent coefficients Applied Mathematics and Computation | 2025-04-24 | Paper |
Two-relaxation-time regularized lattice Boltzmann model for Navier-Stokes equations Advances in Applied Mathematics and Mechanics | 2025-01-30 | Paper |
| Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients | 2023-12-15 | Paper |
Bayesian Analysis of a Sensitive Proportion for a Small Area International Statistical Review | 2023-11-17 | Paper |
Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients (available as arXiv preprint) | 2023-01-01 | Paper |
Nonparametric independence feature screening for ultrahigh-dimensional survival data Metrika | 2018-10-01 | Paper |
Robust model-free feature screening based on modified Hoeffding measure for ultra-high dimensional data Statistics and Its Interface | 2018-09-18 | Paper |
Power Allocation for a MIMO Relay System With Multiple-Antenna Users IEEE Transactions on Signal Processing | 2018-07-09 | Paper |
Sure feature screening for high-dimensional dichotomous classification Science China. Mathematics | 2017-05-05 | Paper |
| scientific article; zbMATH DE number 5926078 (Why is no real title available?) | 2011-07-19 | Paper |
Further development of synchronous array method for ad hoc wireless networks EURASIP Journal on Advances in Signal Processing | 2010-04-24 | Paper |
| Minimal positive realizations of third-order systems with complex poles | 2007-05-09 | Paper |
| scientific article; zbMATH DE number 5008793 (Why is no real title available?) | 2006-02-21 | Paper |
Linearity of homogeneous order-one solutions to elliptic equations in dimension three Communications on Pure and Applied Mathematics | 2003-09-15 | Paper |
Automated proofs of object code for a widely used microprocessor Journal of the ACM | 1998-01-19 | Paper |
Computer proofs in group theory Journal of Automated Reasoning | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4047789 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4047790 (Why is no real title available?) | 1986-01-01 | Paper |