Results 41 to 50 of about 28,174 (201)
Abstraction, equality and univalence
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2023 We shall propose a conceptual-oriented discussion of the so-called Univalent Foundations Program, that is, of Martin–Löf type theory enriched with a homotopic interpretation, together with the univalence axiom proposed by Voevodsky. We shall argue that the type-theoretic notion of propositional equality encodes the ...
openaire +3 more sources
Mastering Proton Activities in Aqueous Batteries
Advanced Materials, EarlyView.Advanced aqueous batteries are promising alternatives for grid energy storage. Understanding and mastering the proton activities in aqueous electrolytes will guide the design of sustainable and long‐lasting aqueous batteries. This Perspective comments on the current understanding of the thermodynamic and kinetic perspectives of proton activities and ...
Leiting Zhang, Chao Zhang, Erik J. Berg
wiley +1 more source
Light‐Emitting Diodes Based on Metal Halide Perovskite and Perovskite Related Nanocrystals
Advanced Materials, EarlyView.The review covers the past and current developments in light‐emitting diodes (LEDs) exploiting nanocrystals of halide perovskites and perovskite‐related materials. The review examines the aspects of material optimizations, device engineering, and applications.
Ying Liu +7 more
wiley +1 more source
Univalency of Convolutions of Univalent Harmonic Right Half-Plane Mappings [PDF]
Computational Methods and Function Theory, 2016 11 pages, 8 figures; Will appear in the Journal "Computational Methods and Function Theory"
Saminathan Ponnusamy, ZhiHong Liu
openaire +3 more sources
Advanced Materials, Volume 37, Issue 13, April 2, 2025.Leveraging the numerous advantages of ammonium‐ion (NH₄⁺)—including cost‐effectiveness, low corrosiveness, preferential orientation, and rapid diffusion kinetics—aqueous NH₄⁺ batteries (AAIBs) have gained significant attention. This review highlights and evaluates the progress of AAIBs utilizing organic electrode materials such as small molecules ...
Mangmang Shi, Xiaoyan Zhang
wiley +1 more source
1.4% External Quantum Efficiency 988 nm Light Emitting Diode Based on Tin‐Lead Halide Perovskite
Advanced Materials, EarlyView.The tin‐lead based halide perovskite film with the 3‐AMP passivate exhibits a significantly longer carrier lifetime of over 1 µs compared to the neat films (0.43 µs). The optimized tin‐lead halide perovskite LEDs show a single emission peak at 988 nm and an external quantum efficiency (EQE) of ≈1.4%.
Jiale Chen +8 more
wiley +1 more source
Advanced Materials, EarlyView.Reversible protonic ceramic electrochemical cells (R‐PCECs) face challenges from sluggish and unstable oxygen reduction and evolution reactions in the air electrode. This review discusses recent progress in triple‐conducting air electrodes, emphasizing mechanisms, performance factors, and design strategies, offering guidance for creating efficient and ...
Xi Chen +8 more
wiley +1 more source
Recent Advances in Wide‐Bandgap Perovskite Solar Cells
Advanced Materials, EarlyView.Ubiquitous defects predominately account for photo‐instability and open‐circuit voltage losses in wide‐bandgap perovskite solar cells (WBG PSCs). This review comprehensively presents the underlying impact mechanisms, summarizes the advanced optimization strategies across various functional layers and their interfaces to develop efficient and stable WBG
Jianjun Mei, Feng Yan
wiley +1 more source
Advanced Materials, EarlyView.This review provides the state‐of‐the‐art overview of halide perovskite‐based photocatalysts for hydrogen production from water and halogen acid solutions, CO2 reduction into value‐added chemicals, and organic chemical transformations. Different types of halide perovskite photocatalysts and their relative efficiencies for hydrogen generation and CO2 ...
Siddharth Singh +8 more
wiley +1 more source
On the coefficients of R-univalent functions [PDF]
Duke Mathematical Journal, 1955 (4) | an| < 41 di n, f(z) 5 d(I zI < 1). Because of d|I d 1/4, (4) is weaker than the Bieberbach conjecture but, as shown by the function f(z) =z(1 -Z)-2 =z+2z2+3z3+ (f(z)05-1/4), it would still be sharp. In the present note we shall show that the truth of Littlewood's conjecture (4) would follow from the proof of the asymptotic result (3).
openaire +3 more sources