Results 181 to 190 of about 469,891 (347)
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
Four Lectures on Analytic Solutions in Open String Field Theory
, 2019 Theodore Erler
openalex +1 more source
Concerning the ghost contribution to the one-loop integrands in open string field theory [PDF]
, 2018 Albin James
openalex +1 more source
Advanced Science, EarlyView.A genome‐wide CRISPR screen and identifies PIK3CA as a key regulator of lipid nanoparticle (LNP) uptake is performed. Modulating PIK3CA with small‐molecule inhibitor BAY1082439 enhanced LNP uptake, siRNA delivery, and gene silencing in a variety of epithelial cells, and improved therapeutic outcomes in vivo.
Wenhan Wang, Kangfu Chen, Zongjie Wang
wiley +1 more source
Consistent equations for massive spin-2 field coupled to gravity in string theory [PDF]
, 1999 I. L. Buchbinder +5 more
openalex +1 more source
Advanced Science, EarlyView.An innovative molecular spatial‐positioning shimming strategy is developed to optimize the electrical properties of poly(vinylidene fluoride) (PVDF). By intercalating polyethylene wax (PE wax) short‐chain molecules into PVDF's free volume, the film achieves a significantly enhanced energy density of 32.67 J cm−3.
Ziyue Wang, Jiyang Xie, Wanbiao Hu
wiley +1 more source
Backgrounds in boundary string field theory [PDF]
, 2010 M. Baumgartl, M. Baumgartl
openalex +1 more source
Advances in Hygroscopic Polymer Gels toward Efficient Atmospheric Moisture Capture and Management
Advanced Science, EarlyView.This review systematically elaborates on the research progress of hygroscopic polymer gels (HPGs) in the field of atmospheric moisture management, summarizes their hygroscopic mechanisms, construction strategies, and typical multi‐field applications, highlights the urgency of developing moisture‐adaptive HPGs for low‐humidity arid regions, and ...
Ruofan Zhou +4 more
wiley +1 more source
Constraint on cosmic density of the string moduli field in gauge-mediated supersymmetry-breaking theories [PDF]
, 1997 Masahiro Kawasaki, T. Yanagida
openalex +1 more source