Results 271 to 280 of about 32,888,479 (325)
Some of the next articles are maybe not open access.
Quality Engineering, 2021
As a useful product development technique, quality function deployment (QFD) can convert customer requirements into suitable engineering characteristics for maximum customer satisfaction.
Ze-Ling Wang +3 more
semanticscholar +1 more source
As a useful product development technique, quality function deployment (QFD) can convert customer requirements into suitable engineering characteristics for maximum customer satisfaction.
Ze-Ling Wang +3 more
semanticscholar +1 more source
Analytic-Synthetic Method and Axiomatic Method
Synthese Library, 2022Carlo Cellucci, Cellucci Carlo
exaly +2 more sources
Matching demanders and suppliers in knowledge service: A method based on fuzzy axiomatic design
Information Sciences, 2016Zhiwu Li, Zhi-Ping Fan, Xiaoyang Zhou
exaly +2 more sources
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 ...
E. Bryndin
semanticscholar +1 more source
A method of axiomatization of Łukasiewicz logics
Studia Logica, 1974By the language of Lukasiewicz logics we understand the algebra of formulas L = 〈L,→,∼〉. The μ-valued Lukasiwicz matrix 〈Aμ, {1}〉, μ = 2, 3, . . ., א0, (cf. [1]), will be denoted here by Mμ. Lμ = R(Mμ) is the set of tautologies of Mμ and is called the μ-valued Lukasiewicz system. All the unexplained notation in this text will come from Wojcicki’s paper
openaire +2 more sources
On a Method of Axiomatization of Some Propositional Calculi
Mathematical Logic Quarterly, 1987In this paper a simple method is given for the finite axiomatization of some propositional logics determined by finite matrices. Particular examples of such logics are the finite valued \({\L}ukasiewicz\) logics, modal logics containing S4, and intermediate logics in versions with various connectives.
openaire +2 more sources
Why Uncertainty Estimation Methods Fall Short in RAG: An Axiomatic Analysis
Annual Meeting of the Association for Computational LinguisticsLarge Language Models (LLMs) are valued for their strong performance across various tasks, but they also produce inaccurate or misleading outputs. Uncertainty Estimation (UE) quantifies the model's confidence and helps users assess response reliability ...
Heydar Soudani +2 more
semanticscholar +1 more source
1965
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source
An axiomatic method for goal-dependent allocation in life cycle assessment
The International Journal of Life Cycle Assessment, 2021D. Schrijvers +2 more
semanticscholar +1 more source
*ZFC: An axiomatic * approach to nonstandard methods
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1997The author establishes a new foundation of nonstandard analysis in which it is possible to deal with external sets. To do so, a function * defined on the class \(S\) of all standard sets is introduced, namely \[ \biggl\{ \forall x,y,z\;\bigl[^* x=y\wedge {^*x}= z\to(y=z \wedge x\in S)\bigr] \biggr\} \wedge [\forall x\in S\;\exists y\;({}^*x =y ...
openaire +3 more sources