Results 81 to 90 of about 148,259 (301)
o-minimal structures: low arity versus generation
Illinois Journal of Mathematics, 2005 10 ...
openaire +4 more sources
Magnetic Force Microscopy Signatures of Higher‐Order Skyrmions and Antiskyrmions
Advanced Functional Materials, EarlyView.Magnetic force microscopy operated under vacuum conditions enables the qualitative identification of higher‐order skyrmions and antiskyrmions in Co/Ni multilayers at room temperature. Distinct stray‐field contrast signatures arise from vertical Bloch lines and complex domain‐wall configurations.
Sabri Koraltan +8 more
wiley +1 more source
Arities and Aritizabilities of First-Order Theories
, 2021 We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. Arities and aritizabilities are semantically characterized. The dynamics for arities of theories is described.
openaire +3 more sources
Mapping Nanoscale Buckling in Atomically Thin Cr2Ge2Te6
Advanced Functional Materials, EarlyView.Atomic‐resolution STEM is used to resolve nanoscale buckling in monolayer Cr2Ge2Te₆. A noise‐robust image analysis reconstructs three‐dimensional lattice distortions from single plan‐view images, revealing pronounced defect‐driven nm‐scale out‐of‐plane buckling.
Amy Carl +20 more
wiley +1 more source
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising [PDF]
, 2005 In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.Comment: 19 ...
Luo, Yong
core +1 more source
Quasi‐Static to Supersonic Energy Absorption of Nanoarchitected Tubulanes and Schwarzites
Advanced Functional Materials, EarlyView.Nanoarchitected energy‐absorptive Tubulanes exhibit record energy absorption under quasi‐static conditions and exceptional inelastic energy dissipation under 750 m s−1 ballistics impact, with high performance spanning strain rates of 12 orders of magnitude.
Peter Serles +16 more
wiley +1 more source
Interval Operators and Preorders in Strong L-Fuzzy Convex Structures
MathematicsIn this paper, the relationship between strong L-fuzzy convex structures and L-fuzzifying interval operators are investigated. It is proved that there is a Galois correspondence between the category of strong L-fuzzy convex spaces and that of L ...
Sen Zhao, Fangfang Zhao
doaj +1 more source
Advanced Functional Materials, EarlyView.An optimized carbon host nanostructure enables a dual‐interface‐dominant architecture in sulfur cathodes of solid‐state Li‐S batteries by selectively forming sulfur|carbon and sulfur|solid electrolyte interfaces. This tailored interfacial configuration accelerates sulfur redox kinetics by establishing enriched Li+/e– transport networks, while ...
Zhao Yang +13 more
wiley +1 more source
Subdivision depth for triangular surfaces
Alexandria Engineering Journal, 2016 The aim of this attempt was to present an efficient algorithm for the evaluation of error bound of triangular subdivision surfaces. The error estimation technique is based on first order difference and this process is independent of parametrization. This
G. Mustafa, M.S. Hashmi, F. Khan
doaj +1 more source