Results 31 to 40 of about 45,474,262 (309)
The epsilon expansion of the O(N) model with line defect from conformal field theory
Journal of High Energy Physics, 2023 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
Studies in Logic, Grammar and Rhetoric, 2017 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
A Testing Method of Probability Weighting Functions From an Axiomatic Perspective
Frontiers in Applied Mathematics and Statistics, 2018 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]
Electronic Proceedings in Theoretical Computer Science, 2017 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
Моделирование и анализ информационных систем, 2021 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
Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method
Philosophia Scientiæ, 2013 In this paper I provide a brief reconstruction of Otto Hölder’s conception of proof. My reconstruction focuses on Hölder’s critical assessment of David Hilbert’s account of axiomatics in general, and of Hilbert’s conception of metamathematics in ...
Mircea Radu
doaj +1 more source
Mathematical foundations of the theory of dimensions and similarity
Vietnam Journal of Mechanics, 1980 In this work, we present a stringent axiomatic model of computation using dimensional quantities. This model is the dimensional scalar space. We use the axiomatic method to introduce the concept of dimensional scalar space.
Rychlewski J.
doaj +1 more source
Incorporating Patent Analysis in Axiomatic Design for New Product Development [PDF]
MATEC Web of Conferences, 2019 Axiomatic design theory is widely used in new product development by providing design solutions through mapping between functional requirements and design parameters. However, the theory does not provide a method to help designer obtain and select design
Lin Wenguang +3 more
doaj +1 more source
Neural Network Axiomatic Solver Coaching AGI Method for Solving Scientific and Practical Problems
American Journal of Mathematical and Computer ModellingModern neural network methods combine work with an axiomatic mathematical description (laws, equations, invariants, logical rules) and the power of neural networks for learning from data, pattern recognition and differentiation through complex spaces ...
Evgeniy Bryndin
semanticscholar +1 more source
Selection of a Solution When Using Axiomatic Design
MATEC Web of Conferences, 2017 Over the years, the importance of the creativity inclusively in the field of design activities was highlighted. In accordance with the opinions of certain researchers, the divergent thinking could contribute to the increase of creative processes ...
Slătineanu Laurenţiu +6 more
doaj +1 more source