Results 231 to 240 of about 7,986,871 (308)

Decision-making method of heavy-duty machine tool remanufacturing based on AHP-entropy weight and extension theory

Journal of Cleaner Production, 2020
Heavy-duty machine tools are mostly used in bottleneck processes of manufacturing companies, which have high value-added, high technical content, and large remanufacturing value.
Yanbin Du, Yashi Zheng, Guoao Wu, Ying Tang   +3 more
semanticscholar   +1 more source

Extension of Theories

2022
From an atom to this universe, from a bowl of water to the cosmic ocean this constant is present everywhere. This constant is π ( periodicity of the tangent function). For tangent function we know that tan(tan-1(x))=x, but the expression tan(ntan-1(x)) looks very complicated but is actually an expression of the type polynomial divided by another ...
openaire   +1 more source

Theory Extension in ACL2(r)

Journal of Automated Reasoning, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gamboa, R., Cowles, J.
openaire   +1 more source

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY

Elements of ∞-Category Theory, 2022
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it.
G. M. Kelly, T. Bartels, William Boshuck, M. M. Clementino, R. Dawson, Stephen Lack, T. Leinster, F. Marmolejo, Shane O 'conchuir, C. Pastro, Mark Weber, R. Wojtowicz, G. Max, Kelly Sydney   +13 more
semanticscholar   +1 more source

Boundary extension: Findings and theories

Quarterly Journal of Experimental Psychology, 2010
A view of a scene is often remembered as containing information that might have been present just beyond the actual boundaries of that view, and this is referred to as boundary extension. Characteristics of the view (e.g., scene or nonscene; close-up or wide-angle; whether objects are cropped, static, or in motion, emotionally neutral or emotionally ...
Timothy L, Hubbard, Joanna L, Hutchison, Jon R, Courtney   +2 more
openaire   +2 more sources

Extension (Symmetric Theory)

SSRN Electronic Journal, 2010
This paper is about a trigonometrical analysis. The subject of examination is called extensions β (Symmetric Theory). Therefore, we analyze that case in this paper.
openaire   +1 more source

Effectively extensible theories

Journal of Symbolic Logic, 1968
It is well known that Gödel's famous undecidability result may be viewed in the following strong form. Suppose we are given a specific presentation (i.e., a specific formulation in terms of axioms and rules of inference) of number theory. Then there exists an effective method which, when applied to a consistent axiomatizable extension of the theory ...
openaire   +1 more source

Some Remarks on Krein's Extension Theory

Mathematische Nachrichten, 1994
AbstractThe extension problem of semibounded symmetric operators and symmetric operators with a gap is studied in detail. Using a suitable representation (Krein model) for the inverses of those operators a parameterization of their symmetric and self‐adjoint extensions is introduced which improves Krein's famous extension theory.
Brasche, Johannes F., Neidhardt, Hagen
openaire   +3 more sources