Results 151 to 160 of about 77,551 (274)

Inquisitive Neighborhood Logic. [PDF]

open access: yesJ Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Stabilizing Magnesium Anodes in Rechargeable Magnesium Batteries via Fluorinated Cyclic Ether Electrolyte Additive

open access: yesAdvanced Energy Materials, EarlyView.
A fluorinated cyclic ether, FDOL, is shown to stabilize Mg metal anodes by tuning Mg2+ solvation of the G2 electrolyte. The G2‐FDOL electrolyte suppresses passivation and thick, diffusion‐blocking Mg deposits, enabling more uniform Mg plating/stripping and sustained interfacial reactions.
Hafiz Ahmad Ishfaq   +9 more
wiley   +1 more source

In Situ Measurement of Oxygen Vacancy Dynamics and Surface Exchange Reactions in Oxide Electrode under Solid Electrochemical Cell Operating Conditions

open access: yesAdvanced Energy Materials, EarlyView.
This study establishes an in situ electrochemical framework using dense bulk electrodes to identify defect chemistry and surface kinetics. While oxygen vacancy concentration is derived via bias modulation, surface exchange coefficients are quantified at open circuit voltage conditions to isolate kinetics.
Taeyun Kim   +5 more
wiley   +1 more source

On Logical and Scientific Strength. [PDF]

open access: yesErkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

open access: yesJ Philos Logic, 2023
Bonzio S   +3 more
europepmc   +1 more source

Triboelectric Tactile Transducers for Neuromorphic Sensing and Synaptic Emulation: Materials, Architectures, and Interfaces

open access: yesAdvanced Energy and Sustainability Research, EarlyView.
Triboelectric nanogenerators are vital for sustainable energy in future technologies such as wearables, implants, AI, ML, sensors and medical systems. This review highlights improved TENG neuromorphic devices with higher energy output, better stability, reduced power demands, scalable designs and lower costs.
Ruthran Rameshkumar   +2 more
wiley   +1 more source

Algorithmic Methods for Non-Classical Logics

open access: yes
The scope of the dissertation is to define a deterministic version of the SQEMA algorithm, to show that it still succeeds on the two well-known classes of elementary modal formulas – the Sahlqvist and Inductive classes, and to show some modal and first-order definability results for two classes of Kripke frames, which are interesting in the area of ...
openaire   +1 more source

Home - About - Disclaimer - Privacy