Results 91 to 100 of about 653,229 (328)

Resolution for Constrained Pseudo-Propositional Logic

CoRR, 2023
This work, shows how propositional resolution can be generalized to obtain a resolution proof system for constrained pseudo-propositional logic (CPPL), which is an extension resulted from inserting the natural numbers with few constraints symbols into the alphabet of propositional logic and adjusting the underling language accordingly.
openaire   +2 more sources

Atomic Layer Deposition in Transistors and Monolithic 3D Integration

Advanced Functional Materials, EarlyView.
Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu, Taoyu Zou, Cheng‐Yan Xu, Liang Zhen, Yang Li, Yong‐Young Noh   +5 more
wiley   +1 more source

The Significance of Informal Logic for Philosophy

Informal Logic, 2000
Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj   +1 more source

Comparison of three modelling approaches of potential natural forest habitats in Bavaria, Germany [PDF]

, 2005
In the context of the EU Habitats Directive, which contains the obligation of environmental monitoring, nature conservation authorities face a growing demand for effective and competitive methods to survey protected habitats.
Förster, Michael, Kleinschmit, Birgit, Walentowski, Helge   +2 more
core  

Linear Resolution for Fuzzy Logic Program

Journal of Japan Society for Fuzzy Theory and Systems, 1994
Summary: Fuzzy logic programming is the theoretical foundation of Fuzzy Prolog, which is a fuzzy programming language based on fuzzy logic. In this paper, fuzzy logic programming is defined such that (1) fuzzy definite clause which is a logic formula for a representation of uncertain assertion, (2) fuzzy logical consequence which is a fuzzy definite ...
Kikuchi, Hiroaki, Mukaidono, Masao
openaire   +3 more sources

Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler

Advanced Functional Materials, EarlyView.
Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun, Byeong Gwan Kim, Min Seo Kang, Ui Gwan Shin, Minjae Kim, Kiyung Kim, Hae‐Won Lee, Yongsu Lee, Byoung Hun Lee   +8 more
wiley   +1 more source

Clausal resolution in a logic of rational agency

Artificial Intelligence, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Clare Dixon, Michael Fisher 0001, Alexander Bolotov   +2 more
openaire   +4 more sources

Critical Role of Polymer Gate Dielectrics on the Charge Carrier Transport in Perovskite Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
Charge transport in 2D tin perovskite FETs is shown to be governed by dielectric interface behavior. Polar polymer dielectrics induce dipolar disorder that localizes carriers, whereas nonpolar polymers suppress trapping and enable superior charge transport, ensuring stable and reliable transistor operation. ABSTRACT Understanding the role of interfaces
Chongyao Li, Zhitian Ling, Pawel Czulkin, Paul W. M. Blom, Wojciech Pisula, Tomasz Marszalek   +5 more
wiley   +1 more source

Formation of Quasi‐Decoupling Interface on Li‐Metal Anodes in High Donor Electrolyte

Advanced Functional Materials, EarlyView.
Li‐metal anode (LMA) is stabilized by introducing Li2Te2 as an electrolyte additive for Li‐metal batteries. Upon contact with Li, Li2Te2 spontaneously converts to Li2Te, which electronically isolates Li from dimethyl sulfoxide due to its large bandgap and minimal Bader charge transfer.
Hyerim Kim, Sunggun Lim, Shivam Kansara, Jimin Park, Hyoju Lee, Hyokyeong Kang, Soohyung Park, Chihyun Hwang, Hansu Kim, Jang‐Yeon Hwang   +9 more
wiley   +1 more source

Dual‐Mode Magnetic Elastomer for On‐Demand Motion and Degradation

Advanced Functional Materials, EarlyView.
A dual‐mode magnetic elastomer is introduced, enabling DC field‐driven programmable actuation and AC field‐driven magnetothermal degradation. GHz‐range magnetic fields generate ultrafast heating of magnetic nanoparticles that activates cleavage of the silicone elastomer matrix.
Jieun Han, Hyun An, Min‐Ha Oh, Yu‐Lim Lee, Woojin Jeon, Kyung‐Sub Kim, Jae‐Hwan Lee, Seungmin Kang, Yoon‐Nam Kim, Ji‐Won Kang, Daewhan Kim, Min Sang Kwon, Sang‐Koog Kim, Seung‐Kyun Kang   +13 more
wiley   +1 more source