Results 31 to 40 of about 1,604 (278)
Influence of Geometric Design on Mechanical Performance of Auxetic Metastructure
Advanced Engineering Materials, EarlyView.Strategic geometric reinforcement transforms auxetic performance. This study evaluates 3D‐printed arrowhead metastructures, revealing that a modified design with local ring reinforcement suppresses premature failure to achieve superior energy absorption and structural efficiency.
Muhammad Gulzari +3 more
wiley +1 more source
Advanced Materials, EarlyView.Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu +3 more
wiley +1 more source
Towards the Philosophy of the Lwów School of Mathematics
Philosophia Scientiæ, 2023 The philosophy of scientific research does not always correlate with the declared philosophical views of researchers. In the light of this, we look at the activities of the interwar Lwów School of Mathematics whose leaders were Stefan Banach and Hugo ...
Mykhailo Zarichnyi (Михайло Зарічний)
doaj +1 more source
Resolving the Structural Duality of Graphene Grain Boundaries
Advanced Materials, EarlyView.Cantilever ncAFM resolves the atomic structure of grain boundaries in graphene, revealing coexisting stable and metastable types. Both contain pentagon/heptagon defects, but metastable GBs show irregular geometries. Modeling shows metastable GBs form under compression, exhibiting vertical corrugation, while stable GBs are flat.
Haojie Guo +11 more
wiley +1 more source
Matemática, física y realidad en la obra de Manuel Atria
Síntesis. Revista de FilosofíaThe interests of the Chilean engineer and philosopher Manuel Atria Ramírez cover a variety of subjects and disciplines, but most of his published work focuses on philosophy of mathematics and physics.
Juan Eduardo Carreño Pavez +2 more
doaj +1 more source
'Unless' is 'Or', Unless '¬A Unless A' is Invalid
Dialectica, 2022 The proper translation of "unless" into intuitionistic formalisms is examined. After a brief examination of intuitionistic writings on "unless", and on translation in general, and a close examination of Dummett's use of "unless" in Elements of ...
Roy Cook
doaj +1 more source
A nominal exploration of intuitionism [PDF]
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016 This papers extends the Nuprl proof assistant (a system representative of the class of extensional type theories a la Martin-Lof) with named exceptions and handlers, as well as a nominal fresh operator. Using these new features, we prove a version of Brouwer's Continuity Principle for numbers. We also provide a simpler proof of a weaker version of this
Vincent Rahli, Mark Bickford
openaire +2 more sources
ETHICAL NIHILISM AND ETHICAL INTUITIONISM [PDF]
, 1983 The dissertation explores ethical nihilism, ethical intuitionism, and ethical absolutism, their relations and acceptability. Toward that end I begin in Chapter 1 with a discussion of the related notions of ethical relativism and skepticism.
WASSERMAN, WAYNE URBAN
core
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
THE PHILOSOPHY OF INTUITIONIST MATHEMATICS
Advanced Engineering Research, 2006 The article covers the main problems of intuitionist mathematics which appeared in the late 19th century-early 20th century. Among them are the problems of existence in mathematics, the problem of substantiation of mathematics, epistemological methods of
S.I. MASALOVA
doaj