Trending Research
Implementing Hadamard Matrices in SageMath
The Hadamard conjecture states that Hadamard matrices of order $n$ exist whenever $n$ is $1$, $2$, or a multiple of $4$.
Combinatorics
Meta-learners for Estimating Heterogeneous Treatment Effects using Machine Learning
There is growing interest in estimating and analyzing heterogeneous treatment effects in experimental and observational studies.
Statistics Theory Methodology Statistics Theory
Error analysis of a decoupled finite element method for quad-curl problems
Finite element approximation to a decoupled formulation for the quad--curl problem is studied in this paper.
Numerical Analysis Numerical Analysis 65N30, 65N12, 65N22, 65N50
EKF-SINDy: Empowering the extended Kalman filter with sparse identification of nonlinear dynamics
To demonstrate the potential of the approach, we address the identification of a linear non-autonomous system consisting of a shear building model excited by real seismograms, and the identification of a partially observed nonlinear system.
Dynamical Systems Systems and Control Systems and Control
Universal Average-Case Optimality of Polyak Momentum
d2l-ai/d2l-en
•
•
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
Alpaqa: A matrix-free solver for nonlinear MPC and large-scale nonconvex optimization
This paper presents alpaqa, an open-source C++ implementation of an augmented Lagrangian method for nonconvex constrained numerical optimization, using the first-order PANOC algorithm as inner solver.
Optimization and Control Systems and Control Systems and Control 65K05, 49M37, 90C30
Transducing paths in graph classes with unbounded shrubdepth
Transductions are a general formalism for expressing transformations of graphs (and more generally, of relational structures) in logic.
Combinatorics Discrete Mathematics Logic in Computer Science Logic
Rendering string diagrams recursively
zhaoolee/garss
•
•
The algebraic representation can be seen as a term of a free monoidal category or a proof tree for a small fragment of linear logic.
Category Theory Computational Geometry
Convex Optimization for Trajectory Generation
Reliable and efficient trajectory generation methods are a fundamental need for autonomous dynamical systems of tomorrow.
Optimization and Control Robotics Systems and Control Systems and Control
Sparse identification of nonlinear dynamics for model predictive control in the low-data limit
These factors limit the use of these techniques for the online identification of a model in the low-data limit, for example following an abrupt change to the system dynamics.
Optimization and Control Dynamical Systems Data Analysis, Statistics and Probability
