Results 131 to 140 of about 1,881,310 (251)

A Natural Formalized Proof Language

Artificial intelligence assisted mathematical proof has become a highly focused area nowadays. One key problem in this field is to generate formal mathematical proofs from natural language proofs. Due to historical reasons, the formal proof languages adopted by traditional theorem provers were not intended to represent natural language proofs ...
Lihan Xie, Zhicheng Hui, Qinxiang Cao
openaire   +2 more sources

Glomage: A Multimodal Platform for High‐Content Morphological and RNA Profiling of Glomeruli in Zebrafish and Mouse Models

Advanced Science, EarlyView.
Understanding how glomeruli, the kidney's filtration units, function in intact tissue remains challenging. Glomage enables rapid 3D imaging and quantitative analysis of entire glomeruli from zebrafish larvae and mice. This approach allows scalable cell quantification and detection of structural changes, advancing kidney disease research and ...
Maximilian Schindler, Tim Lange, Sophia‐Marie Bach, Soeren S. Lienkamp, Nicole Endlich   +4 more
wiley   +1 more source

Enhancing mathematical proof skills in teacher education through etymology-based learning approaches

Indonesian Journal of Science and Mathematics Education
This study aims to enhance students' understanding of mathematical proof through the etymology-based learning method. The research employs a descriptive approach to observe and analyze students' mathematical proof patterns in various contexts.
Mohamad Rifat, Sudiansyah Sudiansyah, Septian Peterianus   +2 more
doaj   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

A Dual‐Functional Biohybrid Nanorobot to Synergistically Eradicate Biofilm and Degrade Antibiotic Resistance Genes

Advanced Science, EarlyView.
A biohybrid nanorobot integrating lytic bacteriophage N4 with Pd nanozymes is developed for targeted eradication of multidrug‐resistant E. coli biofilms. Synergistic bacterial lysis and ROS‐mediated oxidation enable simultaneous biofilm removal and antibiotic resistance genes degradation, maintaining high efficacy in complex wastewater environments ...
Junzheng Zhang, Tong Dou, Luokai Wang, Jingxian Yang, Wenrui Wang, Shuaitian Guo, Xiangyu Li, Xuefang Huang, Yunlei Xianyu, Dongsheng Wang   +9 more
wiley   +1 more source

Bridging the gap between formal structure and cognitive representation: A systematic review of metric space topology learning

Jurnal Math Educator Nusantara: Wahana Publikasi Karya Tulis Ilmiah di Bidang Pendidikan Matematika
Metric space topology is a foundational yet challenging topic in undergraduate mathematics. This systematic literature review examines how students learn metric space topology by synthesizing research on cognitive processes, learning obstacles, and ...
Jawasi Jawasi, Wahyu Widada, Agus Susanta   +2 more
doaj   +1 more source

Bionic Solar‐Powered Heavy Metal Trap for Eco‐Friendly Sludge Drying and Simultaneous Electricity Generation

Advanced Science, EarlyView.
Herein, we propose a solar‐powered heavy metal trap (SPHT) for sludge disposal. The indoor experiments demonstrated that the sludge water content decreased from 90 % to 31 %, coupled with a decrease in heavy metal content to 6 % at most. Furthermore, the designed SPHT generated an initial potential of 0.10 V, and monitoring this hydrovoltaic potential ...
Yanlin Li, Jinglan Wang, Hailin Gu, Zhen Yu, Fawei Lin, Cunku Dong, Ningning Cao, Miao Yu   +7 more
wiley   +1 more source

A full formal representation of Arrow's impossibility theorem.

PLoS ONE
Revised proofs of Kenneth Arrow's impossibility theorem, one of the most influential theorems in economics, political science, and philosophy, have been presented in prose form, incorporating novel ideas such as decisive sets and pivotal voters.
Kazuya Yamamoto
doaj   +1 more source

From Label‐Free Multiphoton Imaging to Pathological Reports: A Vision‐Language Breast Cancer Margin Pathological Diagnosis System

Advanced Science, EarlyView.
MarginPath is a novel vision‐language system that automates breast cancer margin assessment using a single label‐free multiphoton microscopy image. By integrating tumor‐associated collagen signatures with virtual H&E imaging, it generates accurate margin heatmaps and comprehensive diagnostic reports.
Shu Wang, Jingze Su, Xiahui Han, Deyong Kang, Xiao Zhang, Fei Xu, Changzu Liu, Junlin Pan, Xingfu Wang, Qiaohui Zhan, Aimin Wang, Feng Huang, Heping Cheng, Wenxi Liu, Ruolan Lin, Jianxin Chen   +15 more
wiley   +1 more source

TRIM: Simultaneous Thermometry, Ranging, and Imaging via a Monolithic Metalens

Advanced Science, EarlyView.
ABSTRACT While metasurfaces offer a pathway beyond the discrete architectures of conventional LWIR systems, physically fusing high‐precision thermometry and passive ranging onto a single metalens remains a formidable challenge. Here, we demonstrate a monolithic, dual‐focus metalens capable of simultaneous multidimensional sensing.
Man Yuan, Yuqing Zhang, Wangzhe Zhou, Zhaojian Zhang, Xiaoyun He, Xinpeng Jiang, Yiyi Li, Xin He, Jiagui Wu, Yuanmu Yang, Junbo Yang   +10 more
wiley   +1 more source