2025
A Multifrequency Radiometry Experiment Over an Agricultural Field Toward Microwave Emission Model Calibration.
IEEE Trans. Geosci. Remote. Sens., 2025
Comparative Analysis on the Spatiotemporal Changes of Vegetation and Drivers in Inland River Basins of the Hexi Corridor, China.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025
2024
Remote Sensing and Modeling of the Cryosphere in High Mountain Asia: A Multidisciplinary Review.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Remote. Sens., May, 2024
Task-oriented analysis and visualization of correlation patterns in multi-sensor time series.
Knowl. Based Syst., 2024
A novel approach for snow depth retrieval in forested areas by integrating horizontal and vertical canopy structures information.
Int. J. Appl. Earth Obs. Geoinformation, 2024
2023
A Solution to the Non-Ideal Delay Line Problem in Transmitted Reference Pulse Cluster Schemes for UWB Communications.
IEEE Internet Things J., January, 2023
2022
Effect of Cloud Mask on the Consistency of Snow Cover Products from MODIS and VIIRS.
Remote. Sens., December, 2022
Improving the Snow Volume Scattering Algorithm in a Microwave Forward Model by Using Ground-Based Remote Sensing Snow Observations.
IEEE Trans. Geosci. Remote. Sens., 2022
Characteristics of Snow Depth and Snow Phenology in the High Latitudes and High Altitudes of the Northern Hemisphere from 1988 to 2018.
Remote. Sens., 2022
2021
Evaluation of SMAP, SMOS, and AMSR2 Soil Moisture Products Based on Distributed Ground Observation Network in Cold and Arid Regions of China.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021
Variation in Ice Phenology of Large Lakes over the Northern Hemisphere Based on Passive Microwave Remote Sensing Data.
Remote. Sens., 2021
Snow Depth Fusion Based on Machine Learning Methods for the Northern Hemisphere.
Remote. Sens., 2021
2020
Evaluation of Remote Sensing and Reanalysis Snow Depth Datasets over the Northern Hemisphere during 1980-2016.
Remote. Sens., 2020
Ice Production in Ross Ice Shelf Polynyas during 2017-2018 from Sentinel-1 SAR Images.
Remote. Sens., 2020
Evaluation of SMAP and SMOS Soil Moisture Products Using Distributed Ground Observation Network in Cold and Arid Regions in the Northwest of China.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020
Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics.
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020
Nonlinear Craig Interpolant Generation.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Complex Network Construction of Multivariate Time Series Using Information Geometry.
IEEE Trans. Syst. Man Cybern. Syst., 2019
The Consistency of SSM/I vs. SSMIS and the Influence on Snow Cover Detection and Snow Depth Estimation over China.
Remote. Sens., 2019
Logcf: An Efficient Tool for Real Root Isolation.
J. Syst. Sci. Complex., 2019
Accuracy assessment of four cloud-free snow cover products over the Qinghai-Tibetan Plateau.
Int. J. Digit. Earth, 2019
Online Observability of Boolean Control Networks.
CoRR, 2019
2018
Estimation of Snow Depth over the Qinghai-Tibetan Plateau Based on AMSR-E and MODIS Data.
Remote. Sens., 2018
Multiuser Multiantenna Downlink Transmission Using Extended Regularized Channel Inversion Precoding.
IEICE Trans. Commun., 2018
Improving Secrecy via Extension to Regularized Channel Inversion Precoding.
IEEE Commun. Lett., 2018
Parameter Synthesis Problems for one parametric clock Timed Automata.
CoRR, 2018
Parameter Synthesis Problems for Parametric Timed Automata.
CoRR, 2018
2017
Quantifying Snow Albedo Radiative Forcing and Its Feedback during 2003-2016.
Remote. Sens., 2017
Open weak CAD and its applications.
J. Symb. Comput., 2017
Barrier certificates revisited.
J. Symb. Comput., 2017
2016
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.
CoRR, 2016
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Inter-Calibrating SMMR, SSM/I and SSMI/S Data to Improve the Consistency of Snow-Depth Products in China.
Remote. Sens., 2015
Smaller SDP for SOS decomposition.
J. Glob. Optim., 2015
Decidability of the Reachability for a Family of Linear Vector Fields.
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Constructing fewer open cells by GCD computation in CAD projection.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
2013
Forced-convergence decoding for LDPC-coded modulation.
Sci. China Inf. Sci., 2013
Generating Non-linear Interpolants by Semidefinite Programming.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
logcf: An Efficient Tool for Real Root Isolation
CoRR, 2012
Estimation of snow depth and snow water equivalent distribution using airborne microwave radiometry in the Binggou Watershed, the upper reaches of the Heihe River basin.
Int. J. Appl. Earth Obs. Geoinformation, 2012
Analysis of Vertical Sectorization for HSPA on a System Level: Capacity and Coverage.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012
Non-termination Sets of Simple Linear Loops.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
A Novel Method to Solve CRS/PDSCH RE Collision in Joint Transmission in LTE-A.
Proceedings of the 2012 International Conference on Connected Vehicles and Expo, 2012
2011
Evaluating Word Error Rate via Radius of Decision Region.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011
Monitoring freeze-up and break-up dates of Northern Hemisphere big lakes using passive microwave remote sensing data.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011
Performance of a simplified amplify-and-forward relaying with adaptive modulation over Rayleigh-fading channels.
Proceedings of the 18th International Conference on Telecommunications, 2011
2010
A new relay assisted Hybrid ARQ scheme.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2010
1992
Autocorrelation analysis of speech signals using Fermat number transform (FNT).
IEEE Trans. Signal Process., 1992