Results 101 to 110 of about 14,301 (245)

Angstrom‐Scale Confined Ion Sieve and Accelerator for Efficient Aqueous Zinc Batteries

Advanced Materials, EarlyView.
An angstrom‐scale confined ion accelerator strategy is proposed for ultra‐stable aqueous Zn anodes. Selective and precise transport of hydrated Zn(H2O)62+, Zn2+ cations, H2O molecules, and SO42− anions is achieved by in‐plane atomic Ti vacancies and angstrom‐scale interlayer free spacing within the Ti0.87O2 interfacial layer, leading to homogeneous Zn ...
Xing Peng, Caichao Ye, Yingqiang Li, Zhihang Liu, Kunxi Luan, Jinbo Fan, Honglan Huang, Chao Liu, Na Shen, Zhen Hou, Wenyao Zhang, Yongsheng Fu, Mingzhe Chen, Linfeng Hu, Pan Xiong, Guoxiu Wang, Junwu Zhu   +16 more
wiley   +1 more source

Theory of quantum computation and philosophy of mathematics. Part I

Logic and Logical Philosophy, 2010
In the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate ...
openaire   +5 more sources

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Student Teachers as Learners and Teachers: Praxeological Perspectives on Programming in Mathematics

Education Sciences
This study investigates how master’s student teachers (MSTs) conceptualize and integrate programming and computational thinking within mathematics education.
Odd Tore Kaufmann, Khaled Jemai, Marianne Maugesten, Toril Eskeland Rangnes   +3 more
doaj   +1 more source

Specific Position of Halogen in Crystalline TADF Scintillators Enables Efficient Triplet Harvesting Through Vibrational Modulation of Spin–Orbit Coupling

Advanced Materials, EarlyView.
Specific ortho‐halogenation transforms crystalline TADF emitters into efficient organic scintillators. Fluorine reduces the effective singlet–triplet separation, while chlorine combines near‐degenerate excited states with vibrational modulation of spin–orbit coupling.
Illia E. Serdiuk, Michał Mońka, Artur Sikorski, Konrad J. Drozdowski, Mohanad S. Eid, Krzysztof Wisniewski, Damian Trzybiński, Marcin E. Witkowski, Winicjusz Drozdowski   +8 more
wiley   +1 more source

Theorema: Towards computer-aided mathematical theory exploration

Journal of Applied Logic, 2006
AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger   +10 more
openaire   +2 more sources

Adsorption‐Engineered Hydrocarbon Ionomers for Durable Proton‐Exchange Membrane Fuel Cells

Advanced Materials, EarlyView.
Hydrocarbon ionomers suffer from oxidation‐driven interfacial degradation in PEM fuel cell cathodes, leading to catalyst instability. Here, adsorption‐engineered poly(fluorene) ionomers decouple interfacial anchoring from oxidative degradation, enabling strong catalyst–ionomer interactions while resisting electrochemical oxidation.
Heemin Park, Kate Chen, Su Min Ahn, Hengquan Guo, Cy Fujimoto, Jong‐Ho Choi, Lynda Amichi, Danah Kim, Seung Geol Lee, Xiaojing Wang, Jacob S. Spendelow, Sun Young Kang, Panagiotis Bexis, Eun Joo S. Park, Yu Seung Kim   +14 more
wiley   +1 more source

Author Correction: Heat transfer analysis of fractional model of couple stress Casson tri-hybrid nanofluid using dissimilar shape nanoparticles in blood with biomedical applications

Scientific Reports, 2023
Muhammad Arif, Luca Di Persio, Poom Kumam, Wiboonsak Watthayu, Ali Akgül   +4 more
doaj   +1 more source

Neural activity profiles reveal overlapping, intermingled subpopulations spanning area borders in mouse sensorimotor cortex

eLife
Cortical control of movement is a distributed computation spanning multiple densely interconnected regions. Although we have rich anatomical atlases and a coarse understanding of how function maps to areas and subregions, we lack a detailed account of ...
Sohrab Salimian, Harrison Grier, Matthew Tyler Kaufman   +2 more
doaj   +1 more source

Multi‐Stimuli Responsive Angstrom‐Scale Two‐Dimensional Channels of Natural Layered Materials

Advanced Materials, EarlyView.
Å‐scale ion channels naturally formed within the interlayers of vermiculite clay enable ionic current modulation in response to mechanical, chemical, and electrical stimuli. Coupled pressure and electric fields induce reversible streaming current (Istream) polarity inversion, which is explained by a modified surface charge regulation model.
Raj Kumar Gogoi, Arghyadeep Paul, Ankit Bhardwaj, Hiran Jyothilal, Narayana R. Aluru, Boya Radha   +5 more
wiley   +1 more source