Results 81 to 90 of about 1,296,078 (273)

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

Alignment-free comparison of metagenomics sequences via approximate string matching. [PDF]

Bioinform Adv, 2022
Chen J, Yang L, Li L, Goodison S, Sun Y.
europepmc   +1 more source

DMAP1 Deficiency Suppresses Lung Cancer Progression by Destabilizing Replication Fork and Activating IFN Signaling‐Mediated Anti‐tumor Immunity

Advanced Science, EarlyView.
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, Xi Dai, Shuaihu Li, Yingxue Chen, Yaxin Yu, Lin Wang, Kun Liu, Shuhan Lyu, Chongyang Li, Yihua Sun, Fei Li   +10 more
wiley   +1 more source

Decoding IGLL5 Mutation‐Mediated BCR Signaling: A Novel Mechanism of CD8+ T Cell Exhaustion and Ocular MALT Lymphoma Progression

Advanced Science, EarlyView.
OAML harbors recurrent IGLL5 mutations that reinforce CD79A/CD79B‐associated BCR signaling. Mechanistic analysis of the S47G and A54G variants reveals induction of CXCL10/CXCL11, enhanced CD8+ T‐cell recruitment, and exhaustion‐associated dysfunction, supporting an immune‐tolerant niche.
Andi Zhao, Haoyu Wei, Chenyu Zhou, Xinping Sun, Shuyan Da, Haiyu Liu, Zijin Wang, Hui Zhu, Shiya Shen, Qing Shao, Qi Gong, Hu Liu, Xuejuan Chen   +12 more
wiley   +1 more source

Development of a Pipeline for Adverse Drug Reaction Identification in Clinical Notes: Word Embedding Models and String Matching. [PDF]

JMIR Med Inform, 2022
Siegersma KR, Evers M, Bots SH, Groepenhoff F, Appelman Y, Hofstra L, Tulevski II, Somsen GA, den Ruijter HM, Spruit M, Onland-Moret NC.   +10 more
europepmc   +1 more source

G3BP1 Succinylation at K413 is Critical for Cardiac Function by Modulating PI3K‐AKT‐mTOR Signal Axis

Advanced Science, EarlyView.
Schematic illustrating the impact of G3BP1 succinylation at K413 on cardiac function. In the healthy human heart, G3BP1 succinylation maintains homeostatic mTOR signaling. In patients with dilated cardiomyopathy (DCM) and heart failure (HF), G3BP1 de‐succinylation induces RagA expression and disrupts the binding of the TSC1/2 complex, leading to the ...
Yuan Zhang, Cancan Yao, Yan Chen, Ke Cai, Zhouping Lu, Boxuan Wu, Kun Yu, Yan Shi, Jianyuan Zhao, Xiangyu Zhou   +9 more
wiley   +1 more source

A k-mismatch string matching for generalized edit distance using diagonal skipping method. [PDF]

PLoS One, 2021
Kim H.
europepmc   +1 more source

Hierarchical Artificial Muscle with Nonlinear Elasticity for Antagonistic and Cyclic Robotics

Advanced Science, EarlyView.
We construct hierarchical muscles by plying nylon fibers around a heating wire. The hierarchical muscle shows a J‐shaped passive curve, which shows benefit in antagonistic muscle pair and work accumulation mechanism. We also develop a computational, first‐principle model to understand the physics of both active actuation stroke and passive J‐curve ...
Samuel Tsai, Liuyang Cheng, Ali Albazroun, Qiong Wang, Jeongmin Kim, Arman Tekinalp, Soonwook Kim, Charlie Simcox, Ryne Downing, Vagish Sivaramakrishnan, Grace Carsello, Miles Bimrose, Wonsik Eom, William P. King, Mattia Gazzola, Sameh Tawfick   +15 more
wiley   +1 more source

Dose‐Dependent Reprogramming of Chromatin Accessibility by SOX4 Drives the Transcriptional Response to Iron Overload

Advanced Science, EarlyView.
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, Yaoqiu Wu, Guangyu Yang, Jingyi Lai, Xiaoyue Sun, Liyan Wang, Xiaoli Li, Jing Zhang, Qingxue Zhang, Hui Chen, Haiyan Lin, Bingxiang Xu, Junfeng Zhang, Hailong Wang, Anming Meng, Chunwei Cao   +15 more
wiley   +1 more source

Self‐Nitriding Nanostructured Transition Metal Nitrides in Architected‐Carbon Matrices: Unveiling Mechanisms and Advancing Performance in Lithium‐Sulfur Pouch Cells

Advanced Science, EarlyView.
Imidazolium PIL nanoparticles, as an N‐rich template and morphology director, enable a colloidal self‐nitriding route to TMNs (VN, Mo2N) within controlled solid/hollow carbon architectures. As sulfur hosts/additives, TMNs accelerate Li–S redox kinetics and support high‐loading cathodes.
Yael Rodriguez Ayllon, Liqiang Lu, Dongjiu Xie, Xuefeng Pan, Teodor Jianu, Fangmu Qu, Sijia Cao, Yu Zhang, Roberto Félix, Marcus Bär, Nadezda V. Tarakina, Johannes Schmidt, Qingping Wu, Jiayin Yuan, Yan Lu   +14 more
wiley   +1 more source