Results 101 to 110 of about 133,077 (308)

Stretchable p/n‐Pair Thermoelectric Fibers Based on Core (Ag)–Shell (Ag2Se) Structure for Wearable Electronics

Advanced Functional Materials, EarlyView.
Stretchable p/n‐pair Ag@Ag2Se TE fibers are developed for next‐generation fiber‐based electronics. The TE fibers maintain excellent electrical conductivity and a high Seebeck coefficient under strain. Integrated into textiles, they enable simultaneous temperature and strain sensing, as well as energy harvesting, offering great potential for ...
Chaebeen Kwon, Sanghyeon Lee, Sungjoon Cho, Chihyeong Won, Byeonggwan Kim, Kyung‐In Jang, Taeyoon Lee   +6 more
wiley   +1 more source

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming [PDF]

, 2023
Kilian Rückschloß, Felix Weitkämper
openalex   +1 more source

Self‐Reconstruction of Dual‐Morphology Copper‐Iron Selenides for Cost‐Effective Oxygen Evolution Toward Industrial Alkaline Water Splitting

Advanced Functional Materials, EarlyView.
Departing from conventional Ni/Co‐based catalysts, this work presents a Ni/Co‐free CuFe–Se/CFF electrocatalyst with nanoblock–nanorod morphology. It delivers 1000 mA cm−2 at 330 mV overpotential and 620 h stability for the oxygen evolution reaction (OER).
Jiajun Wang, Jianjiang Zhao, Jiajun Zhang, Fei Wang, Tongtong Li, Ruixiang Ren, Yunmin Chen, Hua Wei   +7 more
wiley   +1 more source

Engineering Relative Spatial Structure of Dual Atomic Sites with Asymmetric Coordination for High‐Performance Hydrogen Evolution Activity

Advanced Functional Materials, EarlyView.
Dual‐atom catalysts featuring varying spatial configurations of metal sites (Pt1Fe1 DACs) are employed to systematically investigate the influence of spatial arrangements on the electronic structure and catalytic activity of active sites. Notably, the 3D asymmetric Pt1Fe1‐TAC dimer, featuring strong interatomic interactions, demonstrates superior ...
Yi Guan, Xiaozhang Yao, Chuang Xue, Zhongxin Song, Xiangzhong Ren, Tsun‐Kong Sham, Li‐Min Liu, Lei Zhang, Xueliang Sun   +8 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  

Inductive Logic Programming in an Agent System forOntological Relation Extraction [PDF]

, 2011
Mohan Seneviratne, D. N. Ranasinghe
openalex   +1 more source

Enhanced Nitric Oxide Electroreduction to Ammonia via Modulating Spin‐Polarization of Fe Single‐Atom Catalysts

Advanced Functional Materials, EarlyView.
A strategic spin‐polarization suppression in Fe single‐atom catalysts is proposed to enhance electrocatalytic reduction of NO to NH3. Employing a top‐down electrospinning strategy, self‐supported FeSAC with Fe‐N3S1 coordination structure and spin‐state transition is engineered from high‐spin to low‐spin.
Jialing Song, Ziqi Wei, Lupeng Han, Zhenlin Wang, Chenghao Fan, Donglin Han, Chunwei Dong, Haiyan Duan, Xiyang Wang, Sam Fong Yau Li, Eslam Hamed, Ming Xie, Emiliano Cortés, Dengsong Zhang   +13 more
wiley   +1 more source

Cold Quad‐Modal Nanocomplex for Precise and Quantitative In Vivo Stem Cell Tracking

Advanced Functional Materials, EarlyView.
Multimodal albumin–bismuth sulfide–superparamagnetic iron oxide (ABS) nanocomplexes are developed for stem cell tracking across four different imaging modalities: MRI, MPI, MSOT, and CT. Combining its flexibility with high sensitivity, this quad‐modal imaging agent enables a robust quantification of ABS‐labeled stem cells in vivo.
Ali Shakeri‐Zadeh, Chao Wang, Shreyas Kuddannaya, Saleem Yousf, Jeff W. M. Bulte   +4 more
wiley   +1 more source

Analysis of inductive power transfer systems by metamodeling techniques

Comptes Rendus. Physique
This paper presents some metamodeling techniques to analyze the variability of the performances of an inductive power transfer (IPT) system, considering the sources of uncertainty (misalignment between the coils, the variation in air gap, and the ...
Pei, Yao, Pichon, Lionel, Bensetti, Mohamed, Le Bihan, Yann   +3 more
doaj   +1 more source

Incremental Learning of Event Definitions with Inductive Logic Programming [PDF]

, 2014
Nikos Katzouris, Alexander Artikis, George Paliouras   +2 more
openalex   +1 more source