Related papers: PALP - a User Manual
In the following paper, we have combined the various basic functionalities provided by the NumPy library and OpenCv library, which is an open source for Computer Vision applications, like conversion of colored images to grayscale,…
Modern advances in particle physics depend strongly on the usage of reliable computer programs. In this context two issues become important: The usage of powerful algorithms to handle the amount of evaluated data properly, and a software…
In this paper, we propose a topology optimization (TO) framework where the design is parameterized by a set of convex polygons. Extending feature mapping methods in TO, the representation allows for direct extraction of the geometry. In…
It is demonstrated how the software system polymake can be used for computations in toric geometry. More precisely, counter-examples to conjectures related to A-determinants and defect polytopes are constructed.
We establish a correspondence between one-parameter deformations of an affine Gorenstein toric pair $(X_P, \partial X_P)$, defined by a polytope $P$, and mutations of a Laurent polynomial $f$ with Newton polytope $\newt(f) = P$. For a…
This article describes tsmp, an R package that implements the matrix profile concept for time series. The tsmp package is a toolkit that allows all-pairs similarity joins, motif, discords and chains discovery, semantic segmentation, etc.…
Magnetic vector tomography allows for visualizing the 3D magnetization vector of magnetic nanostructures and multilayers with nanometric resolution. In this work, we present MARTApp (Magnetic Analysis and Reconstruction of Tomographies…
In this paper, we determine all tetraelliptic modular curves $X_1(N)$ over $\mathbb Q$, and find some tetraelliptic maps $\phi_N$ from $X_1(N)$ to elliptic curves for those tetraelliptic $X_1(N)$. Also we will construct $\phi_N$ explicitly…
We present novel mixed-integer programming (MIP) formulations for optimization over nonconvex piecewise linear functions. We exploit recent advances in the systematic construction of MIP formulations to derive new formulations for…
Any rational map between affine spaces, projective spaces or toric varieties can be described in terms of their affine, homogeneous, or Cox coordinates. We show an analogous statement in the setting of Mori Dream Spaces. More precisely (in…
This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners,…
POCP is a new Matlab package running jointly with GloptiPoly 3 and, optionally, YALMIP. It is aimed at nonlinear optimal control problems for which all the problem data are polynomial, and provides an approximation of the optimal value as…
Some basic mathematical tools such as convex sets, polytopes and combinatorial topology, are used quite heavily in applied fields such as geometric modeling, meshing, computer vision, medical imaging and robotics. This report may be viewed…
We present Proof-of-Perception (PoP), a tool-using framework that casts multimodal reasoning as an executable graph with explicit reliability guarantees. Each perception or logic node outputs a conformal set, yielding calibrated, stepwise…
As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operation. Verifying safety requires extending control theoretic…
We present RadFil, a publicly available Python package that gives users full control over how to build and fit radial density profiles for interstellar filaments. RadFil builds filament profiles by taking radial cuts across the spine of a…
The new version 2.1 of the program SecDec is described, which can be used for the factorisation of poles and subsequent numerical evaluation of multi-loop integrals, in particular massive two-loop integrals. The program is not restricted to…
We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…
We introduce new features in the MathPartner service that have recently become available to users. We highlight the functions for calculating both arithmetic-geometric mean and geometric-harmonic mean. They allow calculating complete…
A recursive algebraic method which allows to obtain the Feynman or Schwinger parametric representation of a generic L-loops and (E+1) external lines diagram, in a scalar $\phi ^{3}\oplus \phi ^{4}$ theory, is presented. The representation…