Results 121 to 130 of about 3,702,791 (303)
Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2
A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko +7 more
wiley +1 more source
Disorder‐Broadened Topological Hall Phase and Anomalous Hall Scaling in FeGe
By systematically introducing defects into FeGe via ion‐beam modification, we demonstrate that disorder broadens the temperature regime over which the topological Hall effect ‐ a signature of skyrmions or other chiral textures — appears, while also increasing its magnitude.
Chaman Gupta +11 more
wiley +1 more source
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Bio‐Inspired Artificial Ionic Mechanoreceptor
A skin‐inspired artificial mechanoreceptor based on ionic interactions is presented for biomimetic tactile sensing. Pressure‐driven ionic redistribution within microfluidic channels generates a self‐powered electrical signal without external bias. The generated waveform exhibits mechanoreceptor‐like temporal features, including overshoot and undershoot,
Mohammad Akbari +4 more
wiley +1 more source
Grouping based calculus for propositional linear temporal logic
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj +1 more source
Probabilistic logic programming with multiplicative modules
International audienceThis paper illustrates a simple idea on how to interpret undecompsable generalized multiplicative modules of linear logic as probabilistic methods of a logic prgramming language.
Maieli, Roberto, Maieli R.
core
Bulk‐Like Spin Cycloid and Fast Switching in Freestanding BiFeO3
Freestanding BiFeO3 membranes overcome substrate‐induced constraints by simultaneously restoring the intrinsic bulk‐like spin cycloid and enabling ≈50% faster ferroelectric switching than substrate‐clamped epitaxial thin films. This combination of robust noncollinear antiferromagnetic order and efficient electric‐field switching establishes ...
Pratap Pal +12 more
wiley +1 more source
Decidability of linear affine logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Modalities in medieval logic [PDF]
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core +20 more sources
Inspired by skeletal muscles’ precision and endurance, CoilLCE integrates a self‐sensing liquid crystal elastomer/graphene artificial muscle with an embedded Joule‐heating copper coil, enabling closed‐loop multistage actuation with programmable intermediate states (strain accuracy of 2%), and antagonistic coordination (32% total strain). These features
Ziyun Zhang +9 more
wiley +1 more source

