Han Gao

Autonomous vehicles enhance parking space estimation for better congestion management.

This paper discusses a new variant of intuitionistic modal logic, its structure, and applications.

SwarmPRM improves robot coordination and collision avoidance in complex environments.

This article examines the structure and applications of intuitionistic modal logic L.

New CCSO technique improves video coding efficiency and visual quality.

Researchers achieve precise control over quantum dots in nanowires, aiding quantum computing efforts.