Liyun Dai

Orcid: 0000-0002-2615-9381

According to our database1, Liyun Dai authored at least 45 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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


  Loading...