Results 21 to 30 of about 384 (242)
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 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
Leibniz entre logicisme, formalisme et intuitionnisme ?
Philosophia ScientiæLeibniz has often been presented as one of the precursors of logicism or formalism but more rarely a precursor of intuitionism. He was a staunch defender of the Tertium non datur, reasoning in forma and blind thought, so at first glance he appears far ...
David Rabouin
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
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
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
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
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
Advanced Materials, EarlyView.Residual magnetization induces pronounced mechanical anisotropy in ultra‐soft magnetorheological elastomers, shaping deformation and actuation even without external magnetic fields. This study introduces a computational‐experimental framework integrating magneto‐mechanical coupling into topology optimization for designing soft magnetic actuators with ...
Carlos Perez‐Garcia +3 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