机译:凸优化算法的可靠自动编码
Georgia Inst Technol, Atlanta, GA 30332 USA;
Georgia Inst Technol, Atlanta, GA 30332 USA;
ENSEEIHT, Toulouse, France;
Off Natl Etud & Rech Aerosp, Toulouse, France;
Georgia Inst Technol, Atlanta, GA 30332 USA;
CNRS, LAAS, Toulouse, France;
Control theory; Autocoding; Lyapunov proofs; Formal verification; Optimization; Interior-point method; PVS; Frama-C;
机译:具有功能约束的凸起和强凸优化问题的自适应镜像缩减算法
机译:用于训练神经网络的快速变分量子算法和解决凸优化
机译:具有固定点约束的凸优化的两个随机优化算法
机译:解决二阶锥程序的椭球算法的可靠自动编码
机译:恢复结构化数据的凸优化和非凸优化:算法和分析
机译:通过Firefly算法从非线性优化到凸优化以及间接方法在CAD / CAM中的应用
机译:凸优化算法的可靠自动编码