Results 101 to 110 of about 6,088,727 (313)

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

IDEA---a conversational, heuristic program for Inductive Data Exploration and Analysis [PDF]

, 1967
Laurence I. Press, Miles S. Rogers
openalex   +1 more source

PbCrO4/Pb Hybrid with Surface Unsaturated Metal Sites for Efficient CO2‐to‐Formate Reduction

Advanced Functional Materials, EarlyView.
An in‐operando electrochemically synthesized Vo‐rich PbCrO4/Pb hybrid exposes abundant unsaturated metal sites on PbCrO4 surface, which facilitates CO2 activation and stability of *OCHO intermediates. Simultaneously, the bulk Pb nanorod significantly enhances the conductivity of electrode for fast charge transport. The Vo‐rich PbCrO4/Pb electrocatalyst
Huai Qin Fu, Zhen Xin Lou, Irfan Ali Soomro, Hai Xiang Yang, Wanhong Zhang, Liang Wang, Nicholas M. Bedford, Hua Gui Yang, Porun Liu, Yun Wang, Huijun Zhao   +10 more
wiley   +1 more source

Harmonizing the Pyrene and Ether Groups in Covalent Triazine Polymers for Highly Effective H2O2 Photosynthesis via One‐Step Two‐Electron Oxygen Reduction

Advanced Functional Materials, EarlyView.
The pyrene and ether groups are incorporated into the covalent triazine polymer (CTP) structure. The synergistic effect of the two functional groups endows CTP with better electron transfer, light absorption, and oxygen activation properties. An impressive apparent quantum yield (13.2% @420 nm) and a remarkable solar‐to‐chemical conversion efficiency ...
Chong Wang, Jinliang Lv, Yichun Lu, Hanfeng Ye, Xuan Zhang, Leonardo Cancellara, Nadezda Tarakina, Jiande Lin, Xin Gao, Oleksandr Savateev, Jiajia Cheng   +10 more
wiley   +1 more source

Full‐Spectrum Solar Harvesting and Desalination Enabled by Supra‐Nano Amorphous Ruthenium Dioxide – Mineral Composites

Advanced Functional Materials, EarlyView.
A mineral‐based supra‐nano amorphous ruthenium dioxide composite (a‐Ru0.5‐AM) was designed, achieving 97% broadband solar absorption. Under one sun, it reaches 87.91 ± 0.32 °C with a distinct thermal buffering effect that favors thermal confinement.
Yunchen Long, Zhengyi Mao, Bowen Li, Xiujuan Hu, Xinxue Tang, Yuanchao Liu, Jia‐Hua Liu, Hongkun Li, Chong Wang, Hong Yue, Weihui Ou, Johnny Chung Yin Ho, Jian Lu, Yang Yang Li   +13 more
wiley   +1 more source

Functional inductive logic programming with queries to the user [PDF]

, 1993
Francesco Bergadano, Daniele Gunetti
openalex   +1 more source

Community Building in a Virtual Teaching Environment

Advances in Social Work, 2016
In 2010, the University of Southern California School of Social Work launched its Virtual Academic Center (VAC) to deliver online MSW programming to students located around the country.
Sara Laura Schwartz, June L. Wiley, Charles D. Kaplan   +2 more
doaj   +1 more source

Multi‐Ion Doping Controlled CEI Formation in Structurally‐Stable High‐Energy Monoclinic‐Phase NASICON Cathodes for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
The graphical abstract illustrates the synthesis pathway, morphological feature, and thermodynamic feasibility of entropy‐engineered NASICON cathodes for sodium‐ion batteries. Abstract Overcoming the energy density limitations of sodium‐ion batteries (NIBs) requires innovative strategies to optimize cathode materials.
Sharad Dnyanu Pinjari, Vignesh Mahalingam, Purandas Mudavath, Malavika Aarayil, Tasdique Arman, Ipsita Pal, Dipan Kundu, Raghavan Ranganathan, Ashok Kumar Nanjundan, Rohit Ranganathan Gaddam   +9 more
wiley   +1 more source

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