Results 61 to 70 of about 140,069 (266)

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Reconfigurable Logic‐in‐Memory Operations Enabled by Triple‐Gated Feedback Field‐Effect Transistors for Area‐Efficient Computing

Advanced Engineering Materials, EarlyView.
A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol, Yunwoo Shin, Donghyung Lee, Dongki Kim, Kyoungah Cho, Sangsig Kim   +5 more
wiley   +1 more source

The First-Order Logical Environment [PDF]

, 2013
This paper describes the first-order logical environment FOLE. Institutions in general (Goguen and Burstall [4]), and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a rigorous and principled approach to distributed interoperable information systems via system ...
openaire   +1 more source

On the strictness of the quantifier structure hierarchy in first-order logic [PDF]

Logical Methods in Computer Science, 2014
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource.
Yuguo He
doaj   +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

First-Order Coalition Logic

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence
We introduce First-Order Coalition Logic (FOCL), which combines key intuitions behind Coalition Logic (CL) and Strategy Logic (SL). Specifically, FOCL allows for arbitrary quantification over actions of agents. FOCL is interesting for several reasons. First, we show that FOCL is strictly more expressive than existing coalition logics.
Davide Catta, Rustam Galimullin, Aniello Murano   +2 more
openaire   +2 more sources

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

Adding For-Loops to First-Order Logic [PDF]

Information and Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frank Neven, Martin Otto 0001, Jerzy Tyszkiewicz, Jan Van den Bussche   +3 more
openaire   +3 more sources

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

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source