Results 191 to 200 of about 9,253,314 (317)
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
Design and development of a user-centred digital library system: some basic guidelines
Beginning with an introduction and justifications for the need of user-centred digital library development, this paper outlines the architecture, the basic components and functionalities of a Digital Work Environment (DWE) that forms the basis of a user ...
Chowdhury, G. +3 more
core
ABSTRACT Periodontitis, a chronic inflammatory disease initiated and sustained by plaque microorganisms and host immune response, remains an intractable oral disease and a leading cause of tooth loss worldwide. Traditional mechanical debridement and adjunctive antibiotic or antiseptic therapy often shows limited efficacy due to the complex anatomical ...
Weiyu Zhang +12 more
wiley +1 more source
Nanocellulose, derived from microcrystalline cellulose (MCC) through sulfuric acid hydrolysis or mechanical grinding to produce CNC or CNF, was tested in a rat ICP model. Particularly, CNF improved gut microbiota composition, reduced secondary bile acid metabolism, and restored bile acid homeostasis through modulation of the gut–liver axis.
Muhua Yu +18 more
wiley +1 more source
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
A comprehensive meta‐analysis of expression quantitative trait loci (eQTLs) across five diverse tomato populations reveals a high‐resolution atlas of transcriptional regulation and uncovers conserved and population‐specific regulatory architectures underlying fruit nutritional quality traits, including flavonoids, sugars, organic acids, carotenoids ...
Jiantao Zhao +14 more
wiley +1 more source
Icariin promoted the growth of Akk by enhancing the activity of N‐acetylgalactosaminidase (Amuc_0920), which enhanced mucin utilization and provided a favorable nutrient environment for bacterial growth. This icariin‐mediated enrichment of Akk further reshaped the tumor microenvironment and promoted CD8+ T cell infiltration, ultimately synergizing with
Shuangying Qiao +12 more
wiley +1 more source
In rheumatoid arthritis, synovial Tregs accumulate but are functionally impaired due to iron overload‐induced ferroptosis. This triggers mitochondrial dysfunction and TXK tyrosine kinase‐mediated signaling, leading to Treg destabilization and inflammation.
Jingrong Chen +19 more
wiley +1 more source
We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang +11 more
wiley +1 more source
THUMPD1 drives a tumor‐suppressive signaling cascade in lung adenocarcinoma by promoting IGF2R expression. IGF2R associates with PPP2R1A to suppress AKT and activate AMPK, leading to SLC31A1 upregulation and copper accumulation. Elevated copper disrupts mitochondrial metabolism and induces excessive mitophagy, thereby restraining tumor growth and ...
Kai Wu +10 more
wiley +1 more source

