Results 111 to 120 of about 765,429 (244)
Advanced Science, EarlyView.This study elucidates hydrogen transport and reaction mechanisms in ePMR using 1‐hexyne hydrogenation as a model reaction. Hydrogen transport operates via dual pathways involving hydrogen atom permeation and H2‐mediated re‐dissociation on secondary metal layers.
Samuel J. Shin +6 more
wiley +1 more source
The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic
, 2017 The correspondence between Arthur Norman Prior and J.J.C. Smart was significant for Prior’s development of tense-logic. Prior was influential in making Smart sceptical about Wittgenstein’s view on pseudo-relations.
Jakobsen, David; id_orcid
core +1 more source
Advanced Science, EarlyView.Phosphonium ionic liquids offer a versatile platform for safer and more durable energy storage. This Review connects cation–anion structure with solvation, ion transport, electrochemical stability, and interphase formation across diverse battery chemistries.
Amir Haghipour +7 more
wiley +1 more source
Embedding Gödel propositional logic into Prior's tense logic
, 2008 The well-known Goedel translation embeds intuitionistic propositional logic into the modal logic S4. In this note, we use essentially the same translation to embed Goedel infinitevalued propositional logic into a schematic extension of Prior’s ...
S. Aguzzoli, B. Gerla, V. Marra
core +2 more sources
Advanced Science, EarlyView.This review summarizes recent advances in the mechanistic, thermodynamic, and kinetic studies of biomass‐derived levulinic acid/levulinates conversion to γ‐valerolactone, along with the corresponding multiscale regulation strategies of Ru‐based catalysts.
Xin Ni +3 more
wiley +1 more source
Advances in Josephson Junction Materials and Processes Toward Practical Quantum Computing
Advanced Science, EarlyView.Emerging materials for quantum computing, including crystalline materials, two‐dimensional van der Waals materials, two‐dimensional electron gas systems, ferromagnets, and unconventional (e.g., d‐wave) superconductors, offer opportunities to engineer next‐generation Josephson junctions.
Hyunseong Kim +11 more
wiley +1 more source
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
Terahertz Channel Modeling, Estimation and Localization in RIS‐Assisted Systems
Advanced Electronic Materials, EarlyView.Reconfigurable intelligent surfaces have become a recent intensive research focus. Based on practical applications, channel strategies for RIS‐assisted terahertz wireless communication systems are categorized into three different types: channel modeling, channel estimation, and channel localization.
Hongjing Wang +9 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.In this work, low‐resolution infrared imaging is combined with a 28 nm FeFET IMC architecture to enable compact, energy‐efficient edge inference. MLC FeFET devices are experimentally characterized, and controlled multi‐level current accumulation is validated at crossbar array level.
Alptekin Vardar +9 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.In dynamic driving scenarios, the proposed approach ensures only temporally aligned sensor inputs to make driving decisions, preventing false activations. By enabling selective hardware‐level learning, it achieves fast, reliable responses under noisy conditions.
Kapil Bhardwaj +4 more
wiley +1 more source