Results 21 to 30 of about 33,924 (262)

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

Design and experimental study of a tethered self-excavating drilling and coring scheme for lunar deep mining

Meitan kexue jishu
The development and utilization of lunar mineral resources is an important way to solve the earth’s energy crisis. Drilling and coring, an effective method for lunar section sample collection, is a key prerequisite for accurately identifying the ...
Mingzhong GAO, Jiahua LI, Haichun HAO, Jing XIE, Yuanru LI, Lang ZHOU, Zheng GAO, Yan WU, Bing JI, Zhipeng WANG, Xuemin ZHOU   +10 more
doaj   +1 more source

Iron‐Mediated Release of Aged Dissolved Organic Carbon From Waterlogged Peatland Under Warming

Advanced Science, EarlyView.
This study conducts a five‐year in situ warming experiment in high‐altitude peatlands to examine dissolved organic carbon (DOC) release. The study shows that warming promotes the release of plant‐derived modern DOC in drained peatlands, but amplifies aquatic export of century‐old DOC from waterlogged peatlands via Fe‐mediated DOC mobilization—a ...
Guohua Dai, Zhiying Yang, Zongguang Liu, Wanjia Hu, Lixiao Ma, Enze Kang, Wanqing Luo, Yunpeng Zhao, Chengzhu Liu, Juan Jia, Ting Liu, Chen He, Quan Shi, Jianliang Liu, Yongheng Gao, Huai Chen, Hailong Zhang, Meixun Zhao, Xiaojuan Feng   +18 more
wiley   +1 more source

Radiotherapy Enhances the Oncolytic Efficacy of the Novel Oncolytic Herpesvirus VG161 and Amplifies Its Antitumor Immunity in Breast Cancer

Advanced Science, EarlyView.
RT promotes VG161 replication in BC and its immunostimulatory transgenes expression, which is mediated by the upregulation of GADD34 and HVEM caused by RT. The combination therapy with VG161 and RT increases the abundances of tumor‐infiltrating lymphocytes and elicits potent systemic antitumor immunity, thereby effectively inhibiting local tumors and ...
Lijuan Lyu, Ming Yi, Ji Chen, Zeda Zhao, Ruocen Liao, Yingnan Wang, Shengtao Hu, Jun Ding, Ronghua Zhao, William Jia, Yinan Shen, Yongchang Wei, Kongming Wu, Zhijun Dai   +13 more
wiley   +1 more source

Performance evaluation and selection of the core drill bits for lunar rock

Geomechanics and Geophysics for Geo-Energy and Geo-Resources
The objective of this study is to systematically examine the drilling efficiency and performance of various core drill bits in lunar rock formation using the discrete element method (DEM) and drilling experiments conducted in a lunar vacuum environment ...
Xuan Wang, Yan Wu, Zheng Gao, Haichun Hao, Lang Zhou, Jiahua Li, Mingzhong Gao   +6 more
doaj   +1 more source

Mechanical Response and Damage Characteristics of Frozen–Thawed Sandstone Across Various Temperature Ranges Under Impact Loads

Fractal and Fractional
Freeze–thaw action is a key factor in the deterioration of the dynamic mechanical behavior of rocks in cold regions. This study used yellow sandstone, which is prevalent in the seasonally cold region of Xinjiang, China.
Dejun Liu, Hai Pu, Kangsheng Xue, Junce Xu, Hongyang Ni   +4 more
doaj   +1 more source

SIRT6‐Mediated Deacetylation of ATF3 Promotes Silica‐Induced Lung Fibrosis by Enhancing its Nuclear Import via Binding to Importin α

Advanced Science, EarlyView.
SIRT6‐mediated ATF3 acetylation drives MGARP transcription and mitochondrial dysfunction in macrophages, promoting macrophage senescence and pulmonary fibrosis. Mechanistically, HSP70/Importin α competitively binds to ATF3, modulating its nuclear translocation.
Demin Cheng, Wenxia Bu, Fengxu Wang, Yueyuan Jin, Rongzhu Liu, Rui Zhao, Xuehai Wang, Mengna Jiang, Jinping Shen, Xinhang Cheng, Zuming Chen, Li Zhu, Jinlong Li, Zhenzhong Ge, Shichen Miao, Haotian Xu, Xiaoyu Zhou, Dongming Wang, Xinyuan Zhao   +18 more
wiley   +1 more source

The mechanistical principles and engineering application of roof- cutting for roadway protection in advance of the working face

Scientific Reports
In coal mining operations, it is often challenging to control the deformation of the roadway in front of the working face. The excessive stress from the surrounding rock of the working face and the difficulties in caving the goaf roof have led to a ...
Zhaotai Li, Yuejin Zhou, Xiaoding Xu, Yuhang Xiao, Yunong Xu   +4 more
doaj   +1 more source

A Novel IDO1/NE Dual Inhibitor, IMM‐H018 Prevents the Primary and Secondary Sepsis and Ameliorates the Kidney Injury Through Inhibiting the Cytokine Storm and Microthrombosis, and Reversing Immunosuppression

Advanced Science, EarlyView.
IMM‐H018, a dual IDO1/NE inhibitor, demonstrates potent therapeutic efficacy in sepsis by simultaneously targeting excessive inflammation and immune dysfunction. It prevents both primary and secondary sepsis through anti‐inflammatory, immune‐restoring, and renoprotective mechanisms, reducing organ damage, improving immune homeostasis, preserving kidney
Yi Zhou, Xiaodi Zhao, Xiaochen Pan, Zhiling Ma, Huaqing Cui, Hui Wen, Peng Wang, Xiufeng Liao, Kejie Qin, Yuchen Wang, Li Sheng, Sen Zhang   +11 more
wiley   +1 more source

Energy Release Mechanism of Underwater Implosion With Different Structural Bodies

Geofluids
Underwater implosion is typically accompanied by intense shock wave energy. The investigation of its energy release mechanism is crucial for structural safety protection, marine environmental monitoring, ocean acoustic field analysis, and energy ...
Yuhao Zhang, Honglei Shen, Lei Song, Yanchao Ma, Li Zhao, Changhao Zhu   +5 more
doaj   +1 more source