Trending Research
Differentiating through Log-Log Convex Programs
This makes it possible to conduct sensitivity analyses of solutions, given perturbations to the parameters, and to compute the gradient of a function of the solution with respect to the parameters.
OPTIMIZATION AND CONTROL
PySINDy: A Python package for the Sparse Identification of Nonlinear Dynamics from Data
PySINDy is a Python package for the discovery of governing dynamical systems models from data.
DYNAMICAL SYSTEMS COMPUTATIONAL PHYSICS
Curvature effects on the empirical mean in Riemannian and affine Manifolds: a non-asymptotic high concentration expansion in the small-sample regime
For distributions that are highly concentrated around their mean, and for any finite number of samples, we establish explicit Taylor expansions on the first and second moment of the empirical mean thanks to a new Taylor expansion of the Riemannian log-map in affine connection spaces.
DIFFERENTIAL GEOMETRY STATISTICS THEORY STATISTICS THEORY
Computing in Operations Research using Julia
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
Fast computation of Gauss quadrature nodes and weights on the whole real line
The algorithm is based on Newton's method with carefully selected initial guesses for the nodes and a fast evaluation scheme for the associated orthogonal polynomial.
NUMERICAL ANALYSIS
HPIPM: a high-performance quadratic programming framework for model predictive control
This paper introduces HPIPM, a high-performance framework for quadratic programming (QP), designed to provide building blocks to efficiently and reliably solve model predictive control problems.
OPTIMIZATION AND CONTROL SYSTEMS AND CONTROL SYSTEMS AND CONTROL
Experience Implementing a Performant Category-Theory Library in Coq
We describe our experience implementing a broad category-theory library in Coq.
CATEGORY THEORY LOGIC IN COMPUTER SCIENCE
acados: a modular open-source framework for fast embedded optimal control
The acados software package is a collection of solvers for fast embedded optimization, intended for fast embedded applications.
OPTIMIZATION AND CONTROL
A complete data-driven framework for the efficient solution of parametric shape design and optimisation in naval engineering problems
Mandatory ingredient for the ROM methods is the relation between the high-fidelity solutions and the parameters.
NUMERICAL ANALYSIS
Simple Iterative Incompressible Smoothed Particle Hydrodynamics
A novel approach is used to ensure homogeneous particle distributions and improved boundary conditions.
NUMERICAL ANALYSIS NUMERICAL ANALYSIS COMPUTATIONAL PHYSICS