search result

Cover von Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data

Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data

Year: 2022
Media group: LIPIcs
Cover von Verified Compilation and Optimization of Floating-Point Programs in CakeML

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Author: Kumar, Ramana; Tan, Yong Kiam; Fox, Anthony
Year: 2022
Media group: LIPIcs
Cover von Modular and Submodular Optimization with Multiple Knapsack Constraints via Fractional Grouping

Modular and Submodular Optimization with Multiple Knapsack Constraints via Fractional Grouping

Year: 2021
Media group: LIPIcs
Cover von Stability Yields Sublinear Time Algorithms for Geometric Optimization in Machine Learning

Stability Yields Sublinear Time Algorithms for Geometric Optimization in Machine Learning

Year: 2021
Media group: LIPIcs
Cover von No Quantum Speedup over Gradient Descent for Non-Smooth Convex Optimization

No Quantum Speedup over Gradient Descent for Non-Smooth Convex Optimization

Year: 2021
Media group: LIPIcs
Cover von A Sub-Linear Time Framework for Geometric Optimization with Outliers in High Dimensions

A Sub-Linear Time Framework for Geometric Optimization with Outliers in High Dimensions

Year: 2020
Media group: LIPIcs
Cover von Fold Family-Regularized Bayesian Optimization for Directed Protein Evolution

Fold Family-Regularized Bayesian Optimization for Directed Protein Evolution

Year: 2020
Media group: LIPIcs
Cover von Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics

Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics

Year: 2020
Media group: LIPIcs
Cover von Odd-Cycle Separation for Maximum Cut and Binary Quadratic Optimization

Odd-Cycle Separation for Maximum Cut and Binary Quadratic Optimization

Year: 2019
Media group: LIPIcs
Cover von Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded
Search for this author
Year: 2018
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
OPEN V 11.1.0.0