Results 41 to 50 of about 751,600 (289)
Presburger arithmetic, rational generating functions, and quasi-polynomials [PDF]
, 2015 Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose characteristic functions can be represented by ...
Woods, Kevin
core +1 more source
One kind sixth power mean of the three-term exponential sums
Open Mathematics, 2017 In this paper, we use the estimate for trigonometric sums and the properties of the congruence equations to study the computational problem of one kind sixth power mean of the three-term exponential sums.
Wang Xiaoying, Li Xiaoxue
doaj +1 more source
The formula-controlled logical computer “Stanislaus” [PDF]
Mathematics of Computation, 1960 The evaluation of a formula of propositional calculus is considerably simplified if this formula is written in the parenthesis-free notation of the Warsaw School, [1]. The Warsaw notation may be formulated in the following way: There are symbols for operations, e.g.: N for negation; K for conjunction; A for disjunction; E for equivalence; C for ...
openaire +1 more source
Formulas for series computations [PDF]
Applicable Algebra in Engineering, Communication and Computing, 1992 Let \(K\) be a field of characteristic 0, \(\overline K\) an algebraic closure of \(K\) and \(K(x)\) the rational function field in one variable \(x\) over \(K\). The paper describes an algorithm that computes for an element \(f\) of \(K(x)\) for each \(n\in\mathbb N\) and \(m\in\{1,\dots,n\}\) a univariate polynomial \(B_{nm}\) over \(K\) whose roots ...
openaire +1 more source
HDP Algorithms for Trajectory Tracking and Formation Control of Multi-Agent Systems
IEEE Access, 2022 A heuristic dynamic programming (HDP) algorithm for trajectory tracking and formation control of multi-agent systems (MAS) is presented in this paper. The selected HDP method allows for an online optimal control design. The multi-agent control problem is
Ernesto F. M. Ferreira +2 more
doaj +1 more source
To Compute the Optimal Interpolation Formula [PDF]
Mathematics of Computation, 1978 The purpose of this paper is to explain how to compute the function Ω \Omega which interpolates values of a function of one variable f ( x ) f(x) at n distinct points x 1 > x 2
openaire +1 more source
Onboard Processing of Synthetic Aperture Radar Backprojection Algorithm in FPGA
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2022 Synthetic aperture radar is a microwave technique to extracting image information of the target. Electromagnetic waves that are reflected from the target are acquired by the aircraft or satellite receivers and sent to a ground station to be processed by ...
David Mota +6 more
doaj +1 more source
Airborne Radar Super-Resolution Imaging Based on Fast Total Variation Method
Remote Sensing, 2021 Total variation (TV) is an effective super-resolution method to improve the azimuth resolution and preserve the contour information of the target in airborne radar imaging.
Qiping Zhang +4 more
doaj +1 more source
, 2007 The joint cumulative distribution function for order statistics arising from several different populations is given in terms of the distribution function of the populations.
A. Karimpour-Fard +12 more
core +1 more source
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source