Results 231 to 240 of about 575,998 (339)

Reliably In‐Memory Ternary Stateful Logic Computing Based on Tri‐State Memristors with High On/Off Ratio

Advanced Electronic Materials, EarlyView.
A tri‐state Ag/Al2O3/Ta2O5/Pt memristor is introduced to in‐memory stateful logic circuits. The stepped I–V characteristics enable the experimental implementations of the ternary logic gates in a crossbar array. The decoder function is demonstrated using cascaded ternary NOT and NOR gates.
Junqi You, Yihong Hu, Dongliang Yang, Yinan Lin, Weifan Meng, Nuo Xu, Linfeng Sun   +6 more
wiley   +1 more source

Memristive ternary Łukasiewicz logic based on reading-based ratioed resistive states (3R). [PDF]

Philos Trans A Math Phys Eng Sci
Liu F, Brackmann L, Zhao X, Du N, Waser R, Menzel S.   +5 more
europepmc   +1 more source

Semantics of Horn and disjunctive logic programs

, 1991
Jorge Lobo, Arcot Rajasekar, Jack Minker
openalex   +1 more source

Logic programming and databases [PDF]

, 1991

openalex   +1 more source

Heterogeneity of the Dominant Causes of Performance Loss in End‐of‐Life Cathodes and Their Consequences for Direct Recycling

Advanced Energy Materials, EarlyView.
Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil, Francois L.E. Usseglio‐Viretta, Xiaofei Pu, Paul Gasper, Nikita Dutta, Evelyna Wang, Eva Allen, John S. Mangum, Nathaniel Sunderlin, Kae Fink, Jeffery M. Allen, Peter J. Weddle, Steven C. DeCaluwe, Donal P. Finegan   +13 more
wiley   +1 more source

The Stable Models of a Predicate Logic Program

, 1994
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel   +2 more
openalex   +1 more source

Compositional analysis of modular logic programs [PDF]

, 1993
Michael Codish, Saumya Debray, Roberto Giacobazzi   +2 more
openalex   +1 more source

Alternative Solid‐State Synthesis Route for Highly Fluorinated Disordered Rock‐Salt Cathode Materials for High‐Energy Lithium‐Ion Batteries

Advanced Energy Materials, EarlyView.
This work presents a tailored solid‐state route to enhance DRX fluorination and electrochemical performance. Using unconventional precursors, Li6MnO4, MnF2, and TiO2, prevents Mn‐based intermediates, which do not accommodate fluorines, enabling the formation of highly fluorinated DRX with a composition of Li1.23Mn0.40Ti0.37O2−yFy (y = 0.29–0.34 ...
Venkata Sai Avvaru, Tianyu Li, Gi‐Hyeok Lee, Young‐Woon Byeon, Krishna Prasad Koirala, Otavio Jovino Marques, Bernardine L. D. Rinkel, Yanbao Fu, David Milsted, Seonghun Jeong, Nathan J. Szymanski, Martin Kunz, Finn Babbe, Eunryeol Lee, Vincent Battaglia, Bryan D. McCloskey, Johanna Nelson Weker, Chongmin Wang, Wanli Yang, Raphaële J. Clément, Haegyeom Kim   +20 more
wiley   +1 more source

Structuring logic programs: a modal approach

, 1994
Laura Giordano, Alberto Martelli
openalex   +1 more source

The expressive powers of the logic programming semantics (extended abstract) [PDF]

, 1990
John S. Schlipf
openalex   +1 more source