Results 21 to 30 of about 1,719 (169)

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

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +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

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

All‐Flex Plasma Patch for In Vivo Delivery of Reactive Species

Advanced Science, EarlyView.
A fully flexible plasma patch enables stable, conformal treatment on complex biological surfaces and enhances transdermal delivery of reactive species. This platform achieves significant tumor suppression in vivo and reveals coordinated regulation of calcium signaling, metabolism, and programmed cell death, providing a promising strategy for safe and ...
Luxiang Zhao, Abulaihaiti Tuergong, Hanshu Yang, Shuang Xue, An Yan, Mingzhen Wang, Weilong Song, Wenzhe Si, Ruixue Wang   +8 more
wiley   +1 more source

Conformational Snapshots of CydDC in a Native Lipid Bilayer Coupling Heme Transport to Antibiotic Resistance

Advanced Science, EarlyView.
Phylogenetic and biochemical analyses of the heme transporter CydDC reveal its functional conservation throughout bacterial evolution and demonstrate its unique asymmetric allosteric mechanism. Furthermore, impairment of CydDC function directly affects bacterial antibiotic resistance and likely compromises antibiotic efficacy through drug efflux.
Lili Yang, Changbin Zhang, Mengyuan Lyu, Yongbo Luo, Jierou Zhang, Yujiao Chen, Lintao Luo, Wen Qiao, Xiangyangpeng Li, Yu Zhou, Zhongling Wei, Yuling Xiao, Qian Niu, Juan Zhou, Guanglin He, Binwu Ying, Zhaoming Su, Hao Chen, Xiaodi Tang, Haohao Dong   +19 more
wiley   +1 more source

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

Smart Exploration of Perovskite Photovoltaics: From AI Driven Discovery to Autonomous Laboratories

Advanced Energy Materials, EarlyView.
In this review, we summarize the fundamentals of AI in automated materials science, and review AI applications in perovskite solar cells. Then, we sum up recent progress in AI‐guided manufacturing optimization, and highlight AI‐driven high‐throughput and autonomous laboratories.
Wenning Chen, Zheyu Zhang, Kelvian T. Mularso, Bonghyun Jo, Hyun Suk Jung   +4 more
wiley   +1 more source

Synthesis of functionalized polyolefins in a new continuous bench‐scale reactor apparatus

AIChE Journal, EarlyView.
Abstract In‐reactor functionalized polyolefins (FPOs), produced by molecular catalysts, are a new class of polymer materials with applications ranging from high performance adhesives to bitumen compatibilization. In this work, we disclose a procedure for the synthesis of FPOs in a new Continuous Bench‐scale Reactor Apparatus (COBRA).
Miloud Bouyahyi, Job Guzman, Travis Conant, Reggie Tennyson, Christoph Brose, Riccardo Conti, Peter Kolb, Andreas Müller   +7 more
wiley   +1 more source