Results 61 to 70 of about 6,088,727 (313)

Logic programming, functional programming, and inductive definitions [PDF]

, 2006
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Andrew W. Smith, Lawrence C. Paulson
openaire   +3 more sources

Ionic Metal Poly(heptazine Imides) and Single‐Atoms Interplay: Engineered Stability and Performance for Photocatalysis, Photoelectrocatalysis and Organic Synthesis

Advanced Functional Materials, EarlyView.
Poly(heptazine) imides (PHIs), a crystalline carbon nitride subclass, intercalate metals to deliver high stability, tunable electronics, and efficient charge separation. These features enable solar‐driven applications such as hydrogen evolution, CO₂ reduction, and organic synthesis.
Gabriel A. A. Diab, Izadora F. Reis, Chong Wang, Diandra Barreto, Oleksandr Savateev, Ivo F. Teixeira, Pablo Jiménez‐Calvo   +6 more
wiley   +1 more source

Knowledge Refactoring for Inductive Program Synthesis

Proceedings of the AAAI Conference on Artificial Intelligence, 2021
Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a machine learning system similar abilities so that it can learn more efficiently. We introduce the knowledge refactoring problem, where the goal is to restructure a learner's knowledge base to reduce its size and to minimise redundancy in it.
Dumancic, S, Guns, T, Cropper, A
openaire   +3 more sources

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

Engineering Porous Hollow Metal‐Poly(Heptazine Imide) Spheres: An Optimized Synthetic Strategy for Controlling Surface, Morphology, and Properties

Advanced Functional Materials, EarlyView.
Hollow poly(heptazine imide) spheres are prepared through a novel approach that integrates hard templating with ionothermal synthesis. This method enables precise control over surface area, pore volume, hydrophilicity, light absorption, band position, and metal composition. These tunable properties facilitate the customized design of semiconductors for
Lingli Ni, Erik Troschke, Henrik Vorwerk, Shiva Shahbazi Avarvand, Andreas Stihl, Nadzeya Brezhneva, Marius Hermesdorf, Desirée Leistenschneider, Felix H. Schacher, Jacob Schneidewind, Martin Oschatz   +10 more
wiley   +1 more source

XAI Human-Machine collaboration applied to network security

Frontiers in Computer Science
Cyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle, Andrew Martin, Nicholas Allott   +2 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

Endocytic Programming via Porous Silicon Nanoparticles Enhances TLR4 Nanoagonist Potency for Macrophage‐Mediated Immunotherapy

Advanced Functional Materials, EarlyView.
Porous silicon nanoparticles (PSiNPs) reprogram macrophage endocytosis of manganese@albumin‐based TLR4 nanoagonists, driving TRIF‐biased TLR4 signaling, eliciting robust proinflammatory responses, and potentiating macrophage‐mediated immunotherapeutic effects against NSCLC.
Xiaomei Zhang, Huiying Li, Shuodan Huang, Linxuan Zhang, Yan Gao, Ruoran Wang, Xiaoyu Wang, Hélder A. Santos, Zhenyu Yin, Bing Xia   +9 more
wiley   +1 more source

Fluorinated Interphase Enabled by Lithium Salt‐Driven Electrical Double‐Layer Modulation for Advanced Zinc Metal Batteries

Advanced Functional Materials, EarlyView.
This study introduces a highly soluble, reduction‐active lithium salt into conventional zinc battery electrolytes, enhancing the solvation structure and electric double layer. These modifications significantly improve the reversibility of the zinc anode and mitigate cathode material dissolution, presenting a novel approach to enhancing the performance ...
Ziwei Zhao, Pengcheng Li, Yuxuan Wu, Ziwei Chai, Hao Zhang, Ge Li   +5 more
wiley   +1 more source

Combining Analytical and Evolutionary Inductive Programming

, 2009
Analytical inductive programming and evolutionary inductive programming are two opposing strategies for learning recursive programs from incomplete specifications such as input/output examples. Analytical inductive programming is data-driven, namely, the
N. Crossley, E. Kitzelmann, M. Hofmann, Ute Schmid   +3 more
semanticscholar   +1 more source