Results 171 to 180 of about 8,631,344 (363)
A deductive-reductive form of logic: General theory and intuitionistic case
, 2004 Piotr Łukowski
openalex +2 more sources
RASP: A General Logic Synthesis System for SRAM-Based FPGAs
Fourth International ACM Symposium on Field-Programmable Gate Arrays, 1996 J. Cong, John Peck, Yuzheng Ding
semanticscholar +1 more source
Brain‐Inspired In‐Memory Data Pruning and Computing with TaOx Mem‐Selectors
Advanced Materials, EarlyView.In article number 2502168, Zhongrui Wang, Xiaoxin Xu, Dashan Shang, and co‐workers present the first nanoscale Mem‐Selector device that integrates both nonvolatile resistive memory and volatile threshold switching functionalities for visual data pruning.
Yi Li +15 more
wiley +1 more source
Large language model guided automated reaction pathway exploration. [PDF]
Commun ChemChen R +6 more
europepmc +1 more source
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach
, 2005 Yi-Dong Shen, Danny De Schreye
openalex +2 more sources
Finitary Partial Inductive Definitions as a General Logic
Extensions of Logic Programming, 1993 L. Eriksson
semanticscholar +1 more source
Unperceivable Designs of Wearable Electronics
Advanced Materials, EarlyView.Unperceivable wearable technologies seamlessly integrate into everyone's daily life, for healthcare and Internet‐of‐Things applications. By remaining completely unnoticed both visually and tactilely, by the user and others, they ensure medical privacy and allow natural social interactions.
Yijun Liu +2 more
wiley +1 more source
Controlling AGV While Docking Based on the Fuzzy Rule Inference System. [PDF]
Sensors (Basel)Grzechca D +5 more
europepmc +1 more source
The nature of Formal Reasoning among Ghanaian Basic School pupils in General Science Logic Tasks
, 2008 MK Amedeker +1 more
openalex +2 more sources