Results 61 to 70 of about 1,704,944 (274)

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

FIRST-ORDER MODAL LOGIC VIA LOGICAL CATEGORIES

The Journal of Symbolic Logic
41 ...
SILVIO GHILARDI, JÉRÉMIE MARQUÈS
openaire   +3 more sources

Logics of Statements in Context—First-Order Logic Files

Logics
Logics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”.
Uwe Wolter
doaj   +1 more source

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

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

Characterizing downwards closed, strongly first order, relativizable dependencies

, 2019
In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some first order sentence.
Galliani, Pietro
core   +1 more source

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

From Wafers to Electrodes: Transferring Automatic Optical Inspection (AOI) for Multiscale Characterization of Smart Battery Manufacturing

Advanced Functional Materials, EarlyView.
Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

Universal First-Order Logic is Superfluous for NL, P, NP and coNP [PDF]

Logical Methods in Computer Science, 2014
In this work we continue the syntactic study of completeness that began with the works of Immerman and Medina. In particular, we take a conjecture raised by Medina in his dissertation that says if a conjunction of a second-order and a first-order ...
Nerio Borges, Blai Bonet
doaj   +1 more source