Lydia Dehbi

According to our database, Lydia Dehbi authored at least 10 papers between 2019 and 2025.

Collaborative distances:

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

2025

Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving.

Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2025

Stabilization and Synchronization of a New 3D Complex Chaotic System via Adaptive and Active Control Methods.

Lamia Loudahi, Jing Yuan, Lydia Dehbi, Mawia Osman

Axioms, 2025

Automated Proof of Polynomial Inequalities via Reinforcement Learning.

Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance.

Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, Haifeng Qian

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

2023

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang

ACM Trans. Embed. Comput. Syst., October, 2023

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.

Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.

Lydia Dehbi, Zhenbing Zeng, Lu Yang

J. Symb. Comput., 2022

Heilbronn's Problem of Eight Points in the Square.

Lydia Dehbi, Zhenbing Zeng

J. Syst. Sci. Complex., 2022

2019

A Heilbronn Type Inequality for Plane Nonagons.

Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.

Zhenbing Zeng, Lu Yang, Lydia Dehbi

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019