Results 81 to 90 of about 778,103 (292)

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

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

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

On noncommutative extensions of linear logic [PDF]

Logical Methods in Computer Science, 2019
Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
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

Tree-Automatic Well-Founded Trees [PDF]

Logical Methods in Computer Science, 2013
We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-founded tree is strictly below omega^omega.
Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey   +3 more
doaj   +1 more source

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]

, 2015
We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch, Schlichtkrull, Anders, Villadsen, Jørgen   +2 more
core   +1 more source

Fuzzy Logic in Computer Science

, 2011
Many researchers and practitioners in the field of artificial intelligence (and intelligent systems in particular) want to make computers smart. Unlike computers, human beings have great capacities to deal with ill-defined concepts, e.g., natural language.
Radim Belohlavek, Rudolf Kruse, Christian Moewes   +2 more
openaire   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Rational Device Design and Doping‐Controlled Performance in Fast‐Response π‐Ion Gel Transistors

Advanced Functional Materials, EarlyView.
π‐Ion gel transistors (PIGTs) achieve extraordinary transconductance and stability through device configuration optimization, high‐mobility conjugated polymer selection, and hole scavenger doping. The optimized PIGTs maintain performance on flexible substrates, enabling printed, fast‐response, and wearable electronics.
Masato Kato, Soh Kushida, Nafees Umar Draz, Dan Kyotani, Emanuel Smarsly, Kyota Yoshinaga, Wenhao He, Uwe H. F. Bunz, Kazuhiro Marumoto, Tatsuya Mori, Yohei Yamamoto   +10 more
wiley   +1 more source