Results 81 to 90 of about 3,261,962 (390)

Complementary Symmetry Nanowire Logic Circuits: Experimental Demonstrations and in Silico Optimizations [PDF]

, 2008
Complementary symmetry (CS) Boolean logic utilizes both p- and n-type field-effect transistors (FETs) so that an input logic voltage signal will turn one or more p- or n-type FETs on, while turning an equal number of n- or p-type FETs off.
Heath, James R., Kurtin, Juanita N., Sheriff, Bonnie A., Wang, Dunwei   +3 more
core   +1 more source

Recent Progress on 2D‐Material‐Based Smart Textiles: Materials, Methods, and Multifunctionality

Advanced Engineering Materials, EarlyView.
Advancements in 2D‐material‐integrated smart textiles are reviewed, with a focus on materials, fabrication methods, and multifunctional applications, including energy harvesting, monitoring, EMI shielding, energy storage, and thermal management. The discussion addresses key challenges and provides insights into the future development of next‐generation
Yong Choi, Jiheon Kim, Jaemin Lee, Xinqi Chen, Byungseok Seo, Wonjoon Choi   +5 more
wiley   +1 more source

A survey of paraconsistent logics [PDF]

arXiv, 2011
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and ...
arxiv  

Logic programming in the context of multiparadigm programming: the Oz experience

, 2002
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P, Duchier, D, Haridi, S., Henz, M, International Conference on Logic Programming, Schulte, C, Van Roy, Peter   +6 more
core   +2 more sources

Bioresorbable and Wireless Rechargeable Implanted Na‐ion Battery for Temporary Medical Devices

Advanced Functional Materials, EarlyView.
An all‐solid‐state bioresorbable Na‐ion battery is developed, composed entirely of bio‐eliminable materials. In vivo and ex vivo tests confirmed harmless disintegration of this implanted battery. Lifetime of the implanted battery can be precisely controlled by adjusting the dissolvable encapsulation layer's thickness.
Vedi Kuyil Azhagan Muniraj, Bincy Lathakumary Vijayan, Hussien Hammoud, Roger Delattre, Marc Ramuz, Eve Djenizian, Eleonora Vandini, Daniela Giuliani, Thierry Djenizian   +8 more
wiley   +1 more source

Propositional Mixed Logic: Its Syntax and Semantics [PDF]

Journal of Applied Non-Classical Logics 13 (2003) 377-390, 2009
In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics.
arxiv  

An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More [PDF]

arXiv, 2020
Recently, authors have proposed under-approximate logics for reasoning about programs. So far, all such logics have been confined to reasoning about individual program behaviours. Yet there exist many over-approximate relational logics for reasoning about pairs of programs and relating their behaviours. We present the first under-approximate relational
arxiv  

Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]

, 2017
In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo, Prieto-Sanabria, Leonardo   +1 more
core  

Logic in Hegel's Logic

, 2019
My dissertation concerns Hegel’s mature theoretical philosophy. I focus on the role of logic, meant here in a much more conventional sense of the term than is usually thought relevant to Hegel’s thought. I argue that Hegel’s main achievement in logic is to attempt a noncircular derivation of its laws and materials.
openaire   +3 more sources

Organic Permeable Base Transistors—Reliable Large‐Scale Anodization for High Frequency Devices

Advanced Functional Materials, EarlyView.
Electrochemical anodization is optimized for organic permeable base transistors (OPBTs), achieving an unprecedented 87% yield and reproducibility for vertical organic transistors (VOTs) on a 15 x 15 cm wafer. Controlled Al base oxidation ensures a median transconductance of 10−3 S, leakage current below 10−9 A, current gain of 106, and transit ...
Amric Bonil, Ghader Darbandy, Jan Frede, Moritz Flemming, Christian Matthus, Lautaro Petrauskas, Juan Wang, Kyung‐Geun Lim, Hans Kleemann   +8 more
wiley   +1 more source