Results 61 to 70 of about 10,391 (253)

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

Archon: A Unified Information Storage and Retrieval System for Lone Archivists, Special Collections Librarians and Curators

Partnership: The Canadian Journal of Library and Information Practice and Research, 2007
The University of Illinois developed an open-source collections management software program and in August 2006 began making it freely available to archivists, curators, and special collections librarians.
Scott W. Schwartz, Christopher J. Prom, Christopher A. Rishel, Kyle J. Fox   +3 more
doaj  

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Hijacking the Host Clock: A Nematode Effector Antagonizes Soybean Circadian Defense and Translation Control

Advanced Science, EarlyView.
Soybean employs its circadian clock, governed by GmCCA1, to rhythmically defend against soybean cyst nematodes. The pathogen retaliates by secreting the effector Hg4E02, which hijacks the clock to suppress defense and co‐opt the host's translation machinery for nutrient acquisition.
Xingwei Wang, Yufeng Xu, Yanfei Hu, Lijun Cao, Ru Jiang, Changtian Chen, Rick Masonbrink, Thomas Maier, Yuchen Tu, Yabo Shi, Enhui Liu, Lingan Kong, Chan Guo, Wei Zhao, Peng Shi, Wenzhen Du, Andrew Severin, Thomas Baum, Deliang Peng, Huan Peng, Mian Zhou, Wei Wang   +21 more
wiley   +1 more source

Activation of ERBB4 Pathway Inhibits Pathological Transdifferentiation of Lung Epithelial Progenitors into CD66c+ Basal Cells in Severe Lung Injury

Advanced Science, EarlyView.
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, Xinran Deng, Haonan Wang, Yamei Jiang, Jian Sun, Hailin Ding, Ming Ye, Xiaoting Wang, Yu Wang, Li Yuan, Zhenju Song, Xinhua Lin, Shenfei Sun, Ning Jiang   +13 more
wiley   +1 more source

El procés d'elaboració d'una norma de descripció arxivística : de la ISAD(G) a la NODAC. Primera part

BiD: Textos Universitaris de Biblioteconomia i Documentació, 2005
Visió del procés de normalització de la descripció arxivística internacional promogut per l’ICA al final de la dècada de 1980 i que ha donat com a resultat dues edicions de la Norma internacional general de descripció arxivística (ISAD(G)), i de la ...
Elvira i Silleras, Maria
doaj  

Tumor‐Derived Alpha‐1 Antitrypsin Promotes Liver Metastasis of Colorectal Cancer Through the Neutrophil Extracellular Traps–CCDC25 Pathway

Advanced Science, EarlyView.
ABSTRACT Liver metastasis is a leading cause of mortality in colorectal cancer (CRC), where the inflammatory tumor microenvironment, specifically neutrophil infiltration, significantly promotes metastatic colonization. This study reveals a pro‐metastatic role for alpha‐1 antitrypsin (A1AT) in CRC liver metastasis via a dual mechanism involving ...
Qian Fei, Chunning Li, Lei Zhan, Xiaoyan Li, Yan Hui, Yue Jin, Jing Zhang, Lu Yang, Xin Sun, Xiaoxi Li, Qian Dong, Jingdong Zhang   +11 more
wiley   +1 more source

Tumor‐Derived LAMB3 Drives Immunosuppressive LRRC15+ Fibroblast Formation During Pancreatic Ductal Adenocarcinoma Development

Advanced Science, EarlyView.
A single‐cell atlas of pancreatic ductal adenocarcinoma development reveals progressive ductal‐fibroblast‐immune crosstalk. Tumor‐derived LAMB3 drives the formation of immunosuppressive LRRC15+ fibroblasts through the ITGB1/FAK/MAPK/FOSL2 signaling. Glycolytic reprogramming upregulates LAMB3 and correlates with LRRC15+ fibroblast enrichment.
Xuqing Shi, Hangqi Liu, Jianru Sun, Xiaoding Liu, Xinping Jv, Longyun Chen, Yuhan Zhang, Hui Zhang, Xudong Xing, Ruiyu Li, Xinyi Ke, Jun Wang, Xianglin Yin, Bohan Liu, Qixian Liu, Yuan Wang, Junliang Lu, Shiyi Liu, Junyi Pang, Yumeng Cai, Menghua Dai, Fan Bai, Huanwen Wu, Zhiyong Liang   +23 more
wiley   +1 more source

A Microbial Lipid‐ATP Synthase Axis Fuels NK Cell Antitumor Activity

Advanced Science, EarlyView.
This study focuses on the mechanism by which gut microbiota‐derived outer membrane vesicles (OMVs) regulate NK cell antitumor activity. B. intestinalis is identified to decrease extra‐intestinal tumor growth via its OMVs enriched in sphingosine (SP).
Kaiyuan Yu, Xinyu Sun, Wanxia Ma, Jianming Yang, Xuan Sun, Lisong Zhang, Yumeng Liu, Tianshu Ren, Qi Wang, Jingyu Wang, Xiao Li, Xianping Peng, Liu Yang, Junqiang Lv, Zhi Yao, Zhi‐Song Zhang, Quan Wang   +16 more
wiley   +1 more source

HNRNPD Induces Radioresistance in Nasopharyngeal Carcinoma by Sequestering GRAMD4 mRNA in Stress Granules

Advanced Science, EarlyView.
HNRNPD promotes radioresistance in nasopharyngeal carcinoma by enhancing stress granule assembly and sequestering GRAMD4 mRNA. This suppresses GRAMD4 translation and inhibits mitochondrial apoptosis. Targeting the integrated stress response with ISRIB restores GRAMD4 expression and sensitizes tumors to radiotherapy, revealing a translational control ...
Yingzi Li, Tong Xiang, Yuanyuan Liu, Desheng Weng, Jingjing Zhao, Hao Chen, Yan Tang, Songzuo Xie, Hao Zhang, Jun Luo, Xinyi Yang, Qiuzhong Pan, Muping Di, Jianchuan Xia   +13 more
wiley   +1 more source