Results 121 to 130 of about 67,082 (308)
Hierarchical MXene‐Derived NTP/C Nanohybrids for Cryogenic Sodium‐Ion Batteries
Advanced Functional Materials, EarlyView.A hierarchical MXene‐derived NaTi2(PO4)3/C nanohybrid enables efficient sodium‐ion storage down to −40°C by integrating fast ion–electron transport pathways with an ether‐based electrolyte. The system promotes dominant pseudocapacitive behavior and forms a robust inorganic‐rich SEI, collectively mitigating kinetic and interfacial limitations, thereby ...
M. Sai Bhargava Reddy +5 more
wiley +1 more source
Geometrisation of first-order logic
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi +8 more
wiley +1 more source
Cut-elimination, substitution and normalisation
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Time‐Resolved Magnetization Switching Dynamics Driven by Orbital Torques
Advanced Functional Materials, EarlyView.Du et al. reveal nanosecond magnetization switching driven by orbital currents using time‐resolved Hall detection. The measurements separate domain nucleation from domain wall propagation and show that Joule heating strongly assists switching by lowering energy barriers.
Ao Du +4 more
wiley +1 more source
Modal logic in computer science
, 2006 Modal logic is a widely applicable method of reasoning for many areas of computer science. These areas include artificial intelligence, database theory, distributed systems, program verification, and cryptography theory.
Lambert, Leigh
core
Advanced Functional Materials, EarlyView.Bandgap‐engineered AlGaAs/GaAs heterostructures exhibit wavelength‐selective dual‐polarity photoelectrochemistry, switching from photocathodic to photoanodic response depending on excitation wavelength. The polarity transition is governed by band‐selective absorption, built‐in electric‐field‐driven carrier transport, and interfacial charge‐transfer ...
Yukai Mao +9 more
wiley +1 more source
, 2015 International audienceThis paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history and philosophy of logic in computer ...
De Mol, Liesbeth +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Diagnostic analysis via the heterojunction validation funnel. The funnel illustrates the hierarchical stratification of 30 reported Type‐II systems based on the three‐phase, seven‐step diagnostic framework. Complete validation through all phases is achieved by only 3.3% of systems, while 96.7% lack full mechanistic validation, revealing a pervasive ...
Ki‐Hyun Kim
wiley +1 more source
Computer Science Logic 2017 [Elektronisk resurs]
, 2017 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer ...
Dam, Mads, Goranko, Valentin,
core