Results 101 to 110 of about 375,050 (296)

Mimicking Synaptic Plasticity: Optoionic MoS2 Memory Powered by Biopolymer Hydrogels as a Dynamic Cations Reservoir

Advanced Functional Materials, EarlyView.
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong, Pietro Tordi, Adrián Tamayo, Bin Han, Massimo Bonini, Paolo Samorì   +5 more
wiley   +1 more source

A novel, efficient CNTFET Galois design as a basic ternary-valued logic field

Nanotechnology, Science and Applications, 2012
Peiman Keshavarzian1, Mahla Mohammad Mirzaee21Kerman Branch, Computer Engineering Department, Islamic Azad University, Kerman, Iran; 2Science and Research Branch, Computer Engineering Department, IA University, Kerman, IranAbstract: This paper presents ...
Keshavarzian P, Mirzaee MM
doaj  

Sombor Index in Neutrosophic Graphs [PDF]

Neutrosophic Sets and Systems
One of the most fundamental ideas in chemical graphs is topological indices. Numerous applications of the topological index, a wholly pictorial notion, may be found in the domains of nanotechnology, chemistry, materials science, medicines, and other ...
S.N. Gambhire, Masoud Ghods, Zahra Rostami   +2 more
doaj   +1 more source

Some modal logics based on a three-valued logic.

Notre Dame Journal of Formal Logic, 1988
In this paper three-valued versions of K, T, S4, and S5 are constructed. The language has propositional variables, a family of propositional connectives \(F_ i\), \(1\leq i\leq \beta\) \((F_ i\) is \(\alpha_ i\)-ary), and the modal operator \(\square\).
openaire   +3 more sources

Synthesis of Reversible Circuits from a Subset of Muthukrishnan-Stroud Quantum Realizable Multi-Valued Gates [PDF]

, 2004
We present a new type of quantum realizable reversible cascade. Next we present a new algorithm to synthesize arbitrary single-output ternary functions using these reversible cascades.
Denler, Nicholas, Kerntopf, Pawel, Perkowski, Marek, Yen, Bruce   +3 more
core   +1 more source

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 more
wiley   +1 more source

Decision-Making Modeling in Agro-Food Systems Using Type-2 Interval-Valued Linguistic Complex Neutrosophic Sets [PDF]

Neutrosophic Sets and Systems
Neutrosophic sets are a strong mathematical framework for representing decision-making uncertainty, ambiguity, and indeterminacy. They have three separate membership functions: truth (T), falsity (F), and indeterminacy.
R. K. Saini, Florentin Smarandache, Moh. Kasim , Ashik Ahirwar   +3 more
doaj   +1 more source

Liquid‐Locked Bassanites for Scalable Fabrication of High‐Temperature Micro‐Supercapacitors Working at 300 °C

Advanced Functional Materials, EarlyView.
A “liquid locking” strategy is proposed and implemented for scalable printing of crack‐free bassanite ceramic frameworks with interlocking microstructures to host ionic liquids as effective electrolytes for high‐temperature micro‐supercapacitors (HT‐MSCs).
Shiqian Chen, Zheng Li, Komal Gola, Gui Li, Ruiqi Chen, Jinhua Sun, Alexandr Talyzin, Jiantong Li   +7 more
wiley   +1 more source

Truth as a Mathematical Object

Principia: An International Journal of Epistemology, 2010
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj  

Runtime Verification of Temporal Properties over Out-of-order Data Streams

, 2017
We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost.
A Bauer, A Bauer, A Bauer, A Bauer, C Colombo, D Basin, D Basin, D Basin, H Barringer, J Ouaknine, O Maler, P Goidefroid, PO Meredith, R Alur, R Koymans, S Feng   +15 more
core   +1 more source