ABSTRACT: A novel model of spacetime and fields atomization based on Atomic Series over finite Atomic AString Functions is offered. Formulated Atomization Theorems allow representing polynomials, ...
ABSTRACT: Based on theorems, the Atomic AString Functions theory, evolving since the 1970s, is introduced into Quantum Mechanics to represent a wave function via the shifts and stretches of smooth ...
Abstract: We develop the theory of regular cost functions over finite trees: aquantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a value ...
D-finite functions satisfy linear differential equations with polynomial coefficients DD-finite functions satisfy linear differential equations with D-finite functions as coefficients differentiably ...
The function signature and default values for parameters for square roots of finite rings/fields is inconsistent. @user202729 pointed out this is a violation of the Liskov substitution principle. This ...
Abstract: The distributed finite-time bipartite consensus control problem for nonlinear multi-agent systems (MASs) is discussed in this work. This paper proposes the prioritized strategy that utilizes ...
ACL2 is a first-order, essentially quantifier free logic of computable recursive functions based on an applicative subset of Common Lisp. It supports lists as a primitive data structure. We describe ...
We construct a family of approximations of the Riemann zeta-function and a closely related function formed from finite Euler products, the pole of the zeta-function, and any zeros the zeta-function ...
The Canadian Journal of Statistics / La Revue Canadienne de Statistique The authors develop jackknife and analytical variance estimators for the estimator of Chambers & Dunstan (1986) and Rao, Kovar & ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback