Results 181 to 190 of about 2,060,543 (287)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

The impact of instructional behaviors on learning motivation via subjective task value in high school students in Cambodia. [PDF]

Sci Rep
Ruos D, Em S, Bamrungsin P, Khampirat B.
europepmc   +1 more source

Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction

Advanced Science, EarlyView.
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie, Junhu Xu, Guangyi Huang, Shihang Wang, Mutian He, Xinyu Dong, Huiyang Hong, Xiaojun Yao, Qi Wang, Yuquan Li   +9 more
wiley   +1 more source

Is anxiety always harmful? An exploration of the impact of language anxiety on EFL learning motivation, EFL competence and EFL academic performance. [PDF]

BMC Psychol
Luo Z, Xiong Y.
europepmc   +1 more source

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

Advanced Science, EarlyView.
Machine learning models predict in real time the onset of harmful microbubble collapse during microbubble‐enhanced focused ultrasound (MB‐FUS) and enable dynamic adjustment of sonication to prevent cavitation‐induced damage. This predictive control expands the safe operating window for bloodbrain barrier opening, enhancing nanoparticle delivery and ...
Hohyun Lee, Victor Menezes, Shiqin Zeng, Chulyong Kim, Cynthia M. Baseman, Jae Hyun Kim, Samhita Padmanabhan, Pranav Premdas, Naima Djeddar, Anton Bryksin, Nikhil Pandey, Pavlos Anastasiadis, Anthony J. Kim, Tobey J. MacDonald, Chetan Bettegowda, Graeme F. Woodworth, Felix J. Herrmann, Costas Arvanitis   +17 more
wiley   +1 more source

Comparison of chronotype and learning motivation in medical university students. [PDF]

BMC Med Educ
Sato M, Roszak M, Hashimoto T, Kołodziejczak B, Gubin D, Boudville N, Kawka E, Bręborowicz A, Witowski J, Kanikowska D.   +9 more
europepmc   +1 more source

His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models

Advanced Science, EarlyView.
His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li, Tianqi Su, Bin Zhang, Wenkai Han, Sibin Zhang, Guiyin Sun, Yuwei Cong, Xin Chen, Jiping Qi, Yujie Wang, Shiguang Zhao, Hongxue Meng, Peng Liang, Xin Gao   +13 more
wiley   +1 more source

AI performance assessment in blended learning: mechanisms and effects on students' continuous learning motivation. [PDF]

Front Psychol
Ji H, Suo L, Chen H.
europepmc   +1 more source

Transforming Grain‐Boundary Brittle Precipitates to Ductility Pathways in Complex Concentrated Alloy

Advanced Science, EarlyView.
By engineering graded BCC/L12 interfaces, brittle precipitates in a complex concentrated alloy enable sequential deformation, realizing gigapascal strength with >20% elongation to solve the strength‐ductility trade‐off. ABSTRACT Conventional wisdom holds that hard grain‐boundary (GB) precipitates embrittle structural alloys by acting as crack ...
Zhixin Li, Xiao‐Tong Li, Zhaoqi Chen, Yushan Geng, Hao Gong, Sijia Hu, Wenli Song, Wanshun Xia, Chuanzheng Li, Linfa Peng, Yue Fan, Pengfei Guan, Bo Zhang, Weihua Wang, Yong Yang   +14 more
wiley   +1 more source