Results 111 to 120 of about 16,392 (251)

A Mathematical Theory of Correct Computation

In 1970, Dana Scott proposed his highly influential ''mathematical theory of computation'' to define the relationship between the text of a program and what the program computes (or denotes) --- the ''semantics'' of the program. Scott used a complete lattice based on the ''information ordering'', with the bottom element representing undefined --- a ...
Lee Naish, Bernard Pope, Harald Søndergaard   +2 more
openaire   +1 more source

Students' Proficiency in Computational Thinking Through Constructivist Learning Theory [PDF]

This study aims to analyse the mathematical computational thinking ability of Mathematics Education study program students in terms of constructivism learning theory.
Angraini, Lilis Marina, Nia, Kania, Gürbüz, Ferit   +2 more
core   +1 more source

Synergistic Spin‐Polarization and Single‐Atom Engineering in Magnetic Heterojunctions for Efficient Solar Water Splitting

Advanced Science, EarlyView.
High‐throughput screening led to the identification of 67 Z‐scheme heterojunctions (comprising 2D magnetic transition metal halides and non‐magnetic transition metal chalcogenides). For CrI3/MoTe2 and CrI3/WTe2, electronic structure analysis demonstrated that synergistic crystallographic point group and built‐in electric field effects generate a ...
Hongyang Ren, Zhenzhou Guo, Huirong Wu, Peilin Huang, Jie Yang, Jie Zhang, Guangqian Ding, Hongkuan Yuan, Biao Wang   +8 more
wiley   +1 more source

Integrating Machine Learning With Constant‐Potential Simulation to Unravel Charge‐Transfer Mechanisms in Electrochemical Nitrogen Fixation

Advanced Science, EarlyView.
Integrating interpretable machine learning with the fixed‐potential method reveals a novel mechanism: the catalytic activity of the electrochemical nitrogen reduction reaction is governed by partial charge transfer, induced by variations in the intermediate potential of zero charge under constant potential.
Yufei Xue, Dushuo Feng, Yuefei Zhang, Yang Zhang, Yalong Jiao, Aijun Du, Guoping Gao   +6 more
wiley   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source

Giant Bulk Photovoltaic Effect in Two‐Dimensional Topological Ferroelectric Semimetal

Advanced Science, EarlyView.
ABSTRACT Ferroelectric (FE) metals have attracted growing interest because they combine ferroelectricity with metallic behavior and enable polarization‐controlled band topology near the Fermi level. However, the number of known ferroelectric metals is still limited.
Jianhua Wang, Xia Cheng, Shibo Fang, Tao Zhu, Xiaodong Zhou, Shifeng Qian, Tie Yang, Wenhong Wang, Yee Sin Ang   +8 more
wiley   +1 more source

Study on the Reaction Mechanism of RuOx and Its Enhanced Hydrogen Evolution Reaction Activity

Advanced Science, EarlyView.
In situ Raman spectroscopy and DFT calculations reveal that, prior to the onset of HER, the surface of RuOx undergoes reversible reduction and structural reconstruction. The resulting Ru(II)O/Ru(IV)O2 configuration is identified as the true catalytically active species.
Liquan Zhang, Haobo Dong, Jianrui Feng, Longxiang Liu, Fei Guo, Liqun Kang, Guoliang Chai, Mohamed A. Ghanem, Xinde Chen, Ivan P. Parkin   +9 more
wiley   +1 more source

Anisotropic Memristive Switching in NbOCl2 Enabled by Directional Oxygen Ion Migration

Advanced Science, EarlyView.
This study investigates strongly orientation‐dependent memristive switching in anisotropic NbOCl2, observed exclusively along the in‐plane c‐axis. The switching originates from direction‐selective oxygen‐ion migration and vacancy propagation that modulate the Pd/NbOCl2 Schottky barrier, enabling short‐term plasticity.
Caokun Wang, Yun Ji, Sanchali Mitra, Yufei Shi, Haofei Zheng, Yee Sin Ang, Kah‐Wee Ang   +6 more
wiley   +1 more source

Partition Resolvability of Nanosheet and Nanotube Derived from Octagonal Grid

Journal of Mathematics
Chemical graph theory, a branch of computational and applied mathematics, covers a very wide range of topics. As a result, the world of applied sciences heavily relies on graph theory.
Ali Al Khabyah, Ali N. A. Koam, Ali Ahmad   +2 more
doaj   +1 more source

Recursion Theory Week

, 1990
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field.
Müller, Gert, Sacks, Gerald, Ambos-Spies, Klaus   +2 more
core   +1 more source