Results 131 to 140 of about 6,127,131 (339)

An Introduction to Programming and Proving with Dependent Types in Coq

Journal of Formalized Reasoning, 2010
Computer proof assistants vary along many dimensions. Among the mature implementations, the Coq system is distinguished by two key features. First, we have support for programming with dependent types in the tradition of type theory, based on dependent ...
Adam Chlipala
doaj  

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, Emil Lupu, Domenico Corapi   +2 more
openaire   +2 more sources

Tuning the Hydrogen Bond Network Inside the Helmholtz Plane for Industrial Hydrogen Evolution

Advanced Functional Materials, EarlyView.
The hydrogen bond network within the Helmholtz plane, a key component affecting the hydrogen evolution kinetics, remains far from having a consensus owing to the lack of fundamental understanding. Herein, it is discovered that the introduction of the atomic electric field generated by the weak Ru─Ga bonds can further improve the proportion of 4 ...
Xinyu Chen, Bianjing Sun, Qun Song, Zengbin Wang, Chenchen Qin, Muhammad Amjad Majeed, Chuntao Chen, Dongping Sun, Kai Zhang, Ming Zhao   +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

Self‐supportive Three‐Way Photoelectrochemical System Achieving Uranium Recycling, Organic Oxidation, and Electricity Generation in Complex Waters

Advanced Functional Materials, EarlyView.
A self‐sustaining solar photoelectrochemical cell (SS‐PEC) is developed to recover uranium from aqueous UO22+ with concurrent organic oxidation and electricity production. The monolithical photoanode directly captures electrons from organic compounds, leading to the oxidation of organic compounds and the decomposition of uranium‐organic complexes ...
Yumei Wang, Qingming Zeng, Haodong Ji, Rongzhong Wang, Jiachen Wang, Yanjun Wen, Wonyong Choi, Qingyi Zeng   +7 more
wiley   +1 more source

The importance of key population community engagement and empowerment in HIV programming: insights from a global survey with local implementing partners

Journal of Global Health Reports, 2020
# Background Community engagement and empowerment are critical components of HIV programming, especially for key population communities affected by HIV, and are increasingly considered determinants of readiness for a locally financed and managed ...
Amita Mehrotra, Dirk A Davis, Emily Evens, Brian White, Rose Wilcher   +4 more
doaj   +1 more source

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, Jieun Jung, Hyeongoh Park, Dongwuk Jung, Doyune Kim, Changeui Hong, Seungbeom Kang, Hyunsoo Kim, Tae Kim, Jongho Lee   +9 more
wiley   +1 more source

Scientific knowledge discovery using inductive logic programming [PDF]

, 1999
Stephen Muggleton
openalex   +1 more source

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, Yao Xiao, Puxian Xiong, Sijie Su, Anping Yang, Xuesong Wang, Shengbin Xu, Peishan Shao, Zhiyao Zhou, Sheng Wu, Enhai Song, Jiulin Gan, Dongdan Chen   +12 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