Results 11 to 20 of about 1,716,432 (375)
Polynomial functors and polynomial monads [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, 2009 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]
Studia Mathematica, 1995 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
Eulerian polynomials and polynomial congruences [PDF]
Contributions to Discrete Mathematics, 2019 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
Proposal New S-box for AES Algorithm Depend on A.I Bee Colony [PDF]
Engineering and Technology Journal, 2015 The AES algorithm, also called the Rijndael algorithm, is a symmetric block cipher, where the data are encrypted/ decrypted in blocks of 128 bits. Each data block is modified by several rounds of processing, where each round involves four steps.
Alaa Kadhim, Sura Khalaf
doaj +1 more source
Remote Sensing, 2021 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
Energy Analysis and Forecast of a Major Modern Hospital
Buildings, 2022 Healthcare buildings often have high energy use intensity, which is potentially influenced by a few factors, such as occupancy and climate. A suite of data analysis methods, including principal component analysis and regressions, is applied to analyse ...
Aaron Liu +5 more
doaj +1 more source
Entropy, 2023 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
Polynomial invariants are polynomial [PDF]
Mathematical Research Letters, 1995 AMSLaTeX+epic.sty+eepic.sty, 7 ...
openaire +3 more sources
Reasoning Method between Polynomial Error Assertions
Information, 2021 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
Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length [PDF]
, 2016 We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class $\operatorname{PTIME}$ of languages computable in polynomial time in terms of differential equations with ...
Bournez, Olivier +2 more
core +3 more sources