Results 11 to 20 of about 87,920 (289)
Automatic Aircraft Navigation Using Star Metric Dimension Theory in Fire Protected Forest Areas
The purpose of this research is to determine the navigation of an unmanned aircraft automatically using theory of the metric dimension of stars in a forest fire area.
Ilham Saifudin, Reni Umilasari
doaj +1 more source
Debreu's apologies for mathematical economics after 1983
When reassessing the role of Debreu's axiomatic method in economics, one has to explain both its success and unpopularity; one has to explain the "bright shadow" Debreu cast on the discipline: sheltering, threatening, and difficult to pin down.
Till Düppe
doaj +1 more source
Harnack's inequality for a class of non-divergent equations in the Heisenberg group [PDF]
We prove an invariant Harnack's inequality for operators in non-divergence form structured on Heisenberg vector fields when the coefficient matrix is uniformly positive definite, continuous, and symplectic. The method consists in constructing appropriate
Abedin, Farhan +2 more
core +2 more sources
This paper lies in the framework of axiomatic non-standard analysis based on the non-standard arithmetic axiomatic theory. This arithmetic includes actual infinite numbers.
Yuri N. Lovyagin, Nikita Y. Lovyagin
doaj +1 more source
The epsilon expansion of the O(N) model with line defect from conformal field theory
We employ the axiomatic framework of Rychkov and Tan to investigate the critical O(N) vector model with a line defect in (4 − ϵ) dimensions. We assume the fixed point is described by defect conformal field theory and show that the critical value of the ...
Tatsuma Nishioka +2 more
doaj +1 more source
AXIOMATIC DETERMINATION OF A CLASS OF ORDINAL VARIATION MEASURES
The article deals with the problem of the dispersion of ordinal variables. At first, it specifies the very concept of dispersion for this type of scale. Then some of the most known measures that fit to the concept of ordinal variation are recalled.
Kęska Adam
doaj +1 more source
Axiomatic Attribution for Multilinear Functions [PDF]
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function to its independent variables. We make three contributions.
Sun, Yi, Sundararajan, Mukund
core +1 more source
A Testing Method of Probability Weighting Functions From an Axiomatic Perspective
This study presents a testing approach to examine various models of probability weighting functions that are considered nonlinear functions of probability in behavioral decision theory, such as prospect theory.
Kazuhisa Takemura +2 more
doaj +1 more source
Group Recommendations: Axioms, Impossibilities, and Random Walks [PDF]
We introduce an axiomatic approach to group recommendations, in line of previous work on the axiomatic treatment of trust-based recommendation systems, ranking systems, and other foundational work on the axiomatic approach to internet mechanisms in ...
Omer Lev, Moshe Tennenholtz
doaj +1 more source
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS.
Dmitry A. Kondratyev
doaj +1 more source

