Peiyao Liu

According to our database, Peiyao Liu authored at least 13 papers between 2019 and 2024.

Collaborative distances:

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

2024

Heterogeneous Multivariate Functional Time Series Modeling: A State Space Approach.

Peiyao Liu, Junpeng Lin, Chen Zhang

IEEE Trans. Knowl. Data Eng., December, 2024

GPU implementation of the discrete unified gas kinetic scheme for low-speed isothermal flows.

Peiyao Liu, Changsheng Huang, Zhaoli Guo

Comput. Phys. Commun., January, 2024

A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu

Knowl. Based Syst., 2024

2023

Fully reusing clause deduction algorithm based on standard contradiction separation rule.

Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu

Inf. Sci., April, 2023

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.

Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu

Knowl. Based Syst., 2023

Designing Between Virtuality and Reality: Improving Inclusiveness in Hybrid Spaces.

Peiyao Liu, Chenxing Xie

Proceedings of the 41st ACM International Conference on Design of Communication, 2023

Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.

Jian Zhong, Peiyao Liu, Shuwei Chen

Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

2021

The Embedded IoT Time Series Database for Hybrid Solid-State Storage System.

Tao Cai, Peiyao Liu, Dejiao Niu, Jiancong Shi, Lei Li

Sci. Program., 2021

Optimization and dynamic simulation of electric actuator transmission based on high precision ball screw.

Haoxin Zheng, Minghui Huang, Lihua Zhan, Peiyao Liu, Ziqing Zhu

J. Intell. Fuzzy Syst., 2021

Formal Modeling and Verification of Multi-agent System Based on Timed Automata.

Xia Wang, Yang Xu, Peiyao Liu

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formalization and Verification of Cyclic Group.

Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule.

Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2019

The New Copy File Command Parser for NVM Devices.

Tao Cai, Jie Wang, Peiyao Liu, Dejiao Niu, Qingjian He, Jun Liang

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019