Results 61 to 70 of about 9,309 (288)

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

A Denotational Semantics for Communicating Unstructured Code [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to define a semantics that is compositional. In this paper, we follow the ideas
Nils Jähnig, Thomas Göthel, Sabine Glesner   +2 more
doaj   +1 more source

Low‐Surface‐Energy Copper Promotes Atomic Diffusion and Ordering in PtFeCu Intermetallic Compounds for Oxygen Reduction Catalysis

Advanced Functional Materials, EarlyView.
A copper‐induced atom ordering strategy is developed for the reconstruction of raw commercial Pt catalyst into ordered PtFeCu intermetallic compounds for hydrogen fuel cells. Abstract Carbon‐supported platinum intermetallic compound nanoparticles are seen as the next‐generation cathodic catalysts for hydrogen fuel cells due to their high activity and ...
Yan Nie, Shuhao Wang, Quentin Meyer, Hongyu Guo, Chen Jia, Dazhi Yao, Yingjun Sun, Jun Chen, Shaojun Guo, Chuan Zhao   +9 more
wiley   +1 more source

A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models

BMC Bioinformatics, 2011
Background Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequence alignments (MSA), including all positions.
Carbone Alessandra, Bernardes Juliana S, Zaverucha Gerson   +2 more
doaj   +1 more source

Mg2+/Al3+ Co‐doped Li‐Rich Manganese‐Based Oxides for Boosting Rate Performance and Stability of Lithium‐Ion Batteries

Advanced Functional Materials, EarlyView.
The co‐doping strategy can effectively address the challenges associated with LRMOs cathode materials, providing a promising pathway for the development of high energy density and resilient cathode materials in the next‐generation lithium‐ion batteries. Abstract Lithium‐rich manganese‐based oxides (LRMOs) are promising cathode materials for lithium‐ion
Junxia Meng, Wenzhuan Hu, Quanxin Ma, Zhenzhen Wu, Lishuang Xu, Jie Huang, Chen Xiao, Junru Wang, Lina Zhang, Feng Liu, Xing Zhi, Shanqing Zhang   +11 more
wiley   +1 more source

Students’ perspectives on using digital tools in programming courses

Discover Education
As programming emerges as a critical skill in the digital age and digital tools continue to evolve, understanding students’ perspectives on the integration of such technologies into their education is crucial.
Mohsen Asgari, Fong-Chun Tsai, Linda Mannila, Filip Strömbäck, Kazi Masum Sadique   +4 more
doaj   +1 more source

GenEth: a general ethical dilemma analyzer

Paladyn, 2018
We argue that ethically significant behavior of autonomous systems should be guided by explicit ethical principles determined through a consensus of ethicists. Such a consensus is likely to emerge in many areas in which intelligent autonomous systems are
Anderson Michael, Anderson Susan Leigh
doaj   +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

Ultrafast Energy Transfer Induced Lasing From a Coplanar Donor‐Acceptor‐Donor Molecule in a Microspherical Cavity

Advanced Functional Materials, EarlyView.
This study presents a novel donor‐bridge‐acceptor‐bridge‐donor (D‐B‐A‐B‐D) molecular system, which shows near‐unity intramolecular excitation energy transfer (IET) from two identical energy donors to a coplanar acceptor. It enables a four‐level energy system for efficient lasing at the acceptor emission band in a microspherical cavity with a low lasing
Vishal Kumar, Soh Kushida, Takeru Inoue, Keisuke Iwata, Hiroshi Yamagishi, Hayato Tsuji, Yohei Yamamoto   +6 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