We stand with Ukraine

We stand with Ukraine

Peiyao Liu

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

Ground-Based Radar 3-D Imaging for the Moon: Motion Error Analysis and Multitrack Multiaperture Joint Autofocus.

[DOI]

,

,

,

,

IEEE Trans. Aerosp. Electron. Syst., 2026

Design and Analysis for Digital Twin Optimization.

[DOI]

,

Dennis K. J. Lin

,

Qual. Reliab. Eng. Int., 2026

Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism.

[DOI]

,

,

,

,

,

,

Eng. Appl. Artif. Intell., 2026

2025

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction.

[DOI]

,

,

,

CoRR, November, 2025

Military Aircraft Target Detection Using Enhanced YOLOv11 and Super-Resolution Algorithm.

[DOI]

,

,

,

,

,

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

SIEP-YOLO: Small Target Cluster Detection in Aerial Images.

[DOI]

,

,

,

,

,

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

Battlefield Ground Target Detection Based on Improved Yolov10.

[DOI]

,

,

,

,

,

Proceedings of the 5th IEEE International Conference on Human-Machine Systems, 2025

Emotional Re-Victimization in the Workplace: The Burden of Concern Reporting Systems.

[DOI]

,

Norman Makoto Su

Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work, 2025

2024

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

[DOI]

,

,

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

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

[DOI]

,

Changsheng Huang

,

Comput. Phys. Commun., January, 2024

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

[DOI]

,

,

,

,

Knowl. Based Syst., 2024

2023

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

[DOI]

,

,

,

,

,

Inf. Sci., April, 2023

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

[DOI]

,

,

,

,

,

Knowl. Based Syst., 2023

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

[DOI]

,

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.

[DOI]

,

,

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.

[DOI]

,

,

,

,

Sci. Program., 2021

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

[DOI]

,

,

,

,

J. Intell. Fuzzy Syst., 2021

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

[DOI]

,

,

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

Formalization and Verification of Cyclic Group.

[DOI]

,

,

,

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.

[DOI]

,

,

,

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

2019

The New Copy File Command Parser for NVM Devices.

[DOI]

,

,

,

,

,

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

Loading...