Zhaoyu Li

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

Bibliography

2024

Efficient five-axis scanning-inspection path planning for complex freeform surfaces.

[BibT_eX]

[DOI]

Robotics Comput. Integr. Manuf., April, 2024

Deep reinforcement learning based planning method in state space for lunar rovers.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., January, 2024

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.

[BibT_eX]

[DOI]

Zhaoyu Li

Jinpei Guo

Xujie Si

Trans. Mach. Learn. Res., 2024

A mark-based hierarchical asynchronous temporal constraints reasoning algorithm for multi-agent mission planning.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2024

Decoupling Training-Free Guided Diffusion by ADMM.

[BibT_eX]

[DOI]

CoRR, 2024

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts.

[BibT_eX]

[DOI]

CoRR, 2024

A Survey on Deep Learning for Theorem Proving.

[BibT_eX]

[DOI]

CoRR, 2024

Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms.

[BibT_eX]

[DOI]

CoRR, 2024

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Autoformalizing Euclidean Geometry.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Partition-based Print Sequence Planning and Adaptive Slicing for Scalar Field-based Multi-axis Additive Manufacturing.

[BibT_eX]

[DOI]

Comput. Aided Des., October, 2023

Human-pose estimation based on weak supervision.

[BibT_eX]

[DOI]

Virtual Real. Intell. Hardw., August, 2023

Five-Axis Trochoidal Sweep Scanning Path Planning for Free-Form Surface Inspection.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., April, 2023

Neuronal motifs reveal backbone structure and influential neurons of neural network in <i>C. elegans</i>.

[BibT_eX]

[DOI]

J. Complex Networks, April, 2023

Collision-Conscious Multi-Pass Flank Milling of Complicated Parts Based on Stripification.

[BibT_eX]

[DOI]

Comput. Aided Des., April, 2023

A GNN-based model for capturing spatio-temporal changes in locomotion behaviors of aging <i>C. elegans</i>.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, March, 2023

Hierarchical multi-agent planning for flexible assembly of large-scale lunar facilities.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, January, 2023

Multimodal Emotion-Cause Pair Extraction in Conversations.

[BibT_eX]

[DOI]

IEEE Trans. Affect. Comput., 2023

Neuro-symbolic Learning Yielding Logical Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Learning Reliable Logical Rules with SATNet.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Partition-based 3 + 2-axis tool path generation for freeform surface machining using a non-spherical tool.

[BibT_eX]

[DOI]

J. Comput. Des. Eng., 2022

Volume decomposition for multi-axis support-free and gouging-free printing based on ellipsoidal slicing.

[BibT_eX]

[DOI]

Comput. Aided Des., 2022

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.

[BibT_eX]

[DOI]

Zhaoyu Li

Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

A variable-depth multi-layer five-axis trochoidal milling method for machining deep freeform 3D slots.

[BibT_eX]

[DOI]

Robotics Comput. Integr. Manuf., 2021

Channel state information-based multi-dimensional parameter estimation for massive RF data in smart environments.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2021

Multi-target vital signs detection using frequency-modulated continuous wave radar.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2021

Graph Contrastive Pre-training for Effective Theorem Reasoning.

[BibT_eX]

[DOI]

Zhaoyu Li

Binghong Chen

Xujie Si

CoRR, 2021

Quasi-Developable and Signed Multi-Strip Approximation of a Freeform Surface Mesh for Efficient Flank Milling.

[BibT_eX]

[DOI]

Comput. Aided Des., 2021

Design of Porcelain Insulator Defect Recognition System Based on UAV Line Inspection Image.

[BibT_eX]

[DOI]

Proceedings of the 6GN for Future Wireless Networks - 4th EAI International Conference, 2021

2020

Path smoothing and feed rate planning for robotic curved layer additive manufacturing.

[BibT_eX]

[DOI]

Robotics Comput. Integr. Manuf., 2020

Features extraction and analysis for device-free human activity recognition based on channel statement information in b5G wireless communications.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2020

Five-axis Trochoidal Flank Milling of Deep 3D Cavities.

[BibT_eX]

[DOI]

Comput. Aided Des., 2020

A spiral-based inspection path generation algorithm for efficient five-axis sweep scanning of freeform surfaces.

[BibT_eX]

[DOI]

Comput. Aided Des., 2020

MUFold-SSW: a new web server for predicting protein secondary structures, torsion angles and turns.

[BibT_eX]

[DOI]

Bioinform., 2020

Deep LSTM and GAN based Short-term Load Forecasting Method at the Zone Level.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020

A Survey of Deep Learning and Its Application in Distribution Network.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020

2019

New Deep Learning Methods for Protein Loop Modeling.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

PSICA: a fast and accurate web service for protein model quality analysis.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2019

MUFold-Contact and TPCref: New Methods for Protein Structure Contact Prediction and Refinement.

[BibT_eX]

[DOI]

Jeffrey A. Ruffolo

Zhaoyu Li

Yi Shang

Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

2017

Geometry-based propagation of temporal constraints.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2017

A new algorithm for generation of dispatchable networks with temporal constraints.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2017

New Deep Neural Networks for Protein Model Evaluation.

[BibT_eX]

[DOI]

Junlin Wang

Zhaoyu Li

Yi Shang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Deep Networks and Continuous Distributed Representation of Protein Sequences for Protein Quality Assessment.

[BibT_eX]

[DOI]

Son P. Nguyen

Zhaoyu Li

Yi Shang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Protein Loop Modeling Using Deep Generative Adversarial Network.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

A Geometric Dynamic Temporal Reasoning Method with Tags for Cognitive Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Sci. Comput. Intell., 2016

A geometric dynamic temporal reasoning method with tags.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2014

Urban land cover classification using aerial LiDAR and CCD images.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2013

Investigation on load balancing algorithm in LTE Trunking system.

[BibT_eX]

[DOI]

Proceedings of the 22nd Wireless and Optical Communication Conference, 2013

1995

A framework for ordering composite beliefs in belief networks.

[BibT_eX]

[DOI]

Zhaoyu Li

Bruce D'Ambrosio

IEEE Trans. Syst. Man Cybern., 1995

1994

Efficient inference in Bayes networks as a combinatorial optimization problem.

[BibT_eX]

[DOI]

Zhaoyu Li

Bruce D'Ambrosio

Int. J. Approx. Reason., 1994

1993

An efficient approach for finding the MPE in belief networks.

[BibT_eX]

[DOI]

Zhaoyu Li

Bruce D'Ambrosio

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

1992

Parallelizing Probabilistic Inference: Some Early Explorations.

[BibT_eX]

[DOI]

Bruce D'Ambrosio

Tony Fountain

Zhaoyu Li

Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

Zhaoyu Li

Bibliography

Loading...