Results 71 to 80 of about 6,184,151 (315)
Bioresorbable and Wireless Rechargeable Implanted Na‐ion Battery for Temporary Medical Devices
Advanced Functional Materials, EarlyView.An all‐solid‐state bioresorbable Na‐ion battery is developed, composed entirely of bio‐eliminable materials. In vivo and ex vivo tests confirmed harmless disintegration of this implanted battery. Lifetime of the implanted battery can be precisely controlled by adjusting the dissolvable encapsulation layer's thickness.
Vedi Kuyil Azhagan Muniraj +8 more
wiley +1 more source
Learning functional programs with function invention and reuse [PDF]
arXiv, 2020 Inductive programming (IP) is a field whose main goal is synthesising programs that respect a set of examples, given some form of background knowledge. This paper is concerned with a subfield of IP, inductive functional programming (IFP). We explore the idea of generating modular functional programs, and how those allow for function reuse, with the aim
arxiv
, 2007 We investigate using the Mercury language to implement and design ILP algorithms, presenting our own ILP system IMP . Mercury provides faster execution than Prolog. Since Mercury is a purely declarative language, run-time assertion of induced clauses is prohibited.
Fisher, Barnaby, Cussens, James
openaire +3 more sources
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.Protonic ceramic fuel cells offer a promising route to generate power efficiently but face critical challenges in achieving industrially viable activity and stability at their cathodes in CO2‐containing air. This report proposes a new cathode material design strategy to enable the cathode to be both catalytically active and CO2 tolerant through the ...
Desheng Feng +14 more
wiley +1 more source
Incorporating Inductions and Game Semantics into Logic Programming [PDF]
arXiv, 2015 Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic programming. Adopting game semantics can make logic programming more interactive. In this paper, we propose an execution model for a logic language with these features.
arxiv
E-Generalization Using Grammars [PDF]
, 2017 We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core
Time‐Controlled Dual Targeting to Program Systemic and Intercellular Transfer of Therapeutic Effects
Advanced Functional Materials, EarlyView.Aspirin‐liposomes loaded onto monocytes enable inflammation‐triggered targeting and efficient hand‐over of aspirin to inflamed cells. Monocytes uptake a significant portion of aspirin‐liposomes, prolonging therapeutic action. This approach enhances anti‐inflammatory effects through intercellular transfer, demonstrating a translational strategy for ...
Seung Eun Yu +6 more
wiley +1 more source
Neural Program Meta-Induction [PDF]
arXiv, 2017 Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output mapping. This paper aims to address the problem of data and computation efficiency of program induction by leveraging information from related tasks. Specifically, we propose
arxiv
Advanced Functional Materials, EarlyView.A W‐doped cobalt pentlandite electrocatalyst with sulfur vacancies is synthesized, guided by DFT calculations, which modifies the d‐band center, promoting oxygen intermediate desorption and lowering the *O generation energy barrier, thus enhancing catalytic activity.
Ning Liu +8 more
wiley +1 more source
Diffy: Inductive Reasoning of Array Programs using Difference Invariants [PDF]
arXiv, 2021 We present a novel verification technique to prove interesting properties of a class of array programs with a symbolic parameter N denoting the size of arrays. The technique relies on constructing two slightly different versions of the same program. It infers difference relations between the corresponding variables at key control points of the joint ...
arxiv