Results 81 to 90 of about 93,680 (316)
Advanced Functional Materials, EarlyView.This work establishes a general theory of the current transient of ionic‐electronic transistors under a step of gate voltage. The dominant effect is a transient charging of the channel by diffusion of ions. The additional influence of electrolyte capacitance and resistance splits the fundamental time constant of diffusion into two different components.
Juan Bisquert, Nir Tessler
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
Advanced Functional Materials, EarlyView.The electrocatalytic activity and stability of CoNiFeCu (1:1:1:0.5) toward glycerol and solketal electrooxidation are strongly impacted by the electrolyte composition used during the catalyst activation. Solketal tends to inhibit oxyhydroxide formation and suppresses Cu leaching, leading to increased activity while also supporting increased production ...
Jian Zhang +7 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
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
Advanced Functional Materials, EarlyView.This paper introduces a flexible neural probe with integrated micro‐OLEDs on a flexible substrate for the first time, featuring 8 micro‐OLEDs and recording electrodes for optogenetics. It uses advanced encapsulation and an IAI anode for durability, emitting 470 nm light for ChR2 activation, enabling high‐resolution, minimally invasive stimulation ...
Somin Lee +8 more
wiley +1 more source
, 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, EarlyView.The oxygen spillover from Ir to the oxide support with interfacial oxygen vacancies during OER is revealed. These interfacial oxygen vacancies as an oxygen transport zone not only regulate the in situ Ir catalytic structure toward boosted activity but also suppress Ir over‐oxidation via directional OH‐filling effects, thereby ensuring overall high ...
Yu Zhu +11 more
wiley +1 more source
Optimized Program Extraction for Induction and Coinduction [PDF]
, 2018 We prove soundness of an optimized realizability interpretation for a logic supporting strictly positive induction and coinduction. The optimization concerns the special treatment of Harrop formulas which yields simpler extracted programs. We show that wellfounded induction is an instance of strictly positive induction and derive from this a new ...
Berger, Ulrich, Petrovska, Olga
openaire +1 more source
Advanced Functional Materials, EarlyView.Carboxyl‐functionalized graphene quantum dots (cGQDs) exhibit high singlet oxygen quantum yield due to strong spin–orbit coupling. cGQDs achieve minimum bactericidal concentration of only 0.4 µg mL−1 against S. aureus under low‐intensity illumination.
Muhammad Hassnain +10 more
wiley +1 more source