Results 111 to 120 of about 6,184,151 (315)
A Vertically‐Stacked Optoelectronic Sensor for Localized Hemodynamics Monitoring
Advanced Functional Materials, EarlyView.This work introduces a hemodynamics monitoring sensor that features vertically stacked microLEDs and a heterogeneously integrated photodetector. The vertically stacked microLEDs enable localized measurements, and by designing the interoptode distance according to the depth of the target region, this vertically stacked optoelectronic sensor is ...
Taeyeon Lee +9 more
wiley +1 more source
Functional inductive logic programming with queries to the user [PDF]
, 1993 Francesco Bergadano, Daniele Gunetti
openalex +1 more source
Inductive Logic Programming in Answer Set Programming [PDF]
, 2012 In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.
Alessandra Russo +2 more
openaire +2 more sources
Flexible Optical Fiber Stress/Temperature Dual‐Mode Sensing Based on CaZnOS:Nd,Er
Advanced Functional Materials, EarlyView.Temperature and stress sensing based on flexible optical fibers may be the key to future artificial intelligence's perception of the world, here an optical fiber sensor capable of realizing such dual mode sensing is preliminary confirmed based on CaZnOS:Nd3+,Er3+.
Pan Zheng +12 more
wiley +1 more source
An Inductive Proof Method for Simulation-based Compiler Correctness [PDF]
arXiv, 2016 We study induction on the program structure as a proof method for bisimulation-based compiler correctness. We consider a first-order language with mutually recursive function definitions, system calls, and an environment semantics. The proof method relies on a generalization of compatibility of function definition with the bisimulation.
arxiv
Advanced Functional Materials, EarlyView.The TOC showcases the chemical structure of the emitter tCzBT2B as an “MVP athlete” in a stadium surrounded by. spotlights and cheering fans celebrating its impressive performance in organic light‐emitting diodes (OLEDs). The stats for this emitter and its device are detailed below.
Dongyang Chen +7 more
wiley +1 more source
AUTOMATICALLY EXPLORING HYPOTHESES ABOUT FAULT PREDICTION: A COMPARATIVE STUDY OF INDUCTIVE LOGIC PROGRAMMING METHODS [PDF]
, 1999 William W. Cohen, Prémkumar Dévanbu
openalex +1 more source
Advanced Functional Materials, EarlyView.Sulfur‐capped mesoporous PtPbBi nanosheets (S‐PtPbBi MNSs) with an alloy/intermetallic compound heterophase and inhomogeneous tensile strain (≈3%) were synthesized by a thiol modification strategy, which exhibited excellent electrocatalytic performance for ethylene glycol oxidation reaction (EGOR).
Fukai Feng +14 more
wiley +1 more source
Transductively Informed Inductive Program Synthesis [PDF]
arXivAbstraction and reasoning in program synthesis has seen significant progress through both inductive and transductive paradigms. Inductive approaches generate a program or latent function from input-output examples, which can then be applied to new inputs.
arxiv
Advanced Functional Materials, EarlyView.The role of ionomers is investigated in advancing cobalt‐based oxygen evolution catalysts in pure‐water anion exchange membrane electrolysers. Using in situ electrochemical analysis, ex situ material characterization, and membrane potential sensing, it is observed surface reconstruction at high currents and mitigated it via ionomer coating, achieving ...
Sanghwi Han +6 more
wiley +1 more source