Results 41 to 50 of about 14,367 (205)
Revisiting Coulombic Efficiency Paradigm: Electrolyte Additive Design for Lithium Metal Batteries
Angewandte Chemie, EarlyView.Coulombic efficiency (CE) is a key metric for screening advanced electrolyte formulations for rechargeable batteries. Combined with interphasial characterizations, statistical analyses of CE data uncover the synergistic interaction between fluorinated additives and salt anions, enabling more precise correlations of chemical functionalities with ...
Qixin Wang +16 more
wiley +2 more sources
MXene‐Based Room‐Temperature NO2 Gas Sensors: A Meta‐Analysis
Advanced Science, EarlyView.This study presents the first comprehensive meta‐analysis of MXene‐based NO2 sensors, decoding 32 study characteristics across 61 peer‐reviewed studies. By isolating materials chemistry as the primary performance driver over device‐level parameters, the authors establish a methodological blueprint and a predictive structure–function map to accelerate ...
Alexander Khort +3 more
wiley +1 more source
Constructive set theory and Brouwerian principles [PDF]
, 2005 The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby ...
Rathjen, M +2 more
core +1 more source
Probabilistic Computing via Gate‐Tunable Random Telegraph Noise
Advanced Science, EarlyView.Intrinsic random telegraph noise in metal–oxide–semiconductor field‐effect transistors is harnessed to create gate‐tunable probabilistic bits. By modulating carrier‐trapping dynamics, the device produces stochastic binary outputs with a continuous bias‐to‐probability transfer.
Gyungwon Yun +8 more
wiley +1 more source
Multi‐Modal Low‐Power Adaptive Braille Recognition System Based on Hf0.3Zr0.7O2 Memristor
Advanced Science, EarlyView.A multimodal adaptive perception system based on HZO ferroelectric memristor realizes efficient Braille digit recognition via reservoir computing. It delivers high recognition accuracy with ultralow‑energy analog computation, offering a promising hardware solution for environment‑robust neuromorphic assistive devices for visually impaired users ...
Jikang Xu +9 more
wiley +1 more source
Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections
Advanced Electronic Materials, EarlyView.The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley +1 more source
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources
On automorphisms of models of Peano arithmetic
, 2004 When studying the automorphism group Aut(M) of a model M, one is interested to what extent M is recoverable from Aut(M). We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if a maximal open subgroup ...
Nurkhaidarov, Ermek S
core +1 more source
When the River Runs Low: Heterogeneous Impacts of Transportation Disruptions on Local Grain Basis
Agribusiness, EarlyView.ABSTRACT A substantial share of U.S. soybean and corn exports from the Midwest moves by barge along the Mississippi River system to export terminals in the Louisiana Gulf. Transportation costs between Midwestern grain elevators and export terminals create a wedge between prices at these locations, and shocks to these costs are partially passed on to ...
Yuan Zhang +3 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley +1 more source