Results 61 to 70 of about 375,050 (296)

Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors

open access: yesAdvanced Functional Materials, EarlyView.
2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang   +4 more
wiley   +1 more source

Um novo sistema de axiomas para a l´ogica paraconsistente J3

open access: yesCQD Revista Eletrônica Paulista de Matemática, 2022
We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.
H´ercules de Araujo Feitosa   +2 more
doaj  

An extrinsic function-level evolvable hardware approach [PDF]

open access: yes, 2000
The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in first time. The new representation of logic gate in extrinsic EHW allows us to describe behaviour of any multi-input
Kalganova, T
core   +3 more sources

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

open access: yesAdvanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone   +11 more
wiley   +1 more source

A Complete Axiomatization of the Three valued Completion of Logic Programs [PDF]

open access: yes, 2017
We prove the completeness of extended SLDNF-resolution for the new class of e-programs with respect to the three-valued completion of a logic program.
STÄRK, ROBERT F.
core  

Prospects of Electric Field Control in Perpendicular Magnetic Tunnel Junctions and Emerging 2D Spintronics for Ultralow Energy Memory and Logic Devices

open access: yesAdvanced Functional Materials, EarlyView.
Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp   +7 more
wiley   +1 more source

The Psychology of Uncertainty and Three-Valued Truth Tables

open access: yesFrontiers in Psychology, 2018
Psychological research on people's understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the ...
Jean Baratgin   +4 more
doaj   +1 more source

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories [PDF]

open access: yes, 2019
In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combined with other conditions (often via Boolean combinators) to form new ...
Kaarsgaard, Robin
core   +2 more sources

Investigation of the Effects of Strain and Electric Field on the Spin‐State Energetics of Co‐Doped BaTiO3 and PbTiO3

open access: yesAdvanced Functional Materials, EarlyView.
Ab initio calculations using the r2SCAN functional show that biaxial strain does not alter the high spin preference of cobalt‐doped BaTiO3 and PbTiO3; a small compressive uniaxial strain however results in an equally favorable low spin state for BaTiO3 and thus bistable magnetism.
Oliver J. Conquest   +3 more
wiley   +1 more source

Aristotle’s Sea Battle, Excluded Middle and Bivalence

open access: yesPrincipia: An International Journal of Epistemology
In this paper, I present a formal reconstruction of the classical argument for fatalism set forth by Aristotle in On Interpretation 9. From there, I expose two different formal solutions for avoiding the unwanted conclusion based on the traditional ...
Alba Massolo
doaj   +1 more source

Home - About - Disclaimer - Privacy