Related papers: Jet Functors and Weil Algebras in Automatic Differ…
This study presents a comprehensive mathematical framework for modeling the flight dynamics of a six-degree-of-freedom fixed-wing aircraft as a rigid body with three control surfaces: rudder, elevators, and ailerons. The framework consists…
A large class of non-smooth practical optimization problems can be written as minimization of a sum of smooth and partly smooth functions. We examine such structured problems which also depend on a parameter vector and study the problem of…
Many areas of science and engineering encounter data defined on spherical manifolds. Modelling and analysis of spherical data often necessitates spherical harmonic transforms, at high degrees, and increasingly requires efficient computation…
All known elimination techniques for (first-order) algorithmic differentiation (AD) rely on Jacobians to be given for a set of relevant elemental functions. Realistically, elemental tangents and adjoints are given instead. They can be…
In one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic,…
Algorithmic Differentiation (AD) can be used to automate the generation of derivatives in arbitrary software projects. This will generate maintainable derivatives, that are always consistent with the computation of the software. If a domain…
This paper proposes a novel algorithm for aerobatic trajectory generation for a vertical take-off and landing (VTOL) tailsitter flying wing aircraft. The algorithm differs from existing approaches for fixed-wing trajectory generation, as it…
Using backpropagation to compute gradients of objective functions for optimization has remained a mainstay of machine learning. Backpropagation, or reverse-mode differentiation, is a special case within the general family of automatic…
In this paper, we collect the fundamental basic properties of jet modules in algebraic geometry and related properties of differential operators. We claim no originality but we want to provide a reference work for own research and the…
A critical step in topology optimization (TO) is finding sensitivities. Manual derivation and implementation of the sensitivities can be quite laborious and error-prone, especially for non-trivial objectives, constraints and material…
We address the task of higher-order derivative evaluation of computer programs that contain QR decompositions and real symmetric eigenvalue decompositions. The approach is a combination of univariate Taylor polynomial arithmetic and matrix…
The group scheme of ternary automorphisms of a perfect finite dimensional evolution algebra A is computed. The main advantage of using group schemes is that it allows to apply the Lie functor to determine the Lie algebra of ternary…
Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…
We develop an algorithm to compute Fourier expansions of vector valued modular for Weil representations. As an application, we compute explicit linear equivalences of special divisors on modular varieties of orthogonal type. We define three…
Dynamic Time Warping (DTW) and Geometric Edit Distance (GED) are basic similarity measures between curves or general temporal sequences (e.g., time series) that are represented as sequences of points in some metric space $(X,…
In the first part of the paper we propose a different viewpoint on the theory of higher Airy structures (or Airy ideals) which may shed light on its origin. We define Airy ideals in the $\hbar$-adic completion of the Rees Weyl algebra, and…
Identifying affordance regions on 3D objects from semantic cues is essential for robotics and human-machine interaction. However, existing 3D affordance learning methods struggle with generalization and robustness due to limited annotated…
We present an algebraic classification, based on the null alignment properties of the Weyl tensor, of the general Kundt class of spacetimes in arbitrary dimension for which the non-expanding, non-twisting, shear-free null direction \boldk…
Differentiable programming is a fresh programming paradigm which composes parameterized algorithmic components and trains them using automatic differentiation (AD). The concept emerges from deep learning but is not only limited to training…
In this paper, we study twisted arithmetic divisors on the modular curve X_0(N) with N square-free. For each pair (\Delta, r) where \Delta >0 and \Delta \equiv r^2 \mod 4N, we constructed a twisted arithmetic theta function \phi_{\Delta,…