Results 111 to 120 of about 133,077 (308)
Correction to: Inductive linearization for binary quadratic programs with linear constraints [PDF]
, 2021 Sven Mallach
openalex +1 more source
Advanced Functional Materials, EarlyView.Ni1‐Bi1 dual‐atom dopants are achieved for activating Ru lattices without blocking noble atoms. This model exhibits an ultralow overpotential of 11.4 mV and superb stability at 10 mA cm−2 toward hydrogen evolution reaction, enabling a proton exchange membrane water electrolyzer that needs only 2.233 V to reach 3.0 A cm−2 and operates stably at 1.0 A cm−
Shuiping Luo +17 more
wiley +1 more source
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs [PDF]
, 2021 Roman Andriushchenko +4 more
openalex +1 more source
Advanced Functional Materials, EarlyView.The facet‐engineered ZnO/Zn3In2S6 heterostructure, dominated by {001} plane coupling, exposes abundant unsaturated Zn sites with elongated Zn─O bonds, directing photoexcited charge carriers along an S‐scheme pathway and suppressing recombination. Enhanced interfacial Zn adsorption toward bisphenol A and methylene blue further synergistically promotes ...
Yang Yang +6 more
wiley +1 more source
Inductive equivalence in clausal logic and nonmonotonic logic programming [PDF]
, 2010 Chiaki Sakama, Katsumi Inoue
openalex +1 more source
The connectionist inductive learning and logic programming system [PDF]
, 1999 Garcez, A., Zaverucha, G.
core +1 more source
Sustainable Catalyst‐Free PLG Networks: Recyclability, Biodegradability, and Functional Performance
Advanced Functional Materials, EarlyView.A catalyst‐additive free covalent adaptable network is developed from star‐shaped poly(lactide‐co‐glycolide) cross‐linked with pyromellitic dianhydride, enabling internal carboxylic acid‐driven transesterification. The resulting biodegradable network exhibits mechanical robustness (Young's modulus ≈1.6 GPa), complete recyclability, rapid biodegradation
Lars Schwarzer +2 more
wiley +1 more source
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018 [PDF]
, 2019 Nicolas Lachiche +4 more
openalex +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 +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Here, a biointerface membrane engineered with site‐specific interfacial properties is developed. During implantation between gingival and bone defect, the membrane creates a pro‐osteogenic microenvironment, precisely modulates cellular activities at each biointerface, and facilitates the orchestration of complex healing events, ultimately leading to ...
Yuwei Zhu +13 more
wiley +1 more source