Results 51 to 60 of about 17,542 (216)
A Perspective on Interactive Theorem Provers in Physics
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
Lung cancer remains the leading cause of cancer‐related death. We investigated the role of the epigenetic regulator DMAP1 in NSCLC and found that its loss induces replication stress and DNA damage. This in turn activates type I IFN signaling via the cGAS–STING pathway and transcriptional ISG de‐repression, enhancing anti‐tumor immune responses ...
Kan Huang +10 more
wiley +1 more source
Fundamental string solutions in open string field theories [PDF]
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
In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin +13 more
wiley +1 more source
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 +15 more
wiley +1 more source
The hyperactivation of PI3K/AKT signaling in PTEN wild‐type triple‐negative breast cancer represents a clinical paradox. We delineate a novel post‐translational regulatory axis wherein the oncogene TSPYL5 competitively antagonizes the deubiquitinase USP10.
Jiaying Shi +8 more
wiley +1 more source
A gauge invariant field theory of the bosonic string is formulated following Siegel, Banks and Peskin, and Feigin and Fuks. The free field action is constructed from the Virasoro operators assuming only locality. The propagator is very regular at short distance.
openaire +1 more source
An Integrated NLP‐ML Framework for Property Prediction and Design of Steels
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 +5 more
wiley +1 more source
Gauge transformations in string field theory and canonical transformations in string theory
11 ...
Maharana, J., mukherji, S.
openaire +2 more sources
This study demonstrates that iron overload triggers widespread chromatin compaction and transcriptional repression in human granulosa cells, recapitulating features of endometriosis. The epigenetic reprogramming is orchestrated by a TFEB‐SOX4‐SWI/SNF axis, with SOX4 acting as a central, dosage‐sensitive regulator.
Feifei Li +15 more
wiley +1 more source

