Polyak momentum (PM), also known as the heavy-ball method, is a widely used optimization method that enjoys an asymptotic optimal worst-case complexity on quadratic objectives.
Optimization and Control
The recent emergence of navigational tools has changed traffic patterns and has now enabled new types of congestion-aware routing control like dynamic road pricing.
Dynamical Systems Systems and Control Systems and Control Optimization and Control
The state of numerical computing is currently characterized by a divide between highly efficient yet typically cumbersome low-level languages such as C, C++, and Fortran and highly expressive yet typically slow high-level languages such as Python and MATLAB.
Optimization and Control Numerical Analysis Programming Languages
First of all, the authors focused on the program of a two-semester course of lectures on convex optimization, which is given to students of MIPT.
Optimization and Control Numerical Analysis Numerical Analysis 65-01, 90-01, 65K05, 90C30, 90C90 G.1.6
We use the adjoint of the derivative to implement differentiable log-log convex optimization layers in PyTorch and TensorFlow.
Optimization and Control
Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids.
Category Theory Logic in Computer Science Logic F.3.1, F.4.1 F.3.1; F.4.1
We describe our experience implementing a broad category-theory library in Coq.
Category Theory Logic in Computer Science
We show that both a subobject classifier and a $0$-object classifier are available for the type theoretical universe of sets.
Category Theory Logic in Computer Science 03-XX, 03B15, 18B05, 18G30 F.4.1
Motivated by a real case in Singapore, we consider a POP-Locker Alliance who operates a set of POP-stations and wishes to improve the last-mile delivery by opening new locker facilities.
Optimization and Control
PySINDy is a Python package for the discovery of governing dynamical systems models from data.
Dynamical Systems Computational Physics