Results 91 to 100 of about 6,301,735 (343)

Logic Programming Applications: What Are the Abstractions and Implementations?

, 2018
This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core   +1 more source

Defect Engineering on Commercial Carbon for Economical H2O2 Electrosynthesis Under Industrial‐Relevant Conditions

Advanced Functional Materials, EarlyView.
The implementation of electrocatalysts toward H2O2 electrosynthesis on an industrial scale necessitates the reconsideration of design criteria. The proposed “active sites saturation” theory shows that materials with mixed active sites normally exhibit low selectivity under practical conditions.
Zhiping Deng, Zhe Gong, Mingxing Gong, Xiaolei Wang   +3 more
wiley   +1 more source

Prediction of wear life of shield disc cutter in complex formations based on genetic programming

Gong-kuang zidonghua, 2018
In process of shield tunneling in complex formation, wear of disc cutter is extremely serious and service life is hard to predict, and influence factors of the disc cutter wear are multi-dimensional and uncertain.
QIAO Jinli, MENG Qiujie, LIU Jianqin, JIN Jianxing   +3 more
doaj   +1 more source

Microfluidic Synthesis of Channel‐Rich Pd‐Cu Alloy Nanodendrites for Efficient Electrocatalytic CO2 Reduction to Formate

Advanced Functional Materials, EarlyView.
A microfluidic system enables the rapid, room‐temperature fabrication of channel‐rich Pd‐Cu alloy nanodendrites with tunable composition, uniform morphology, and finely branched internal structures. The resulting catalysts exhibit over 90% formate selectivity across a broad potential window, along with excellent CO tolerance and enhanced long‐term ...
Xintong Huang, Xude Yu, Hengyuan Liu, Shunkai Xia, Yongqi Jia, Zhuo Chen, Jianhong Xu, Younan Xia   +7 more
wiley   +1 more source

String diagrams for Strictification and Coherence [PDF]

Logical Methods in Computer Science
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied.
Paul Wilson, Dan Ghica, Fabio Zanasi
doaj   +1 more source

Amorphous High Entropy Alloy Nanosheets Enabling Robust Li–S Batteries

Advanced Functional Materials, EarlyView.
Amorphous ultrathin FeCoNiMoW high entropy alloy nanosheets are incorporated into the polypropylene separator of lithium‐sulfur batteries, enhancing their capacity, rate performance, and cycling stability. Abstract High‐entropy alloys (HEAs) show great potential for catalyzing complex multi‐step reactions, but optimizing their parameters, i.e ...
Ren He, Seungho Lee, Yang Ding, Chen Huang, Xuan Lu, Lirong Zheng, Ao Yu, Chaoyue Zhang, Canhuang Li, Xiaoyu Bi, Yaqiang Li, Yaqi Liao, Junshan Li, Ahmad Ostovari Moghaddam, Salimov Yernar, Ying Xu, Maria Ibáñez, Chaoqi Zhang, Linlin Yang, Yingtang Zhou, Andreu Cabot   +20 more
wiley   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

Highly Selective Toward HER or CO2RR by Regulating Cu Single and Dual Atoms on g‐C3N4

Advanced Functional Materials, EarlyView.
This systematic study provides insights into the design of electrocatalysts for hydrogen evolution reaction (HER) and carbon dioxide reduction (CO2RR). It serves as a useful guide for tuning catalyst architecture toward efficient multifunctional performance by varying synthetic parameters, demonstrating the impact of copper (Cu) species ranging from ...
Wan‐Ting Chen, Hung Wei Shiu, Yu‐Xun Chen, Erdembayalag Batsaikhan, Yu‐Ling Lai, Su Ling Cheng, Tohru Araki, Jyh‐Fu Lee, Michitoshi Hayashi, Yao‐Jane Hsu   +9 more
wiley   +1 more source

Phase‐Stable Palladium Hydride Derived from PdCoO2 for Sustainable Hydrogen Evolution Reaction

Advanced Functional Materials, EarlyView.
The exceptionally active β‐PdHx is demonstrated for the hydrogen evolution reaction in acidic media. The fast activation kinetics from the PdCoO2 template are resolved by operando spectroscopy, and isotope‐labeled atom probe tomography quantifies the H content in β‐PdHx. The outstanding stability of the electrocatalyst is attributed to the retention of
Luca Camuti, Se‐Ho Kim, Filip Podjaski, Miquel Vega‐Paredes, Andrea M. Mingers, Tolga Acartürk, Ulrich Starke, Bettina V. Lotsch, Christina Scheu, Baptiste Gault, Siyuan Zhang   +10 more
wiley   +1 more source

Inductive learning of answer set programs for autonomous surgical task planning [PDF]

, 2021
Daniele Meli, Mohan Sridharan, Paolo Fiorini   +2 more
openalex   +1 more source