Results 261 to 270 of about 695,402 (315)

Strategies to Enhance Ionic Conductivity of Na3Zr2Si2O12 Solid Electrolyte for Advanced Solid‐State Sodium Batteries

Carbon Energy, EarlyView.
This review presents a comprehensive summary and discussion of some optimization strategies for enhancing room‐temperature ionic conductivity of Na3Zr2Si2PO12 (NZSP) solid electrolyte for solid‐state sodium batteries, including foreign‐ion doping or substitution, sintering behavior modulation, and regulation of chemical composition based on precursors.
Jiawen Hu, Zixing Chen, Xi Wang, Changsheng Ding, Yongfeng Li, Yanfeng Gao   +5 more
wiley   +1 more source

The Ground-Set-Cost Budgeted Maximum Coverage Problem. [PDF]

Theory Comput Syst
van Heuven van Staereling I, de Keijzer B, Schäfer G.   +2 more
europepmc   +1 more source

Abusive supervision and nurses' deviant behaviors: the moderating effect of self-efficacy. [PDF]

BMC Nurs
Yürür S, Koç O, Yurtseven HR.
europepmc   +1 more source

The innovation paradox in human-AI symbiosis: ambidextrous effects of AI technology adoption on innovative behavior. [PDF]

Front Artif Intell
Wang X, Long L.
europepmc   +1 more source

Nursing students' competence and perceived mentor assessment literacy: the mediating role of self-efficacy and gender bias. [PDF]

BMC Nurs
Zhu Y, Zhu J.
europepmc   +1 more source

Igniting success: how growth mindset fuels academic achievement through self-belief and strategic effort. [PDF]

BMC Nurs
Li X, AlWadi BM, Ahmad A, Dukhaykh S, Khan I.   +4 more
europepmc   +1 more source

The Positive Effects of Employee AI Dependence on Voice Behavior-Based on Power Dependence Theory. [PDF]

Behav Sci (Basel)
Liu J, Huang M, Cui M, Tian G, Li X.
europepmc   +1 more source

Constructive set theory with Markov's principle

Constructive set theory with Markov's principle
openaire  

The natural numbers in constructive set theory

Mathematical Logic Quarterly, 2008
AbstractConstructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories.
Michael Rathjen
openalex   +2 more sources

Hereditarily Finite Sets in Constructive Type Theory

, 2016
We axiomatize hereditarily finite sets in constructive type theory and show that all models of the axiomatization are isomorphic. The axiomatization takes the empty set and adjunction as primitives and comes with a strong induction principle. Based on the axiomatization, we construct the set operations of ZF and develop the basic theory of finite ...
Gert Smolka, Kathrin Stark
openalex   +2 more sources