Results 71 to 80 of about 1,072,805 (301)
Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips
Advanced Functional Materials, EarlyView.This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee +16 more
wiley +1 more source
Boolean basis, formula size, and number of modal operators [PDF]
Logical Methods in Computer ScienceIs it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz +2 more
doaj +1 more source
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source
Notre Dame Journal of Formal Logic, 1994 The core idea of vector logic is to represent the classical truth values \(W\), \(F\) as two linearly independent vectors \(a_ 1\), \(a_ 2\) of some real vector space, and to represent truth functions by matrices. This idea is first extended to the many-valued case in taking the convex hull of \(\{a_ 1, a_ 2\}\) as set of truth degrees.
openaire +4 more sources
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +1 more source
, 2007 Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent.
Krister, Segerberg, Lindström, Sten,
core
On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]
, 2013 This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic
Bulletin of the Section of LogicJaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska +2 more
doaj +1 more source
Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games. [PDF]
, 2013 There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification ...
GATE, JAMES,SIMON
core