Ming Xu

混合量子と古典プログラムが正しいことを確保する新しいアプローチ。

デュアルスペース最適化を導入して、薬の設計プロセスを強化するよ。

数学的手法を使って非決定論的量子プログラムの終了問題を分析する。

新しいアプローチが、最適輸送を使って長い動画のアクションセグメンテーションに取り組んでるよ。