Results 51 to 60 of about 39,738 (264)

Propositional inquisitive logic: a survey [PDF]

Computer Science Journal of Moldova, 2016
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj  

Tabular Intermediate Logics Comparison

Tabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset $\mathbb{P}$, let $L(\mathbb{P})$ denote the corresponding tabular intermediate logic. We investigate the complexity of the following decision problem $\mathsf{LogContain}$: given two finite posets $\mathbb P$ and $\mathbb Q$, decide
Paweł Rzążewski, Michał Stronkowski
openaire   +2 more sources

Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules

Advanced Functional Materials, EarlyView.
A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source

Light‐Induced Radix Modulation and Optoelectronic Synaptic Properties in Ternary‐Logic Devices

Small Structures
Multivalued logic (MVL) devices overcome the limitations of binary computing. However, their complex structures and complementary metal–oxide semiconductor (CMOS) incompatibility pose considerable challenges.
Chohyeon Park, Jung Wook Lim
doaj   +1 more source

Optimizing the Selection of Intermediate Charging Stations in EV Routing Through Neuro-Fuzzy Logic

IEEE Access
We propose a comprehensive Electric Vehicle (EV) routing algorithm to find the optimal set of intermediate charging stations (CSs) present between a given source and destination.
S. Priya, R. Radha, P. Anandha Prakash, R. Nandhini   +3 more
doaj   +1 more source

Local and nonlocal spin Seebeck effect in lateral Pt–Cr2O3–Pt devices at low temperatures

APL Materials, 2021
We have studied thermally driven magnon spin transport (spin Seebeck effect, SSE) in heterostructures of antiferromagnetic α-Cr2O3 and Pt at low temperatures. Monitoring the amplitude of the local and nonlocal SSE signals as a function of temperature, we
Prasanta Muduli, Richard Schlitz, Tobias Kosub, René Hübner, Artur Erbe, Denys Makarov, Sebastian T. B. Goennenwein   +6 more
doaj   +1 more source

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Computable Kripke Models and Intermediate Logics

Information and Computation, 1998
In the paper under review the authors investigate effectiveness of Kripke models for first-order theories of intermediate logics, i.e. those that lie between intuitionistic and classical predicate logic. Completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic ...
Ishihara, Hajime, Khoussainov, Bakhadyr, Nerode, Anil   +2 more
openaire   +1 more source

Asymmetric Contact Engineering for Bottleneck‐Free Transport in 2D MoS2 Field‐Effect Transistor

Advanced Functional Materials, EarlyView.
Performance of 2D semiconductor transistors is limited by carrier transport bottlenecks arising from specific device geometries. By identifying this structural limitation, a bottleneck‐free asymmetric transistor architecture (BATA) is introduced to improve carrier transport.
Jinhyeok Pyo, Junsung Byeon, Jungmoon Lim, Sohyeon Park, Sungsan Kang, Byeongchan Kim, Gyuhwi Jeong, Haerim Kim, Bongjun Kim, SeungNam Cha, Sangyeon Pak   +10 more
wiley   +1 more source

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Karl Jonas Riisnaes, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source