Results 51 to 60 of about 1,125,186 (250)
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
A simple modal logic for belief revision [PDF]
We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule.
Giacomo Bonanno
core +2 more sources
A Note on the Number of Subnormal Modal Logics
Bulletin of the Section of LogicIn the article we discuss the notion of a subnormal modal logic and, in particular, the notion of an intermediate subnormal modal logic. The goal of the article is to determine the cardinality of the set of all intermediate subnormal modal logics.
Patryk Michalczenia
doaj +1 more source
Advanced Functional Materials, EarlyView.This review revisits optoelectronic neuromorphic devices that extend from unimodal sensing toward multimodal perception. Five types of stimuli‐to‐output information flow that are classified based on the device roles within the system and applications are summarized and discussed.
Jihyun Shin +6 more
wiley +1 more source
Advanced Functional Materials, EarlyView.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
A Modal Logic of Supervenience [PDF]
Notre Dame Journal of Formal Logic, 2019 29 ...
openaire +4 more sources
, 2000 KLAIM is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. The language relies on the use of explicit localities, and on allocation environments that associate logical localities to physical sites.
DE NICOLA, ROCCO, LORETI, MICHELE
openaire +4 more sources
Journal for the History of Analytical PhilosophyModal logic is widely used in computer science, linguistics, and other disciplines. But how could this have happened? Didn’t W. V. Quine destroy modal logic halfway through the twentieth century—at least as something that any naturalist or empiricist ...
Maria de Ponte, Kepa Korta, John Perry
doaj +1 more source
Bio‐Inspired Artificial Ionic Mechanoreceptor
Advanced Functional Materials, EarlyView.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
Modal Extensions of Abelian Logic [PDF]
, 2018 This thesis studies the semantics and proof theory of modal extensions of abelian ...
Schnüriger, Laura Janina
core