Results 71 to 80 of about 140,069 (266)
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source
Ordered fragments of first-order logic
CoRR, 2021 <p>Using a recently introduced algebraic framework for classifying fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions. </p>
openaire +5 more sources
Electro‐Steric Ion Confinement in Polyelectrolyte Networks for Robust Nonvolatile Artificial Synapse
Advanced Functional Materials, EarlyView.Polyelectrolyte stoichiometry governs ion transport and retention in electrolyte‐gated synaptic transistors. A PSS‐rich network creates electro‐steric ion confinement that suppresses ion back‐diffusion and stabilizes channel doping, enabling robust nonvolatile synaptic memory, linear weight updates, and low‐energy operation.
Donghwa Lee +9 more
wiley +1 more source
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic
TechnologiesThe increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad +8 more
doaj +1 more source
Markov Logic Based Inference Engine for CDSS [PDF]
Mehran University Research Journal of Engineering and Technology, 2017 CDSS (Clinical Decision Support System) is typically a diagnostic application and a modern technology that can be employed to provide standardized and quality medical facilities to the medical patients especially when expert doctors are not available ...
IMRAN SARWAR BAJWA +2 more
doaj
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
International Journal of Computational Intelligence Systems, 2020 At present, most of the first-order logic theorem provers use a binary-resolution method, which can effectively solve the general first-order logic problems to a certain extent.
Jian Zhong, Yang Xu, Feng Cao
doaj +1 more source
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source
30th Annual Symposium on Foundations of Computer Science, 1989 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ajtai, Miklos, Gurevich, Yuri
openaire +3 more sources
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
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