Results 41 to 50 of about 3,525 (163)
Applying axiomatic design methodology in developing modified libertation products
Ingeniería e Investigación, 2004 Some conceptual elements regarding the axiomatic design method were applied to a specific case-study regarding developing modified liberation compressed product (CLM-UN), for use in the agricultural sector as pH regulating agent in solil.
Bibiana Margarita Vallejo Díaz +3 more
doaj
Complex & Intelligent SystemsIn this paper, we first give an example to show that Theorem 1 in Hung and Yang (Inf Sci 178(6):1641–1650, 2008) does not hold, implying that the J-divergence introduced by Hung and Yang does not satisfy the axiomatic definition of intuitionistic fuzzy ...
Xinxing Wu +4 more
doaj +1 more source
Exploring and Adapt! – Extending the Adapt! Method to Develop Reconfigurable Manufacturing Systems
MATEC Web of Conferences, 2018 Automotive production is faced with the challenge of bringing new products to market faster, with decreasing turn-around times, meaning production must be continually changing to accommodate new products.
Kujawa Kate +3 more
doaj +1 more source
The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
Моделирование и анализ информационных систем, 2018 During deductive verification of programs written in imperative languages, the generation and proof of verification conditions corresponding to loops can cause difficulties, because each one must be provided with an invariant whose construction is often ...
Dmitry Kondratyev +2 more
doaj +1 more source
Axiomatic analysis of aggregation methods for collective annotation
International Joint Conference on Autonomous Agents and Multiagent Systems, 2014 Crowdsourcing is an important tool, e.g., in computational linguistics and computer vision, to efficiently label large amounts of data using nonexpert annotators. The individual annotations collected need to be aggregated into a single collective annotation.
Kruger, J. +3 more
openaire +3 more sources
A general method of axiomatizing fragments
Journal of the Mathematical Society of Japan, 1991 The author presents a general method for axiomatizing fragments of first- order theories. The paper is obviously the contribution [U2 ] announced by the author in Lect. Notes Math. 1104, 453-475 (1984; Zbl 0574.03049). The method is so to speak the proof-theoretic counterpart of the model- theoretic procedure of \textit{C. Smorynski} in J. Symb.
openaire +2 more sources
A Complete Design Methodology for Inbound Logistics System by Independence Axiom
Journal of Transportation and LogisticsDimensions of logistics can be considered in four ways. These are inbound, in-plant, outbound, and reverse logistics. In this paper, a complete design for inbound logistics activities is performed using axiomatic Design principles.
Ozan Ateş
doaj +1 more source
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Вестник Донского государственного технического университета, 2018 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Advanced Engineering Research, 2007 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj