Results 11 to 20 of about 1,691,025 (355)
Polynomial functors and polynomial monads [PDF]
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory.
Gambino, Nicola, Kock, Joachim
core +11 more sources
Local polynomials are polynomials [PDF]
Summary: We prove that a function \(f\) is a polynomial if \(G\circ f\) is a polynomial for every bounded linear functional \(G\). We also show that an operator-valued function is a polynomial if it is locally a polynomial.
Günter Lumer+4 more
openaire +2 more sources
Summary In this contribution, we propose a detailed study of interpolation‐based data‐driven methods that are of relevance in the model reduction and also in the systems and control communities. The data are given by samples of the transfer function of the underlying (unknown) model, that is, we analyze frequency‐response data.
Quirin Aumann, Ion Victor Gosea
wiley +1 more source
Data‐driven performance metrics for neural network learning
Summary Effectiveness of data‐driven neural learning in terms of both local mimima trapping and convergence rate is addressed. Such issues are investigated in a case study involving the training of one‐hidden‐layer feedforward neural networks with the extended Kalman filter, which reduces the search for the optimal network parameters to a state ...
Angelo Alessandri+2 more
wiley +1 more source
Eulerian polynomials and polynomial congruences [PDF]
We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial.
Iijima, Kazuki+3 more
openaire +4 more sources
Total Electron Content (TEC) from Global Navigation Satellite Systems (GNSS) is used to ascertain the impact of space weather events on navigation and communication systems. TEC is detrended by several methods to show this impact.
Louis Osei-Poku+3 more
doaj +1 more source
Reasoning Method between Polynomial Error Assertions
Error coefficients are ubiquitous in systems. In particular, errors in reasoning verification must be considered regarding safety-critical systems. We present a reasoning method that can be applied to systems described by the polynomial error assertion ...
Peng Wu+3 more
doaj +1 more source
In this paper, the radial basis function finite difference method is used to solve two-dimensional steady incompressible Navier–Stokes equations. First, the radial basis function finite difference method with polynomial is used to discretize the spatial ...
Liru Mu, Xinlong Feng
doaj +1 more source
Continuous monitoring of natural human gait in real-life environments is essential in many applications including disease monitoring, rehabilitation, and professional sports.
Erfan Shahabpoor, Aleksandar Pavic
doaj +1 more source
Performance Comparison of Classical Methods and Neural Networks for Colour Correction
Colour correction is the process of converting RAW RGB pixel values of digital cameras to a standard colour space such as CIE XYZ. A range of regression methods including linear, polynomial and root-polynomial least-squares have been deployed.
Abdullah Kucuk+3 more
doaj +1 more source