Results 41 to 50 of about 22,118 (175)
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
Lactate in cervical cancer induces HNRNPU K181 lactylation, opposed by NAA50‐mediated acetylation and suppressed by Pazopanib. This lactylation enhances HNRNPU binding to PHGDH pre‐mRNA exon 1, maintaining exon 1‐containing transcripts and mRNA stability, thereby activating serine metabolism.
Chang Zhang +6 more
wiley +1 more source
Schematic showing a stretchable triboelectric nanogenerator based on interlocked wavy architectures that uses EGaIn microflower‐embedded PVDF‐TrFE and Nylon‐6 nanofiber membranes. The multi‐petaled, electron‐rich EGaIn microflowers enhance interfacial polarization and capacitance, while the interlocked wavy architecture enlarges the effective contact ...
Qianqian Xu +12 more
wiley +1 more source
An adhesive hydrogel depot with polyphenol‐armored nanogenes is developed for treating aged osteoarthritis. This system maintains miR‐140 bioactivity, prolongs its intra‐articular retention, and enhances transfection into chondrocytes, leading to the downregulation of senescence‐associated pathways.
Liwei Yan +10 more
wiley +1 more source
Organoid Brain‐Machine‐Interface Devices for Central Nervous System Repair
We envision organoid brain‐machine‐interface (Organoid‐BMI) devices as new biohybrid bidirectional communication pathways to connect the human CNS and the external world for personalized CNS repair and regeneration. ABSTRACT Central nervous system (CNS) repair and regeneration suffer from tremendous clinical challenges due to current limitations in ...
Yantao Xing +10 more
wiley +1 more source
Conventional passive radiative cooling films rely on costly feedstocks and energy‐intensive fabrication, with poor end‐of‐life compatibility in agriculture. To address this challenge, a sustainable radiative cooling mulch (SRCM) is developed from waste maize leaves via spontaneous hydrogen‐bond self‐assembly.
Hao Li +13 more
wiley +1 more source
This study presents a surfaceome‐reprogramming strategy for mutation‐independent lung cancer therapy by repurposing dexamethasone to prime mesenchymal stem cell‐derived nanovesicles. The engineered vesicles leverage multi‐valent interactions mediated by upregulated adhesion proteins, EPHA2, and NOTCH3.
Geunhye Kim +8 more
wiley +1 more source
Blood‐based amino acid patterns measured by 19F NMR reveal hidden metabolic changes in colorectal cancer. By analyzing how these amino acids interact as a network, machine learning models identify patients at higher risk of recurrence and metastasis.
Ji‐Yeon Lee +9 more
wiley +1 more source
A novel nanocomposite design strategy utilizes ZrO2 to intrinsically couple passive daytime radiative cooling and triboelectric functionality within a single material platform. Fabricated via direct ink writing, the multifunctional breathable architecture provides effective sub‐ambient cooling, motion‐driven energy harvesting, and adaptive ...
Yoon Young Choi +3 more
wiley +1 more source
An optimized single‐cell transcriptomic framework profiles over 60 000 cells to map the ovine rumen microbiome, partitioning the ecosystem into seven cross‐species functional clusters. In heat‐resistant hosts, a lineage‐specific metabolic shift in Anaerovibrio lipolyticus toward a highly glycolytic phenotype contributes to a “nutritional sparing ...
Sanbao Zhang +8 more
wiley +1 more source

