Results 71 to 80 of about 40,361 (263)

A Tracer Diffusion Study of Diverse Photo‐Ionic Phenomena in Strontium Titanate

open access: yesAdvanced Functional Materials, EarlyView.
Two strong interfacial photo‐ionic effects are demonstrated for the model system SrTiO3 through the application of isotope exchange experiments: UV illumination is found to enhance the oxygen surface exchange coefficient by several orders of magnitude and to depress the surface space‐charge potential substantially.
David M. Schwenkel   +3 more
wiley   +1 more source

Arities and Aritizabilities of First-Order Theories

open access: yes, 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

Laser‐Induced Microfabrication of Carbon Nanostructure: Processing Mechanism and Application for Next‐Generation Battery Technology

open access: yesAdvanced Functional Materials, EarlyView.
The article reviews laser‐processed carbons from various precursors, processing mechanism and their application in advanced batteries. The laser process is chemical free, fast, and scalable, enabling improved battery performance and stability for Li, Na, and Zn battery technologies.
Sujit Deshmukh   +2 more
wiley   +1 more source

Interval Operators and Preorders in Strong L-Fuzzy Convex Structures

open access: yesMathematics
In 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

Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising [PDF]

open access: yes, 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

Multimodal Structural Color Graphics Based on Colloidal Photonic Microdome Arrays

open access: yesAdvanced Functional Materials, EarlyView.
A hybrid photonic system combining colloidal crystals and microscale domes is designed to achieve four switchable optical states via the interplay of Bragg reflection and TIR interference. The graphics composed of the photonic microdome arrays provide tunable, angle‐sensitive structural coloration and concealed‐to‐revealed transitions, offering a ...
Jun‐Gu Kang   +4 more
wiley   +1 more source

Subdivision depth for triangular surfaces

open access: yesAlexandria 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

Dual‐Functional Li2B4O7 Coating on Carbon Fibers for Enhanced Li+ Transport and Stability in Sulfide All‐Solid‐State Batteries

open access: yesAdvanced Functional Materials, EarlyView.
A dual‐functional Li2B4O7 coating on carbon fibers is designed to resolve the critical interfacial degradation in sulfide all‐solid‐state batteries. The conformal layer acts as a physical barrier to suppress parasitic reactions while its unique dielectric properties simultaneously facilitate Li+ transport.
Yeonghoon Kim   +5 more
wiley   +1 more source

Logical Connectives Modulate Attention to Simulations Evoked by the Constituents They Link Together

open access: yesFrontiers in Psychology, 2018
In previous studies investigating logical-connectives simulations, participants focused their attention on verifying truth-condition satisfaction for connective expressions describing visual stimuli (e.g., Dumitru, 2014; Dumitru and Joergensen, 2016 ...
Magda L. Dumitru   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy