Liyun Dai

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 33

Top Topics

Semidefinite Program

Cubic Spline Interpolation

Top Venues

J. Symb. Comput.

Publications

Qinghua Ye, Yuzhe Wang, Lin Liu, Linan Guo, Xueqin Zhang, Liyun Dai, Limin Zhai, Yafan Hu, Nauman Ali, Xinhui Ji, Youhua Ran, Yubao Qiu, Lijuan Shi, Tao Che, Ninglian Wang, Xin Li, Liping Zhu
Remote Sensing and Modeling of the Cryosphere in High Mountain Asia: A Multidisciplinary Review. Remote. Sens. 16 (10) (2024)
Jiancheng Sun, Xiaohe Li, Yongnu Jin, Liyun Dai, Xiangdong Peng, Chunlin Chen
Task-oriented analysis and visualization of correlation patterns in multi-sensor time series. Knowl. Based Syst. 289 (2024)
Yongnu Jin, Jiancheng Sun, Liyun Dai, Peng Cai, Kyung Sup Kwak, Sang-Jo Yoo
A Solution to the Non-Ideal Delay Line Problem in Transmitted Reference Pulse Cluster Schemes for UWB Communications. IEEE Internet Things J. 10 (2) (2023)
Anwei Liu, Tao Che, Xiaodong Huang, Liyun Dai, Jing Wang, Jie Deng
Effect of Cloud Mask on the Consistency of Snow Cover Products from MODIS and VIIRS. Remote. Sens. 14 (23) (2022)
Shanna Yue, Tao Che, Liyun Dai, Lin Xiao, Jie Deng
Characteristics of Snow Depth and Snow Phenology in the High Latitudes and High Altitudes of the Northern Hemisphere from 1988 to 2018. Remote. Sens. 14 (19) (2022)
Liyun Dai, Tao Che, Lin Xiao, M. Akynbekkyzy, Kai Zhao, Leena Leppänen
Improving the Snow Volume Scattering Algorithm in a Microwave Forward Model by Using Ground-Based Remote Sensing Snow Observations. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Zengyan Wang, Tao Che, Tianjie Zhao, Liyun Dai, Xiaojun Li, Jean-Pierre Wigneron
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. 14 (2021)
Lei Su, Tao Che, Liyun Dai
Variation in Ice Phenology of Large Lakes over the Northern Hemisphere Based on Passive Microwave Remote Sensing Data. Remote. Sens. 13 (7) (2021)
Yanxing Hu, Tao Che, Liyun Dai, Lin Xiao
Snow Depth Fusion Based on Machine Learning Methods for the Northern Hemisphere. Remote. Sens. 13 (7) (2021)
Yukun Zhang, Bo Liu, Liyun Dai, Kang Chen, Xuelian Cao
Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics. ICSA (2020)
Lin Xiao, Tao Che, Liyun Dai
Evaluation of Remote Sensing and Reanalysis Snow Depth Datasets over the Northern Hemisphere during 1980-2016. Remote. Sens. 12 (19) (2020)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
Nonlinear Craig Interpolant Generation. CAV (1) (2020)
Zengyan Wang, Tao Che, Liyun Dai
Evaluation of SMAP and SMOS Soil Moisture Products Using Distributed Ground Observation Network in Cold and Arid Regions in the Northwest of China. IGARSS (2020)
Liyun Dai, Hongjie Xie, Stephen F. Ackley, Alberto M. Mestas-Nuñez
Ice Production in Ross Ice Shelf Polynyas during 2017-2018 from Sentinel-1 SAR Images. Remote. Sens. 12 (9) (2020)
Liyun Dai, Zhe Fan, Bican Xia, Hanwen Zhang
Logcf: An Efficient Tool for Real Root Isolation. J. Syst. Sci. Complex. 32 (6) (2019)
Jiancheng Sun, Yong Yang, Neal N. Xiong, Liyun Dai, Xiangdong Peng, Jianguo Luo
Complex Network Construction of Multivariate Time Series Using Information Geometry. IEEE Trans. Syst. Man Cybern. Syst. 49 (1) (2019)
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
Online Observability of Boolean Control Networks. CoRR (2019)
Xiaohua Hao, Siqiong Luo, Tao Che, Jian Wang, Hongyi Li, Liyun Dai, Xiao Dong Huang, Qisheng Feng
Accuracy assessment of four cloud-free snow cover products over the Qinghai-Tibetan Plateau. Int. J. Digit. Earth 12 (4) (2019)
Jianwei Yang, Lingmei Jiang, Liyun Dai, Jinmei Pan, Shengli Wu, Gongxue Wang
The Consistency of SSM/I vs. SSMIS and the Influence on Snow Cover Detection and Snow Depth Estimation over China. Remote. Sens. 11 (16) (2019)
Liyun Dai, Tao Che, Hongjie Xie, Xuejiao Wu
Estimation of Snow Depth over the Qinghai-Tibetan Plateau Based on AMSR-E and MODIS Data. Remote. Sens. 10 (12) (2018)
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR (2018)
Yanqing Liu, Liyun Dai
Improving Secrecy via Extension to Regularized Channel Inversion Precoding. IEEE Commun. Lett. 22 (5) (2018)
Yanqing Liu, Liyun Dai
Multiuser Multiantenna Downlink Transmission Using Extended Regularized Channel Inversion Precoding. IEICE Trans. Commun. (12) (2018)
Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
Parameter Synthesis Problems for Parametric Timed Automata. CoRR (2018)
Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia
Open weak CAD and its applications. J. Symb. Comput. 80 (2017)
Lin Xiao, Tao Che, Linling Chen, Hongjie Xie, Liyun Dai
Quantifying Snow Albedo Radiative Forcing and Its Feedback during 2003-2016. Remote. Sens. 9 (9) (2017)
Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
Barrier certificates revisited. J. Symb. Comput. 80 (2017)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR (2016)
Liyun Dai, Tao Che, Yongjian Ding
Inter-Calibrating SMMR, SSM/I and SSMI/S Data to Improve the Consistency of Snow-Depth Products in China. Remote. Sens. 7 (6) (2015)
Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia
Open Weak CAD and Its Applications. CoRR (2015)
Liyun Dai, Bican Xia
Smaller SDP for SOS decomposition. J. Glob. Optim. 63 (2) (2015)
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
Decidability of the Reachability for a Family of Linear Vector Fields. ATVA (2015)
Jingjun Han, Liyun Dai, Bican Xia
Constructing Fewer Open Cells by GCD Computation in CAD Projection. CoRR (2014)
Jingjun Han, Liyun Dai, Bican Xia
Constructing fewer open cells by GCD computation in CAD projection. ISSAC (2014)
Liyun Dai, Bican Xia, Naijun Zhan
Generating Non-linear Interpolants by Semidefinite Programming. CAV (2013)
Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
Barrier Certificates Revisited. CoRR (2013)
Liyun Dai, Bican Xia, Naijun Zhan
Generating Non-Linear Interpolants by Semidefinite Programming CoRR (2013)
Liyun Dai, Hongwen Yang, Jianxiao Fan, Wenyuan Rao
Forced-convergence decoding for LDPC-coded modulation. Sci. China Inf. Sci. 56 (1) (2013)
Youqi Fu, Jian Wang, Zhuyan Zhao, Liyun Dai, Hongwen Yang
Analysis of Vertical Sectorization for HSPA on a System Level: Capacity and Coverage. VTC Fall (2012)
Jinghui Xie, Xiaogang Chen, Yuan Zhu, Hongwen Yang, Liyun Dai
A Novel Method to Solve CRS/PDSCH RE Collision in Joint Transmission in LTE-A. ICCVE (2012)
Liyun Dai, Bican Xia
Non-termination Sets of Simple Linear Loops. ICTAC (2012)
Liyun Dai, Bican Xia
logcf: An Efficient Tool for Real Root Isolation CoRR (2012)
Liyun Dai, Bican Xia
Non-Termination Sets of Simple Linear Loops CoRR (2012)
Tao Che, Liyun Dai, Jian Wang, Kai Zhao, Qiang Liu
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 17 (2012)
Liyun Dai, Hongwen Yang
Evaluating Word Error Rate via Radius of Decision Region. VTC Fall (2011)
Tao Che, Xin Li, Liyun Dai
Monitoring freeze-up and break-up dates of Northern Hemisphere big lakes using passive microwave remote sensing data. IGARSS (2011)
Yongliang Zhang, Yongyu Chang, Liyun Dai, Dacheng Yang
Performance of a simplified amplify-and-forward relaying with adaptive modulation over Rayleigh-fading channels. ICT (2011)
Zhili Zhang, Hongwen Yang, Liyun Dai
A new relay assisted Hybrid ARQ scheme. WCSP (2010)
Shilin Xu, Liyun Dai, Samuel C. Lee
Autocorrelation analysis of speech signals using Fermat number transform (FNT). IEEE Trans. Signal Process. 40 (8) (1992)