Results 131 to 140 of about 6,301,735 (343)

The connectionist inductive learning and logic programming system [PDF]

, 1999
Garcez, A., Zaverucha, G.
core   +1 more source

Inductive equivalence in clausal logic and nonmonotonic logic programming [PDF]

, 2010
Chiaki Sakama, Katsumi Inoue
openalex   +1 more source

Correction to: Inductive linearization for binary quadratic programs with linear constraints [PDF]

, 2021
Sven Mallach
openalex   +1 more source

Copper Single‐Atom Decorated Microfibrous Catalysts for Continuous‐Flow Reduction of Nitroarenes

Advanced Functional Materials, EarlyView.
Herein, a Cu‐single‐atom decorated, microfibrous catalyst (Cu1/CMF) is fabricated for chemoselective reduction of nitroarenes, demonstrating a superior processing capacity of 1.92 mmol mgcat−1 h−1 and superior durability (≥ 25 cycles) in a continuous‐flow manner.
Jiahan Zhao, Yingshuang Li, Zhuoyuan Bi, Guanwu Lian, Guokang Chen, Pei Liu, Yuan Meng, Fangrun Jin, Xiaoxu Zhao, Zhonghua Li, Jianyong Feng, Jiangbo Xi, Zhongxin Chen   +12 more
wiley   +1 more source

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +1 more source

Inductive programming meets the real world

Communications of the ACM, 2015
Sumit Gulwani, J. Hernández-Orallo, E. Kitzelmann, S. Muggleton, Ute Schmid, B. Zorn   +5 more
semanticscholar   +1 more source

Stretchable p/n‐Pair Thermoelectric Fibers Based on Core (Ag)–Shell (Ag2Se) Structure for Wearable Electronics

Advanced Functional Materials, EarlyView.
Stretchable p/n‐pair Ag@Ag2Se TE fibers are developed for next‐generation fiber‐based electronics. The TE fibers maintain excellent electrical conductivity and a high Seebeck coefficient under strain. Integrated into textiles, they enable simultaneous temperature and strain sensing, as well as energy harvesting, offering great potential for ...
Chaebeen Kwon, Sanghyeon Lee, Sungjoon Cho, Chihyeong Won, Byeonggwan Kim, Kyung‐In Jang, Taeyoon Lee   +6 more
wiley   +1 more source

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

IEEE Access
This article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj   +1 more source

Compact Representation of Knowledge Bases in Inductive Logic Programming [PDF]

, 2004
Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel   +4 more
openalex   +1 more source

Self‐Reconstruction of Dual‐Morphology Copper‐Iron Selenides for Cost‐Effective Oxygen Evolution Toward Industrial Alkaline Water Splitting

Advanced Functional Materials, EarlyView.
Departing from conventional Ni/Co‐based catalysts, this work presents a Ni/Co‐free CuFe–Se/CFF electrocatalyst with nanoblock–nanorod morphology. It delivers 1000 mA cm−2 at 330 mV overpotential and 620 h stability for the oxygen evolution reaction (OER).
Jiajun Wang, Jianjiang Zhao, Jiajun Zhang, Fei Wang, Tongtong Li, Ruixiang Ren, Yunmin Chen, Hua Wei   +7 more
wiley   +1 more source