Results 71 to 80 of about 10,008 (302)

Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures

Advanced Engineering Materials, EarlyView.
We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann, Ryan Kalgreen, Laura M. Comella   +2 more
wiley   +1 more source

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

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics

, 2010
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core  

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

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +1 more source

Smart New World

Quaderni di Sociologia, 2023
New Songdo City is one of the first smart cities built from scratch. It attracts scholarly attention primarily for its economic and political logics as a digital solution to planetary urbanization. Yet this emphasis on a progressive convergence towards a
Dominik Bartmanski, Seonju Kim, Martina Löw, Timothy Pape, Jörg Stollmann   +4 more
doaj  

Reasoning about Uncertain Information and Conflict Resolution through Trust Revision [PDF]

, 2013
Due to copyright restrictions, the access to the full text of this article is only available via subscription.In information driven MAS, information consumers collect information about their environment from various sources such as sensors.
Katia Sycara, Norman, Timothy J., Fokoue, A., Sycara, K., Sensoy, Murat, Pan, J. Z., Yuqing Tang, Norman, Timothy J, Sycara, Katia P, Norman, T. J., Tang, Yuqing, Nir Oren, Sycara, Katia, Pan, Jeff Z, Jeff Z. Pan, Achille Fokoue, Fokoue, Achille, Timothy J. Norman, Tang, Y., Oren, Nir, Pan, Jeff Z., Oren, N.   +21 more
core  

Generalizing the depth relevance condition: deep relevant logics not Included in R-Mingle [PDF]

[EN] Brady has shown how to define a class of deep relevant logics from Meyer’s crystal lattice CL. The aim of this paper is to generalize Brady’s result by showing how to define a class of deep relevant logics from each weak relevant matrix (weak ...
Robles Vázquez, Gemma, Méndez Rodríguez, José Manuel   +1 more
core   +1 more source

Multimodal Soft Surgical Robots Enabled by Eco‐Degradable, Sterilizable Polymers and Transient Electronics

Advanced Functional Materials, EarlyView.
A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe, 
Minseong Chae, Kyung‐Sub Kim, Gyeong‐Seok Hwang, Jun‐Seok Shim, Sung‐Woo Kim, Yong‐Wu Kim, Jieun Han, Jae‐Young Bae, Jae‐Hwan Lee, Minjung Chae, Jooik Jeon, Joo‐Hyeon Park, You‐Jung Park, Ju‐Yong Lee, Sung‐Geun Choi, Min‐Ha Oh, Yong‐Joong Shin, Young‐In Ryu, Ji‐Woo Gu, Seong‐Yu Choi, Jeong‐Yun Sun, Jung Keun Hyun, Myoung‐Ryul Ok, Sang Yup Kim, Edyta Wyszkowska, Ju‐Young Kim, Kang‐Sik Lee, Seung‐Kyun Kang   +27 more
wiley   +1 more source

Translations Between Linear and Tree Natural Deduction Systems for Relevant Logics

, 2021
Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics.
Standefer, S
core   +1 more source