Liyun Dai

According to our database, Liyun Dai authored at least 43 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Solution to the Non-Ideal Delay Line Problem in Transmitted Reference Pulse Cluster Schemes for UWB Communications.

Yongnu Jin, Jiancheng Sun, Liyun Dai, Peng Cai, Kyung Sup Kwak, Sang-Jo Yoo

IEEE Internet Things J., January, 2023

2022

Effect of Cloud Mask on the Consistency of Snow Cover Products from MODIS and VIIRS.

Anwei Liu, Tao Che, Xiaodong Huang, Liyun Dai, Jing Wang, Jie Deng

Remote. Sens., December, 2022

Improving the Snow Volume Scattering Algorithm in a Microwave Forward Model by Using Ground-Based Remote Sensing Snow Observations.

Liyun Dai, Tao Che, Lin Xiao, M. Akynbekkyzy, Kai Zhao, Leena Leppänen

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.

Shanna Yue, Tao Che, Liyun Dai, Lin Xiao, Jie Deng

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.

Zengyan Wang, Tao Che, Tianjie Zhao, Liyun Dai, Xiaojun Li, Jean-Pierre Wigneron

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.

Lei Su, Tao Che, Liyun Dai

Remote. Sens., 2021

Snow Depth Fusion Based on Machine Learning Methods for the Northern Hemisphere.

Yanxing Hu, Tao Che, Liyun Dai, Lin Xiao

Remote. Sens., 2021

2020

Evaluation of Remote Sensing and Reanalysis Snow Depth Datasets over the Northern Hemisphere during 1980-2016.

Lin Xiao, Tao Che, Liyun Dai

Remote. Sens., 2020

Ice Production in Ross Ice Shelf Polynyas during 2017-2018 from Sentinel-1 SAR Images.

Liyun Dai, Hongjie Xie, Stephen F. Ackley, Alberto M. Mestas-Nuñez

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.

Zengyan Wang, Tao Che, Liyun Dai

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics.

Yukun Zhang, Bo Liu, Liyun Dai, Kang Chen, Xuelian Cao

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Nonlinear Craig Interpolant Generation.

Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Complex Network Construction of Multivariate Time Series Using Information Geometry.

Jiancheng Sun, Yong Yang, Neal N. Xiong, Liyun Dai, Xiangdong Peng, Jianguo Luo

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.

Jianwei Yang, Lingmei Jiang, Liyun Dai, Jinmei Pan, Shengli Wu, Gongxue Wang

Remote. Sens., 2019

Logcf: An Efficient Tool for Real Root Isolation.

Liyun Dai, Zhe Fan, Bican Xia, Hanwen Zhang

J. Syst. Sci. Complex., 2019

Accuracy assessment of four cloud-free snow cover products over the Qinghai-Tibetan Plateau.

Xiaohua Hao, Siqiong Luo, Tao Che, Jian Wang, Hongyi Li, Liyun Dai, Xiao Dong Huang, Qisheng Feng

Int. J. Digit. Earth, 2019

Online Observability of Boolean Control Networks.

Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu

CoRR, 2019

2018

Estimation of Snow Depth over the Qinghai-Tibetan Plateau Based on AMSR-E and MODIS Data.

Liyun Dai, Tao Che, Hongjie Xie, Xuejiao Wu

Remote. Sens., 2018

Multiuser Multiantenna Downlink Transmission Using Extended Regularized Channel Inversion Precoding.

Yanqing Liu, Liyun Dai

IEICE Trans. Commun., 2018

Improving Secrecy via Extension to Regularized Channel Inversion Precoding.

Yanqing Liu, Liyun Dai

IEEE Commun. Lett., 2018

Parameter Synthesis Problems for one parametric clock Timed Automata.

Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen

CoRR, 2018

Parameter Synthesis Problems for Parametric Timed Automata.

Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen

CoRR, 2018

2017

Quantifying Snow Albedo Radiative Forcing and Its Feedback during 2003-2016.

Lin Xiao, Tao Che, Linling Chen, Hongjie Xie, Liyun Dai

Remote. Sens., 2017

Open weak CAD and its applications.

Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia

J. Symb. Comput., 2017

Barrier certificates revisited.

Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan

J. Symb. Comput., 2017

2016

Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

CoRR, 2016

Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

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.

Liyun Dai, Tao Che, Yongjian Ding

Remote. Sens., 2015

Smaller SDP for SOS decomposition.

Liyun Dai, Bican Xia

J. Glob. Optim., 2015

Decidability of the Reachability for a Family of Linear Vector Fields.

Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Constructing fewer open cells by GCD computation in CAD projection.

Jingjun Han, Liyun Dai, Bican Xia

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Forced-convergence decoding for LDPC-coded modulation.

Liyun Dai, Hongwen Yang, Jianxiao Fan, Wenyuan Rao

Sci. China Inf. Sci., 2013

Generating Non-linear Interpolants by Semidefinite Programming.

Liyun Dai, Bican Xia, Naijun Zhan

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

logcf: An Efficient Tool for Real Root Isolation

Liyun Dai, Bican Xia

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.

Tao Che, Liyun Dai, Jian Wang, Kai Zhao, Qiang Liu

Int. J. Appl. Earth Obs. Geoinformation, 2012

Analysis of Vertical Sectorization for HSPA on a System Level: Capacity and Coverage.

Youqi Fu, Jian Wang, Zhuyan Zhao, Liyun Dai, Hongwen Yang

Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Non-termination Sets of Simple Linear Loops.

Liyun Dai, Bican Xia

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.

Jinghui Xie, Xiaogang Chen, Yuan Zhu, Hongwen Yang, Liyun Dai

Proceedings of the 2012 International Conference on Connected Vehicles and Expo, 2012

2011

Evaluating Word Error Rate via Radius of Decision Region.

Liyun Dai, Hongwen Yang

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.

Tao Che, Xin Li, Liyun Dai

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.

Yongliang Zhang, Yongyu Chang, Liyun Dai, Dacheng Yang

Proceedings of the 18th International Conference on Telecommunications, 2011

2010

A new relay assisted Hybrid ARQ scheme.

Zhili Zhang, Hongwen Yang, Liyun Dai

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2010

1992

Autocorrelation analysis of speech signals using Fermat number transform (FNT).

Shilin Xu, Liyun Dai, Samuel C. Lee

IEEE Trans. Signal Process., 1992