Results 81 to 90 of about 20,451 (255)

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

Mitochondria and Neuromast Tagging With Fluorescent Gallium‐Triapine Analogues: In Cellulo MP FLIM and Zebrafish Live Imaging

Advanced Science, EarlyView.
Fluorescent BODIPY‐conjugated thiosemicarbazone ligands and their Ga(III), In(III), and Fe(III) complexes, inspired by Triapine, are developed as theranostic agents. Multiphoton FLIM and confocal microscopy in cancer cells and zebrafish reveal real‐time uptake, mitochondrial localisation, and whilst spectroscopic assays indicated preserved complex ...
Megan J. Green, Michael W. Jones, Merissa Saleem, Haobo Ge, Melita Tvardauskaite, Julia Dudzic, Fernando Cortezon‐Tamarit, Rory L. Arrowsmith, Charareh Pourzand, Gabriele Kociock‐Kohn, Nicholas H. Rees, Jonathan R. Dilworth, Stephen Faulkner, Stanley W. Botchway, David Gurevich, Sofia I. Pascu   +15 more
wiley   +1 more source

BAP31 Drives Cartilage Calcification through Disruption of Autophagosome–Lysosome Fusion in Osteoarthritis

Advanced Science, EarlyView.
Mechanical stress activates BAP31 in chondrocytes. BAP31 competes with ATG14 for binding to STX17, disrupting the STX17–ATG14 complex required for autophagosome–lysosome fusion. The resultant autophagic flux blockade drives the generation of autophagy‐derived exosomes, which mediate pathological cartilage calcification in OA. Chondrocyte‐targeted BAP31
Zhi‐hua Xu, Ruo‐xin Wang, Feng He, Qian Liu, Fu‐yin Li, Min Hui, Yu‐qian Shi, Yu Jiang, Qing‐hua Li, Jun‐wen Jing, Shi‐bin Yu, Li‐tian Ma, Qian‐nan Niu, Mian Zhang   +13 more
wiley   +1 more source

Adding stubs to quantum string field theories

Journal of High Energy Physics
Generalizing recent work by Schnabl-Stettinger and Erbin-Fırat, we outline a universal algebraic procedure for ‘adding stubs’ to string field theories obeying the BV quantum master equation.
C. Maccaferri, R. Poletti, A. Ruffino, B. Valsesia   +3 more
doaj   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

Fundamental string solutions in open string field theories [PDF]

Physical Review D, 2006
In Witten's open cubic bosonic string field theory and Berkovits' superstring field theory we investigate solutions of the equations of motion with appropriate source terms, which correspond to Callan-Maldacena solution in Born-Infeld theory representing fundamental strings ending on the D-branes.
openaire   +2 more sources

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 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

In Situ Genetic Engineering Facilitates MMP‐9‐Responsive TIMP1 Release Through Proteolytic Cleavage to Boost Diabetic Wound Healing

Advanced Science, EarlyView.
This study develops an MMP‐9‐responsive protein release system that transforms resident cells into drug depots through in situ genetic engineering. Anchored to the membrane, the therapeutic protein TIMP1 is selectively released upon MMP‐9 cleavage.
Yuan Zhang, Jiani Deng, Man Yee Cheung, Tingting Fu, Xufeng Qi, Dongqing Cai, Jianmin Sun, Gang Lu, Peng Shi, Wai‐Yee Chan, Xu Li, Hui Zhao   +11 more
wiley   +1 more source

Efficient Screening of Organic Singlet Fission Molecules Using Graph Neural Networks

Advanced Science, EarlyView.
A high‐throughput screening framework based on graph neural networks (GNNs) and multi‐level validation facilitates the identification of singlet fission (SF) candidates. By efficiently predicting excitation energies across 20 million molecules, and integrating TDDFT calculations, synthetic accessibility assessments, and GW+BSE calculations, this ...
Li Fu, Longfei Lv, Fan Zhang, Si Zhou, Weiwei Gao, Jijun Zhao   +5 more
wiley   +1 more source