Results 61 to 70 of about 375,050 (296)
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
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
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]
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
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]
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
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
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]
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
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
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

