Liya Liu

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 12

Top Topics

Convolutive Mixtures

Critical Thinking

Top Venues

J. Comput. Appl. Math.

Comput. Math. Appl.

Publications

Guoxuan Cui, Yanwen Wang, Liya Liu
Low Frequency Oscillation Suppression of Three-Phase Four-Wire Inverter Based on CFM-OSG Phase-Locked Loop. IEEE Access 12 (2024)
Liya Liu
Application of Multi-objective Evolutionary Algorithms for Multidimensional Sensory Data Prediction and Resource Scheduling in Smart City Design. Scalable Comput. Pract. Exp. 25 (4) (2024)
Liya Liu, Xiaolong Qin
An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities. Comput. Math. Appl. 163 (2024)
Zheng Wang, Liya Liu, Longyi Ran
Research on Strategy of Large-scale Electric Vehicle Charging Scheduling System in Smart Community. EITCE (2023)
Shaotao Hu, Yuanheng Wang, Liya Liu, Qiao-Li Dong
An inertial self-adaptive iterative algorithm for finding the common solutions to split feasibility and fixed point problems in specific Banach spaces. J. Comput. Appl. Math. 424 (2023)
Wenbo Pang, Shiwei Xu, Liya Liu, Renheng Bo, Yihui Zhang
Thin-Film-Shaped Flexible Actuators. Adv. Intell. Syst. 5 (8) (2023)
Zheng Wang, Longyi Ran, Bing Kong, Xuezeng Jia, Liya Liu, Jafar Tavoosi
Suspension System Control Based on Type-2 Fuzzy Sliding Mode Technique. Complex. 2022 (2022)
Yuefu Chen, Chunfeng Wang, Liya Liu, Yuxian Li, Ke Hu, Xiangyu Cao, Ling Jin
Exploring the Cultivation Mode of Critical Thinking in Clinical-thinking Training of Diagnostics. ICETT (2022)
Liya Liu, Yuanyuan Zhang, Min Li
An Empirical Study on Teachers' Informationized Teaching Ability in Higher Vocational Colleges. ICPCSEE (2) (2021)
Liya Liu, Xiaolong Qin
Strong convergence of an extragradient-like algorithm involving pseudo-monotone mappings. Numer. Algorithms 83 (4) (2020)
Xin Wu, Xiao Han, Liya Liu, Bing Qi
A Load Identification Algorithm of Frequency Domain Filtering Under Current Underdetermined Separation. IEEE Access 6 (2018)
Liya Liu, Osman Hasan, Sofiène Tahar
Formalization of Birth-Death and IID processes in higher-order logic. SysCon (2017)
Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
On the Formal Analysis of HMM Using Theorem Proving. ICFEM (2014)
Liya Liu, Osman Hasan, Sofiène Tahar
Formal Analysis of Memory Contention in a Multiprocessor System. SBMF (2013)
Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar
Formal Reasoning about Classified Markov Chains in HOL. ITP (2013)
Liya Liu, Osman Hasan, Sofiène Tahar
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. J. Comput. Sci. Technol. 28 (2) (2013)
Liya Liu, Osman Hasan, Sofiène Tahar
Formalization of Finite-State Discrete-Time Markov Chains in HOL. ATVA (2011)